runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741982-1338783468/watcher-3741982-1338783468 -o /tmp/evaluation-result-3741982-1338783468/solver-3741982-1338783468 -C 1800 -W 1900 -M 15500 pbclasp instance-3741982-1338783468.opb HOME/temp
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21564
/proc/meminfo: memFree=27405828/32873844 swapFree=7372/7372
[pid=21564] ppid=21562 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/21564/stat : 21564 (pbclasp) R 21562 21564 4306 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 344472897 26357760 527 33554432000 4194304 4198148 140734482684800 140733293639992 251035444464 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/21564/statm: 6435 527 356 1 0 230 0
[startup+0.053021 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21564
/proc/meminfo: memFree=27405828/32873844 swapFree=7372/7372
[pid=21564] ppid=21562 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/21564/stat : 21564 (pbclasp) S 21562 21564 4306 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 344472897 26357760 534 33554432000 4194304 4198148 140734482684800 140734482683688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21564/statm: 6435 534 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.100268 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21564
/proc/meminfo: memFree=27405828/32873844 swapFree=7372/7372
[pid=21564] ppid=21562 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/21564/stat : 21564 (pbclasp) S 21562 21564 4306 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 344472897 26357760 534 33554432000 4194304 4198148 140734482684800 140734482683688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21564/statm: 6435 534 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.300224 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21564
/proc/meminfo: memFree=27405828/32873844 swapFree=7372/7372
[pid=21564] ppid=21562 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/21564/stat : 21564 (pbclasp) S 21562 21564 4306 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 344472897 26357760 534 33554432000 4194304 4198148 140734482684800 140734482683688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21564/statm: 6435 534 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.70022 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21564
/proc/meminfo: memFree=27405828/32873844 swapFree=7372/7372
[pid=21564] ppid=21562 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/21564/stat : 21564 (pbclasp) S 21562 21564 4306 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 344472897 26357760 534 33554432000 4194304 4198148 140734482684800 140734482683688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21564/statm: 6435 534 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 21569
/proc/meminfo: memFree=27399248/32873844 swapFree=7372/7372
[pid=21564] ppid=21562 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/21564/stat : 21564 (pbclasp) S 21562 21564 4306 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 344472897 26357760 534 33554432000 4194304 4198148 140734482684800 140734482683688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21564/statm: 6435 534 363 1 0 230 0
[pid=21566] ppid=21564 vsize=9148 CPUtime=0.32 cores=0,2,4,6
/proc/21566/stat : 21566 (sh) S 21564 21564 4306 0 -1 4202496 373 620 0 0 0 0 32 0 20 0 1 0 344472898 9367552 264 33554432000 4194304 5064252 140735137510176 140735137508432 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21566/statm: 2287 264 223 213 0 72 0
[pid=21568] ppid=21566 vsize=8328 CPUtime=1.19 cores=0,2,4,6
/proc/21568/stat : 21568 (clasp-1.0) R 21566 21564 4306 0 -1 4202496 1652 0 0 0 119 0 0 0 20 0 1 0 344472898 8527872 1533 33554432000 134512640 134847168 4290664752 4290663520 134737260 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21568/statm: 2082 1533 270 82 0 1323 0
[pid=21569] ppid=21566 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21569/stat : 21569 (pboutclasp.pl) S 21566 21564 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344472898 26071040 437 33554432000 4194304 4198148 140734163897072 140734163887608 251035444464 0 0 4224 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/21569/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 68676
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 21569
/proc/meminfo: memFree=27396024/32873844 swapFree=7372/7372
[pid=21564] ppid=21562 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/21564/stat : 21564 (pbclasp) S 21562 21564 4306 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 344472897 26357760 534 33554432000 4194304 4198148 140734482684800 140734482683688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21564/statm: 6435 534 363 1 0 230 0
[pid=21566] ppid=21564 vsize=9148 CPUtime=0.32 cores=0,2,4,6
/proc/21566/stat : 21566 (sh) S 21564 21564 4306 0 -1 4202496 373 620 0 0 0 0 32 0 20 0 1 0 344472898 9367552 264 33554432000 4194304 5064252 140735137510176 140735137508432 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21566/statm: 2287 264 223 213 0 72 0
[pid=21568] ppid=21566 vsize=10936 CPUtime=2.79 cores=0,2,4,6
/proc/21568/stat : 21568 (clasp-1.0) R 21566 21564 4306 0 -1 4202496 2328 0 0 0 279 0 0 0 20 0 1 0 344472898 11198464 2209 33554432000 134512640 134847168 4290664752 4290662992 3925287 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21568/statm: 2734 2209 270 82 0 1975 0
[pid=21569] ppid=21566 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21569/stat : 21569 (pboutclasp.pl) S 21566 21564 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344472898 26071040 437 33554432000 4194304 4198148 140734163897072 140734163887608 251035444464 0 0 4224 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/21569/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 71284
[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 21569
/proc/meminfo: memFree=27392700/32873844 swapFree=7372/7372
[pid=21564] ppid=21562 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/21564/stat : 21564 (pbclasp) S 21562 21564 4306 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 344472897 26357760 534 33554432000 4194304 4198148 140734482684800 140734482683688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21564/statm: 6435 534 363 1 0 230 0
[pid=21566] ppid=21564 vsize=9148 CPUtime=0.32 cores=0,2,4,6
/proc/21566/stat : 21566 (sh) S 21564 21564 4306 0 -1 4202496 373 620 0 0 0 0 32 0 20 0 1 0 344472898 9367552 264 33554432000 4194304 5064252 140735137510176 140735137508432 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21566/statm: 2287 264 223 213 0 72 0
[pid=21568] ppid=21566 vsize=13676 CPUtime=6 cores=0,2,4,6
/proc/21568/stat : 21568 (clasp-1.0) R 21566 21564 4306 0 -1 4202496 3009 0 0 0 599 1 0 0 20 0 1 0 344472898 14004224 2890 33554432000 134512640 134847168 4290664752 4290663392 134782644 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21568/statm: 3419 2890 270 82 0 2660 0
[pid=21569] ppid=21566 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21569/stat : 21569 (pboutclasp.pl) S 21566 21564 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344472898 26071040 437 33554432000 4194304 4198148 140734163897072 140734163887608 251035444464 0 0 4224 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/21569/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 74024
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 21569
/proc/meminfo: memFree=27379204/32873844 swapFree=7372/7372
[pid=21564] ppid=21562 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/21564/stat : 21564 (pbclasp) S 21562 21564 4306 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 344472897 26357760 534 33554432000 4194304 4198148 140734482684800 140734482683688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21564/statm: 6435 534 363 1 0 230 0
[pid=21566] ppid=21564 vsize=9148 CPUtime=0.32 cores=0,2,4,6
/proc/21566/stat : 21566 (sh) S 21564 21564 4306 0 -1 4202496 373 620 0 0 0 0 32 0 20 0 1 0 344472898 9367552 264 33554432000 4194304 5064252 140735137510176 140735137508432 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21566/statm: 2287 264 223 213 0 72 0
[pid=21568] ppid=21566 vsize=21480 CPUtime=12.39 cores=0,2,4,6
/proc/21568/stat : 21568 (clasp-1.0) R 21566 21564 4306 0 -1 4202496 4928 0 0 0 1238 1 0 0 20 0 1 0 344472898 21995520 4809 33554432000 134512640 134847168 4290664752 4290663216 134713707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21568/statm: 5370 4809 270 82 0 4611 0
[pid=21569] ppid=21566 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21569/stat : 21569 (pboutclasp.pl) S 21566 21564 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344472898 26071040 437 33554432000 4194304 4198148 140734163897072 140734163887608 251035444464 0 0 4224 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/21569/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 81828
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 21569
/proc/meminfo: memFree=27367724/32873844 swapFree=7372/7372
[pid=21564] ppid=21562 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/21564/stat : 21564 (pbclasp) S 21562 21564 4306 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 344472897 26357760 534 33554432000 4194304 4198148 140734482684800 140734482683688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21564/statm: 6435 534 363 1 0 230 0
[pid=21566] ppid=21564 vsize=9148 CPUtime=0.32 cores=0,2,4,6
/proc/21566/stat : 21566 (sh) S 21564 21564 4306 0 -1 4202496 373 620 0 0 0 0 32 0 20 0 1 0 344472898 9367552 264 33554432000 4194304 5064252 140735137510176 140735137508432 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21566/statm: 2287 264 223 213 0 72 0
[pid=21568] ppid=21566 vsize=22748 CPUtime=25.18 cores=0,2,4,6
/proc/21568/stat : 21568 (clasp-1.0) R 21566 21564 4306 0 -1 4202496 5263 0 0 0 2517 1 0 0 20 0 1 0 344472898 23293952 5141 33554432000 134512640 134847168 4290664752 4290663328 134714731 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21568/statm: 5687 5141 270 82 0 4928 0
[pid=21569] ppid=21566 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21569/stat : 21569 (pboutclasp.pl) S 21566 21564 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344472898 26071040 437 33554432000 4194304 4198148 140734163897072 140734163887608 251035444464 0 0 4224 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/21569/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 83096
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 21570
/proc/meminfo: memFree=27345388/32873844 swapFree=7372/7372
[pid=21564] ppid=21562 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/21564/stat : 21564 (pbclasp) S 21562 21564 4306 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 344472897 26357760 534 33554432000 4194304 4198148 140734482684800 140734482683688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21564/statm: 6435 534 363 1 0 230 0
[pid=21566] ppid=21564 vsize=9148 CPUtime=0.32 cores=0,2,4,6
/proc/21566/stat : 21566 (sh) S 21564 21564 4306 0 -1 4202496 373 620 0 0 0 0 32 0 20 0 1 0 344472898 9367552 264 33554432000 4194304 5064252 140735137510176 140735137508432 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21566/statm: 2287 264 223 213 0 72 0
[pid=21568] ppid=21566 vsize=32552 CPUtime=50.77 cores=0,2,4,6
/proc/21568/stat : 21568 (clasp-1.0) R 21566 21564 4306 0 -1 4202496 7701 0 0 0 5076 1 0 0 20 0 1 0 344472898 33333248 7578 33554432000 134512640 134847168 4290664752 4290663520 134737644 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21568/statm: 8138 7578 270 82 0 7379 0
[pid=21569] ppid=21566 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21569/stat : 21569 (pboutclasp.pl) S 21566 21564 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344472898 26071040 437 33554432000 4194304 4198148 140734163897072 140734163887608 251035444464 0 0 4224 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/21569/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 92900
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 21570
/proc/meminfo: memFree=27322300/32873844 swapFree=7372/7372
[pid=21564] ppid=21562 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/21564/stat : 21564 (pbclasp) S 21562 21564 4306 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 344472897 26357760 534 33554432000 4194304 4198148 140734482684800 140734482683688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21564/statm: 6435 534 363 1 0 230 0
[pid=21566] ppid=21564 vsize=9148 CPUtime=0.32 cores=0,2,4,6
/proc/21566/stat : 21566 (sh) S 21564 21564 4306 0 -1 4202496 373 620 0 0 0 0 32 0 20 0 1 0 344472898 9367552 264 33554432000 4194304 5064252 140735137510176 140735137508432 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21566/statm: 2287 264 223 213 0 72 0
[pid=21568] ppid=21566 vsize=43556 CPUtime=101.98 cores=0,2,4,6
/proc/21568/stat : 21568 (clasp-1.0) R 21566 21564 4306 0 -1 4202496 10464 0 0 0 10196 2 0 0 20 0 1 0 344472898 44601344 10341 33554432000 134512640 134847168 4290664752 4290663316 134714749 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21568/statm: 10889 10341 270 82 0 10130 0
[pid=21569] ppid=21566 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21569/stat : 21569 (pboutclasp.pl) S 21566 21564 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344472898 26071040 437 33554432000 4194304 4198148 140734163897072 140734163887608 251035444464 0 0 4224 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/21569/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 103904
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/184 21573
/proc/meminfo: memFree=27290652/32873844 swapFree=7372/7372
[pid=21564] ppid=21562 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/21564/stat : 21564 (pbclasp) S 21562 21564 4306 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 344472897 26357760 534 33554432000 4194304 4198148 140734482684800 140734482683688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21564/statm: 6435 534 363 1 0 230 0
[pid=21566] ppid=21564 vsize=9148 CPUtime=0.32 cores=0,2,4,6
/proc/21566/stat : 21566 (sh) S 21564 21564 4306 0 -1 4202496 373 620 0 0 0 0 32 0 20 0 1 0 344472898 9367552 264 33554432000 4194304 5064252 140735137510176 140735137508432 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21566/statm: 2287 264 223 213 0 72 0
[pid=21568] ppid=21566 vsize=56468 CPUtime=161.96 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 1.93 3/183 21583
/proc/meminfo: memFree=27118680/32873844 swapFree=7372/7372
[pid=21564] ppid=21562 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/21564/stat : 21564 (pbclasp) S 21562 21564 4306 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 344472897 26357760 534 33554432000 4194304 4198148 140734482684800 140734482683688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21564/statm: 6435 534 363 1 0 230 0
[pid=21566] ppid=21564 vsize=9148 CPUtime=0.32 cores=0,2,4,6
/proc/21566/stat : 21566 (sh) S 21564 21564 4306 0 -1 4202496 373 620 0 0 0 0 32 0 20 0 1 0 344472898 9367552 264 33554432000 4194304 5064252 140735137510176 140735137508432 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21566/statm: 2287 264 223 213 0 72 0
[pid=21568] ppid=21566 vsize=145176 CPUtime=1421.75 cores=0,2,4,6
/proc/21568/stat : 21568 (clasp-1.0) R 21566 21564 4306 0 -1 4202496 35431 0 0 0 142164 11 0 0 20 0 1 0 344472898 148660224 35715 33554432000 134512640 134847168 4290664752 4290663392 134782452 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21568/statm: 36294 35715 270 82 0 35535 0
[pid=21569] ppid=21566 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21569/stat : 21569 (pboutclasp.pl) S 21566 21564 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344472898 26071040 437 33554432000 4194304 4198148 140734163897072 140734163887608 251035444464 0 0 4224 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/21569/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 205524
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 21583
/proc/meminfo: memFree=27101624/32873844 swapFree=7372/7372
[pid=21564] ppid=21562 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/21564/stat : 21564 (pbclasp) S 21562 21564 4306 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 344472897 26357760 534 33554432000 4194304 4198148 140734482684800 140734482683688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21564/statm: 6435 534 363 1 0 230 0
[pid=21566] ppid=21564 vsize=9148 CPUtime=0.32 cores=0,2,4,6
/proc/21566/stat : 21566 (sh) S 21564 21564 4306 0 -1 4202496 373 620 0 0 0 0 32 0 20 0 1 0 344472898 9367552 264 33554432000 4194304 5064252 140735137510176 140735137508432 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21566/statm: 2287 264 223 213 0 72 0
[pid=21568] ppid=21566 vsize=145840 CPUtime=1481.74 cores=0,2,4,6
/proc/21568/stat : 21568 (clasp-1.0) R 21566 21564 4306 0 -1 4202496 35600 0 0 0 148163 11 0 0 20 0 1 0 344472898 149340160 35884 33554432000 134512640 134847168 4290664752 4290663392 134782463 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21568/statm: 36460 35884 270 82 0 35701 0
[pid=21569] ppid=21566 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21569/stat : 21569 (pboutclasp.pl) S 21566 21564 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344472898 26071040 437 33554432000 4194304 4198148 140734163897072 140734163887608 251035444464 0 0 4224 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/21569/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 206188
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/183 21583
/proc/meminfo: memFree=27101376/32873844 swapFree=7372/7372
[pid=21564] ppid=21562 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/21564/stat : 21564 (pbclasp) S 21562 21564 4306 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 344472897 26357760 534 33554432000 4194304 4198148 140734482684800 140734482683688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21564/statm: 6435 534 363 1 0 230 0
[pid=21566] ppid=21564 vsize=9148 CPUtime=0.32 cores=0,2,4,6
/proc/21566/stat : 21566 (sh) S 21564 21564 4306 0 -1 4202496 373 620 0 0 0 0 32 0 20 0 1 0 344472898 9367552 264 33554432000 4194304 5064252 140735137510176 140735137508432 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21566/statm: 2287 264 223 213 0 72 0
[pid=21568] ppid=21566 vsize=145976 CPUtime=1541.73 cores=0,2,4,6
/proc/21568/stat : 21568 (clasp-1.0) R 21566 21564 4306 0 -1 4202496 35639 0 0 0 154162 11 0 0 20 0 1 0 344472898 149479424 35923 33554432000 134512640 134847168 4290664752 4290663392 134782592 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21568/statm: 36494 35923 270 82 0 35735 0
[pid=21569] ppid=21566 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21569/stat : 21569 (pboutclasp.pl) S 21566 21564 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344472898 26071040 437 33554432000 4194304 4198148 140734163897072 140734163887608 251035444464 0 0 4224 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/21569/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 206324
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/183 21584
/proc/meminfo: memFree=27095980/32873844 swapFree=7372/7372
[pid=21564] ppid=21562 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/21564/stat : 21564 (pbclasp) S 21562 21564 4306 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 344472897 26357760 534 33554432000 4194304 4198148 140734482684800 140734482683688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21564/statm: 6435 534 363 1 0 230 0
[pid=21566] ppid=21564 vsize=9148 CPUtime=0.32 cores=0,2,4,6
/proc/21566/stat : 21566 (sh) S 21564 21564 4306 0 -1 4202496 373 620 0 0 0 0 32 0 20 0 1 0 344472898 9367552 264 33554432000 4194304 5064252 140735137510176 140735137508432 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21566/statm: 2287 264 223 213 0 72 0
[pid=21568] ppid=21566 vsize=151308 CPUtime=1601.72 cores=0,2,4,6
/proc/21568/stat : 21568 (clasp-1.0) R 21566 21564 4306 0 -1 4202496 36959 0 0 0 160160 12 0 0 20 0 1 0 344472898 154939392 37259 33554432000 134512640 134847168 4290664752 4290663392 134782463 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21568/statm: 37827 37259 270 82 0 37068 0
[pid=21569] ppid=21566 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21569/stat : 21569 (pboutclasp.pl) S 21566 21564 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344472898 26071040 437 33554432000 4194304 4198148 140734163897072 140734163887608 251035444464 0 0 4224 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/21569/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 211656
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 21584
/proc/meminfo: memFree=27088216/32873844 swapFree=7372/7372
[pid=21564] ppid=21562 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/21564/stat : 21564 (pbclasp) S 21562 21564 4306 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 344472897 26357760 534 33554432000 4194304 4198148 140734482684800 140734482683688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21564/statm: 6435 534 363 1 0 230 0
[pid=21566] ppid=21564 vsize=9148 CPUtime=0.32 cores=0,2,4,6
/proc/21566/stat : 21566 (sh) S 21564 21564 4306 0 -1 4202496 373 620 0 0 0 0 32 0 20 0 1 0 344472898 9367552 264 33554432000 4194304 5064252 140735137510176 140735137508432 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21566/statm: 2287 264 223 213 0 72 0
[pid=21568] ppid=21566 vsize=154396 CPUtime=1661.71 cores=0,2,4,6
/proc/21568/stat : 21568 (clasp-1.0) R 21566 21564 4306 0 -1 4202496 37744 0 0 0 166159 12 0 0 20 0 1 0 344472898 158101504 38044 33554432000 134512640 134847168 4290664752 4290663392 134782441 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21568/statm: 38599 38044 270 82 0 37840 0
[pid=21569] ppid=21566 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21569/stat : 21569 (pboutclasp.pl) S 21566 21564 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344472898 26071040 437 33554432000 4194304 4198148 140734163897072 140734163887608 251035444464 0 0 4224 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/21569/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 214744
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 21584
/proc/meminfo: memFree=27088340/32873844 swapFree=7372/7372
[pid=21564] ppid=21562 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/21564/stat : 21564 (pbclasp) S 21562 21564 4306 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 344472897 26357760 534 33554432000 4194304 4198148 140734482684800 140734482683688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21564/statm: 6435 534 363 1 0 230 0
[pid=21566] ppid=21564 vsize=9148 CPUtime=0.32 cores=0,2,4,6
/proc/21566/stat : 21566 (sh) S 21564 21564 4306 0 -1 4202496 373 620 0 0 0 0 32 0 20 0 1 0 344472898 9367552 264 33554432000 4194304 5064252 140735137510176 140735137508432 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21566/statm: 2287 264 223 213 0 72 0
[pid=21568] ppid=21566 vsize=154096 CPUtime=1721.7 cores=0,2,4,6
/proc/21568/stat : 21568 (clasp-1.0) R 21566 21564 4306 0 -1 4202496 37744 0 0 0 172158 12 0 0 20 0 1 0 344472898 157794304 37969 33554432000 134512640 134847168 4290664752 4290663488 134741032 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21568/statm: 38524 37969 270 82 0 37765 0
[pid=21569] ppid=21566 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21569/stat : 21569 (pboutclasp.pl) S 21566 21564 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344472898 26071040 437 33554432000 4194304 4198148 140734163897072 140734163887608 251035444464 0 0 4224 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/21569/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 214444
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 21584
/proc/meminfo: memFree=27088084/32873844 swapFree=7372/7372
[pid=21564] ppid=21562 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/21564/stat : 21564 (pbclasp) S 21562 21564 4306 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 344472897 26357760 534 33554432000 4194304 4198148 140734482684800 140734482683688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21564/statm: 6435 534 363 1 0 230 0
[pid=21566] ppid=21564 vsize=9148 CPUtime=0.32 cores=0,2,4,6
/proc/21566/stat : 21566 (sh) S 21564 21564 4306 0 -1 4202496 373 620 0 0 0 0 32 0 20 0 1 0 344472898 9367552 264 33554432000 4194304 5064252 140735137510176 140735137508432 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21566/statm: 2287 264 223 213 0 72 0
[pid=21568] ppid=21566 vsize=154096 CPUtime=1781.69 cores=0,2,4,6
/proc/21568/stat : 21568 (clasp-1.0) R 21566 21564 4306 0 -1 4202496 37747 0 0 0 178157 12 0 0 20 0 1 0 344472898 157794304 37994 33554432000 134512640 134847168 4290664752 4290663392 134782444 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21568/statm: 38524 37994 270 82 0 37765 0
[pid=21569] ppid=21566 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21569/stat : 21569 (pboutclasp.pl) S 21566 21564 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344472898 26071040 437 33554432000 4194304 4198148 140734163897072 140734163887608 251035444464 0 0 4224 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/21569/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 214444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.06 2.02 1.94 3/183 21637
/proc/meminfo: memFree=27254576/32873844 swapFree=7372/7372
[pid=21564] ppid=21562 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/21564/stat : 21564 (pbclasp) S 21562 21564 4306 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 344472897 26357760 534 33554432000 4194304 4198148 140734482684800 140734482683688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21564/statm: 6435 534 363 1 0 230 0
[pid=21566] ppid=21564 vsize=9148 CPUtime=0.32 cores=0,2,4,6
/proc/21566/stat : 21566 (sh) S 21564 21564 4306 0 -1 4202496 373 620 0 0 0 0 32 0 20 0 1 0 344472898 9367552 264 33554432000 4194304 5064252 140735137510176 140735137508432 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21566/statm: 2287 264 223 213 0 72 0
[pid=21568] ppid=21566 vsize=154096 CPUtime=1799.69 cores=0,2,4,6
/proc/21568/stat : 21568 (clasp-1.0) R 21566 21564 4306 0 -1 4202496 37747 0 0 0 179957 12 0 0 20 0 1 0 344472898 157794304 37994 33554432000 134512640 134847168 4290664752 4290663392 134782705 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21568/statm: 38524 37994 270 82 0 37765 0
[pid=21569] ppid=21566 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21569/stat : 21569 (pboutclasp.pl) S 21566 21564 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344472898 26071040 437 33554432000 4194304 4198148 140734163897072 140734163887608 251035444464 0 0 4224 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/21569/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 214444
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.06 2.02 1.94 3/183 21637
/proc/meminfo: memFree=27254576/32873844 swapFree=7372/7372
[pid=21564] ppid=21562 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/21564/stat : 21564 (pbclasp) S 21562 21564 4306 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 344472897 26357760 534 33554432000 4194304 4198148 140734482684800 140734482683688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21564/statm: 6435 534 363 1 0 230 0
[pid=21566] ppid=21564 vsize=9148 CPUtime=0.32 cores=0,2,4,6
/proc/21566/stat : 21566 (sh) S 21564 21564 4306 0 -1 4202496 373 620 0 0 0 0 32 0 20 0 1 0 344472898 9367552 264 33554432000 4194304 5064252 140735137510176 140735137508432 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21566/statm: 2287 264 223 213 0 72 0
[pid=21568] ppid=21566 vsize=154096 CPUtime=1799.69 cores=0,2,4,6
/proc/21568/stat : 21568 (clasp-1.0) R 21566 21564 4306 0 -1 4202496 37747 0 0 0 179957 12 0 0 20 0 1 0 344472898 157794304 37994 33554432000 134512640 134847168 4290664752 4290663392 134782705 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21568/statm: 38524 37994 270 82 0 37765 0
[pid=21569] ppid=21566 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21569/stat : 21569 (pboutclasp.pl) S 21566 21564 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344472898 26071040 437 33554432000 4194304 4198148 140734163897072 140734163887608 251035444464 0 0 4224 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/21569/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 214444
Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.04
CPU user time (s): 1799.91
CPU system time (s): 0.13098
CPU usage (%): 99.9853
Max. virtual memory (cumulated for all children) (KiB): 214744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.13098
maximum resident set size= 152176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40029
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 180
involuntary context switches= 1954
runsolver used 2.6086 second user time and 7.2199 second system time
The end