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-3736835-1338732593/watcher-3736835-1338732593 -o /tmp/evaluation-result-3736835-1338732593/solver-3736835-1338732593 -C 1800 -W 1900 -M 15500 pbclasp instance-3736835-1338732593.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.04 2.01 2.00 3/178 9597
/proc/meminfo: memFree=26993204/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) R 9595 9597 29645 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 339384311 26206208 478 33554432000 4194304 4198148 140734279383648 140734279381096 223676784640 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/9597/statm: 6398 479 355 1 0 193 0
[startup+0.0131231 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 9597
/proc/meminfo: memFree=26993204/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=26396 CPUtime=0 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) R 9595 9597 29645 0 -1 4202496 738 0 0 0 0 0 0 0 20 0 1 0 339384311 27029504 669 33554432000 4194304 4198148 140734279383648 140734279381096 223676696545 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/9597/statm: 6599 669 356 1 0 394 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26396
[startup+0.100254 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 9597
/proc/meminfo: memFree=26993204/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=26792 CPUtime=0.02 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 888 0 0 0 2 0 0 0 20 0 1 0 339384311 27435008 802 33554432000 4194304 4198148 140734279383648 140734279382536 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9597/statm: 6698 802 369 1 0 493 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26792
[startup+0.300221 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 9597
/proc/meminfo: memFree=26993204/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=26792 CPUtime=0.02 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 888 0 0 0 2 0 0 0 20 0 1 0 339384311 27435008 802 33554432000 4194304 4198148 140734279383648 140734279382536 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9597/statm: 6698 802 369 1 0 493 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26792
[startup+0.700222 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 9597
/proc/meminfo: memFree=26993204/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=26792 CPUtime=0.02 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 888 0 0 0 2 0 0 0 20 0 1 0 339384311 27435008 802 33554432000 4194304 4198148 140734279383648 140734279382536 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9597/statm: 6698 802 369 1 0 493 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26792
[startup+1.5003 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 9600
/proc/meminfo: memFree=26989616/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=26792 CPUtime=0.02 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 888 0 0 0 2 0 0 0 20 0 1 0 339384311 27435008 802 33554432000 4194304 4198148 140734279383648 140734279382536 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9597/statm: 6698 802 369 1 0 493 0
[pid=9599] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9599/stat : 9599 (sh) S 9597 9597 29645 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 339384313 9367552 267 33554432000 4194304 5064252 140736769090624 140736769089504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9599/statm: 2287 267 226 213 0 72 0
[pid=9600] ppid=9599 vsize=25592 CPUtime=1.46 cores=0,2,4,6
/proc/9600/stat : 9600 (pb2clasp1) R 9599 9597 29645 0 -1 4202496 604 0 0 0 146 0 0 0 20 0 1 0 339384314 26206208 513 33554432000 4194304 4198148 140737406320928 140737406311464 223655027952 0 0 4224 0 0 0 0 17 4 0 0 0 0 0
/proc/9600/statm: 6398 513 378 1 0 193 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 61532
[startup+3.10023 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 9600
/proc/meminfo: memFree=26985376/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=26924 CPUtime=2.52 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 1011 2101 0 0 2 0 249 1 20 0 1 0 339384311 27570176 841 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9597/statm: 6731 841 387 1 0 526 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 26924
[startup+6.30033 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 9623
/proc/meminfo: memFree=26963148/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=5.12 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 1320 29016 0 0 8 0 498 6 20 0 1 0 339384311 27705344 876 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9597/statm: 6764 876 387 1 0 559 0
[pid=9621] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9621/stat : 9621 (sh) S 9597 9597 29645 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339384826 9367552 264 33554432000 4194304 5064252 140735948826688 140735948824944 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9621/statm: 2287 264 223 213 0 72 0
[pid=9623] ppid=9621 vsize=45500 CPUtime=1.13 cores=0,2,4,6
/proc/9623/stat : 9623 (clasp-1.0) R 9621 9597 29645 0 -1 4202496 12033 0 0 0 111 2 0 0 20 0 1 0 339384826 46592000 10607 33554432000 134512640 134847168 4294359152 4294357920 134617496 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9623/statm: 11375 10607 270 82 0 10616 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 81704
[startup+12.7003 s]
/proc/loadavg: 2.10 2.03 2.01 3/183 9658
/proc/meminfo: memFree=26962032/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=11.85 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 1970 84432 0 0 20 0 1143 22 20 0 1 0 339384311 27705344 876 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9597/statm: 6764 876 387 1 0 559 0
[pid=9656] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9656/stat : 9656 (sh) S 9597 9597 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339385498 9367552 263 33554432000 4194304 5064252 140735234993872 140735234992128 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9656/statm: 2287 263 223 213 0 72 0
[pid=9658] ppid=9656 vsize=45500 CPUtime=0.82 cores=0,2,4,6
/proc/9658/stat : 9658 (clasp-1.0) R 9656 9597 29645 0 -1 4202496 11521 0 0 0 81 1 0 0 20 0 1 0 339385498 46592000 10607 33554432000 134512640 134847168 4288051952 4288050688 134733890 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9658/statm: 11375 10607 270 82 0 10616 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 81704
[startup+25.5003 s]
/proc/loadavg: 2.09 2.03 2.00 3/182 9706
/proc/meminfo: memFree=26917436/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=24.6 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 2935 167811 0 0 37 1 2378 44 20 0 1 0 339384311 27705344 876 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 876 387 1 0 559 0
[pid=9704] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9704/stat : 9704 (sh) S 9597 9597 29645 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339386780 9367552 264 33554432000 4194304 5064252 140734429811216 140734429809472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9704/statm: 2287 264 223 213 0 72 0
[pid=9706] ppid=9704 vsize=45500 CPUtime=0.79 cores=0,2,4,6
/proc/9706/stat : 9706 (clasp-1.0) R 9704 9597 29645 0 -1 4202496 11524 0 0 0 78 1 0 0 20 0 1 0 339386780 46592000 10608 33554432000 134512640 134847168 4291679552 4291678288 134733944 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9706/statm: 11375 10608 272 82 0 10616 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 81704
[startup+51.1004 s]
/proc/loadavg: 2.06 2.02 2.00 3/182 9706
/proc/meminfo: memFree=26886204/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=24.6 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 2935 167811 0 0 37 1 2378 44 20 0 1 0 339384311 27705344 876 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 876 387 1 0 559 0
[pid=9704] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9704/stat : 9704 (sh) S 9597 9597 29645 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339386780 9367552 264 33554432000 4194304 5064252 140734429811216 140734429809472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9704/statm: 2287 264 223 213 0 72 0
[pid=9706] ppid=9704 vsize=65804 CPUtime=26.38 cores=0,2,4,6
/proc/9706/stat : 9706 (clasp-1.0) R 9704 9597 29645 0 -1 4202496 16640 0 0 0 2635 3 0 0 20 0 1 0 339386780 67383296 15714 33554432000 134512640 134847168 4291679552 4291678320 134737976 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9706/statm: 16451 15714 272 82 0 15692 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 102008
[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 9714
/proc/meminfo: memFree=26852780/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=51.13 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 3096 186417 0 0 39 1 5024 49 20 0 1 0 339384311 27705344 876 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 876 387 1 0 559 0
[pid=9712] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9712/stat : 9712 (sh) S 9597 9597 29645 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339389435 9367552 264 33554432000 4194304 5064252 140733573387600 140733573385856 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9712/statm: 2287 264 223 213 0 72 0
[pid=9714] ppid=9712 vsize=89216 CPUtime=51.04 cores=0,2,4,6
/proc/9714/stat : 9714 (clasp-1.0) R 9712 9597 29645 0 -1 4202496 23010 0 0 0 5100 4 0 0 20 0 1 0 339389435 91357184 21616 33554432000 134512640 134847168 4287080624 4287079316 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9714/statm: 22304 21616 272 82 0 21545 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 125420
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 9715
/proc/meminfo: memFree=26823468/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=51.13 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 3096 186417 0 0 39 1 5024 49 20 0 1 0 339384311 27705344 876 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 876 387 1 0 559 0
[pid=9712] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9712/stat : 9712 (sh) S 9597 9597 29645 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339389435 9367552 264 33554432000 4194304 5064252 140733573387600 140733573385856 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9712/statm: 2287 264 223 213 0 72 0
[pid=9714] ppid=9712 vsize=111168 CPUtime=111.02 cores=0,2,4,6
/proc/9714/stat : 9714 (clasp-1.0) R 9712 9597 29645 0 -1 4202496 28430 0 0 0 11095 7 0 0 20 0 1 0 339389435 113836032 27046 33554432000 134512640 134847168 4287080624 4287079316 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9714/statm: 27792 27046 272 82 0 27033 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 147372
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 9715
/proc/meminfo: memFree=26792072/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=51.13 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 3096 186417 0 0 39 1 5024 49 20 0 1 0 339384311 27705344 876 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 876 387 1 0 559 0
[pid=9712] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9712/stat : 9712 (sh) S 9597 9597 29645 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339389435 9367552 264 33554432000 4194304 5064252 140733573387600 140733573385856 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9712/statm: 2287 264 223 213 0 72 0
[pid=9714] ppid=9712 vsize=136324 CPUtime=171.01 cores=0,2,4,6
/proc/9714/stat : 9714 (clasp-1.0) R 9712 9597 29645 0 -1 4202496 34662 0 0 0 17092 9 0 0 20 0 1 0 339389435 139595776 33309 33554432000 134512640 134847168 4287080624 4287079316 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9714/statm: 34081 33309 272 82 0 33322 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 172528
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9715
/proc/meminfo: memFree=26768980/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=51.13 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 3096 186417 0 0 39 1 5024 49 20 0 1 0 339384311 27705344 876 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 876 387 1 0 559 0
[pid=9712] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/9743/stat : 9743 (sh) S 9597 9597 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339521027 9367552 263 33554432000 4194304 5064252 140737140165504 140737140163760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9743/statm: 2287 263 223 213 0 72 0
[pid=9745] ppid=9743 vsize=112684 CPUtime=115.09 cores=0,2,4,6
/proc/9745/stat : 9745 (clasp-1.0) R 9743 9597 29645 0 -1 4202496 28778 0 0 0 11501 8 0 0 20 0 1 0 339521028 115388416 27399 33554432000 134512640 134847168 4292758032 4292756724 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9745/statm: 28171 27399 270 82 0 27412 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 148888
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9860
/proc/meminfo: memFree=26833332/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=1366.82 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 3196 249590 0 0 39 1 136572 70 20 0 1 0 339384311 27705344 876 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 876 387 1 0 559 0
[pid=9743] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9743/stat : 9743 (sh) S 9597 9597 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339521027 9367552 263 33554432000 4194304 5064252 140737140165504 140737140163760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9743/statm: 2287 263 223 213 0 72 0
[pid=9745] ppid=9743 vsize=138068 CPUtime=175.07 cores=0,2,4,6
/proc/9745/stat : 9745 (clasp-1.0) R 9743 9597 29645 0 -1 4202496 35116 0 0 0 17498 9 0 0 20 0 1 0 339521028 141381632 33780 33554432000 134512640 134847168 4292758032 4292756724 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9745/statm: 34517 33780 270 82 0 33758 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 174272
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9860
/proc/meminfo: memFree=26804360/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=1366.82 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 3196 249590 0 0 39 1 136572 70 20 0 1 0 339384311 27705344 876 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 876 387 1 0 559 0
[pid=9743] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9743/stat : 9743 (sh) S 9597 9597 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339521027 9367552 263 33554432000 4194304 5064252 140737140165504 140737140163760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9743/statm: 2287 263 223 213 0 72 0
[pid=9745] ppid=9743 vsize=167024 CPUtime=235.06 cores=0,2,4,6
/proc/9745/stat : 9745 (clasp-1.0) R 9743 9597 29645 0 -1 4202496 42345 0 0 0 23495 11 0 0 20 0 1 0 339521028 171032576 40926 33554432000 134512640 134847168 4292758032 4292756724 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9745/statm: 41756 40926 270 82 0 40997 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 203228
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9861
/proc/meminfo: memFree=26787716/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=1366.82 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 3196 249590 0 0 39 1 136572 70 20 0 1 0 339384311 27705344 876 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 876 387 1 0 559 0
[pid=9743] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9743/stat : 9743 (sh) S 9597 9597 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339521027 9367552 263 33554432000 4194304 5064252 140737140165504 140737140163760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9743/statm: 2287 263 223 213 0 72 0
[pid=9745] ppid=9743 vsize=180964 CPUtime=295.05 cores=0,2,4,6
/proc/9745/stat : 9745 (clasp-1.0) R 9743 9597 29645 0 -1 4202496 45794 0 0 0 29492 13 0 0 20 0 1 0 339521028 185307136 44492 33554432000 134512640 134847168 4292758032 4292756660 134616350 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9745/statm: 45241 44492 270 82 0 44482 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 217168
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9861
/proc/meminfo: memFree=26777668/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=1366.82 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 3196 249590 0 0 39 1 136572 70 20 0 1 0 339384311 27705344 876 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 876 387 1 0 559 0
[pid=9743] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9743/stat : 9743 (sh) S 9597 9597 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339521027 9367552 263 33554432000 4194304 5064252 140737140165504 140737140163760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9743/statm: 2287 263 223 213 0 72 0
[pid=9745] ppid=9743 vsize=188952 CPUtime=355.03 cores=0,2,4,6
/proc/9745/stat : 9745 (clasp-1.0) R 9743 9597 29645 0 -1 4202496 47807 0 0 0 35490 13 0 0 20 0 1 0 339521028 193486848 46505 33554432000 134512640 134847168 4292758032 4292756656 134784711 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9745/statm: 47238 46505 270 82 0 46479 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 225156
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 9861
/proc/meminfo: memFree=26772260/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=1366.82 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 3196 249590 0 0 39 1 136572 70 20 0 1 0 339384311 27705344 876 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 876 387 1 0 559 0
[pid=9743] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9743/stat : 9743 (sh) S 9597 9597 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339521027 9367552 263 33554432000 4194304 5064252 140737140165504 140737140163760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9743/statm: 2287 263 223 213 0 72 0
[pid=9745] ppid=9743 vsize=188952 CPUtime=415.02 cores=0,2,4,6
/proc/9745/stat : 9745 (clasp-1.0) R 9743 9597 29645 0 -1 4202496 47812 0 0 0 41489 13 0 0 20 0 1 0 339521028 193486848 46536 33554432000 134512640 134847168 4292758032 4292756608 134714740 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9745/statm: 47238 46536 270 82 0 46479 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 225156
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 9861
/proc/meminfo: memFree=26770648/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=1366.82 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 3196 249590 0 0 39 1 136572 70 20 0 1 0 339384311 27705344 876 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 876 387 1 0 559 0
[pid=9743] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9743/stat : 9743 (sh) S 9597 9597 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339521027 9367552 263 33554432000 4194304 5064252 140737140165504 140737140163760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9743/statm: 2287 263 223 213 0 72 0
[pid=9745] ppid=9743 vsize=188952 CPUtime=433.22 cores=0,2,4,6
/proc/9745/stat : 9745 (clasp-1.0) R 9743 9597 29645 0 -1 4202496 47812 0 0 0 43309 13 0 0 20 0 1 0 339521028 193486848 46536 33554432000 134512640 134847168 4292758032 4292756724 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9745/statm: 47238 46536 270 82 0 46479 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 225156
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9597
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 9880
/proc/meminfo: memFree=26998496/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=1800.1 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 3369 300174 0 0 40 2 179882 86 20 0 1 0 339384311 27705344 879 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 879 387 1 0 559 0
[pid=9878] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9878/stat : 9878 (sh) S 9597 9597 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339564364 9367552 264 33554432000 4194304 5064252 140735895634272 140735895632528 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9878/statm: 2287 264 223 213 0 72 0
[pid=9880] ppid=9878 vsize=45500 CPUtime=0.85 cores=0,2,4,6
/proc/9880/stat : 9880 (clasp-1.0) R 9878 9597 29645 0 -1 4202496 12032 0 0 0 83 2 0 0 20 0 1 0 339564364 46592000 10607 33554432000 134512640 134847168 4291978800 4291977568 134617496 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9880/statm: 11375 10607 270 82 0 10616 0
Current children cumulated CPU time (s) 1800.95
Current children cumulated vsize (KiB) 81704
[startup+1802.2 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 9880
/proc/meminfo: memFree=26956716/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=1800.1 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 3369 300174 0 0 40 2 179882 86 20 0 1 0 339384311 27705344 879 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 879 387 1 0 559 0
[pid=9878] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9878/stat : 9878 (sh) S 9597 9597 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339564364 9367552 264 33554432000 4194304 5064252 140735895634272 140735895632528 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9878/statm: 2287 264 223 213 0 72 0
[pid=9880] ppid=9878 vsize=45500 CPUtime=1.65 cores=0,2,4,6
/proc/9880/stat : 9880 (clasp-1.0) R 9878 9597 29645 0 -1 4202496 12032 0 0 0 163 2 0 0 20 0 1 0 339564364 46592000 10607 33554432000 134512640 134847168 4291978800 4291977568 134617496 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9880/statm: 11375 10607 270 82 0 10616 0
Current children cumulated CPU time (s) 1801.75
Current children cumulated vsize (KiB) 81704
[startup+1802.4 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 9880
/proc/meminfo: memFree=26956716/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=1800.1 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 3369 300174 0 0 40 2 179882 86 20 0 1 0 339384311 27705344 879 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 879 387 1 0 559 0
[pid=9878] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9878/stat : 9878 (sh) S 9597 9597 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339564364 9367552 264 33554432000 4194304 5064252 140735895634272 140735895632528 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9878/statm: 2287 264 223 213 0 72 0
[pid=9880] ppid=9878 vsize=45500 CPUtime=1.85 cores=0,2,4,6
/proc/9880/stat : 9880 (clasp-1.0) R 9878 9597 29645 0 -1 4202496 12032 0 0 0 183 2 0 0 20 0 1 0 339564364 46592000 10607 33554432000 134512640 134847168 4291978800 4291977568 134617496 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9880/statm: 11375 10607 270 82 0 10616 0
Current children cumulated CPU time (s) 1801.95
Current children cumulated vsize (KiB) 81704
[startup+1802.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 9880
/proc/meminfo: memFree=26956716/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=1800.1 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 3369 300174 0 0 40 2 179882 86 20 0 1 0 339384311 27705344 879 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 879 387 1 0 559 0
[pid=9878] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9878/stat : 9878 (sh) S 9597 9597 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339564364 9367552 264 33554432000 4194304 5064252 140735895634272 140735895632528 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9878/statm: 2287 264 223 213 0 72 0
[pid=9880] ppid=9878 vsize=45500 CPUtime=1.95 cores=0,2,4,6
/proc/9880/stat : 9880 (clasp-1.0) R 9878 9597 29645 0 -1 4202496 12032 0 0 0 193 2 0 0 20 0 1 0 339564364 46592000 10607 33554432000 134512640 134847168 4291978800 4291977568 134617496 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9880/statm: 11375 10607 270 82 0 10616 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 81704
Child status: 0
Real time (s): 1802.52
CPU time (s): 1802.1
CPU user time (s): 1801.19
CPU system time (s): 0.91686
CPU usage (%): 99.9768
Max. virtual memory (cumulated for all children) (KiB): 279316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.19
system time used= 0.91686
maximum resident set size= 239484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 316589
page faults= 0
swaps= 0
block input operations= 0
block output operations= 105496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12532
involuntary context switches= 2227
runsolver used 3.62345 second user time and 8.04478 second system time
The end