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-3741166-1338774434/watcher-3741166-1338774434 -o /tmp/evaluation-result-3741166-1338774434/solver-3741166-1338774434 -C 1800 -W 1900 -M 15500 pbclasp instance-3741166-1338774434.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.02 2.04 1.96 5/181 4691
/proc/meminfo: memFree=27454528/32873844 swapFree=7372/7372
[pid=4691] ppid=4689 vsize=26004 CPUtime=0 cores=1,3,5,7
/proc/4691/stat : 4691 (pbclasp) R 4689 4691 4306 0 -1 4202496 644 0 0 0 0 0 0 0 20 0 1 0 343569661 26628096 574 33554432000 4194304 4198148 140734399712704 140734099995384 251044444376 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/4691/statm: 6501 574 356 1 0 296 0
[startup+0.100697 s]
/proc/loadavg: 2.02 2.04 1.96 5/181 4691
/proc/meminfo: memFree=27454528/32873844 swapFree=7372/7372
[pid=4691] ppid=4689 vsize=27308 CPUtime=0.09 cores=1,3,5,7
/proc/4691/stat : 4691 (pbclasp) R 4689 4691 4306 0 -1 4202496 963 0 0 0 9 0 0 0 20 0 1 0 343569661 27963392 893 33554432000 4194304 4198148 140734399712704 140734399703240 251035444464 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/4691/statm: 6827 893 357 1 0 622 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27308
[startup+0.200318 s]
/proc/loadavg: 2.02 2.04 1.96 5/181 4691
/proc/meminfo: memFree=27454528/32873844 swapFree=7372/7372
[pid=4691] ppid=4689 vsize=27308 CPUtime=0.19 cores=1,3,5,7
/proc/4691/stat : 4691 (pbclasp) R 4689 4691 4306 0 -1 4202496 964 0 0 0 19 0 0 0 20 0 1 0 343569661 27963392 894 33554432000 4194304 4198148 140734399712704 140734399703240 251035444464 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/4691/statm: 6827 894 357 1 0 622 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27308
[startup+0.300341 s]
/proc/loadavg: 2.02 2.04 1.96 5/181 4691
/proc/meminfo: memFree=27454528/32873844 swapFree=7372/7372
[pid=4691] ppid=4689 vsize=27308 CPUtime=0.29 cores=1,3,5,7
/proc/4691/stat : 4691 (pbclasp) R 4689 4691 4306 0 -1 4202496 964 0 0 0 29 0 0 0 20 0 1 0 343569661 27963392 894 33554432000 4194304 4198148 140734399712704 140734399703240 251035444464 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/4691/statm: 6827 894 357 1 0 622 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27308
[startup+0.70015 s]
/proc/loadavg: 2.02 2.04 1.96 5/181 4691
/proc/meminfo: memFree=27454528/32873844 swapFree=7372/7372
[pid=4691] ppid=4689 vsize=27308 CPUtime=0.54 cores=1,3,5,7
/proc/4691/stat : 4691 (pbclasp) S 4689 4691 4306 0 -1 4202496 990 0 0 0 53 1 0 0 20 0 1 0 343569661 27963392 902 33554432000 4194304 4198148 140734399712704 140734399711592 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4691/statm: 6827 902 364 1 0 622 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 27308
[startup+1.50032 s]
/proc/loadavg: 2.02 2.04 1.96 4/186 4696
/proc/meminfo: memFree=27443080/32873844 swapFree=7372/7372
[pid=4691] ppid=4689 vsize=27308 CPUtime=0.54 cores=1,3,5,7
/proc/4691/stat : 4691 (pbclasp) S 4689 4691 4306 0 -1 4202496 990 0 0 0 53 1 0 0 20 0 1 0 343569661 27963392 902 33554432000 4194304 4198148 140734399712704 140734399711592 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4691/statm: 6827 902 364 1 0 622 0
[pid=4693] ppid=4691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4693/stat : 4693 (sh) S 4691 4691 4306 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 343569716 9367552 264 33554432000 4194304 5064252 140734004000624 140734003998880 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4693/statm: 2287 264 223 213 0 72 0
[pid=4694] ppid=4693 vsize=25592 CPUtime=0.89 cores=1,3,5,7
/proc/4694/stat : 4694 (pb2clasp1) R 4693 4691 4306 0 -1 4202496 612 0 0 0 89 0 0 0 20 0 1 0 343569716 26206208 511 33554432000 4194304 4198148 140735046018240 140735046017224 251044643845 0 0 4224 0 0 0 0 17 3 0 0 0 0 0
/proc/4694/statm: 6398 511 378 1 0 193 0
[pid=4695] ppid=4693 vsize=7960 CPUtime=0.1 cores=1,3,5,7
/proc/4695/stat : 4695 (clasp-1.0) S 4693 4691 4306 0 -1 4202496 1525 0 0 0 10 0 0 0 20 0 1 0 343569716 8151040 1432 33554432000 134512640 134847168 4287117216 4287113208 6460464 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4695/statm: 1990 1432 251 82 0 1231 0
[pid=4696] ppid=4693 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/4696/stat : 4696 (pboutclasp.pl) S 4693 4691 4306 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 343569716 26071040 437 33554432000 4194304 4198148 140736917977520 140736917968056 251035444464 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4696/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 95468
[startup+3.10038 s]
/proc/loadavg: 2.02 2.04 1.96 5/186 4696
/proc/meminfo: memFree=27431804/32873844 swapFree=7372/7372
[pid=4691] ppid=4689 vsize=27308 CPUtime=0.54 cores=1,3,5,7
/proc/4691/stat : 4691 (pbclasp) S 4689 4691 4306 0 -1 4202496 990 0 0 0 53 1 0 0 20 0 1 0 343569661 27963392 902 33554432000 4194304 4198148 140734399712704 140734399711592 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4691/statm: 6827 902 364 1 0 622 0
[pid=4693] ppid=4691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4693/stat : 4693 (sh) S 4691 4691 4306 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 343569716 9367552 264 33554432000 4194304 5064252 140734004000624 140734003998880 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4693/statm: 2287 264 223 213 0 72 0
[pid=4694] ppid=4693 vsize=25592 CPUtime=2.48 cores=1,3,5,7
/proc/4694/stat : 4694 (pb2clasp1) R 4693 4691 4306 0 -1 4202496 613 0 0 0 248 0 0 0 20 0 1 0 343569716 26206208 512 33554432000 4194304 4198148 140735046018240 140735046008776 251044871754 0 0 4224 0 0 0 0 17 1 0 0 0 0 0
/proc/4694/statm: 6398 512 378 1 0 193 0
[pid=4695] ppid=4693 vsize=16036 CPUtime=0.3 cores=1,3,5,7
/proc/4695/stat : 4695 (clasp-1.0) S 4693 4691 4306 0 -1 4202496 3546 0 0 0 29 1 0 0 20 0 1 0 343569716 16420864 3453 33554432000 134512640 134847168 4287117216 4287113016 6460464 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4695/statm: 4009 3453 251 82 0 3250 0
[pid=4696] ppid=4693 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/4696/stat : 4696 (pboutclasp.pl) S 4693 4691 4306 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 343569716 26071040 437 33554432000 4194304 4198148 140736917977520 140736917968056 251035444464 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4696/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.32
Current children cumulated vsize (KiB) 103544
[startup+6.30033 s]
/proc/loadavg: 2.10 2.06 1.97 3/185 4696
/proc/meminfo: memFree=27336836/32873844 swapFree=7372/7372
[pid=4691] ppid=4689 vsize=27308 CPUtime=0.54 cores=1,3,5,7
/proc/4691/stat : 4691 (pbclasp) S 4689 4691 4306 0 -1 4202496 990 0 0 0 53 1 0 0 20 0 1 0 343569661 27963392 902 33554432000 4194304 4198148 140734399712704 140734399711592 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4691/statm: 6827 902 364 1 0 622 0
[pid=4693] ppid=4691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4693/stat : 4693 (sh) S 4691 4691 4306 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 343569716 9367552 264 33554432000 4194304 5064252 140734004000624 140734003998880 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4693/statm: 2287 264 223 213 0 72 0
[pid=4694] ppid=4693 vsize=25592 CPUtime=5.68 cores=1,3,5,7
/proc/4694/stat : 4694 (pb2clasp1) R 4693 4691 4306 0 -1 4202496 618 0 0 0 567 1 0 0 20 0 1 0 343569716 26206208 517 33554432000 4194304 4198148 140735046018240 140735046008776 251044359017 0 0 4224 0 0 0 0 17 1 0 0 0 0 0
/proc/4694/statm: 6398 517 378 1 0 193 0
[pid=4695] ppid=4693 vsize=32532 CPUtime=0.7 cores=1,3,5,7
/proc/4695/stat : 4695 (clasp-1.0) S 4693 4691 4306 0 -1 4202496 7570 0 0 0 68 2 0 0 20 0 1 0 343569716 33312768 7477 33554432000 134512640 134847168 4287117216 4287112936 6460464 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4695/statm: 8133 7477 251 82 0 7374 0
[pid=4696] ppid=4693 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/4696/stat : 4696 (pboutclasp.pl) S 4693 4691 4306 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 343569716 26071040 437 33554432000 4194304 4198148 140736917977520 140736917968056 251035444464 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4696/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.92
Current children cumulated vsize (KiB) 120040
[startup+12.7003 s]
/proc/loadavg: 2.09 2.05 1.97 4/185 4696
/proc/meminfo: memFree=27303480/32873844 swapFree=7372/7372
[pid=4691] ppid=4689 vsize=27308 CPUtime=0.54 cores=1,3,5,7
/proc/4691/stat : 4691 (pbclasp) S 4689 4691 4306 0 -1 4202496 990 0 0 0 53 1 0 0 20 0 1 0 343569661 27963392 902 33554432000 4194304 4198148 140734399712704 140734399711592 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4691/statm: 6827 902 364 1 0 622 0
[pid=4693] ppid=4691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4693/stat : 4693 (sh) S 4691 4691 4306 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 343569716 9367552 264 33554432000 4194304 5064252 140734004000624 140734003998880 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4693/statm: 2287 264 223 213 0 72 0
[pid=4694] ppid=4693 vsize=25724 CPUtime=12.08 cores=1,3,5,7
/proc/4694/stat : 4694 (pb2clasp1) R 4693 4691 4306 0 -1 4202496 628 0 0 0 1207 1 0 0 20 0 1 0 343569716 26341376 527 33554432000 4194304 4198148 140735046018240 140735046008776 251044568128 0 0 4224 0 0 0 0 17 1 0 0 0 0 0
/proc/4694/statm: 6431 527 378 1 0 226 0
[pid=4695] ppid=4693 vsize=64600 CPUtime=1.55 cores=1,3,5,7
/proc/4695/stat : 4695 (clasp-1.0) S 4693 4691 4306 0 -1 4202496 15608 0 0 0 149 6 0 0 20 0 1 0 343569716 66150400 15515 33554432000 134512640 134847168 4287117216 4287112904 6460464 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4695/statm: 16150 15515 251 82 0 15391 0
[pid=4696] ppid=4693 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/4696/stat : 4696 (pboutclasp.pl) S 4693 4691 4306 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 343569716 26071040 437 33554432000 4194304 4198148 140736917977520 140736917968056 251035444464 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4696/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 14.17
Current children cumulated vsize (KiB) 152240
[startup+25.5004 s]
/proc/loadavg: 2.07 2.05 1.97 3/185 4696
/proc/meminfo: memFree=27237496/32873844 swapFree=7372/7372
[pid=4691] ppid=4689 vsize=27308 CPUtime=0.54 cores=1,3,5,7
/proc/4691/stat : 4691 (pbclasp) S 4689 4691 4306 0 -1 4202496 990 0 0 0 53 1 0 0 20 0 1 0 343569661 27963392 902 33554432000 4194304 4198148 140734399712704 140734399711592 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4691/statm: 6827 902 364 1 0 622 0
[pid=4693] ppid=4691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4693/stat : 4693 (sh) S 4691 4691 4306 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 343569716 9367552 264 33554432000 4194304 5064252 140734004000624 140734003998880 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4693/statm: 2287 264 223 213 0 72 0
[pid=4694] ppid=4693 vsize=25724 CPUtime=24.88 cores=1,3,5,7
/proc/4694/stat : 4694 (pb2clasp1) R 4693 4691 4306 0 -1 4202496 634 0 0 0 2485 3 0 0 20 0 1 0 343569716 26341376 533 33554432000 4194304 4198148 140735046018240 140735046008776 251035444368 0 0 4224 0 0 0 0 17 3 0 0 0 0 0
/proc/4694/statm: 6431 533 378 1 0 226 0
[pid=4695] ppid=4693 vsize=129508 CPUtime=3.39 cores=1,3,5,7
/proc/4695/stat : 4695 (clasp-1.0) R 4693 4691 4306 0 -1 4202496 31119 0 0 0 329 10 0 0 20 0 1 0 343569716 132616192 31537 33554432000 134512640 134847168 4287117216 4287112928 8358383 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4695/statm: 32377 31537 251 82 0 31618 0
[pid=4696] ppid=4693 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/4696/stat : 4696 (pboutclasp.pl) S 4693 4691 4306 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 343569716 26071040 437 33554432000 4194304 4198148 140736917977520 140736917968056 251035444464 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4696/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 28.81
Current children cumulated vsize (KiB) 217148
[startup+51.1004 s]
/proc/loadavg: 2.04 2.05 1.97 3/183 4696
/proc/meminfo: memFree=26853464/32873844 swapFree=7372/7372
[pid=4691] ppid=4689 vsize=27308 CPUtime=0.54 cores=1,3,5,7
/proc/4691/stat : 4691 (pbclasp) S 4689 4691 4306 0 -1 4202496 990 0 0 0 53 1 0 0 20 0 1 0 343569661 27963392 902 33554432000 4194304 4198148 140734399712704 140734399711592 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4691/statm: 6827 902 364 1 0 622 0
[pid=4693] ppid=4691 vsize=9148 CPUtime=46.19 cores=1,3,5,7
/proc/4693/stat : 4693 (sh) S 4691 4691 4306 0 -1 4202496 375 662 0 0 0 0 4613 6 20 0 1 0 343569716 9367552 264 33554432000 4194304 5064252 140734004000624 140734003998880 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4693/statm: 2287 264 223 213 0 72 0
[pid=4695] ppid=4693 vsize=520356 CPUtime=10.82 cores=1,3,5,7
/proc/4695/stat : 4695 (clasp-1.0) R 4693 4691 4306 0 -1 4202496 98920 0 0 0 1051 31 0 0 20 0 1 0 343569716 532844544 127319 33554432000 134512640 134847168 4287117216 4287115916 134744656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4695/statm: 130089 127319 269 82 0 129330 0
[pid=4696] ppid=4693 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/4696/stat : 4696 (pboutclasp.pl) S 4693 4691 4306 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 343569716 26071040 437 33554432000 4194304 4198148 140736917977520 140736917968056 251035444464 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4696/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 57.55
Current children cumulated vsize (KiB) 582272
[startup+102.3 s]
/proc/loadavg: 2.11 2.07 1.98 3/183 4696
/proc/meminfo: memFree=26826300/32873844 swapFree=7372/7372
[pid=4691] ppid=4689 vsize=27308 CPUtime=0.54 cores=1,3,5,7
/proc/4691/stat : 4691 (pbclasp) S 4689 4691 4306 0 -1 4202496 990 0 0 0 53 1 0 0 20 0 1 0 343569661 27963392 902 33554432000 4194304 4198148 140734399712704 140734399711592 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4691/statm: 6827 902 364 1 0 622 0
[pid=4693] ppid=4691 vsize=9148 CPUtime=46.19 cores=1,3,5,7
/proc/4693/stat : 4693 (sh) S 4691 4691 4306 0 -1 4202496 375 662 0 0 0 0 4613 6 20 0 1 0 343569716 9367552 264 33554432000 4194304 5064252 140734004000624 140734003998880 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4693/statm: 2287 264 223 213 0 72 0
[pid=4695] ppid=4693 vsize=515968 CPUtime=62.01 cores=1,3,5,7
/proc/4695/stat : 4695 (clasp-1.0) R 4693 4691 4306 0 -1 4202496 99010 0 0 0 6169 32 0 0 20 0 1 0 343569716 528351232 126295 33554432000 134512640 134847168 4287117216 4287115856 134782452 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4695/statm: 128992 126295 272 82 0 128233 0
[pid=4696] ppid=4693 vsize=25460 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/4696/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1368.39
Current children cumulated vsize (KiB) 1133076
[startup+1422.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/184 4732
/proc/meminfo: memFree=25934296/32873844 swapFree=7372/7372
[pid=4691] ppid=4689 vsize=27308 CPUtime=0.54 cores=1,3,5,7
/proc/4691/stat : 4691 (pbclasp) S 4689 4691 4306 0 -1 4202496 990 0 0 0 53 1 0 0 20 0 1 0 343569661 27963392 902 33554432000 4194304 4198148 140734399712704 140734399711592 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4691/statm: 6827 902 364 1 0 622 0
[pid=4693] ppid=4691 vsize=9148 CPUtime=46.19 cores=1,3,5,7
/proc/4693/stat : 4693 (sh) S 4691 4691 4306 0 -1 4202496 375 662 0 0 0 0 4613 6 20 0 1 0 343569716 9367552 264 33554432000 4194304 5064252 140734004000624 140734003998880 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4693/statm: 2287 264 223 213 0 72 0
[pid=4695] ppid=4693 vsize=1090052 CPUtime=1381.66 cores=1,3,5,7
/proc/4695/stat : 4695 (clasp-1.0) R 4693 4691 4306 0 -1 4202496 260861 0 0 0 138062 104 0 0 20 0 1 0 343569716 1116213248 265706 33554432000 134512640 134847168 4287117216 4287115936 134741465 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4695/statm: 272513 265706 272 82 0 271754 0
[pid=4696] ppid=4693 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/4696/stat : 4696 (pboutclasp.pl) S 4693 4691 4306 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 343569716 26071040 437 33554432000 4194304 4198148 140736917977520 140736917968056 251035444464 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4696/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1428.39
Current children cumulated vsize (KiB) 1151968
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 4733
/proc/meminfo: memFree=25921036/32873844 swapFree=7372/7372
[pid=4691] ppid=4689 vsize=27308 CPUtime=0.54 cores=1,3,5,7
/proc/4691/stat : 4691 (pbclasp) S 4689 4691 4306 0 -1 4202496 990 0 0 0 53 1 0 0 20 0 1 0 343569661 27963392 902 33554432000 4194304 4198148 140734399712704 140734399711592 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4691/statm: 6827 902 364 1 0 622 0
[pid=4693] ppid=4691 vsize=9148 CPUtime=46.19 cores=1,3,5,7
/proc/4693/stat : 4693 (sh) S 4691 4691 4306 0 -1 4202496 375 662 0 0 0 0 4613 6 20 0 1 0 343569716 9367552 264 33554432000 4194304 5064252 140734004000624 140734003998880 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4693/statm: 2287 264 223 213 0 72 0
[pid=4695] ppid=4693 vsize=1103708 CPUtime=1441.64 cores=1,3,5,7
/proc/4695/stat : 4695 (clasp-1.0) R 4693 4691 4306 0 -1 4202496 264597 0 0 0 144057 107 0 0 20 0 1 0 343569716 1130196992 268990 33554432000 134512640 134847168 4287117216 4287115856 134782437 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4695/statm: 275927 268990 272 82 0 275168 0
[pid=4696] ppid=4693 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/4696/stat : 4696 (pboutclasp.pl) S 4693 4691 4306 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 343569716 26071040 437 33554432000 4194304 4198148 140736917977520 140736917968056 251035444464 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4696/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1488.37
Current children cumulated vsize (KiB) 1165624
[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 4733
/proc/meminfo: memFree=25890408/32873844 swapFree=7372/7372
[pid=4691] ppid=4689 vsize=27308 CPUtime=0.54 cores=1,3,5,7
/proc/4691/stat : 4691 (pbclasp) S 4689 4691 4306 0 -1 4202496 990 0 0 0 53 1 0 0 20 0 1 0 343569661 27963392 902 33554432000 4194304 4198148 140734399712704 140734399711592 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4691/statm: 6827 902 364 1 0 622 0
[pid=4693] ppid=4691 vsize=9148 CPUtime=46.19 cores=1,3,5,7
/proc/4693/stat : 4693 (sh) S 4691 4691 4306 0 -1 4202496 375 662 0 0 0 0 4613 6 20 0 1 0 343569716 9367552 264 33554432000 4194304 5064252 140734004000624 140734003998880 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4693/statm: 2287 264 223 213 0 72 0
[pid=4695] ppid=4693 vsize=1115816 CPUtime=1501.65 cores=1,3,5,7
/proc/4695/stat : 4695 (clasp-1.0) R 4693 4691 4306 0 -1 4202496 267694 0 0 0 150056 109 0 0 20 0 1 0 343569716 1142595584 271906 33554432000 134512640 134847168 4287117216 4287115972 134737608 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4695/statm: 278954 271906 272 82 0 278195 0
[pid=4696] ppid=4693 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/4696/stat : 4696 (pboutclasp.pl) S 4693 4691 4306 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 343569716 26071040 437 33554432000 4194304 4198148 140736917977520 140736917968056 251035444464 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4696/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1548.38
Current children cumulated vsize (KiB) 1177732
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 4733
/proc/meminfo: memFree=25856060/32873844 swapFree=7372/7372
[pid=4691] ppid=4689 vsize=27308 CPUtime=0.54 cores=1,3,5,7
/proc/4691/stat : 4691 (pbclasp) S 4689 4691 4306 0 -1 4202496 990 0 0 0 53 1 0 0 20 0 1 0 343569661 27963392 902 33554432000 4194304 4198148 140734399712704 140734399711592 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4691/statm: 6827 902 364 1 0 622 0
[pid=4693] ppid=4691 vsize=9148 CPUtime=46.19 cores=1,3,5,7
/proc/4693/stat : 4693 (sh) S 4691 4691 4306 0 -1 4202496 375 662 0 0 0 0 4613 6 20 0 1 0 343569716 9367552 264 33554432000 4194304 5064252 140734004000624 140734003998880 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4693/statm: 2287 264 223 213 0 72 0
[pid=4695] ppid=4693 vsize=1127836 CPUtime=1561.63 cores=1,3,5,7
/proc/4695/stat : 4695 (clasp-1.0) R 4693 4691 4306 0 -1 4202496 271328 0 0 0 156053 110 0 0 20 0 1 0 343569716 1154904064 274907 33554432000 134512640 134847168 4287117216 4287115956 134737633 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4695/statm: 281959 274907 272 82 0 281200 0
[pid=4696] ppid=4693 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/4696/stat : 4696 (pboutclasp.pl) S 4693 4691 4306 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 343569716 26071040 437 33554432000 4194304 4198148 140736917977520 140736917968056 251035444464 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4696/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1608.36
Current children cumulated vsize (KiB) 1189752
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 4733
/proc/meminfo: memFree=25815264/32873844 swapFree=7372/7372
[pid=4691] ppid=4689 vsize=27308 CPUtime=0.54 cores=1,3,5,7
/proc/4691/stat : 4691 (pbclasp) S 4689 4691 4306 0 -1 4202496 990 0 0 0 53 1 0 0 20 0 1 0 343569661 27963392 902 33554432000 4194304 4198148 140734399712704 140734399711592 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4691/statm: 6827 902 364 1 0 622 0
[pid=4693] ppid=4691 vsize=9148 CPUtime=46.19 cores=1,3,5,7
/proc/4693/stat : 4693 (sh) S 4691 4691 4306 0 -1 4202496 375 662 0 0 0 0 4613 6 20 0 1 0 343569716 9367552 264 33554432000 4194304 5064252 140734004000624 140734003998880 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4693/statm: 2287 264 223 213 0 72 0
[pid=4695] ppid=4693 vsize=1136680 CPUtime=1621.62 cores=1,3,5,7
/proc/4695/stat : 4695 (clasp-1.0) R 4693 4691 4306 0 -1 4202496 273946 0 0 0 162049 113 0 0 20 0 1 0 343569716 1163960320 277073 33554432000 134512640 134847168 4287117216 4287115972 134737608 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4695/statm: 284170 277073 272 82 0 283411 0
[pid=4696] ppid=4693 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/4696/stat : 4696 (pboutclasp.pl) S 4693 4691 4306 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 343569716 26071040 437 33554432000 4194304 4198148 140736917977520 140736917968056 251035444464 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4696/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1668.35
Current children cumulated vsize (KiB) 1198596
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 4733
/proc/meminfo: memFree=25775696/32873844 swapFree=7372/7372
[pid=4691] ppid=4689 vsize=27308 CPUtime=0.54 cores=1,3,5,7
/proc/4691/stat : 4691 (pbclasp) S 4689 4691 4306 0 -1 4202496 990 0 0 0 53 1 0 0 20 0 1 0 343569661 27963392 902 33554432000 4194304 4198148 140734399712704 140734399711592 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4691/statm: 6827 902 364 1 0 622 0
[pid=4693] ppid=4691 vsize=9148 CPUtime=46.19 cores=1,3,5,7
/proc/4693/stat : 4693 (sh) S 4691 4691 4306 0 -1 4202496 375 662 0 0 0 0 4613 6 20 0 1 0 343569716 9367552 264 33554432000 4194304 5064252 140734004000624 140734003998880 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4693/statm: 2287 264 223 213 0 72 0
[pid=4695] ppid=4693 vsize=1145116 CPUtime=1681.59 cores=1,3,5,7
/proc/4695/stat : 4695 (clasp-1.0) R 4693 4691 4306 0 -1 4202496 276071 0 0 0 168045 114 0 0 20 0 1 0 343569716 1172598784 279503 33554432000 134512640 134847168 4287117216 4287115972 134737608 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4695/statm: 286279 279503 272 82 0 285520 0
[pid=4696] ppid=4693 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/4696/stat : 4696 (pboutclasp.pl) S 4693 4691 4306 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 343569716 26071040 437 33554432000 4194304 4198148 140736917977520 140736917968056 251035444464 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4696/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1728.32
Current children cumulated vsize (KiB) 1207032
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4734
/proc/meminfo: memFree=25733192/32873844 swapFree=7372/7372
[pid=4691] ppid=4689 vsize=27308 CPUtime=0.54 cores=1,3,5,7
/proc/4691/stat : 4691 (pbclasp) S 4689 4691 4306 0 -1 4202496 990 0 0 0 53 1 0 0 20 0 1 0 343569661 27963392 902 33554432000 4194304 4198148 140734399712704 140734399711592 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4691/statm: 6827 902 364 1 0 622 0
[pid=4693] ppid=4691 vsize=9148 CPUtime=46.19 cores=1,3,5,7
/proc/4693/stat : 4693 (sh) S 4691 4691 4306 0 -1 4202496 375 662 0 0 0 0 4613 6 20 0 1 0 343569716 9367552 264 33554432000 4194304 5064252 140734004000624 140734003998880 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4693/statm: 2287 264 223 213 0 72 0
[pid=4695] ppid=4693 vsize=1157372 CPUtime=1741.54 cores=1,3,5,7
/proc/4695/stat : 4695 (clasp-1.0) R 4693 4691 4306 0 -1 4202496 280209 0 0 0 174038 116 0 0 20 0 1 0 343569716 1185148928 282607 33554432000 134512640 134847168 4287117216 4287115972 134737608 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4695/statm: 289343 282607 272 82 0 288584 0
[pid=4696] ppid=4693 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/4696/stat : 4696 (pboutclasp.pl) S 4693 4691 4306 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 343569716 26071040 437 33554432000 4194304 4198148 140736917977520 140736917968056 251035444464 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4696/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1788.27
Current children cumulated vsize (KiB) 1219288
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 4785
/proc/meminfo: memFree=26349952/32873844 swapFree=7372/7372
[pid=4691] ppid=4689 vsize=27308 CPUtime=0.54 cores=1,3,5,7
/proc/4691/stat : 4691 (pbclasp) S 4689 4691 4306 0 -1 4202496 990 0 0 0 53 1 0 0 20 0 1 0 343569661 27963392 902 33554432000 4194304 4198148 140734399712704 140734399711592 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4691/statm: 6827 902 364 1 0 622 0
[pid=4693] ppid=4691 vsize=9148 CPUtime=46.19 cores=1,3,5,7
/proc/4693/stat : 4693 (sh) S 4691 4691 4306 0 -1 4202496 375 662 0 0 0 0 4613 6 20 0 1 0 343569716 9367552 264 33554432000 4194304 5064252 140734004000624 140734003998880 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4693/statm: 2287 264 223 213 0 72 0
[pid=4695] ppid=4693 vsize=1170260 CPUtime=1753.35 cores=1,3,5,7
/proc/4695/stat : 4695 (clasp-1.0) R 4693 4691 4306 0 -1 4202496 294977 0 0 0 175215 120 0 0 20 0 1 0 343569716 1198346240 285455 33554432000 134512640 134847168 4287117216 4287115856 134782702 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4695/statm: 292565 285455 272 82 0 291806 0
[pid=4696] ppid=4693 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/4696/stat : 4696 (pboutclasp.pl) S 4693 4691 4306 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 343569716 26071040 437 33554432000 4194304 4198148 140736917977520 140736917968056 251035444464 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4696/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1232176
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4691 and gives
# childrusage.ru_utime.tv_sec=46
# childrusage.ru_utime.tv_usec=667905
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=82987
# CPU time returned by wait4() is 46.7509
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1794.12
CPU time (s): 1800.08
CPU user time (s): 1798.81
CPU system time (s): 1.27
CPU usage (%): 100.332
Max. virtual memory (cumulated for all children) (KiB): 1232176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.6679
system time used= 0.082987
maximum resident set size= 3632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3013
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= 315
involuntary context switches= 167
runsolver used 4.50931 second user time and 11.6862 second system time
The end