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/201007051233/inescp-1.0/large3.cudf.cudf_set.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/cudf_set/large3.cudf /home/misc2010/tmp/201007051233/inescp-1.0/large3.cudf.cudf_set.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: 0.99 0.97 0.98 5/34 8898 /proc/meminfo: memFree=863136/1048576 swapFree=2094644/2097144 [pid=8897] ppid=8896 vsize=2384 CPUtime=0 /proc/8897/stat : 8897 (inescp-1.0) S 8896 8897 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527374980 2441216 261 1283457024 134512640 135191968 4291975248 18446744073709551615 4159359390 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8897/statm: 596 261 222 166 0 28 0 [pid=8898] ppid=8897 vsize=3868 CPUtime=0 /proc/8898/stat : 8898 (cudf-solver.py) R 8897 8897 3447 769 3447 4202496 708 0 0 0 0 0 0 0 25 0 1 0 527374980 3960832 605 1283457024 134512640 135539072 4291993696 18446744073709551615 134800287 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/8898/statm: 967 605 337 251 0 268 0 [startup+0.148201 s] /proc/loadavg: 0.99 0.97 0.98 5/34 8898 /proc/meminfo: memFree=863136/1048576 swapFree=2094644/2097144 [pid=8897] ppid=8896 vsize=2384 CPUtime=0 /proc/8897/stat : 8897 (inescp-1.0) S 8896 8897 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527374980 2441216 261 1283457024 134512640 135191968 4291975248 18446744073709551615 4159359390 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8897/statm: 596 261 222 166 0 28 0 [pid=8898] ppid=8897 vsize=4000 CPUtime=0 /proc/8898/stat : 8898 (cudf-solver.py) S 8897 8897 3447 769 3447 4202496 748 0 0 0 0 0 0 0 25 0 1 0 527374980 4096000 643 1283457024 134512640 135539072 4291993696 18446744073709551615 4159494558 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8898/statm: 1000 643 348 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6384 [startup+0.208196 s] /proc/loadavg: 0.99 0.97 0.98 5/34 8898 /proc/meminfo: memFree=863136/1048576 swapFree=2094644/2097144 [pid=8897] ppid=8896 vsize=2384 CPUtime=0 /proc/8897/stat : 8897 (inescp-1.0) S 8896 8897 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527374980 2441216 261 1283457024 134512640 135191968 4291975248 18446744073709551615 4159359390 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8897/statm: 596 261 222 166 0 28 0 [pid=8898] ppid=8897 vsize=4000 CPUtime=0 /proc/8898/stat : 8898 (cudf-solver.py) S 8897 8897 3447 769 3447 4202496 748 0 0 0 0 0 0 0 25 0 1 0 527374980 4096000 643 1283457024 134512640 135539072 4291993696 18446744073709551615 4159494558 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8898/statm: 1000 643 348 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6384 [startup+0.30821 s] /proc/loadavg: 0.99 0.97 0.98 5/34 8898 /proc/meminfo: memFree=863136/1048576 swapFree=2094644/2097144 [pid=8897] ppid=8896 vsize=2384 CPUtime=0 /proc/8897/stat : 8897 (inescp-1.0) S 8896 8897 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527374980 2441216 261 1283457024 134512640 135191968 4291975248 18446744073709551615 4159359390 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8897/statm: 596 261 222 166 0 28 0 [pid=8898] ppid=8897 vsize=4000 CPUtime=0 /proc/8898/stat : 8898 (cudf-solver.py) S 8897 8897 3447 769 3447 4202496 748 0 0 0 0 0 0 0 25 0 1 0 527374980 4096000 643 1283457024 134512640 135539072 4291993696 18446744073709551615 4159494558 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8898/statm: 1000 643 348 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6384 [startup+0.708257 s] /proc/loadavg: 0.99 0.97 0.98 5/34 8898 /proc/meminfo: memFree=863136/1048576 swapFree=2094644/2097144 [pid=8897] ppid=8896 vsize=2384 CPUtime=0 /proc/8897/stat : 8897 (inescp-1.0) S 8896 8897 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527374980 2441216 261 1283457024 134512640 135191968 4291975248 18446744073709551615 4159359390 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8897/statm: 596 261 222 166 0 28 0 [pid=8898] ppid=8897 vsize=4000 CPUtime=0 /proc/8898/stat : 8898 (cudf-solver.py) S 8897 8897 3447 769 3447 4202496 748 0 0 0 0 0 0 0 25 0 1 0 527374980 4096000 643 1283457024 134512640 135539072 4291993696 18446744073709551615 4159494558 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8898/statm: 1000 643 348 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6384 Solver just ended. Dumping a history of the last processes samples [startup+0.808264 s] /proc/loadavg: 0.99 0.97 0.98 5/34 8898 /proc/meminfo: memFree=863136/1048576 swapFree=2094644/2097144 [pid=8897] ppid=8896 vsize=2384 CPUtime=0 /proc/8897/stat : 8897 (inescp-1.0) S 8896 8897 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527374980 2441216 261 1283457024 134512640 135191968 4291975248 18446744073709551615 4159359390 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8897/statm: 596 261 222 166 0 28 0 [pid=8898] ppid=8897 vsize=4000 CPUtime=0 /proc/8898/stat : 8898 (cudf-solver.py) S 8897 8897 3447 769 3447 4202496 748 0 0 0 0 0 0 0 25 0 1 0 527374980 4096000 643 1283457024 134512640 135539072 4291993696 18446744073709551615 4159494558 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8898/statm: 1000 643 348 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6384 [startup+1.00429 s] /proc/loadavg: 0.99 0.97 0.98 5/34 8898 /proc/meminfo: memFree=863136/1048576 swapFree=2094644/2097144 [pid=8897] ppid=8896 vsize=2384 CPUtime=0 /proc/8897/stat : 8897 (inescp-1.0) S 8896 8897 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527374980 2441216 261 1283457024 134512640 135191968 4291975248 18446744073709551615 4159359390 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8897/statm: 596 261 222 166 0 28 0 [pid=8898] ppid=8897 vsize=4000 CPUtime=0.93 /proc/8898/stat : 8898 (cudf-solver.py) R 8897 8897 3447 769 3447 4202496 775 5380 0 1 0 0 92 1 18 0 1 0 527374980 4096000 643 1283457024 134512640 135539072 4291993696 18446744073709551615 4159114029 0 65536 16781318 0 0 0 0 17 0 0 0 0 /proc/8898/statm: 1000 643 348 251 0 301 0 Current children cumulated CPU time (s) 0.93 Current children cumulated vsize (KiB) 6384 [startup+1.1043 s] /proc/loadavg: 0.99 0.97 0.98 4/37 8913 /proc/meminfo: memFree=861756/1048576 swapFree=2094644/2097144 [pid=8897] ppid=8896 vsize=2384 CPUtime=0 /proc/8897/stat : 8897 (inescp-1.0) S 8896 8897 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527374980 2441216 261 1283457024 134512640 135191968 4291975248 18446744073709551615 4159359390 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8897/statm: 596 261 222 166 0 28 0 [pid=8898] ppid=8897 vsize=4000 CPUtime=1.02 /proc/8898/stat : 8898 (cudf-solver.py) R 8897 8897 3447 769 3447 4202496 803 6306 0 1 0 0 95 7 19 0 1 0 527374980 4096000 643 1283457024 134512640 135539072 4291993696 18446744073709551615 4159114029 0 65536 16781318 0 0 0 0 17 0 0 0 0 /proc/8898/statm: 1000 643 348 251 0 301 0 [pid=8912] ppid=8898 vsize=2900 CPUtime=0 /proc/8912/stat : 8912 (sh) R 8898 8897 3447 769 3447 4194304 344 0 0 0 0 0 0 0 19 0 1 0 527375089 2969600 324 1283457024 134512640 135191968 4287489120 18446744073709551615 4159349152 0 65538 16781316 65536 0 0 0 17 0 0 0 0 /proc/8912/statm: 725 324 220 166 0 157 0 [pid=8913] ppid=8912 vsize=2800 CPUtime=0.01 /proc/8913/stat : 8913 (msuncore) R 8912 8897 3447 769 3447 4202496 289 0 0 0 1 0 0 0 19 0 1 0 527375090 2867200 209 1283457024 134512640 135858300 4293380640 18446744073709551615 134690096 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/8913/statm: 700 209 111 329 0 369 0 Current children cumulated CPU time (s) 1.03 Current children cumulated vsize (KiB) 12084 Child status: 0 Real time (s): 1.1584 CPU time (s): 1.10007 CPU user time (s): 1.01606 CPU system time (s): 0.084005 CPU usage (%): 94.9642 Max. virtual memory (cumulated for all children) (KiB): 12084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.01606 system time used= 0.084005 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9369 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= 306 involuntary context switches= 270 runsolver used 0 second user time and 0 second system time The end