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-3740984-1338772509/watcher-3740984-1338772509 -o /tmp/evaluation-result-3740984-1338772509/solver-3740984-1338772509 -C 1800 -W 1900 -M 15500 pbclasp instance-3740984-1338772509.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.01 2.00 3/180 2328
/proc/meminfo: memFree=27613108/32873844 swapFree=7644/7644
[pid=2328] ppid=2326 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/2328/stat : 2328 (pbclasp) R 2326 2328 20179 0 -1 4202496 527 0 0 0 0 0 0 0 20 0 1 0 343375303 26206208 457 33554432000 4194304 4198148 140734463826608 140734463824056 239250271358 0 0 4224 0 0 0 0 17 0 0 0 0 0 0
/proc/2328/statm: 6398 457 345 1 0 193 0
[startup+0.101453 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 2328
/proc/meminfo: memFree=27613108/32873844 swapFree=7644/7644
[pid=2328] ppid=2326 vsize=26004 CPUtime=0.09 cores=0,2,4,6
/proc/2328/stat : 2328 (pbclasp) R 2326 2328 20179 0 -1 4202496 645 0 0 0 9 0 0 0 20 0 1 0 343375303 26628096 575 33554432000 4194304 4198148 140734463826608 140734463824056 239241061616 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/2328/statm: 6501 575 357 1 0 296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26004
[startup+0.200201 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 2328
/proc/meminfo: memFree=27613108/32873844 swapFree=7644/7644
[pid=2328] ppid=2326 vsize=26004 CPUtime=0.11 cores=0,2,4,6
/proc/2328/stat : 2328 (pbclasp) S 2326 2328 20179 0 -1 4202496 671 0 0 0 11 0 0 0 20 0 1 0 343375303 26628096 582 33554432000 4194304 4198148 140734463826608 140734463825496 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2328/statm: 6501 582 364 1 0 296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 26004
[startup+0.300169 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 2328
/proc/meminfo: memFree=27613108/32873844 swapFree=7644/7644
[pid=2328] ppid=2326 vsize=26004 CPUtime=0.11 cores=0,2,4,6
/proc/2328/stat : 2328 (pbclasp) S 2326 2328 20179 0 -1 4202496 671 0 0 0 11 0 0 0 20 0 1 0 343375303 26628096 582 33554432000 4194304 4198148 140734463826608 140734463825496 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2328/statm: 6501 582 364 1 0 296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 26004
[startup+0.700134 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 2328
/proc/meminfo: memFree=27613108/32873844 swapFree=7644/7644
[pid=2328] ppid=2326 vsize=26004 CPUtime=0.11 cores=0,2,4,6
/proc/2328/stat : 2328 (pbclasp) S 2326 2328 20179 0 -1 4202496 671 0 0 0 11 0 0 0 20 0 1 0 343375303 26628096 582 33554432000 4194304 4198148 140734463826608 140734463825496 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2328/statm: 6501 582 364 1 0 296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 26004
[startup+1.50033 s]
/proc/loadavg: 2.00 2.01 2.00 3/185 2333
/proc/meminfo: memFree=27605636/32873844 swapFree=7644/7644
[pid=2328] ppid=2326 vsize=26004 CPUtime=0.11 cores=0,2,4,6
/proc/2328/stat : 2328 (pbclasp) S 2326 2328 20179 0 -1 4202496 671 0 0 0 11 0 0 0 20 0 1 0 343375303 26628096 582 33554432000 4194304 4198148 140734463826608 140734463825496 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2328/statm: 6501 582 364 1 0 296 0
[pid=2330] ppid=2328 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2330/stat : 2330 (sh) S 2328 2328 20179 0 -1 4202496 371 0 0 0 0 0 0 0 20 0 1 0 343375315 9367552 263 33554432000 4194304 5064252 140736635821312 140736635819568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2330/statm: 2287 263 223 213 0 72 0
[pid=2331] ppid=2330 vsize=25592 CPUtime=1.37 cores=0,2,4,6
/proc/2331/stat : 2331 (pb2clasp1) R 2330 2328 20179 0 -1 4202496 611 0 0 0 137 0 0 0 20 0 1 0 343375315 26206208 511 33554432000 4194304 4198148 140733480115104 140733480105640 239250487399 0 0 4224 0 0 0 0 17 4 0 0 0 0 0
/proc/2331/statm: 6398 511 378 1 0 193 0
[pid=2332] ppid=2330 vsize=10312 CPUtime=0.15 cores=0,2,4,6
/proc/2332/stat : 2332 (clasp-1.0) R 2330 2328 20179 0 -1 4202496 2120 0 0 0 15 0 0 0 20 0 1 0 343375315 10559488 2028 33554432000 134512640 134847168 4287235152 4287230960 12992662 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/2332/statm: 2578 2028 249 82 0 1819 0
[pid=2333] ppid=2330 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2333/stat : 2333 (pboutclasp.pl) S 2330 2328 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343375315 26071040 437 33554432000 4194304 4198148 140735733275072 140735733265608 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2333/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 96516
[startup+3.10038 s]
/proc/loadavg: 2.00 2.01 2.00 3/185 2333
/proc/meminfo: memFree=27599560/32873844 swapFree=7644/7644
[pid=2328] ppid=2326 vsize=26004 CPUtime=0.11 cores=0,2,4,6
/proc/2328/stat : 2328 (pbclasp) S 2326 2328 20179 0 -1 4202496 671 0 0 0 11 0 0 0 20 0 1 0 343375303 26628096 582 33554432000 4194304 4198148 140734463826608 140734463825496 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2328/statm: 6501 582 364 1 0 296 0
[pid=2330] ppid=2328 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2330/stat : 2330 (sh) S 2328 2328 20179 0 -1 4202496 371 0 0 0 0 0 0 0 20 0 1 0 343375315 9367552 263 33554432000 4194304 5064252 140736635821312 140736635819568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2330/statm: 2287 263 223 213 0 72 0
[pid=2331] ppid=2330 vsize=25592 CPUtime=2.97 cores=0,2,4,6
/proc/2331/stat : 2331 (pb2clasp1) R 2330 2328 20179 0 -1 4202496 614 0 0 0 297 0 0 0 20 0 1 0 343375315 26206208 514 33554432000 4194304 4198148 140733480115104 140733480105640 239250184140 0 0 4224 0 0 0 0 17 4 0 0 0 0 0
/proc/2331/statm: 6398 514 378 1 0 193 0
[pid=2332] ppid=2330 vsize=18448 CPUtime=0.34 cores=0,2,4,6
/proc/2332/stat : 2332 (clasp-1.0) S 2330 2328 20179 0 -1 4202496 4157 0 0 0 33 1 0 0 20 0 1 0 343375315 18890752 4065 33554432000 134512640 134847168 4287235152 4287230872 1344560 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2332/statm: 4612 4065 249 82 0 3853 0
[pid=2333] ppid=2330 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2333/stat : 2333 (pboutclasp.pl) S 2330 2328 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343375315 26071040 437 33554432000 4194304 4198148 140735733275072 140735733265608 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2333/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.42
Current children cumulated vsize (KiB) 104652
[startup+6.30038 s]
/proc/loadavg: 2.00 2.01 2.00 3/185 2333
/proc/meminfo: memFree=27579720/32873844 swapFree=7644/7644
[pid=2328] ppid=2326 vsize=26004 CPUtime=0.11 cores=0,2,4,6
/proc/2328/stat : 2328 (pbclasp) S 2326 2328 20179 0 -1 4202496 671 0 0 0 11 0 0 0 20 0 1 0 343375303 26628096 582 33554432000 4194304 4198148 140734463826608 140734463825496 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2328/statm: 6501 582 364 1 0 296 0
[pid=2330] ppid=2328 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2330/stat : 2330 (sh) S 2328 2328 20179 0 -1 4202496 371 0 0 0 0 0 0 0 20 0 1 0 343375315 9367552 263 33554432000 4194304 5064252 140736635821312 140736635819568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2330/statm: 2287 263 223 213 0 72 0
[pid=2331] ppid=2330 vsize=25592 CPUtime=6.16 cores=0,2,4,6
/proc/2331/stat : 2331 (pb2clasp1) R 2330 2328 20179 0 -1 4202496 617 0 0 0 616 0 0 0 20 0 1 0 343375315 26206208 517 33554432000 4194304 4198148 140733480115104 140733480105640 239250099313 0 0 4224 0 0 0 0 17 4 0 0 0 0 0
/proc/2331/statm: 6398 517 378 1 0 193 0
[pid=2332] ppid=2330 vsize=34620 CPUtime=0.74 cores=0,2,4,6
/proc/2332/stat : 2332 (clasp-1.0) S 2330 2328 20179 0 -1 4202496 8203 0 0 0 72 2 0 0 20 0 1 0 343375315 35450880 8111 33554432000 134512640 134847168 4287235152 4287231032 1344560 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2332/statm: 8655 8111 249 82 0 7896 0
[pid=2333] ppid=2330 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2333/stat : 2333 (pboutclasp.pl) S 2330 2328 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343375315 26071040 437 33554432000 4194304 4198148 140735733275072 140735733265608 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2333/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 7.01
Current children cumulated vsize (KiB) 120824
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 2333
/proc/meminfo: memFree=27504340/32873844 swapFree=7644/7644
[pid=2328] ppid=2326 vsize=26004 CPUtime=0.11 cores=0,2,4,6
/proc/2328/stat : 2328 (pbclasp) S 2326 2328 20179 0 -1 4202496 671 0 0 0 11 0 0 0 20 0 1 0 343375303 26628096 582 33554432000 4194304 4198148 140734463826608 140734463825496 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2328/statm: 6501 582 364 1 0 296 0
[pid=2330] ppid=2328 vsize=9148 CPUtime=9.15 cores=0,2,4,6
/proc/2330/stat : 2330 (sh) S 2328 2328 20179 0 -1 4202496 371 628 0 0 0 0 914 1 20 0 1 0 343375315 9367552 263 33554432000 4194304 5064252 140736635821312 140736635819568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2330/statm: 2287 263 223 213 0 72 0
[pid=2332] ppid=2330 vsize=106812 CPUtime=4.54 cores=0,2,4,6
/proc/2332/stat : 2332 (clasp-1.0) R 2330 2328 20179 0 -1 4202496 27092 0 0 0 447 7 0 0 20 0 1 0 343375315 109375488 25556 33554432000 134512640 134847168 4287235152 4287233920 134737597 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2332/statm: 26703 25556 270 82 0 25944 0
[pid=2333] ppid=2330 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2333/stat : 2333 (pboutclasp.pl) S 2330 2328 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343375315 26071040 437 33554432000 4194304 4198148 140735733275072 140735733265608 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2333/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 13.8
Current children cumulated vsize (KiB) 167424
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2333
/proc/meminfo: memFree=27496328/32873844 swapFree=7644/7644
[pid=2328] ppid=2326 vsize=26004 CPUtime=0.11 cores=0,2,4,6
/proc/2328/stat : 2328 (pbclasp) S 2326 2328 20179 0 -1 4202496 671 0 0 0 11 0 0 0 20 0 1 0 343375303 26628096 582 33554432000 4194304 4198148 140734463826608 140734463825496 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2328/statm: 6501 582 364 1 0 296 0
[pid=2330] ppid=2328 vsize=9148 CPUtime=9.15 cores=0,2,4,6
/proc/2330/stat : 2330 (sh) S 2328 2328 20179 0 -1 4202496 371 628 0 0 0 0 914 1 20 0 1 0 343375315 9367552 263 33554432000 4194304 5064252 140736635821312 140736635819568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2330/statm: 2287 263 223 213 0 72 0
[pid=2332] ppid=2330 vsize=106812 CPUtime=17.34 cores=0,2,4,6
/proc/2332/stat : 2332 (clasp-1.0) R 2330 2328 20179 0 -1 4202496 27094 0 0 0 1727 7 0 0 20 0 1 0 343375315 109375488 25558 33554432000 134512640 134847168 4287235152 4287233892 134737633 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2332/statm: 26703 25558 270 82 0 25944 0
[pid=2333] ppid=2330 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2333/stat : 2333 (pboutclasp.pl) S 2330 2328 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343375315 26071040 437 33554432000 4194304 4198148 140735733275072 140735733265608 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2333/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 26.6
Current children cumulated vsize (KiB) 167424
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 2334
/proc/meminfo: memFree=27490920/32873844 swapFree=7644/7644
[pid=2328] ppid=2326 vsize=26004 CPUtime=0.11 cores=0,2,4,6
/proc/2328/stat : 2328 (pbclasp) S 2326 2328 20179 0 -1 4202496 671 0 0 0 11 0 0 0 20 0 1 0 343375303 26628096 582 33554432000 4194304 4198148 140734463826608 140734463825496 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2328/statm: 6501 582 364 1 0 296 0
[pid=2330] ppid=2328 vsize=9148 CPUtime=9.15 cores=0,2,4,6
/proc/2330/stat : 2330 (sh) S 2328 2328 20179 0 -1 4202496 371 628 0 0 0 0 914 1 20 0 1 0 343375315 9367552 263 33554432000 4194304 5064252 140736635821312 140736635819568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2330/statm: 2287 263 223 213 0 72 0
[pid=2332] ppid=2330 vsize=106000 CPUtime=42.94 cores=0,2,4,6
/proc/2332/stat : 2332 (clasp-1.0) R 2330 2328 20179 0 -1 4202496 27123 0 0 0 4287 7 0 0 20 0 1 0 343375315 108544000 25384 33554432000 134512640 134847168 4287235152 4287233792 134782472 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2332/statm: 26500 25384 270 82 0 25741 0
[pid=2333] ppid=2330 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2333/stat : 2333 (pboutclasp.pl) S 2330 2328 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343375315 26071040 437 33554432000 4194304 4198148 140735733275072 140735733265608 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2333/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 52.2
Current children cumulated vsize (KiB) 166612
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 2387
/proc/meminfo: memFree=28740964/32873844 swapFree=7644/7644
[pid=2328] ppid=2326 vsize=26004 CPUtime=0.11 cores=0,2,4,6
/proc/2328/stat : 2328 (pbclasp) S 2326 2328 20179 0 -1 4202496 671 0 0 0 11 0 0 0 20 0 1 0 343375303 26628096 582 33554432000 4194304 4198148 140734463826608 140734463825496 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2328/statm: 6501 582 364 1 0 296 0
[pid=2330] ppid=2328 vsize=9148 CPUtime=9.15 cores=0,2,4,6
/proc/2330/stat : 2330 (sh) S 2328 2328 20179 0 -1 4202496 371 628 0 0 0 0 914 1 20 0 1 0 343375315 9367552 263 33554432000 4194304 5064252 140736635821312 140736635819568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2330/statm: 2287 263 223 213 0 72 0
[pid=2332] ppid=2330 vsize=136192 CPUtime=94.13 cores=0,2,4,6
/proc/2332/stat : 2332 (clasp-1.0) R 2330 2328 20179 0 -1 4202496 34285 0 0 0 9404 9 0 0 20 0 1 0 343375315 139460608 32538 33554432000 134512640 134847168 4287235152 4287233908 134737608 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2332/statm: 34048 32538 270 82 0 33289 0
[pid=2333] ppid=2330 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2333/stat : 2333 (pboutclasp.pl) S 2330 2328 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343375315 26071040 437 33554432000 4194304 4198148 140735733275072 140735733265608 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2333/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 103.39
Current children cumulated vsize (KiB) 196804
[startup+162.3 s]
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2599
/proc/meminfo: memFree=28036556/32873844 swapFree=7644/7644
[pid=2328] ppid=2326 vsize=26004 CPUtime=0.11 cores=0,2,4,6
/proc/2328/stat : 2328 (pbclasp) S 2326 2328 20179 0 -1 4202496 671 0 0 0 11 0 0 0 20 0 1 0 343375303 26628096 582 33554432000 4194304 4198148 140734463826608 140734463825496 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2328/statm: 6501 582 364 1 0 296 0
[pid=2330] ppid=2328 vsize=9148 CPUtime=9.15 cores=0,2,4,6
/proc/2330/stat : 2330 (sh) S 2328 2328 20179 0 -1 4202496 371 628 0 0 0 0 914 1 20 0 1 0 343375315 9367552 263 33554432000 4194304 5064252 140736635821312 140736635819568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2330/statm: 2287 263 223 213 0 72 0
[pid=2332] ppid=2330 vsize=433120 CPUtime=1413.75 cores=0,2,4,6
/proc/2332/stat : 2332 (clasp-1.0) R 2330 2328 20179 0 -1 4202496 106049 0 0 0 141340 35 0 0 20 0 1 0 343375315 443514880 107131 33554432000 134512640 134847168 4287235152 4287233728 134714500 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2332/statm: 108280 107131 270 82 0 107521 0
[pid=2333] ppid=2330 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2333/stat : 2333 (pboutclasp.pl) S 2330 2328 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343375315 26071040 437 33554432000 4194304 4198148 140735733275072 140735733265608 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2333/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1423.01
Current children cumulated vsize (KiB) 493732
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2599
/proc/meminfo: memFree=28031968/32873844 swapFree=7644/7644
[pid=2328] ppid=2326 vsize=26004 CPUtime=0.11 cores=0,2,4,6
/proc/2328/stat : 2328 (pbclasp) S 2326 2328 20179 0 -1 4202496 671 0 0 0 11 0 0 0 20 0 1 0 343375303 26628096 582 33554432000 4194304 4198148 140734463826608 140734463825496 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2328/statm: 6501 582 364 1 0 296 0
[pid=2330] ppid=2328 vsize=9148 CPUtime=9.15 cores=0,2,4,6
/proc/2330/stat : 2330 (sh) S 2328 2328 20179 0 -1 4202496 371 628 0 0 0 0 914 1 20 0 1 0 343375315 9367552 263 33554432000 4194304 5064252 140736635821312 140736635819568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2330/statm: 2287 263 223 213 0 72 0
[pid=2332] ppid=2330 vsize=436476 CPUtime=1473.73 cores=0,2,4,6
/proc/2332/stat : 2332 (clasp-1.0) R 2330 2328 20179 0 -1 4202496 106900 0 0 0 147338 35 0 0 20 0 1 0 343375315 446951424 107801 33554432000 134512640 134847168 4287235152 4287233776 134784617 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2332/statm: 109119 107801 270 82 0 108360 0
[pid=2333] ppid=2330 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2333/stat : 2333 (pboutclasp.pl) S 2330 2328 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343375315 26071040 437 33554432000 4194304 4198148 140735733275072 140735733265608 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2333/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1482.99
Current children cumulated vsize (KiB) 497088
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 2602
/proc/meminfo: memFree=28024472/32873844 swapFree=7644/7644
[pid=2328] ppid=2326 vsize=26004 CPUtime=0.11 cores=0,2,4,6
/proc/2328/stat : 2328 (pbclasp) S 2326 2328 20179 0 -1 4202496 671 0 0 0 11 0 0 0 20 0 1 0 343375303 26628096 582 33554432000 4194304 4198148 140734463826608 140734463825496 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2328/statm: 6501 582 364 1 0 296 0
[pid=2330] ppid=2328 vsize=9148 CPUtime=9.15 cores=0,2,4,6
/proc/2330/stat : 2330 (sh) S 2328 2328 20179 0 -1 4202496 371 628 0 0 0 0 914 1 20 0 1 0 343375315 9367552 263 33554432000 4194304 5064252 140736635821312 140736635819568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2330/statm: 2287 263 223 213 0 72 0
[pid=2332] ppid=2330 vsize=438236 CPUtime=1533.73 cores=0,2,4,6
/proc/2332/stat : 2332 (clasp-1.0) R 2330 2328 20179 0 -1 4202496 107285 0 0 0 153338 35 0 0 20 0 1 0 343375315 448753664 108186 33554432000 134512640 134847168 4287235152 4287233792 134782432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2332/statm: 109559 108186 270 82 0 108800 0
[pid=2333] ppid=2330 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2333/stat : 2333 (pboutclasp.pl) S 2330 2328 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343375315 26071040 437 33554432000 4194304 4198148 140735733275072 140735733265608 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2333/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1542.99
Current children cumulated vsize (KiB) 498848
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2603
/proc/meminfo: memFree=28017412/32873844 swapFree=7644/7644
[pid=2328] ppid=2326 vsize=26004 CPUtime=0.11 cores=0,2,4,6
/proc/2328/stat : 2328 (pbclasp) S 2326 2328 20179 0 -1 4202496 671 0 0 0 11 0 0 0 20 0 1 0 343375303 26628096 582 33554432000 4194304 4198148 140734463826608 140734463825496 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2328/statm: 6501 582 364 1 0 296 0
[pid=2330] ppid=2328 vsize=9148 CPUtime=9.15 cores=0,2,4,6
/proc/2330/stat : 2330 (sh) S 2328 2328 20179 0 -1 4202496 371 628 0 0 0 0 914 1 20 0 1 0 343375315 9367552 263 33554432000 4194304 5064252 140736635821312 140736635819568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2330/statm: 2287 263 223 213 0 72 0
[pid=2332] ppid=2330 vsize=440644 CPUtime=1593.72 cores=0,2,4,6
/proc/2332/stat : 2332 (clasp-1.0) R 2330 2328 20179 0 -1 4202496 107805 0 0 0 159336 36 0 0 20 0 1 0 343375315 451219456 108706 33554432000 134512640 134847168 4287235152 4287233908 134737608 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2332/statm: 110161 108706 270 82 0 109402 0
[pid=2333] ppid=2330 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2333/stat : 2333 (pboutclasp.pl) S 2330 2328 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343375315 26071040 437 33554432000 4194304 4198148 140735733275072 140735733265608 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2333/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1602.98
Current children cumulated vsize (KiB) 501256
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 2603
/proc/meminfo: memFree=27983188/32873844 swapFree=7644/7644
[pid=2328] ppid=2326 vsize=26004 CPUtime=0.11 cores=0,2,4,6
/proc/2328/stat : 2328 (pbclasp) S 2326 2328 20179 0 -1 4202496 671 0 0 0 11 0 0 0 20 0 1 0 343375303 26628096 582 33554432000 4194304 4198148 140734463826608 140734463825496 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2328/statm: 6501 582 364 1 0 296 0
[pid=2330] ppid=2328 vsize=9148 CPUtime=9.15 cores=0,2,4,6
/proc/2330/stat : 2330 (sh) S 2328 2328 20179 0 -1 4202496 371 628 0 0 0 0 914 1 20 0 1 0 343375315 9367552 263 33554432000 4194304 5064252 140736635821312 140736635819568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2330/statm: 2287 263 223 213 0 72 0
[pid=2332] ppid=2330 vsize=442084 CPUtime=1653.71 cores=0,2,4,6
/proc/2332/stat : 2332 (clasp-1.0) R 2330 2328 20179 0 -1 4202496 108114 0 0 0 165335 36 0 0 20 0 1 0 343375315 452694016 109015 33554432000 134512640 134847168 4287235152 4287233792 134782432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2332/statm: 110521 109015 270 82 0 109762 0
[pid=2333] ppid=2330 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2333/stat : 2333 (pboutclasp.pl) S 2330 2328 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343375315 26071040 437 33554432000 4194304 4198148 140735733275072 140735733265608 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2333/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1662.97
Current children cumulated vsize (KiB) 502696
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 2603
/proc/meminfo: memFree=27944252/32873844 swapFree=7644/7644
[pid=2328] ppid=2326 vsize=26004 CPUtime=0.11 cores=0,2,4,6
/proc/2328/stat : 2328 (pbclasp) S 2326 2328 20179 0 -1 4202496 671 0 0 0 11 0 0 0 20 0 1 0 343375303 26628096 582 33554432000 4194304 4198148 140734463826608 140734463825496 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2328/statm: 6501 582 364 1 0 296 0
[pid=2330] ppid=2328 vsize=9148 CPUtime=9.15 cores=0,2,4,6
/proc/2330/stat : 2330 (sh) S 2328 2328 20179 0 -1 4202496 371 628 0 0 0 0 914 1 20 0 1 0 343375315 9367552 263 33554432000 4194304 5064252 140736635821312 140736635819568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2330/statm: 2287 263 223 213 0 72 0
[pid=2332] ppid=2330 vsize=443780 CPUtime=1713.7 cores=0,2,4,6
/proc/2332/stat : 2332 (clasp-1.0) R 2330 2328 20179 0 -1 4202496 108695 0 0 0 171334 36 0 0 20 0 1 0 343375315 454430720 109415 33554432000 134512640 134847168 4287235152 4287233904 134737609 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2332/statm: 110945 109415 270 82 0 110186 0
[pid=2333] ppid=2330 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2333/stat : 2333 (pboutclasp.pl) S 2330 2328 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343375315 26071040 437 33554432000 4194304 4198148 140735733275072 140735733265608 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2333/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1722.96
Current children cumulated vsize (KiB) 504392
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2603
/proc/meminfo: memFree=27894900/32873844 swapFree=7644/7644
[pid=2328] ppid=2326 vsize=26004 CPUtime=0.11 cores=0,2,4,6
/proc/2328/stat : 2328 (pbclasp) S 2326 2328 20179 0 -1 4202496 671 0 0 0 11 0 0 0 20 0 1 0 343375303 26628096 582 33554432000 4194304 4198148 140734463826608 140734463825496 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2328/statm: 6501 582 364 1 0 296 0
[pid=2330] ppid=2328 vsize=9148 CPUtime=9.15 cores=0,2,4,6
/proc/2330/stat : 2330 (sh) S 2328 2328 20179 0 -1 4202496 371 628 0 0 0 0 914 1 20 0 1 0 343375315 9367552 263 33554432000 4194304 5064252 140736635821312 140736635819568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2330/statm: 2287 263 223 213 0 72 0
[pid=2332] ppid=2330 vsize=460656 CPUtime=1773.69 cores=0,2,4,6
/proc/2332/stat : 2332 (clasp-1.0) R 2330 2328 20179 0 -1 4202496 113108 0 0 0 177331 38 0 0 20 0 1 0 343375315 471711744 113085 33554432000 134512640 134847168 4287235152 4287233792 134782437 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2332/statm: 115164 113085 270 82 0 114405 0
[pid=2333] ppid=2330 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2333/stat : 2333 (pboutclasp.pl) S 2330 2328 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343375315 26071040 437 33554432000 4194304 4198148 140735733275072 140735733265608 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2333/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1782.95
Current children cumulated vsize (KiB) 521268
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1799.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2603
/proc/meminfo: memFree=27879012/32873844 swapFree=7644/7644
[pid=2328] ppid=2326 vsize=26004 CPUtime=0.11 cores=0,2,4,6
/proc/2328/stat : 2328 (pbclasp) S 2326 2328 20179 0 -1 4202496 671 0 0 0 11 0 0 0 20 0 1 0 343375303 26628096 582 33554432000 4194304 4198148 140734463826608 140734463825496 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2328/statm: 6501 582 364 1 0 296 0
[pid=2330] ppid=2328 vsize=9148 CPUtime=9.15 cores=0,2,4,6
/proc/2330/stat : 2330 (sh) S 2328 2328 20179 0 -1 4202496 371 628 0 0 0 0 914 1 20 0 1 0 343375315 9367552 263 33554432000 4194304 5064252 140736635821312 140736635819568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2330/statm: 2287 263 223 213 0 72 0
[pid=2332] ppid=2330 vsize=465844 CPUtime=1790.79 cores=0,2,4,6
/proc/2332/stat : 2332 (clasp-1.0) R 2330 2328 20179 0 -1 4202496 114239 0 0 0 179040 39 0 0 20 0 1 0 343375315 477024256 114468 33554432000 134512640 134847168 4287235152 4287233792 134782435 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2332/statm: 116461 114468 270 82 0 115702 0
[pid=2333] ppid=2330 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2333/stat : 2333 (pboutclasp.pl) S 2330 2328 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343375315 26071040 437 33554432000 4194304 4198148 140735733275072 140735733265608 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2333/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 526456
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1799.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2603
/proc/meminfo: memFree=27879012/32873844 swapFree=7644/7644
[pid=2328] ppid=2326 vsize=26004 CPUtime=0.11 cores=0,2,4,6
/proc/2328/stat : 2328 (pbclasp) S 2326 2328 20179 0 -1 4202496 671 0 0 0 11 0 0 0 20 0 1 0 343375303 26628096 582 33554432000 4194304 4198148 140734463826608 140734463825496 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2328/statm: 6501 582 364 1 0 296 0
[pid=2330] ppid=2328 vsize=9148 CPUtime=9.15 cores=0,2,4,6
/proc/2330/stat : 2330 (sh) S 2328 2328 20179 0 -1 4202496 371 628 0 0 0 0 914 1 20 0 1 0 343375315 9367552 263 33554432000 4194304 5064252 140736635821312 140736635819568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2330/statm: 2287 263 223 213 0 72 0
[pid=2332] ppid=2330 vsize=465844 CPUtime=1790.79 cores=0,2,4,6
/proc/2332/stat : 2332 (clasp-1.0) R 2330 2328 20179 0 -1 4202496 114239 0 0 0 179040 39 0 0 20 0 1 0 343375315 477024256 114468 33554432000 134512640 134847168 4287235152 4287233792 134782435 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2332/statm: 116461 114468 270 82 0 115702 0
[pid=2333] ppid=2330 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2333/stat : 2333 (pboutclasp.pl) S 2330 2328 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343375315 26071040 437 33554432000 4194304 4198148 140735733275072 140735733265608 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2333/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 526456
Child status: 0
Real time (s): 1799.41
CPU time (s): 1800.08
CPU user time (s): 1799.67
CPU system time (s): 0.412937
CPU usage (%): 100.037
Max. virtual memory (cumulated for all children) (KiB): 526456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.412937
maximum resident set size= 457872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116609
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= 2368
involuntary context switches= 2213
runsolver used 2.6166 second user time and 7.2079 second system time
The end