runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007050905/inescp-1.0/randeb343c.cudf.easy.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/easy//randeb343c.cudf /home/misc2010/tmp/201007050905/inescp-1.0/randeb343c.cudf.easy.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.14 1.16 1.10 3/37 30944 /proc/meminfo: memFree=474268/1048576 swapFree=2095456/2097144 [pid=30943] ppid=30942 vsize=2380 CPUtime=0 /proc/30943/stat : 30943 (inescp-1.0) R 30942 30943 24102 769 24102 4194304 345 0 0 0 0 0 0 0 25 0 1 0 525223397 2437120 258 1283457024 134512640 135191968 4293185904 18446744073709551615 4159189408 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/30943/statm: 595 258 221 166 0 27 0 [pid=30944] ppid=30943 vsize=2380 CPUtime=0 /proc/30944/stat : 30944 (inescp-1.0) R 30943 30943 24102 769 24102 4194368 0 0 0 0 0 0 0 0 25 0 1 0 525223397 2437120 37 1283457024 134512640 135191968 4293185904 18446744073709551615 4159189408 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/30944/statm: 595 37 0 166 0 27 0 [startup+0.136211 s] /proc/loadavg: 1.14 1.16 1.10 3/37 30944 /proc/meminfo: memFree=474268/1048576 swapFree=2095456/2097144 [pid=30943] ppid=30942 vsize=2380 CPUtime=0 /proc/30943/stat : 30943 (inescp-1.0) S 30942 30943 24102 769 24102 4194304 361 0 0 0 0 0 0 0 25 0 1 0 525223397 2437120 259 1283457024 134512640 135191968 4293185904 18446744073709551615 4159187358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30943/statm: 595 259 222 166 0 27 0 [pid=30944] ppid=30943 vsize=4004 CPUtime=0.01 /proc/30944/stat : 30944 (cudf-solver.py) S 30943 30943 24102 769 24102 4202496 749 0 0 0 0 1 0 0 25 0 1 0 525223397 4100096 644 1283457024 134512640 135539072 4294654688 18446744073709551615 4158675358 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/30944/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6384 [startup+0.206213 s] /proc/loadavg: 1.14 1.16 1.10 3/37 30944 /proc/meminfo: memFree=474268/1048576 swapFree=2095456/2097144 [pid=30943] ppid=30942 vsize=2380 CPUtime=0 /proc/30943/stat : 30943 (inescp-1.0) S 30942 30943 24102 769 24102 4194304 361 0 0 0 0 0 0 0 25 0 1 0 525223397 2437120 259 1283457024 134512640 135191968 4293185904 18446744073709551615 4159187358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30943/statm: 595 259 222 166 0 27 0 [pid=30944] ppid=30943 vsize=4004 CPUtime=0.01 /proc/30944/stat : 30944 (cudf-solver.py) S 30943 30943 24102 769 24102 4202496 749 0 0 0 0 1 0 0 25 0 1 0 525223397 4100096 644 1283457024 134512640 135539072 4294654688 18446744073709551615 4158675358 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/30944/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6384 [startup+0.30623 s] /proc/loadavg: 1.14 1.16 1.10 3/37 30944 /proc/meminfo: memFree=474268/1048576 swapFree=2095456/2097144 [pid=30943] ppid=30942 vsize=2380 CPUtime=0 /proc/30943/stat : 30943 (inescp-1.0) S 30942 30943 24102 769 24102 4194304 361 0 0 0 0 0 0 0 25 0 1 0 525223397 2437120 259 1283457024 134512640 135191968 4293185904 18446744073709551615 4159187358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30943/statm: 595 259 222 166 0 27 0 [pid=30944] ppid=30943 vsize=4004 CPUtime=0.01 /proc/30944/stat : 30944 (cudf-solver.py) S 30943 30943 24102 769 24102 4202496 749 0 0 0 0 1 0 0 25 0 1 0 525223397 4100096 644 1283457024 134512640 135539072 4294654688 18446744073709551615 4158675358 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/30944/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6384 [startup+0.706344 s] /proc/loadavg: 1.14 1.16 1.10 3/37 30944 /proc/meminfo: memFree=474268/1048576 swapFree=2095456/2097144 [pid=30943] ppid=30942 vsize=2380 CPUtime=0 /proc/30943/stat : 30943 (inescp-1.0) S 30942 30943 24102 769 24102 4194304 361 0 0 0 0 0 0 0 25 0 1 0 525223397 2437120 259 1283457024 134512640 135191968 4293185904 18446744073709551615 4159187358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30943/statm: 595 259 222 166 0 27 0 [pid=30944] ppid=30943 vsize=4004 CPUtime=0.01 /proc/30944/stat : 30944 (cudf-solver.py) S 30943 30943 24102 769 24102 4202496 749 0 0 0 0 1 0 0 25 0 1 0 525223397 4100096 644 1283457024 134512640 135539072 4294654688 18446744073709551615 4158675358 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/30944/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6384 [startup+1.50662 s] /proc/loadavg: 1.14 1.16 1.10 2/47 30954 /proc/meminfo: memFree=436596/1048576 swapFree=2095456/2097144 [pid=30943] ppid=30942 vsize=2380 CPUtime=0 /proc/30943/stat : 30943 (inescp-1.0) S 30942 30943 24102 769 24102 4194304 361 0 0 0 0 0 0 0 25 0 1 0 525223397 2437120 259 1283457024 134512640 135191968 4293185904 18446744073709551615 4159187358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30943/statm: 595 259 222 166 0 27 0 [pid=30944] ppid=30943 vsize=4004 CPUtime=0.01 /proc/30944/stat : 30944 (cudf-solver.py) S 30943 30943 24102 769 24102 4202496 749 0 0 0 0 1 0 0 25 0 1 0 525223397 4100096 644 1283457024 134512640 135539072 4294654688 18446744073709551615 4158675358 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/30944/statm: 1001 644 348 251 0 302 0 [pid=30946] ppid=30944 vsize=866496 CPUtime=1.49 /proc/30946/stat : 30946 (java) S 30944 30943 24102 769 24102 4202496 15849 0 1 0 139 10 0 0 25 0 9 0 525223398 887291904 14438 1283457024 134512640 134550932 4290975392 18446744073709551615 4160025746 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30946/statm: 216624 14438 2715 10 0 210962 0 [pid=30946/tid=30947] ppid=30944 vsize=866496 CPUtime=0.88 /proc/30946/task/30947/stat : 30947 (java) R 30944 30943 24102 769 24102 4202560 3516 0 1 0 86 2 0 0 25 0 9 0 525223399 887291904 14438 1283457024 134512640 134550932 4290975392 18446744073709551615 4160049863 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30946/tid=30948] ppid=30944 vsize=866496 CPUtime=0.55 /proc/30946/task/30948/stat : 30948 (java) R 30944 30943 24102 769 24102 4202560 10773 0 0 0 48 7 0 0 17 0 9 0 525223399 887291904 14438 1283457024 134512640 134550932 4290975392 18446744073709551615 103826441 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=30946/tid=30949] ppid=30944 vsize=866496 CPUtime=0 /proc/30946/task/30949/stat : 30949 (java) S 30944 30943 24102 769 24102 4202560 16 0 0 0 0 0 0 0 15 0 9 0 525223399 887291904 14438 1283457024 134512640 134550932 4290975392 18446744073709551615 4160039152 0 4 0 16800975 18446612132727116032 0 0 -1 0 0 0 0 [pid=30946/tid=30950] ppid=30944 vsize=866496 CPUtime=0 /proc/30946/task/30950/stat : 30950 (java) S 30944 30943 24102 769 24102 4202560 8 0 0 0 0 0 0 0 16 0 9 0 525223399 887291904 14438 1283457024 134512640 134550932 4290975392 18446744073709551615 4160039152 0 4 0 16800975 18446612132727116032 0 0 -1 0 0 0 0 [pid=30946/tid=30951] ppid=30944 vsize=866496 CPUtime=0 /proc/30946/task/30951/stat : 30951 (java) S 30944 30943 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 9 0 525223400 887291904 14438 1283457024 134512640 134550932 4290975392 18446744073709551615 4160047440 0 4 0 16800975 18446612132727116032 0 0 -1 0 0 0 0 [pid=30946/tid=30952] ppid=30944 vsize=866496 CPUtime=0.02 /proc/30946/task/30952/stat : 30952 (java) R 30944 30943 24102 769 24102 4202560 441 0 0 0 2 0 0 0 19 0 9 0 525223400 887291904 14438 1283457024 134512640 134550932 4290975392 18446744073709551615 101481689 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30946/tid=30953] ppid=30944 vsize=866496 CPUtime=0 /proc/30946/task/30953/stat : 30953 (java) S 30944 30943 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 9 0 525223400 887291904 14438 1283457024 134512640 134550932 4290975392 18446744073709551615 4160039152 0 4 0 16800975 18446612132727116032 0 0 -1 0 0 0 0 [pid=30946/tid=30954] ppid=30944 vsize=866496 CPUtime=0 /proc/30946/task/30954/stat : 30954 (java) S 30944 30943 24102 769 24102 4202560 1 0 0 0 0 0 0 0 15 0 9 0 525223400 887291904 14438 1283457024 134512640 134550932 4290975392 18446744073709551615 4160039944 0 4 0 16800975 18446612132727116032 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 872880 [startup+3.11083 s] /proc/loadavg: 1.14 1.16 1.10 2/40 30957 /proc/meminfo: memFree=469628/1048576 swapFree=2095456/2097144 [pid=30943] ppid=30942 vsize=2380 CPUtime=0 /proc/30943/stat : 30943 (inescp-1.0) S 30942 30943 24102 769 24102 4194304 361 0 0 0 0 0 0 0 25 0 1 0 525223397 2437120 259 1283457024 134512640 135191968 4293185904 18446744073709551615 4159187358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30943/statm: 595 259 222 166 0 27 0 [pid=30944] ppid=30943 vsize=4004 CPUtime=2.29 /proc/30944/stat : 30944 (cudf-solver.py) S 30943 30943 24102 769 24102 4202496 807 18869 0 1 0 1 206 22 17 0 1 0 525223397 4100096 644 1283457024 134512640 135539072 4294654688 18446744073709551615 4158675358 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/30944/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 2.29 Current children cumulated vsize (KiB) 6384 heavy processes: Solver just ended. Dumping a history of the last processes samples [startup+3.21086 s] /proc/loadavg: 1.14 1.16 1.10 2/40 30959 /proc/meminfo: memFree=461444/1048576 swapFree=2095456/2097144 [pid=30943] ppid=30942 vsize=2380 CPUtime=0 /proc/30943/stat : 30943 (inescp-1.0) S 30942 30943 24102 769 24102 4194304 361 0 0 0 0 0 0 0 25 0 1 0 525223397 2437120 259 1283457024 134512640 135191968 4293185904 18446744073709551615 4159187358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30943/statm: 595 259 222 166 0 27 0 [pid=30944] ppid=30943 vsize=4004 CPUtime=2.29 /proc/30944/stat : 30944 (cudf-solver.py) S 30943 30943 24102 769 24102 4202496 807 18869 0 1 0 1 206 22 17 0 1 0 525223397 4100096 644 1283457024 134512640 135539072 4294654688 18446744073709551615 4158675358 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/30944/statm: 1001 644 348 251 0 302 0 [pid=30958] ppid=30944 vsize=2896 CPUtime=0 /proc/30958/stat : 30958 (sh) S 30944 30943 24102 769 24102 4194304 362 0 0 0 0 0 0 0 17 0 1 0 525223631 2965504 325 1283457024 134512640 135191968 4288955840 18446744073709551615 4159383966 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30958/statm: 724 325 221 166 0 156 0 [pid=30959] ppid=30958 vsize=9892 CPUtime=0.86 /proc/30959/stat : 30959 (msuncore) R 30958 30943 24102 769 24102 4202496 14591 0 0 0 76 10 0 0 21 0 1 0 525223631 10129408 2271 1283457024 134512640 135858300 4289830592 18446744073709551615 134658222 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/30959/statm: 2473 2271 133 329 0 2142 0 Current children cumulated CPU time (s) 3.15 Current children cumulated vsize (KiB) 19172 [startup+4.01101 s] /proc/loadavg: 1.14 1.16 1.10 2/40 30959 /proc/meminfo: memFree=461444/1048576 swapFree=2095456/2097144 [pid=30943] ppid=30942 vsize=2380 CPUtime=0 /proc/30943/stat : 30943 (inescp-1.0) S 30942 30943 24102 769 24102 4194304 361 0 0 0 0 0 0 0 25 0 1 0 525223397 2437120 259 1283457024 134512640 135191968 4293185904 18446744073709551615 4159187358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30943/statm: 595 259 222 166 0 27 0 [pid=30944] ppid=30943 vsize=4004 CPUtime=2.29 /proc/30944/stat : 30944 (cudf-solver.py) S 30943 30943 24102 769 24102 4202496 807 18869 0 1 0 1 206 22 17 0 1 0 525223397 4100096 644 1283457024 134512640 135539072 4294654688 18446744073709551615 4158675358 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/30944/statm: 1001 644 348 251 0 302 0 [pid=30958] ppid=30944 vsize=2896 CPUtime=0 /proc/30958/stat : 30958 (sh) S 30944 30943 24102 769 24102 4194304 362 0 0 0 0 0 0 0 17 0 1 0 525223631 2965504 325 1283457024 134512640 135191968 4288955840 18446744073709551615 4159383966 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30958/statm: 724 325 221 166 0 156 0 [pid=30959] ppid=30958 vsize=26064 CPUtime=1.66 /proc/30959/stat : 30959 (msuncore) R 30958 30943 24102 769 24102 4202496 19624 0 0 0 153 13 0 0 24 0 1 0 525223631 26689536 6286 1283457024 134512640 135858300 4289830592 18446744073709551615 134658048 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/30959/statm: 6516 6286 137 329 0 6185 0 Current children cumulated CPU time (s) 3.95 Current children cumulated vsize (KiB) 35344 [startup+4.41109 s] /proc/loadavg: 1.13 1.16 1.10 2/40 30959 /proc/meminfo: memFree=445696/1048576 swapFree=2095456/2097144 [pid=30943] ppid=30942 vsize=2380 CPUtime=0 /proc/30943/stat : 30943 (inescp-1.0) S 30942 30943 24102 769 24102 4194304 361 0 0 0 0 0 0 0 25 0 1 0 525223397 2437120 259 1283457024 134512640 135191968 4293185904 18446744073709551615 4159187358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30943/statm: 595 259 222 166 0 27 0 [pid=30944] ppid=30943 vsize=4004 CPUtime=2.29 /proc/30944/stat : 30944 (cudf-solver.py) S 30943 30943 24102 769 24102 4202496 807 18869 0 1 0 1 206 22 17 0 1 0 525223397 4100096 644 1283457024 134512640 135539072 4294654688 18446744073709551615 4158675358 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/30944/statm: 1001 644 348 251 0 302 0 [pid=30958] ppid=30944 vsize=2896 CPUtime=0 /proc/30958/stat : 30958 (sh) S 30944 30943 24102 769 24102 4194304 362 0 0 0 0 0 0 0 17 0 1 0 525223631 2965504 325 1283457024 134512640 135191968 4288955840 18446744073709551615 4159383966 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30958/statm: 724 325 221 166 0 156 0 [pid=30959] ppid=30958 vsize=26064 CPUtime=2.06 /proc/30959/stat : 30959 (msuncore) R 30958 30943 24102 769 24102 4202496 19624 0 0 0 193 13 0 0 25 0 1 0 525223631 26689536 6286 1283457024 134512640 135858300 4289830592 18446744073709551615 134620075 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/30959/statm: 6516 6286 137 329 0 6185 0 Current children cumulated CPU time (s) 4.35 Current children cumulated vsize (KiB) 35344 [startup+4.81118 s] /proc/loadavg: 1.13 1.16 1.10 2/40 30959 /proc/meminfo: memFree=445696/1048576 swapFree=2095456/2097144 [pid=30943] ppid=30942 vsize=2380 CPUtime=0 /proc/30943/stat : 30943 (inescp-1.0) S 30942 30943 24102 769 24102 4194304 361 0 0 0 0 0 0 0 25 0 1 0 525223397 2437120 259 1283457024 134512640 135191968 4293185904 18446744073709551615 4159187358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30943/statm: 595 259 222 166 0 27 0 [pid=30944] ppid=30943 vsize=4004 CPUtime=2.29 /proc/30944/stat : 30944 (cudf-solver.py) S 30943 30943 24102 769 24102 4202496 807 18869 0 1 0 1 206 22 17 0 1 0 525223397 4100096 644 1283457024 134512640 135539072 4294654688 18446744073709551615 4158675358 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/30944/statm: 1001 644 348 251 0 302 0 [pid=30958] ppid=30944 vsize=2896 CPUtime=0 /proc/30958/stat : 30958 (sh) S 30944 30943 24102 769 24102 4194304 362 0 0 0 0 0 0 0 17 0 1 0 525223631 2965504 325 1283457024 134512640 135191968 4288955840 18446744073709551615 4159383966 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30958/statm: 724 325 221 166 0 156 0 [pid=30959] ppid=30958 vsize=26064 CPUtime=2.46 /proc/30959/stat : 30959 (msuncore) R 30958 30943 24102 769 24102 4202496 19624 0 0 0 233 13 0 0 25 0 1 0 525223631 26689536 6286 1283457024 134512640 135858300 4289830592 18446744073709551615 134626667 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/30959/statm: 6516 6286 137 329 0 6185 0 Current children cumulated CPU time (s) 4.75 Current children cumulated vsize (KiB) 35344 [startup+4.96003 s] /proc/loadavg: 1.13 1.16 1.10 2/40 30959 /proc/meminfo: memFree=445696/1048576 swapFree=2095456/2097144 [pid=30943] ppid=30942 vsize=2380 CPUtime=0 /proc/30943/stat : 30943 (inescp-1.0) R 30942 30943 24102 769 24102 4194304 361 0 0 0 0 0 0 0 18 0 1 0 525223397 2437120 259 1283457024 134512640 135191968 4293185904 18446744073709551615 4159187358 0 65536 4 65538 0 0 0 17 0 0 0 0 /proc/30943/statm: 595 259 222 166 0 27 0 [pid=30944] ppid=30943 vsize=0 CPUtime=4.9 /proc/30944/stat : 30944 (cudf-solver.py) Z 30943 30943 24102 769 24102 4202508 2383 39349 0 1 6 1 446 37 15 0 1 0 525223397 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/30944/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.9 Current children cumulated vsize (KiB) 2380 Child status: 0 Real time (s): 4.96046 CPU time (s): 4.91631 CPU user time (s): 4.53228 CPU system time (s): 0.384024 CPU usage (%): 99.1099 Max. virtual memory (cumulated for all children) (KiB): 873200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.53228 system time used= 0.384024 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42103 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1070 involuntary context switches= 1069 runsolver used 0 second user time and 0 second system time The end