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-3742372-1338787669/watcher-3742372-1338787669 -o /tmp/evaluation-result-3742372-1338787669/solver-3742372-1338787669 -C 1800 -W 1900 -M 15500 pbclasp instance-3742372-1338787669.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: 2.00 2.00 1.95 3/177 7400
/proc/meminfo: memFree=21985060/32873844 swapFree=7112/7112
[pid=7400] ppid=7398 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/7400/stat : 7400 (pbclasp) R 7398 7400 6982 0 -1 4202496 557 0 0 0 0 0 0 0 20 0 1 0 344895500 26206208 487 33554432000 4194304 4198148 140736732551280 140736732548728 235387104968 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/7400/statm: 6398 487 355 1 0 193 0
[startup+0.0490951 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7400
/proc/meminfo: memFree=21985060/32873844 swapFree=7112/7112
[pid=7400] ppid=7398 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/7400/stat : 7400 (pbclasp) S 7398 7400 6982 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 344895500 27029504 678 33554432000 4194304 4198148 140736732551280 140736732550168 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7400/statm: 6599 678 364 1 0 394 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26396
[startup+0.10018 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7400
/proc/meminfo: memFree=21985060/32873844 swapFree=7112/7112
[pid=7400] ppid=7398 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/7400/stat : 7400 (pbclasp) S 7398 7400 6982 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 344895500 27029504 678 33554432000 4194304 4198148 140736732551280 140736732550168 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7400/statm: 6599 678 364 1 0 394 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26396
[startup+0.300113 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7400
/proc/meminfo: memFree=21985060/32873844 swapFree=7112/7112
[pid=7400] ppid=7398 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/7400/stat : 7400 (pbclasp) S 7398 7400 6982 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 344895500 27029504 678 33554432000 4194304 4198148 140736732551280 140736732550168 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7400/statm: 6599 678 364 1 0 394 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26396
[startup+0.70011 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7400
/proc/meminfo: memFree=21985060/32873844 swapFree=7112/7112
[pid=7400] ppid=7398 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/7400/stat : 7400 (pbclasp) S 7398 7400 6982 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 344895500 27029504 678 33554432000 4194304 4198148 140736732551280 140736732550168 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7400/statm: 6599 678 364 1 0 394 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26396
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 1.95 3/182 7405
/proc/meminfo: memFree=21977044/32873844 swapFree=7112/7112
[pid=7400] ppid=7398 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/7400/stat : 7400 (pbclasp) S 7398 7400 6982 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 344895500 27029504 678 33554432000 4194304 4198148 140736732551280 140736732550168 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7400/statm: 6599 678 364 1 0 394 0
[pid=7402] ppid=7400 vsize=9148 CPUtime=1.15 cores=1,3,5,7
/proc/7402/stat : 7402 (sh) S 7400 7400 6982 0 -1 4202496 371 625 0 0 0 0 115 0 20 0 1 0 344895503 9367552 263 33554432000 4194304 5064252 140735696690192 140735696688448 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7402/statm: 2287 263 223 213 0 72 0
[pid=7404] ppid=7402 vsize=19284 CPUtime=0.45 cores=1,3,5,7
/proc/7404/stat : 7404 (clasp-1.0) R 7402 7400 6982 0 -1 4202496 4624 0 0 0 44 1 0 0 20 0 1 0 344895503 19746816 4209 33554432000 134512640 134847168 4289760464 4289759232 134617496 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/7404/statm: 4821 4209 272 82 0 4062 0
[pid=7405] ppid=7402 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7405/stat : 7405 (pboutclasp.pl) S 7402 7400 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344895503 26071040 437 33554432000 4194304 4198148 140734263268368 140734263258904 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7405/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 80288
[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 7405
/proc/meminfo: memFree=21966636/32873844 swapFree=7112/7112
[pid=7400] ppid=7398 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/7400/stat : 7400 (pbclasp) S 7398 7400 6982 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 344895500 27029504 678 33554432000 4194304 4198148 140736732551280 140736732550168 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7400/statm: 6599 678 364 1 0 394 0
[pid=7402] ppid=7400 vsize=9148 CPUtime=1.15 cores=1,3,5,7
/proc/7402/stat : 7402 (sh) S 7400 7400 6982 0 -1 4202496 371 625 0 0 0 0 115 0 20 0 1 0 344895503 9367552 263 33554432000 4194304 5064252 140735696690192 140735696688448 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7402/statm: 2287 263 223 213 0 72 0
[pid=7404] ppid=7402 vsize=19284 CPUtime=2.04 cores=1,3,5,7
/proc/7404/stat : 7404 (clasp-1.0) R 7402 7400 6982 0 -1 4202496 4664 0 0 0 203 1 0 0 20 0 1 0 344895503 19746816 4249 33554432000 134512640 134847168 4289760464 4289759232 134617496 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7404/statm: 4821 4249 272 82 0 4062 0
[pid=7405] ppid=7402 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7405/stat : 7405 (pboutclasp.pl) S 7402 7400 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344895503 26071040 437 33554432000 4194304 4198148 140734263268368 140734263258904 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7405/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 80288
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 7405
/proc/meminfo: memFree=21966512/32873844 swapFree=7112/7112
[pid=7400] ppid=7398 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/7400/stat : 7400 (pbclasp) S 7398 7400 6982 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 344895500 27029504 678 33554432000 4194304 4198148 140736732551280 140736732550168 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7400/statm: 6599 678 364 1 0 394 0
[pid=7402] ppid=7400 vsize=9148 CPUtime=1.15 cores=1,3,5,7
/proc/7402/stat : 7402 (sh) S 7400 7400 6982 0 -1 4202496 371 625 0 0 0 0 115 0 20 0 1 0 344895503 9367552 263 33554432000 4194304 5064252 140735696690192 140735696688448 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7402/statm: 2287 263 223 213 0 72 0
[pid=7404] ppid=7402 vsize=19692 CPUtime=5.24 cores=1,3,5,7
/proc/7404/stat : 7404 (clasp-1.0) R 7402 7400 6982 0 -1 4202496 4726 0 0 0 523 1 0 0 20 0 1 0 344895503 20164608 4311 33554432000 134512640 134847168 4289760464 4289759232 134737299 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7404/statm: 4923 4311 272 82 0 4164 0
[pid=7405] ppid=7402 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7405/stat : 7405 (pboutclasp.pl) S 7402 7400 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344895503 26071040 437 33554432000 4194304 4198148 140734263268368 140734263258904 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7405/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (KiB) 80696
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 7405
/proc/meminfo: memFree=21966560/32873844 swapFree=7112/7112
[pid=7400] ppid=7398 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/7400/stat : 7400 (pbclasp) S 7398 7400 6982 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 344895500 27029504 678 33554432000 4194304 4198148 140736732551280 140736732550168 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7400/statm: 6599 678 364 1 0 394 0
[pid=7402] ppid=7400 vsize=9148 CPUtime=1.15 cores=1,3,5,7
/proc/7402/stat : 7402 (sh) S 7400 7400 6982 0 -1 4202496 371 625 0 0 0 0 115 0 20 0 1 0 344895503 9367552 263 33554432000 4194304 5064252 140735696690192 140735696688448 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7402/statm: 2287 263 223 213 0 72 0
[pid=7404] ppid=7402 vsize=20124 CPUtime=11.64 cores=1,3,5,7
/proc/7404/stat : 7404 (clasp-1.0) R 7402 7400 6982 0 -1 4202496 4798 0 0 0 1163 1 0 0 20 0 1 0 344895503 20606976 4383 33554432000 134512640 134847168 4289760464 4289759040 134714194 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7404/statm: 5031 4383 272 82 0 4272 0
[pid=7405] ppid=7402 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7405/stat : 7405 (pboutclasp.pl) S 7402 7400 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344895503 26071040 437 33554432000 4194304 4198148 140734263268368 140734263258904 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7405/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.8
Current children cumulated vsize (KiB) 81128
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 7405
/proc/meminfo: memFree=21963708/32873844 swapFree=7112/7112
[pid=7400] ppid=7398 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/7400/stat : 7400 (pbclasp) S 7398 7400 6982 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 344895500 27029504 678 33554432000 4194304 4198148 140736732551280 140736732550168 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7400/statm: 6599 678 364 1 0 394 0
[pid=7402] ppid=7400 vsize=9148 CPUtime=1.15 cores=1,3,5,7
/proc/7402/stat : 7402 (sh) S 7400 7400 6982 0 -1 4202496 371 625 0 0 0 0 115 0 20 0 1 0 344895503 9367552 263 33554432000 4194304 5064252 140735696690192 140735696688448 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7402/statm: 2287 263 223 213 0 72 0
[pid=7404] ppid=7402 vsize=22632 CPUtime=24.44 cores=1,3,5,7
/proc/7404/stat : 7404 (clasp-1.0) R 7402 7400 6982 0 -1 4202496 5525 0 0 0 2443 1 0 0 20 0 1 0 344895503 23175168 5110 33554432000 134512640 134847168 4289760464 4289759040 134714173 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7404/statm: 5658 5110 272 82 0 4899 0
[pid=7405] ppid=7402 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7405/stat : 7405 (pboutclasp.pl) S 7402 7400 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344895503 26071040 437 33554432000 4194304 4198148 140734263268368 140734263258904 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7405/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 25.6
Current children cumulated vsize (KiB) 83636
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 7405
/proc/meminfo: memFree=21956516/32873844 swapFree=7112/7112
[pid=7400] ppid=7398 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/7400/stat : 7400 (pbclasp) S 7398 7400 6982 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 344895500 27029504 678 33554432000 4194304 4198148 140736732551280 140736732550168 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7400/statm: 6599 678 364 1 0 394 0
[pid=7402] ppid=7400 vsize=9148 CPUtime=1.15 cores=1,3,5,7
/proc/7402/stat : 7402 (sh) S 7400 7400 6982 0 -1 4202496 371 625 0 0 0 0 115 0 20 0 1 0 344895503 9367552 263 33554432000 4194304 5064252 140735696690192 140735696688448 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7402/statm: 2287 263 223 213 0 72 0
[pid=7404] ppid=7402 vsize=29996 CPUtime=50.03 cores=1,3,5,7
/proc/7404/stat : 7404 (clasp-1.0) R 7402 7400 6982 0 -1 4202496 7326 0 0 0 5002 1 0 0 20 0 1 0 344895503 30715904 6911 33554432000 134512640 134847168 4289760464 4289759184 134740933 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7404/statm: 7499 6911 272 82 0 6740 0
[pid=7405] ppid=7402 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7405/stat : 7405 (pboutclasp.pl) S 7402 7400 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344895503 26071040 437 33554432000 4194304 4198148 140734263268368 140734263258904 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7405/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 91000
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 7458
/proc/meminfo: memFree=22322932/32873844 swapFree=7112/7112
[pid=7400] ppid=7398 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/7400/stat : 7400 (pbclasp) S 7398 7400 6982 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 344895500 27029504 678 33554432000 4194304 4198148 140736732551280 140736732550168 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7400/statm: 6599 678 364 1 0 394 0
[pid=7402] ppid=7400 vsize=9148 CPUtime=1.15 cores=1,3,5,7
/proc/7402/stat : 7402 (sh) S 7400 7400 6982 0 -1 4202496 371 625 0 0 0 0 115 0 20 0 1 0 344895503 9367552 263 33554432000 4194304 5064252 140735696690192 140735696688448 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7402/statm: 2287 263 223 213 0 72 0
[pid=7404] ppid=7402 vsize=44604 CPUtime=101.22 cores=1,3,5,7
/proc/7404/stat : 7404 (clasp-1.0) R 7402 7400 6982 0 -1 4202496 11020 0 0 0 10119 3 0 0 20 0 1 0 344895503 45674496 10604 33554432000 134512640 134847168 4289760464 4289759232 134737366 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7404/statm: 11151 10604 272 82 0 10392 0
[pid=7405] ppid=7402 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7405/stat : 7405 (pboutclasp.pl) S 7402 7400 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344895503 26071040 437 33554432000 4194304 4198148 140734263268368 140734263258904 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7405/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 105608
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/182 7461
/proc/meminfo: memFree=22289152/32873844 swapFree=7112/7112
[pid=7400] ppid=7398 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/7400/stat : 7400 (pbclasp) S 7398 7400 6982 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 344895500 27029504 678 33554432000 4194304 4198148 140736732551280 140736732550168 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7400/statm: 6599 678 364 1 0 394 0
[pid=7402] ppid=7400 vsize=9148 CPUtime=1.15 cores=1,3,5,7
/proc/7402/stat : 7402 (sh) S 7400 7400 6982 0 -1 4202496 371 625 0 0 0 0 115 0 20 0 1 0 344895503 9367552 263 33554432000 4194304 5064252 140735696690192 140735696688448 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7402/statm: 2287 263 223 213 0 72 0
[pid=7404] ppid=7402 vsize=56164 CPUtime=161.19 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/182 7471
/proc/meminfo: memFree=21803532/32873844 swapFree=7112/7112
[pid=7400] ppid=7398 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/7400/stat : 7400 (pbclasp) S 7398 7400 6982 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 344895500 27029504 678 33554432000 4194304 4198148 140736732551280 140736732550168 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7400/statm: 6599 678 364 1 0 394 0
[pid=7402] ppid=7400 vsize=9148 CPUtime=1.15 cores=1,3,5,7
/proc/7402/stat : 7402 (sh) S 7400 7400 6982 0 -1 4202496 371 625 0 0 0 0 115 0 20 0 1 0 344895503 9367552 263 33554432000 4194304 5064252 140735696690192 140735696688448 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7402/statm: 2287 263 223 213 0 72 0
[pid=7404] ppid=7402 vsize=241708 CPUtime=1360.92 cores=1,3,5,7
/proc/7404/stat : 7404 (clasp-1.0) R 7402 7400 6982 0 -1 4202496 59460 0 0 0 136072 20 0 0 20 0 1 0 344895503 247508992 59609 33554432000 134512640 134847168 4289760464 4289759104 134782432 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7404/statm: 60427 59609 272 82 0 59668 0
[pid=7405] ppid=7402 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7405/stat : 7405 (pboutclasp.pl) S 7402 7400 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344895503 26071040 437 33554432000 4194304 4198148 140734263268368 140734263258904 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7405/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 302712
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 7471
/proc/meminfo: memFree=21793680/32873844 swapFree=7112/7112
[pid=7400] ppid=7398 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/7400/stat : 7400 (pbclasp) S 7398 7400 6982 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 344895500 27029504 678 33554432000 4194304 4198148 140736732551280 140736732550168 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7400/statm: 6599 678 364 1 0 394 0
[pid=7402] ppid=7400 vsize=9148 CPUtime=1.15 cores=1,3,5,7
/proc/7402/stat : 7402 (sh) S 7400 7400 6982 0 -1 4202496 371 625 0 0 0 0 115 0 20 0 1 0 344895503 9367552 263 33554432000 4194304 5064252 140735696690192 140735696688448 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7402/statm: 2287 263 223 213 0 72 0
[pid=7404] ppid=7402 vsize=241708 CPUtime=1420.92 cores=1,3,5,7
/proc/7404/stat : 7404 (clasp-1.0) R 7402 7400 6982 0 -1 4202496 59461 0 0 0 142072 20 0 0 20 0 1 0 344895503 247508992 59647 33554432000 134512640 134847168 4289760464 4289759156 134616619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7404/statm: 60427 59647 272 82 0 59668 0
[pid=7405] ppid=7402 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7405/stat : 7405 (pboutclasp.pl) S 7402 7400 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344895503 26071040 437 33554432000 4194304 4198148 140734263268368 140734263258904 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7405/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 302712
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 7471
/proc/meminfo: memFree=21786920/32873844 swapFree=7112/7112
[pid=7400] ppid=7398 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/7400/stat : 7400 (pbclasp) S 7398 7400 6982 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 344895500 27029504 678 33554432000 4194304 4198148 140736732551280 140736732550168 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7400/statm: 6599 678 364 1 0 394 0
[pid=7402] ppid=7400 vsize=9148 CPUtime=1.15 cores=1,3,5,7
/proc/7402/stat : 7402 (sh) S 7400 7400 6982 0 -1 4202496 371 625 0 0 0 0 115 0 20 0 1 0 344895503 9367552 263 33554432000 4194304 5064252 140735696690192 140735696688448 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7402/statm: 2287 263 223 213 0 72 0
[pid=7404] ppid=7402 vsize=247776 CPUtime=1480.9 cores=1,3,5,7
/proc/7404/stat : 7404 (clasp-1.0) R 7402 7400 6982 0 -1 4202496 60968 0 0 0 148069 21 0 0 20 0 1 0 344895503 253722624 61154 33554432000 134512640 134847168 4289760464 4289759104 134782437 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7404/statm: 61944 61154 272 82 0 61185 0
[pid=7405] ppid=7402 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7405/stat : 7405 (pboutclasp.pl) S 7402 7400 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344895503 26071040 437 33554432000 4194304 4198148 140734263268368 140734263258904 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7405/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 308780
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 7472
/proc/meminfo: memFree=21786484/32873844 swapFree=7112/7112
[pid=7400] ppid=7398 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/7400/stat : 7400 (pbclasp) S 7398 7400 6982 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 344895500 27029504 678 33554432000 4194304 4198148 140736732551280 140736732550168 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7400/statm: 6599 678 364 1 0 394 0
[pid=7402] ppid=7400 vsize=9148 CPUtime=1.15 cores=1,3,5,7
/proc/7402/stat : 7402 (sh) S 7400 7400 6982 0 -1 4202496 371 625 0 0 0 0 115 0 20 0 1 0 344895503 9367552 263 33554432000 4194304 5064252 140735696690192 140735696688448 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7402/statm: 2287 263 223 213 0 72 0
[pid=7404] ppid=7402 vsize=248088 CPUtime=1540.89 cores=1,3,5,7
/proc/7404/stat : 7404 (clasp-1.0) R 7402 7400 6982 0 -1 4202496 61056 0 0 0 154068 21 0 0 20 0 1 0 344895503 254042112 61242 33554432000 134512640 134847168 4289760464 4289759104 134782432 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7404/statm: 62022 61242 272 82 0 61263 0
[pid=7405] ppid=7402 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7405/stat : 7405 (pboutclasp.pl) S 7402 7400 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344895503 26071040 437 33554432000 4194304 4198148 140734263268368 140734263258904 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7405/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 309092
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/181 7472
/proc/meminfo: memFree=21762912/32873844 swapFree=7112/7112
[pid=7400] ppid=7398 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/7400/stat : 7400 (pbclasp) S 7398 7400 6982 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 344895500 27029504 678 33554432000 4194304 4198148 140736732551280 140736732550168 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7400/statm: 6599 678 364 1 0 394 0
[pid=7402] ppid=7400 vsize=9148 CPUtime=1.15 cores=1,3,5,7
/proc/7402/stat : 7402 (sh) S 7400 7400 6982 0 -1 4202496 371 625 0 0 0 0 115 0 20 0 1 0 344895503 9367552 263 33554432000 4194304 5064252 140735696690192 140735696688448 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7402/statm: 2287 263 223 213 0 72 0
[pid=7404] ppid=7402 vsize=271784 CPUtime=1600.88 cores=1,3,5,7
/proc/7404/stat : 7404 (clasp-1.0) R 7402 7400 6982 0 -1 4202496 66890 0 0 0 160065 23 0 0 20 0 1 0 344895503 278306816 67076 33554432000 134512640 134847168 4289760464 4289759104 134782705 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7404/statm: 67946 67076 272 82 0 67187 0
[pid=7405] ppid=7402 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7405/stat : 7405 (pboutclasp.pl) S 7402 7400 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344895503 26071040 437 33554432000 4194304 4198148 140734263268368 140734263258904 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7405/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 332788
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/181 7472
/proc/meminfo: memFree=21726208/32873844 swapFree=7112/7112
[pid=7400] ppid=7398 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/7400/stat : 7400 (pbclasp) S 7398 7400 6982 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 344895500 27029504 678 33554432000 4194304 4198148 140736732551280 140736732550168 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7400/statm: 6599 678 364 1 0 394 0
[pid=7402] ppid=7400 vsize=9148 CPUtime=1.15 cores=1,3,5,7
/proc/7402/stat : 7402 (sh) S 7400 7400 6982 0 -1 4202496 371 625 0 0 0 0 115 0 20 0 1 0 344895503 9367552 263 33554432000 4194304 5064252 140735696690192 140735696688448 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7402/statm: 2287 263 223 213 0 72 0
[pid=7404] ppid=7402 vsize=310136 CPUtime=1660.87 cores=1,3,5,7
/proc/7404/stat : 7404 (clasp-1.0) R 7402 7400 6982 0 -1 4202496 76131 0 0 0 166061 26 0 0 20 0 1 0 344895503 317579264 76317 33554432000 134512640 134847168 4289760464 4289759220 134737608 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7404/statm: 77534 76317 272 82 0 76775 0
[pid=7405] ppid=7402 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7405/stat : 7405 (pboutclasp.pl) S 7402 7400 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344895503 26071040 437 33554432000 4194304 4198148 140734263268368 140734263258904 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7405/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 371140
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 7472
/proc/meminfo: memFree=21707168/32873844 swapFree=7112/7112
[pid=7400] ppid=7398 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/7400/stat : 7400 (pbclasp) S 7398 7400 6982 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 344895500 27029504 678 33554432000 4194304 4198148 140736732551280 140736732550168 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7400/statm: 6599 678 364 1 0 394 0
[pid=7402] ppid=7400 vsize=9148 CPUtime=1.15 cores=1,3,5,7
/proc/7402/stat : 7402 (sh) S 7400 7400 6982 0 -1 4202496 371 625 0 0 0 0 115 0 20 0 1 0 344895503 9367552 263 33554432000 4194304 5064252 140735696690192 140735696688448 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7402/statm: 2287 263 223 213 0 72 0
[pid=7404] ppid=7402 vsize=329024 CPUtime=1720.87 cores=1,3,5,7
/proc/7404/stat : 7404 (clasp-1.0) R 7402 7400 6982 0 -1 4202496 80684 0 0 0 172059 28 0 0 20 0 1 0 344895503 336920576 80971 33554432000 134512640 134847168 4289760464 4289759104 134782432 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7404/statm: 82256 80971 272 82 0 81497 0
[pid=7405] ppid=7402 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7405/stat : 7405 (pboutclasp.pl) S 7402 7400 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344895503 26071040 437 33554432000 4194304 4198148 140734263268368 140734263258904 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7405/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 390028
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 1.97 3/181 7472
/proc/meminfo: memFree=21705040/32873844 swapFree=7112/7112
[pid=7400] ppid=7398 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/7400/stat : 7400 (pbclasp) S 7398 7400 6982 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 344895500 27029504 678 33554432000 4194304 4198148 140736732551280 140736732550168 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7400/statm: 6599 678 364 1 0 394 0
[pid=7402] ppid=7400 vsize=9148 CPUtime=1.15 cores=1,3,5,7
/proc/7402/stat : 7402 (sh) S 7400 7400 6982 0 -1 4202496 371 625 0 0 0 0 115 0 20 0 1 0 344895503 9367552 263 33554432000 4194304 5064252 140735696690192 140735696688448 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7402/statm: 2287 263 223 213 0 72 0
[pid=7404] ppid=7402 vsize=329024 CPUtime=1780.82 cores=1,3,5,7
/proc/7404/stat : 7404 (clasp-1.0) R 7402 7400 6982 0 -1 4202496 80721 0 0 0 178054 28 0 0 20 0 1 0 344895503 336920576 81526 33554432000 134512640 134847168 4289760464 4289759104 134782432 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7404/statm: 82256 81526 272 82 0 81497 0
[pid=7405] ppid=7402 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7405/stat : 7405 (pboutclasp.pl) S 7402 7400 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344895503 26071040 437 33554432000 4194304 4198148 140734263268368 140734263258904 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7405/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 390028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.03 2.01 1.97 3/181 7472
/proc/meminfo: memFree=21704916/32873844 swapFree=7112/7112
[pid=7400] ppid=7398 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/7400/stat : 7400 (pbclasp) S 7398 7400 6982 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 344895500 27029504 678 33554432000 4194304 4198148 140736732551280 140736732550168 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7400/statm: 6599 678 364 1 0 394 0
[pid=7402] ppid=7400 vsize=9148 CPUtime=1.15 cores=1,3,5,7
/proc/7402/stat : 7402 (sh) S 7400 7400 6982 0 -1 4202496 371 625 0 0 0 0 115 0 20 0 1 0 344895503 9367552 263 33554432000 4194304 5064252 140735696690192 140735696688448 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7402/statm: 2287 263 223 213 0 72 0
[pid=7404] ppid=7402 vsize=329024 CPUtime=1798.93 cores=1,3,5,7
/proc/7404/stat : 7404 (clasp-1.0) R 7402 7400 6982 0 -1 4202496 80728 0 0 0 179865 28 0 0 20 0 1 0 344895503 336920576 81533 33554432000 134512640 134847168 4289760464 4289759104 134782794 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7404/statm: 82256 81533 272 82 0 81497 0
[pid=7405] ppid=7402 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7405/stat : 7405 (pboutclasp.pl) S 7402 7400 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344895503 26071040 437 33554432000 4194304 4198148 140734263268368 140734263258904 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7405/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 390028
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.12
CPU user time (s): 1799.83
CPU system time (s): 0.290955
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 390028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.290955
maximum resident set size= 326132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83265
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= 571
involuntary context switches= 2233
runsolver used 3.3205 second user time and 7.70383 second system time
The end