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-3742190-1338785587/watcher-3742190-1338785587 -o /tmp/evaluation-result-3742190-1338785587/solver-3742190-1338785587 -C 1800 -W 1900 -M 15500 pbclasp instance-3742190-1338785587.opb HOME/temp
running on 4 cores: 1,3,5,7
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: 1.59 1.90 1.97 5/175 20448
/proc/meminfo: memFree=25515344/32873844 swapFree=7628/7628
[pid=20448] ppid=20444 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/20448/stat : 20448 (pbclasp) R 20444 20448 20391 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 344683068 26206208 476 33554432000 4194304 4198148 140735093574080 140735093571528 251048029488 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/20448/statm: 6398 478 355 1 0 193 0
[startup+0.0651041 s]
/proc/loadavg: 1.59 1.90 1.97 5/175 20448
/proc/meminfo: memFree=25515344/32873844 swapFree=7628/7628
[pid=20448] ppid=20444 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/20448/stat : 20448 (pbclasp) S 20444 20448 20391 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344683068 26492928 541 33554432000 4194304 4198148 140735093574080 140735093572968 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20448/statm: 6468 541 363 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+0.100169 s]
/proc/loadavg: 1.59 1.90 1.97 5/175 20448
/proc/meminfo: memFree=25515344/32873844 swapFree=7628/7628
[pid=20448] ppid=20444 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/20448/stat : 20448 (pbclasp) S 20444 20448 20391 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344683068 26492928 541 33554432000 4194304 4198148 140735093574080 140735093572968 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20448/statm: 6468 541 363 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+0.300111 s]
/proc/loadavg: 1.59 1.90 1.97 5/175 20448
/proc/meminfo: memFree=25515344/32873844 swapFree=7628/7628
[pid=20448] ppid=20444 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/20448/stat : 20448 (pbclasp) S 20444 20448 20391 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344683068 26492928 541 33554432000 4194304 4198148 140735093574080 140735093572968 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20448/statm: 6468 541 363 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+0.700228 s]
/proc/loadavg: 1.59 1.90 1.97 5/175 20448
/proc/meminfo: memFree=25515344/32873844 swapFree=7628/7628
[pid=20448] ppid=20444 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/20448/stat : 20448 (pbclasp) S 20444 20448 20391 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344683068 26492928 541 33554432000 4194304 4198148 140735093574080 140735093572968 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20448/statm: 6468 541 363 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+1.50029 s]
/proc/loadavg: 1.59 1.90 1.97 4/183 20458
/proc/meminfo: memFree=25500888/32873844 swapFree=7628/7628
[pid=20448] ppid=20444 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/20448/stat : 20448 (pbclasp) S 20444 20448 20391 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344683068 26492928 541 33554432000 4194304 4198148 140735093574080 140735093572968 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20448/statm: 6468 541 363 1 0 263 0
[pid=20451] ppid=20448 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/20451/stat : 20451 (sh) S 20448 20448 20391 0 -1 4202496 371 622 0 0 0 0 39 0 20 0 1 0 344683069 9367552 263 33554432000 4194304 5064252 140737064098528 140737064096784 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20451/statm: 2287 263 223 213 0 72 0
[pid=20453] ppid=20451 vsize=9252 CPUtime=1.13 cores=1,3,5,7
/proc/20453/stat : 20453 (clasp-1.0) R 20451 20448 20391 0 -1 4202496 1862 0 0 0 113 0 0 0 20 0 1 0 344683070 9474048 1718 33554432000 134512640 134847168 4292222000 4292220720 134741414 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20453/statm: 2313 1718 270 82 0 1554 0
[pid=20454] ppid=20451 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20454/stat : 20454 (pboutclasp.pl) S 20451 20448 20391 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344683070 26071040 437 33554432000 4194304 4198148 140734017573888 140734017564424 251048027376 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20454/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 69732
[startup+3.10034 s]
/proc/loadavg: 1.59 1.90 1.97 3/183 20458
/proc/meminfo: memFree=25500500/32873844 swapFree=7628/7628
[pid=20448] ppid=20444 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/20448/stat : 20448 (pbclasp) S 20444 20448 20391 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344683068 26492928 541 33554432000 4194304 4198148 140735093574080 140735093572968 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20448/statm: 6468 541 363 1 0 263 0
[pid=20451] ppid=20448 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/20451/stat : 20451 (sh) S 20448 20448 20391 0 -1 4202496 371 622 0 0 0 0 39 0 20 0 1 0 344683069 9367552 263 33554432000 4194304 5064252 140737064098528 140737064096784 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20451/statm: 2287 263 223 213 0 72 0
[pid=20453] ppid=20451 vsize=10044 CPUtime=2.73 cores=1,3,5,7
/proc/20453/stat : 20453 (clasp-1.0) R 20451 20448 20391 0 -1 4202496 2115 0 0 0 273 0 0 0 20 0 1 0 344683070 10285056 1971 33554432000 134512640 134847168 4292222000 4292220256 12829991 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20453/statm: 2511 1971 270 82 0 1752 0
[pid=20454] ppid=20451 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20454/stat : 20454 (pboutclasp.pl) S 20451 20448 20391 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344683070 26071040 437 33554432000 4194304 4198148 140734017573888 140734017564424 251048027376 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20454/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 70524
[startup+6.30035 s]
/proc/loadavg: 1.62 1.90 1.97 3/183 20458
/proc/meminfo: memFree=25494796/32873844 swapFree=7628/7628
[pid=20448] ppid=20444 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/20448/stat : 20448 (pbclasp) S 20444 20448 20391 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344683068 26492928 541 33554432000 4194304 4198148 140735093574080 140735093572968 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20448/statm: 6468 541 363 1 0 263 0
[pid=20451] ppid=20448 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/20451/stat : 20451 (sh) S 20448 20448 20391 0 -1 4202496 371 622 0 0 0 0 39 0 20 0 1 0 344683069 9367552 263 33554432000 4194304 5064252 140737064098528 140737064096784 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20451/statm: 2287 263 223 213 0 72 0
[pid=20453] ppid=20451 vsize=13064 CPUtime=5.93 cores=1,3,5,7
/proc/20453/stat : 20453 (clasp-1.0) R 20451 20448 20391 0 -1 4202496 2838 0 0 0 593 0 0 0 20 0 1 0 344683070 13377536 2694 33554432000 134512640 134847168 4292222000 4292220768 134737587 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20453/statm: 3266 2694 270 82 0 2507 0
[pid=20454] ppid=20451 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20454/stat : 20454 (pboutclasp.pl) S 20451 20448 20391 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344683070 26071040 437 33554432000 4194304 4198148 140734017573888 140734017564424 251048027376 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20454/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 73544
[startup+12.7003 s]
/proc/loadavg: 1.65 1.91 1.97 3/183 20458
/proc/meminfo: memFree=25481844/32873844 swapFree=7628/7628
[pid=20448] ppid=20444 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/20448/stat : 20448 (pbclasp) S 20444 20448 20391 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344683068 26492928 541 33554432000 4194304 4198148 140735093574080 140735093572968 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20448/statm: 6468 541 363 1 0 263 0
[pid=20451] ppid=20448 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/20451/stat : 20451 (sh) S 20448 20448 20391 0 -1 4202496 371 622 0 0 0 0 39 0 20 0 1 0 344683069 9367552 263 33554432000 4194304 5064252 140737064098528 140737064096784 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20451/statm: 2287 263 223 213 0 72 0
[pid=20453] ppid=20451 vsize=20520 CPUtime=12.32 cores=1,3,5,7
/proc/20453/stat : 20453 (clasp-1.0) R 20451 20448 20391 0 -1 4202496 4703 0 0 0 1232 0 0 0 20 0 1 0 344683070 21012480 4587 33554432000 134512640 134847168 4292222000 4292220752 134738104 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20453/statm: 5130 4587 270 82 0 4371 0
[pid=20454] ppid=20451 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20454/stat : 20454 (pboutclasp.pl) S 20451 20448 20391 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344683070 26071040 437 33554432000 4194304 4198148 140734017573888 140734017564424 251048027376 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20454/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 81000
[startup+25.5005 s]
/proc/loadavg: 1.73 1.91 1.97 3/183 20458
/proc/meminfo: memFree=25461984/32873844 swapFree=7628/7628
[pid=20448] ppid=20444 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/20448/stat : 20448 (pbclasp) S 20444 20448 20391 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344683068 26492928 541 33554432000 4194304 4198148 140735093574080 140735093572968 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20448/statm: 6468 541 363 1 0 263 0
[pid=20451] ppid=20448 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/20451/stat : 20451 (sh) S 20448 20448 20391 0 -1 4202496 371 622 0 0 0 0 39 0 20 0 1 0 344683069 9367552 263 33554432000 4194304 5064252 140737064098528 140737064096784 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20451/statm: 2287 263 223 213 0 72 0
[pid=20453] ppid=20451 vsize=27808 CPUtime=25.12 cores=1,3,5,7
/proc/20453/stat : 20453 (clasp-1.0) R 20451 20448 20391 0 -1 4202496 6516 0 0 0 2511 1 0 0 20 0 1 0 344683070 28475392 6400 33554432000 134512640 134847168 4292222000 4292220624 134784798 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20453/statm: 6952 6400 270 82 0 6193 0
[pid=20454] ppid=20451 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20454/stat : 20454 (pboutclasp.pl) S 20451 20448 20391 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344683070 26071040 437 33554432000 4194304 4198148 140734017573888 140734017564424 251048027376 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20454/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 88288
[startup+51.1006 s]
/proc/loadavg: 1.82 1.92 1.97 3/183 20458
/proc/meminfo: memFree=25435484/32873844 swapFree=7628/7628
[pid=20448] ppid=20444 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/20448/stat : 20448 (pbclasp) S 20444 20448 20391 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344683068 26492928 541 33554432000 4194304 4198148 140735093574080 140735093572968 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20448/statm: 6468 541 363 1 0 263 0
[pid=20451] ppid=20448 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/20451/stat : 20451 (sh) S 20448 20448 20391 0 -1 4202496 371 622 0 0 0 0 39 0 20 0 1 0 344683069 9367552 263 33554432000 4194304 5064252 140737064098528 140737064096784 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20451/statm: 2287 263 223 213 0 72 0
[pid=20453] ppid=20451 vsize=46560 CPUtime=50.72 cores=1,3,5,7
/proc/20453/stat : 20453 (clasp-1.0) R 20451 20448 20391 0 -1 4202496 11204 0 0 0 5069 3 0 0 20 0 1 0 344683070 47677440 11090 33554432000 134512640 134847168 4292222000 4292220768 134737660 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20453/statm: 11640 11090 270 82 0 10881 0
[pid=20454] ppid=20451 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20454/stat : 20454 (pboutclasp.pl) S 20451 20448 20391 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344683070 26071040 437 33554432000 4194304 4198148 140734017573888 140734017564424 251048027376 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20454/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 107040
[startup+102.301 s]
/proc/loadavg: 1.92 1.93 1.97 3/183 20458
/proc/meminfo: memFree=25406376/32873844 swapFree=7628/7628
[pid=20448] ppid=20444 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/20448/stat : 20448 (pbclasp) S 20444 20448 20391 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344683068 26492928 541 33554432000 4194304 4198148 140735093574080 140735093572968 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20448/statm: 6468 541 363 1 0 263 0
[pid=20451] ppid=20448 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/20451/stat : 20451 (sh) S 20448 20448 20391 0 -1 4202496 371 622 0 0 0 0 39 0 20 0 1 0 344683069 9367552 263 33554432000 4194304 5064252 140737064098528 140737064096784 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20451/statm: 2287 263 223 213 0 72 0
[pid=20453] ppid=20451 vsize=60876 CPUtime=101.91 cores=1,3,5,7
/proc/20453/stat : 20453 (clasp-1.0) R 20451 20448 20391 0 -1 4202496 14784 0 0 0 10187 4 0 0 20 0 1 0 344683070 62337024 14673 33554432000 134512640 134847168 4292222000 4292220700 134616112 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20453/statm: 15219 14673 270 82 0 14460 0
[pid=20454] ppid=20451 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20454/stat : 20454 (pboutclasp.pl) S 20451 20448 20391 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344683070 26071040 437 33554432000 4194304 4198148 140734017573888 140734017564424 251048027376 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20454/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 121356
[startup+162.3 s]
/proc/loadavg: 1.97 1.94 1.97 3/183 20458
/proc/meminfo: memFree=25371692/32873844 swapFree=7628/7628
[pid=20448] ppid=20444 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/20448/stat : 20448 (pbclasp) S 20444 20448 20391 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344683068 26492928 541 33554432000 4194304 4198148 140735093574080 140735093572968 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20448/statm: 6468 541 363 1 0 263 0
[pid=20451] ppid=20448 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/20451/stat : 20451 (sh) S 20448 20448 20391 0 -1 4202496 371 622 0 0 0 0 39 0 20 0 1 0 344683069 9367552 263 33554432000 4194304 5064252 140737064098528 140737064096784 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20451/statm: 2287 263 223 213 0 72 0
[pid=20453] ppid=20451 vsize=72744 CPUtime=161.89 cores=1,3,5,7
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.02 2.00 1.98 3/183 20543
/proc/meminfo: memFree=25252932/32873844 swapFree=7628/7628
[pid=20448] ppid=20444 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/20448/stat : 20448 (pbclasp) S 20444 20448 20391 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344683068 26492928 541 33554432000 4194304 4198148 140735093574080 140735093572968 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20448/statm: 6468 541 363 1 0 263 0
[pid=20451] ppid=20448 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/20451/stat : 20451 (sh) S 20448 20448 20391 0 -1 4202496 371 622 0 0 0 0 39 0 20 0 1 0 344683069 9367552 263 33554432000 4194304 5064252 140737064098528 140737064096784 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20451/statm: 2287 263 223 213 0 72 0
[pid=20453] ppid=20451 vsize=179832 CPUtime=1421.67 cores=1,3,5,7
/proc/20453/stat : 20453 (clasp-1.0) R 20451 20448 20391 0 -1 4202496 44331 0 0 0 142154 13 0 0 20 0 1 0 344683070 184147968 44426 33554432000 134512640 134847168 4292222000 4292220740 134737633 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20453/statm: 44958 44426 270 82 0 44199 0
[pid=20454] ppid=20451 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20454/stat : 20454 (pboutclasp.pl) S 20451 20448 20391 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344683070 26071040 437 33554432000 4194304 4198148 140734017573888 140734017564424 251048027376 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20454/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 240312
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 20544
/proc/meminfo: memFree=25240064/32873844 swapFree=7628/7628
[pid=20448] ppid=20444 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/20448/stat : 20448 (pbclasp) S 20444 20448 20391 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344683068 26492928 541 33554432000 4194304 4198148 140735093574080 140735093572968 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20448/statm: 6468 541 363 1 0 263 0
[pid=20451] ppid=20448 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/20451/stat : 20451 (sh) S 20448 20448 20391 0 -1 4202496 371 622 0 0 0 0 39 0 20 0 1 0 344683069 9367552 263 33554432000 4194304 5064252 140737064098528 140737064096784 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20451/statm: 2287 263 223 213 0 72 0
[pid=20453] ppid=20451 vsize=182012 CPUtime=1481.66 cores=1,3,5,7
/proc/20453/stat : 20453 (clasp-1.0) R 20451 20448 20391 0 -1 4202496 44787 0 0 0 148153 13 0 0 20 0 1 0 344683070 186380288 44882 33554432000 134512640 134847168 4292222000 4292220640 134782455 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20453/statm: 45503 44882 270 82 0 44744 0
[pid=20454] ppid=20451 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20454/stat : 20454 (pboutclasp.pl) S 20451 20448 20391 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344683070 26071040 437 33554432000 4194304 4198148 140734017573888 140734017564424 251048027376 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20454/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 242492
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 20544
/proc/meminfo: memFree=25226052/32873844 swapFree=7628/7628
[pid=20448] ppid=20444 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/20448/stat : 20448 (pbclasp) S 20444 20448 20391 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344683068 26492928 541 33554432000 4194304 4198148 140735093574080 140735093572968 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20448/statm: 6468 541 363 1 0 263 0
[pid=20451] ppid=20448 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/20451/stat : 20451 (sh) S 20448 20448 20391 0 -1 4202496 371 622 0 0 0 0 39 0 20 0 1 0 344683069 9367552 263 33554432000 4194304 5064252 140737064098528 140737064096784 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20451/statm: 2287 263 223 213 0 72 0
[pid=20453] ppid=20451 vsize=196776 CPUtime=1541.65 cores=1,3,5,7
/proc/20453/stat : 20453 (clasp-1.0) R 20451 20448 20391 0 -1 4202496 48439 0 0 0 154151 14 0 0 20 0 1 0 344683070 201498624 48534 33554432000 134512640 134847168 4292222000 4292220640 134782432 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20453/statm: 49194 48534 270 82 0 48435 0
[pid=20454] ppid=20451 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20454/stat : 20454 (pboutclasp.pl) S 20451 20448 20391 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344683070 26071040 437 33554432000 4194304 4198148 140734017573888 140734017564424 251048027376 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20454/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 257256
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 20544
/proc/meminfo: memFree=25203080/32873844 swapFree=7628/7628
[pid=20448] ppid=20444 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/20448/stat : 20448 (pbclasp) S 20444 20448 20391 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344683068 26492928 541 33554432000 4194304 4198148 140735093574080 140735093572968 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20448/statm: 6468 541 363 1 0 263 0
[pid=20451] ppid=20448 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/20451/stat : 20451 (sh) S 20448 20448 20391 0 -1 4202496 371 622 0 0 0 0 39 0 20 0 1 0 344683069 9367552 263 33554432000 4194304 5064252 140737064098528 140737064096784 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20451/statm: 2287 263 223 213 0 72 0
[pid=20453] ppid=20451 vsize=212844 CPUtime=1601.63 cores=1,3,5,7
/proc/20453/stat : 20453 (clasp-1.0) R 20451 20448 20391 0 -1 4202496 52429 0 0 0 160147 16 0 0 20 0 1 0 344683070 217952256 52640 33554432000 134512640 134847168 4292222000 4292220640 134782432 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20453/statm: 53211 52640 270 82 0 52452 0
[pid=20454] ppid=20451 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20454/stat : 20454 (pboutclasp.pl) S 20451 20448 20391 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344683070 26071040 437 33554432000 4194304 4198148 140734017573888 140734017564424 251048027376 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20454/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 273324
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 20547
/proc/meminfo: memFree=25159548/32873844 swapFree=7628/7628
[pid=20448] ppid=20444 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/20448/stat : 20448 (pbclasp) S 20444 20448 20391 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344683068 26492928 541 33554432000 4194304 4198148 140735093574080 140735093572968 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20448/statm: 6468 541 363 1 0 263 0
[pid=20451] ppid=20448 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/20451/stat : 20451 (sh) S 20448 20448 20391 0 -1 4202496 371 622 0 0 0 0 39 0 20 0 1 0 344683069 9367552 263 33554432000 4194304 5064252 140737064098528 140737064096784 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20451/statm: 2287 263 223 213 0 72 0
[pid=20453] ppid=20451 vsize=212844 CPUtime=1661.62 cores=1,3,5,7
/proc/20453/stat : 20453 (clasp-1.0) R 20451 20448 20391 0 -1 4202496 52429 0 0 0 166146 16 0 0 20 0 1 0 344683070 217952256 52640 33554432000 134512640 134847168 4292222000 4292220740 134737637 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20453/statm: 53211 52640 270 82 0 52452 0
[pid=20454] ppid=20451 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20454/stat : 20454 (pboutclasp.pl) S 20451 20448 20391 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344683070 26071040 437 33554432000 4194304 4198148 140734017573888 140734017564424 251048027376 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20454/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 273324
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 20547
/proc/meminfo: memFree=25089772/32873844 swapFree=7628/7628
[pid=20448] ppid=20444 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/20448/stat : 20448 (pbclasp) S 20444 20448 20391 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344683068 26492928 541 33554432000 4194304 4198148 140735093574080 140735093572968 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20448/statm: 6468 541 363 1 0 263 0
[pid=20451] ppid=20448 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/20451/stat : 20451 (sh) S 20448 20448 20391 0 -1 4202496 371 622 0 0 0 0 39 0 20 0 1 0 344683069 9367552 263 33554432000 4194304 5064252 140737064098528 140737064096784 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20451/statm: 2287 263 223 213 0 72 0
[pid=20453] ppid=20451 vsize=212844 CPUtime=1721.61 cores=1,3,5,7
/proc/20453/stat : 20453 (clasp-1.0) R 20451 20448 20391 0 -1 4202496 52429 0 0 0 172145 16 0 0 20 0 1 0 344683070 217952256 52640 33554432000 134512640 134847168 4292222000 4292220640 134782437 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20453/statm: 53211 52640 270 82 0 52452 0
[pid=20454] ppid=20451 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20454/stat : 20454 (pboutclasp.pl) S 20451 20448 20391 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344683070 26071040 437 33554432000 4194304 4198148 140734017573888 140734017564424 251048027376 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20454/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 273324
[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 1.99 3/184 20549
/proc/meminfo: memFree=25088512/32873844 swapFree=7628/7628
[pid=20448] ppid=20444 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/20448/stat : 20448 (pbclasp) S 20444 20448 20391 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344683068 26492928 541 33554432000 4194304 4198148 140735093574080 140735093572968 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20448/statm: 6468 541 363 1 0 263 0
[pid=20451] ppid=20448 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/20451/stat : 20451 (sh) S 20448 20448 20391 0 -1 4202496 371 622 0 0 0 0 39 0 20 0 1 0 344683069 9367552 263 33554432000 4194304 5064252 140737064098528 140737064096784 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20451/statm: 2287 263 223 213 0 72 0
[pid=20453] ppid=20451 vsize=213112 CPUtime=1781.6 cores=1,3,5,7
/proc/20453/stat : 20453 (clasp-1.0) R 20451 20448 20391 0 -1 4202496 52495 0 0 0 178144 16 0 0 20 0 1 0 344683070 218226688 52706 33554432000 134512640 134847168 4292222000 4292220568 134715097 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20453/statm: 53278 52706 270 82 0 52519 0
[pid=20454] ppid=20451 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20454/stat : 20454 (pboutclasp.pl) S 20451 20448 20391 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344683070 26071040 437 33554432000 4194304 4198148 140734017573888 140734017564424 251048027376 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20454/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 273592
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.04 2.01 1.99 3/184 20549
/proc/meminfo: memFree=25088388/32873844 swapFree=7628/7628
[pid=20448] ppid=20444 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/20448/stat : 20448 (pbclasp) S 20444 20448 20391 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344683068 26492928 541 33554432000 4194304 4198148 140735093574080 140735093572968 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20448/statm: 6468 541 363 1 0 263 0
[pid=20451] ppid=20448 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/20451/stat : 20451 (sh) S 20448 20448 20391 0 -1 4202496 371 622 0 0 0 0 39 0 20 0 1 0 344683069 9367552 263 33554432000 4194304 5064252 140737064098528 140737064096784 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20451/statm: 2287 263 223 213 0 72 0
[pid=20453] ppid=20451 vsize=213256 CPUtime=1799.7 cores=1,3,5,7
/proc/20453/stat : 20453 (clasp-1.0) R 20451 20448 20391 0 -1 4202496 52522 0 0 0 179954 16 0 0 20 0 1 0 344683070 218374144 52733 33554432000 134512640 134847168 4292222000 4292220640 134782432 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20453/statm: 53314 52733 270 82 0 52555 0
[pid=20454] ppid=20451 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20454/stat : 20454 (pboutclasp.pl) S 20451 20448 20391 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344683070 26071040 437 33554432000 4194304 4198148 140734017573888 140734017564424 251048027376 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20454/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 273736
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.04 2.01 1.99 3/184 20549
/proc/meminfo: memFree=25088388/32873844 swapFree=7628/7628
[pid=20448] ppid=20444 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/20448/stat : 20448 (pbclasp) S 20444 20448 20391 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344683068 26492928 541 33554432000 4194304 4198148 140735093574080 140735093572968 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20448/statm: 6468 541 363 1 0 263 0
[pid=20451] ppid=20448 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/20451/stat : 20451 (sh) S 20448 20448 20391 0 -1 4202496 371 622 0 0 0 0 39 0 20 0 1 0 344683069 9367552 263 33554432000 4194304 5064252 140737064098528 140737064096784 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20451/statm: 2287 263 223 213 0 72 0
[pid=20453] ppid=20451 vsize=213256 CPUtime=1799.7 cores=1,3,5,7
/proc/20453/stat : 20453 (clasp-1.0) R 20451 20448 20391 0 -1 4202496 52522 0 0 0 179954 16 0 0 20 0 1 0 344683070 218374144 52733 33554432000 134512640 134847168 4292222000 4292220640 134782432 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20453/statm: 53314 52733 270 82 0 52555 0
[pid=20454] ppid=20451 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20454/stat : 20454 (pboutclasp.pl) S 20451 20448 20391 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344683070 26071040 437 33554432000 4194304 4198148 140734017573888 140734017564424 251048027376 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20454/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 273736
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.12
CPU user time (s): 1799.95
CPU system time (s): 0.173973
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 273736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.173973
maximum resident set size= 210932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54820
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= 244
involuntary context switches= 2007
runsolver used 6.09707 second user time and 18.0493 second system time
The end