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-3731096-1338688672/watcher-3731096-1338688672 -o /tmp/evaluation-result-3731096-1338688672/solver-3731096-1338688672 -C 1800 -W 1900 -M 15500 pbclasp instance-3731096-1338688672.opb HOME/temp
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.89 1.90 5/178 32207
/proc/meminfo: memFree=27652788/32873648 swapFree=6852/6852
[pid=32207] ppid=32205 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/32207/stat : 32207 (pbclasp) R 32205 32207 26887 0 -1 4202496 560 0 0 0 0 0 0 0 20 0 1 0 334993973 26206208 491 33554432000 4194304 4198148 140735144217360 140735144214808 271787200404 0 0 4224 16384 0 0 0 17 1 0 0 0 0 0
/proc/32207/statm: 6398 491 355 1 0 193 0
[startup+0.070494 s]
/proc/loadavg: 1.92 1.89 1.90 5/178 32207
/proc/meminfo: memFree=27652788/32873648 swapFree=6852/6852
[pid=32207] ppid=32205 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/32207/stat : 32207 (pbclasp) S 32205 32207 26887 0 -1 4202496 616 0 0 0 0 0 0 0 20 0 1 0 334993973 26357760 527 33554432000 4194304 4198148 140735144217360 140735144216248 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32207/statm: 6435 527 368 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.100238 s]
/proc/loadavg: 1.92 1.89 1.90 5/178 32207
/proc/meminfo: memFree=27652788/32873648 swapFree=6852/6852
[pid=32207] ppid=32205 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/32207/stat : 32207 (pbclasp) S 32205 32207 26887 0 -1 4202496 616 0 0 0 0 0 0 0 20 0 1 0 334993973 26357760 527 33554432000 4194304 4198148 140735144217360 140735144216248 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32207/statm: 6435 527 368 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.300175 s]
/proc/loadavg: 1.92 1.89 1.90 5/178 32207
/proc/meminfo: memFree=27652788/32873648 swapFree=6852/6852
[pid=32207] ppid=32205 vsize=25740 CPUtime=0.21 cores=1,3,5,7
/proc/32207/stat : 32207 (pbclasp) S 32205 32207 26887 0 -1 4202496 715 2094 0 0 0 0 21 0 20 0 1 0 334993973 26357760 553 33554432000 4194304 4198148 140735144217360 140735144216288 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32207/statm: 6435 553 387 1 0 230 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 25740
[startup+0.700126 s]
/proc/loadavg: 1.92 1.89 1.90 5/178 32207
/proc/meminfo: memFree=27652788/32873648 swapFree=6852/6852
[pid=32207] ppid=32205 vsize=25740 CPUtime=0.64 cores=1,3,5,7
/proc/32207/stat : 32207 (pbclasp) S 32205 32207 26887 0 -1 4202496 1242 14711 0 0 0 0 61 3 20 0 1 0 334993973 26357760 559 33554432000 4194304 4198148 140735144217360 140735144216288 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32207/statm: 6435 559 387 1 0 230 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 25740
[startup+1.50012 s]
/proc/loadavg: 1.93 1.89 1.90 4/182 32321
/proc/meminfo: memFree=27659472/32873648 swapFree=6852/6852
[pid=32207] ppid=32205 vsize=25740 CPUtime=1.38 cores=1,3,5,7
/proc/32207/stat : 32207 (pbclasp) S 32205 32207 26887 0 -1 4202496 2152 36804 0 0 1 0 130 7 20 0 1 0 334993973 26357760 559 33554432000 4194304 4198148 140735144217360 140735144216288 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32207/statm: 6435 559 387 1 0 230 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 25740
[startup+3.10013 s]
/proc/loadavg: 1.93 1.89 1.90 3/181 32451
/proc/meminfo: memFree=27636276/32873648 swapFree=6852/6852
[pid=32207] ppid=32205 vsize=25740 CPUtime=2.98 cores=1,3,5,7
/proc/32207/stat : 32207 (pbclasp) S 32205 32207 26887 0 -1 4202496 4102 84190 0 0 2 0 279 17 20 0 1 0 334993973 26357760 559 33554432000 4194304 4198148 140735144217360 140735144216288 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32207/statm: 6435 559 387 1 0 230 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 25740
[startup+6.30011 s]
/proc/loadavg: 1.85 1.88 1.89 3/181 351
/proc/meminfo: memFree=27614984/32873648 swapFree=6852/6852
[pid=32207] ppid=32205 vsize=25740 CPUtime=5.74 cores=1,3,5,7
/proc/32207/stat : 32207 (pbclasp) S 32205 32207 26887 0 -1 4202496 7482 166303 0 0 4 2 533 35 20 0 1 0 334993973 26357760 559 33554432000 4194304 4198148 140735144217360 140735144216288 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32207/statm: 6435 559 387 1 0 230 0
Current children cumulated CPU time (s) 5.74
Current children cumulated vsize (KiB) 25740
[startup+12.7004 s]
/proc/loadavg: 1.86 1.88 1.89 3/181 680
/proc/meminfo: memFree=27626288/32873648 swapFree=6852/6852
[pid=32207] ppid=32205 vsize=25740 CPUtime=5.74 cores=1,3,5,7
/proc/32207/stat : 32207 (pbclasp) S 32205 32207 26887 0 -1 4202496 7482 166303 0 0 4 2 533 35 20 0 1 0 334993973 26357760 559 33554432000 4194304 4198148 140735144217360 140735144216288 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32207/statm: 6435 559 387 1 0 230 0
[pid=436] ppid=32207 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/436/stat : 436 (sh) S 32207 32207 26887 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 334994570 9367552 264 33554432000 4194304 5064252 140734271266368 140734271264624 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/436/statm: 2287 264 223 213 0 72 0
[pid=439] ppid=436 vsize=7640 CPUtime=6.72 cores=1,3,5,7
/proc/439/stat : 439 (clasp-1.0) R 436 32207 26887 0 -1 4202496 1495 0 0 0 672 0 0 0 20 0 1 0 334994570 7823360 1393 33554432000 134512640 134847168 4291533760 4291532528 134737448 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/439/statm: 1910 1393 270 82 0 1151 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 42528
[startup+25.5004 s]
/proc/loadavg: 1.75 1.85 1.88 3/180 1297
/proc/meminfo: memFree=27605536/32873648 swapFree=6852/6852
[pid=32207] ppid=32205 vsize=25740 CPUtime=5.74 cores=1,3,5,7
/proc/32207/stat : 32207 (pbclasp) S 32205 32207 26887 0 -1 4202496 7482 166303 0 0 4 2 533 35 20 0 1 0 334993973 26357760 559 33554432000 4194304 4198148 140735144217360 140735144216288 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32207/statm: 6435 559 387 1 0 230 0
[pid=436] ppid=32207 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/436/stat : 436 (sh) S 32207 32207 26887 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 334994570 9367552 264 33554432000 4194304 5064252 140734271266368 140734271264624 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/436/statm: 2287 264 223 213 0 72 0
[pid=439] ppid=436 vsize=8764 CPUtime=19.52 cores=1,3,5,7
/proc/439/stat : 439 (clasp-1.0) R 436 32207 26887 0 -1 4202496 1748 0 0 0 1952 0 0 0 20 0 1 0 334994570 8974336 1656 33554432000 134512640 134847168 4291533760 4291532444 134715542 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/439/statm: 2191 1656 270 82 0 1432 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 43652
[startup+51.1004 s]
/proc/loadavg: 1.84 1.86 1.89 3/181 2433
/proc/meminfo: memFree=27659728/32873648 swapFree=6852/6852
[pid=32207] ppid=32205 vsize=25740 CPUtime=5.74 cores=1,3,5,7
/proc/32207/stat : 32207 (pbclasp) S 32205 32207 26887 0 -1 4202496 7482 166303 0 0 4 2 533 35 20 0 1 0 334993973 26357760 559 33554432000 4194304 4198148 140735144217360 140735144216288 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32207/statm: 6435 559 387 1 0 230 0
[pid=436] ppid=32207 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/436/stat : 436 (sh) S 32207 32207 26887 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 334994570 9367552 264 33554432000 4194304 5064252 140734271266368 140734271264624 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/436/statm: 2287 264 223 213 0 72 0
[pid=439] ppid=436 vsize=10744 CPUtime=45.11 cores=1,3,5,7
/proc/439/stat : 439 (clasp-1.0) R 436 32207 26887 0 -1 4202496 2255 0 0 0 4511 0 0 0 20 0 1 0 334994570 11001856 2163 33554432000 134512640 134847168 4291533760 4291532528 134737530 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/439/statm: 2686 2163 270 82 0 1927 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 45632
[startup+102.306 s]
/proc/loadavg: 1.98 1.90 1.90 3/181 4713
/proc/meminfo: memFree=27657772/32873648 swapFree=6852/6852
[pid=32207] ppid=32205 vsize=25740 CPUtime=5.74 cores=1,3,5,7
/proc/32207/stat : 32207 (pbclasp) S 32205 32207 26887 0 -1 4202496 7482 166303 0 0 4 2 533 35 20 0 1 0 334993973 26357760 559 33554432000 4194304 4198148 140735144217360 140735144216288 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32207/statm: 6435 559 387 1 0 230 0
[pid=436] ppid=32207 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/436/stat : 436 (sh) S 32207 32207 26887 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 334994570 9367552 264 33554432000 4194304 5064252 140734271266368 140734271264624 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/436/statm: 2287 264 223 213 0 72 0
[pid=439] ppid=436 vsize=13040 CPUtime=96.3 cores=1,3,5,7
/proc/439/stat : 439 (clasp-1.0) R 436 32207 26887 0 -1 4202496 2822 0 0 0 9630 0 0 0 20 0 1 0 334994570 13352960 2734 33554432000 134512640 134847168 4291533760 4291532384 134784610 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/439/statm: 3260 2734 270 82 0 2501 0
Current children cumulated CPU time (s) 102.04
Current children cumulated vsize (KiB) 47928
[startup+162.3 s]
/proc/loadavg: 2.13 1.94 1.91 3/182 7428
/proc/meminfo: memFree=27651324/32873648 swapFree=6852/6852
[pid=32207] ppid=32205 vsize=25740 CPUtime=5.74 cores=1,3,5,7
/proc/32207/stat : 32207 (pbclasp) S 32205 32207 26887 0 -1 4202496 7482 166303 0 0 4 2 533 35 20 0 1 0 334993973 26357760 559 33554432000 4194304 4198148 140735144217360 140735144216288 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32207/statm: 6435 559 387 1 0 230 0
[pid=436] ppid=32207 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/436/stat : 436 (sh) S 32207 32207 26887 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 334994570 9367552 264 33554432000 4194304 5064252 140734271266368 140734271264624 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/436/statm: 2287 264 223 213 0 72 0
[pid=439] ppid=436 vsize=14992 CPUtime=156.28 cores=1,3,5,7
/proc/439/stat : 439 (clasp-1.0) R 436 32207 26887 0 -1 4202496 3252 0 0 0 15628 0 0 0 20 0 1 0 334994570 15351808 3193 33554432000 134512640 134847168 4291533760 4291532444 134715821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/439/statm: 3748 3193 270 82 0 2989 0
Current children cumulated CPU time (s) 162.02
Current children cumulated vsize (KiB) 49880
[startup+222.3 s]
/proc/loadavg: 1.96 1.93 1.91 3/182 10243
/proc/meminfo: memFree=27608864/32873648 swapFree=6852/6852
[pid=32207] ppid=32205 vsize=25740 CPUtime=5.74 cores=1,3,5,7
/proc/32207/stat : 32207 (pbclasp) S 32205 32207 26887 0 -1 4202496 7482 166303 0 0 4 2 533 35 20 0 1 0 334993973 26357760 559 33554432000 4194304 4198148 140735144217360 140735144216288 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32207/statm: 6435 559 387 1 0 230 0
[pid=436] ppid=32207 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/436/stat : 436 (sh) S 32207 32207 26887 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 334994570 9367552 264 33554432000 4194304 5064252 140734271266368 140734271264624 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/436/statm: 2287 264 223 213 0 72 0
[pid=439] ppid=436 vsize=17288 CPUtime=216.27 cores=1,3,5,7
/proc/439/stat : 439 (clasp-1.0) R 436 32207 26887 0 -1 4202496 3836 0 0 0 21627 0 0 0 20 0 1 0 334994570 17702912 3805 33554432000 134512640 134847168 4291533760 4291532384 134784711 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/439/statm: 4322 3805 270 82 0 3563 0
Current children cumulated CPU time (s) 222.01
Current children cumulated vsize (KiB) 52176
[startup+282.3 s]
/proc/loadavg: 2.02 1.96 1.91 3/181 13067
/proc/meminfo: memFree=27632600/32873648 swapFree=6852/6852
[pid=32207] ppid=32205 vsize=25740 CPUtime=5.74 cores=1,3,5,7
/proc/32207/stat : 32207 (pbclasp) S 32205 32207 26887 0 -1 4202496 7482 166303 0 0 4 2 533 35 20 0 1 0 334993973 26357760 559 33554432000 4194304 4198148 140735144217360 140735144216288 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32207/statm: 6435 559 387 1 0 230 0
[pid=436] ppid=32207 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/436/stat : 436 (sh) S 32207 32207 26887 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 334994570 9367552 264 33554432000 4194304 5064252 140734271266368 140734271264624 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/436/statm: 2287 264 223 213 0 72 0
[pid=439] ppid=436 vsize=20724 CPUtime=276.27 cores=1,3,5,7
/proc/439/stat : 439 (clasp-1.0) R 436 32207 26887 0 -1 4202496 4636 0 0 0 27626 1 0 0 20 0 1 0 334994570 21221376 4636 33554432000 134512640 134847168 4291533760 4291532444 134789696 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/439/statm: 5181 4636 270 82 0 4422 0
Current children cumulated CPU time (s) 282.01
Current children cumulated vsize (KiB) 55612
[startup+342.3 s]
/proc/loadavg: 2.03 1.97 1.92 3/181 15898
/proc/meminfo: memFree=27653316/32873648 swapFree=6852/6852
[pid=32207] ppid=32205 vsize=25740 CPUtime=5.74 cores=1,3,5,7
################
# More data... #
################
/proc/loadavg: 2.00 2.00 1.94 3/181 19493
/proc/meminfo: memFree=27803196/32873648 swapFree=6852/6852
[pid=32207] ppid=32205 vsize=25740 CPUtime=407.14 cores=1,3,5,7
/proc/32207/stat : 32207 (pbclasp) S 32205 32207 26887 0 -1 4202496 7595 173188 0 0 4 2 40671 37 20 0 1 0 334993973 26357760 559 33554432000 4194304 4198148 140735144217360 140735144216288 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32207/statm: 6435 559 387 1 0 230 0
[pid=18965] ppid=32207 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18965/stat : 18965 (sh) S 32207 32207 26887 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335034718 9367552 264 33554432000 4194304 5064252 140735029489184 140735029487440 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18965/statm: 2287 264 223 213 0 72 0
[pid=18967] ppid=18965 vsize=29456 CPUtime=1014.68 cores=1,3,5,7
/proc/18967/stat : 18967 (clasp-1.0) R 18965 32207 26887 0 -1 4202496 6589 0 0 0 101466 2 0 0 20 0 1 0 335034718 30162944 6749 33554432000 134512640 134847168 4294269024 4294267728 134616637 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18967/statm: 7364 6749 272 82 0 6605 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 64344
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 19493
/proc/meminfo: memFree=27801892/32873648 swapFree=6852/6852
[pid=32207] ppid=32205 vsize=25740 CPUtime=407.14 cores=1,3,5,7
/proc/32207/stat : 32207 (pbclasp) S 32205 32207 26887 0 -1 4202496 7595 173188 0 0 4 2 40671 37 20 0 1 0 334993973 26357760 559 33554432000 4194304 4198148 140735144217360 140735144216288 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32207/statm: 6435 559 387 1 0 230 0
[pid=18965] ppid=32207 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18965/stat : 18965 (sh) S 32207 32207 26887 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335034718 9367552 264 33554432000 4194304 5064252 140735029489184 140735029487440 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18965/statm: 2287 264 223 213 0 72 0
[pid=18967] ppid=18965 vsize=29792 CPUtime=1074.67 cores=1,3,5,7
/proc/18967/stat : 18967 (clasp-1.0) R 18965 32207 26887 0 -1 4202496 6662 0 0 0 107465 2 0 0 20 0 1 0 335034718 30507008 6822 33554432000 134512640 134847168 4294269024 4294267648 134784608 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18967/statm: 7448 6822 272 82 0 6689 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 64680
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 19494
/proc/meminfo: memFree=27800464/32873648 swapFree=6852/6852
[pid=32207] ppid=32205 vsize=25740 CPUtime=407.14 cores=1,3,5,7
/proc/32207/stat : 32207 (pbclasp) S 32205 32207 26887 0 -1 4202496 7595 173188 0 0 4 2 40671 37 20 0 1 0 334993973 26357760 559 33554432000 4194304 4198148 140735144217360 140735144216288 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32207/statm: 6435 559 387 1 0 230 0
[pid=18965] ppid=32207 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18965/stat : 18965 (sh) S 32207 32207 26887 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335034718 9367552 264 33554432000 4194304 5064252 140735029489184 140735029487440 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18965/statm: 2287 264 223 213 0 72 0
[pid=18967] ppid=18965 vsize=30060 CPUtime=1134.66 cores=1,3,5,7
/proc/18967/stat : 18967 (clasp-1.0) R 18965 32207 26887 0 -1 4202496 6749 0 0 0 113464 2 0 0 20 0 1 0 335034718 30781440 6909 33554432000 134512640 134847168 4294269024 4294267488 134713707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18967/statm: 7515 6909 272 82 0 6756 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 64948
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 19494
/proc/meminfo: memFree=27800340/32873648 swapFree=6852/6852
[pid=32207] ppid=32205 vsize=25740 CPUtime=407.14 cores=1,3,5,7
/proc/32207/stat : 32207 (pbclasp) S 32205 32207 26887 0 -1 4202496 7595 173188 0 0 4 2 40671 37 20 0 1 0 334993973 26357760 559 33554432000 4194304 4198148 140735144217360 140735144216288 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32207/statm: 6435 559 387 1 0 230 0
[pid=18965] ppid=32207 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18965/stat : 18965 (sh) S 32207 32207 26887 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335034718 9367552 264 33554432000 4194304 5064252 140735029489184 140735029487440 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18965/statm: 2287 264 223 213 0 72 0
[pid=18967] ppid=18965 vsize=30060 CPUtime=1194.65 cores=1,3,5,7
/proc/18967/stat : 18967 (clasp-1.0) R 18965 32207 26887 0 -1 4202496 6749 0 0 0 119463 2 0 0 20 0 1 0 335034718 30781440 6909 33554432000 134512640 134847168 4294269024 4294267712 134616729 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18967/statm: 7515 6909 272 82 0 6756 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 64948
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 19494
/proc/meminfo: memFree=27797924/32873648 swapFree=6852/6852
[pid=32207] ppid=32205 vsize=25740 CPUtime=407.14 cores=1,3,5,7
/proc/32207/stat : 32207 (pbclasp) S 32205 32207 26887 0 -1 4202496 7595 173188 0 0 4 2 40671 37 20 0 1 0 334993973 26357760 559 33554432000 4194304 4198148 140735144217360 140735144216288 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32207/statm: 6435 559 387 1 0 230 0
[pid=18965] ppid=32207 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18965/stat : 18965 (sh) S 32207 32207 26887 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335034718 9367552 264 33554432000 4194304 5064252 140735029489184 140735029487440 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18965/statm: 2287 264 223 213 0 72 0
[pid=18967] ppid=18965 vsize=30972 CPUtime=1254.64 cores=1,3,5,7
/proc/18967/stat : 18967 (clasp-1.0) R 18965 32207 26887 0 -1 4202496 6937 0 0 0 125462 2 0 0 20 0 1 0 335034718 31715328 7161 33554432000 134512640 134847168 4294269024 4294267708 134715848 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18967/statm: 7743 7161 272 82 0 6984 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 65860
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 19494
/proc/meminfo: memFree=27797604/32873648 swapFree=6852/6852
[pid=32207] ppid=32205 vsize=25740 CPUtime=407.14 cores=1,3,5,7
/proc/32207/stat : 32207 (pbclasp) S 32205 32207 26887 0 -1 4202496 7595 173188 0 0 4 2 40671 37 20 0 1 0 334993973 26357760 559 33554432000 4194304 4198148 140735144217360 140735144216288 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32207/statm: 6435 559 387 1 0 230 0
[pid=18965] ppid=32207 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18965/stat : 18965 (sh) S 32207 32207 26887 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335034718 9367552 264 33554432000 4194304 5064252 140735029489184 140735029487440 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18965/statm: 2287 264 223 213 0 72 0
[pid=18967] ppid=18965 vsize=31276 CPUtime=1314.63 cores=1,3,5,7
/proc/18967/stat : 18967 (clasp-1.0) R 18965 32207 26887 0 -1 4202496 7033 0 0 0 131461 2 0 0 20 0 1 0 335034718 32026624 7224 33554432000 134512640 134847168 4294269024 4294267716 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18967/statm: 7819 7224 272 82 0 7060 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 66164
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 19494
/proc/meminfo: memFree=27796984/32873648 swapFree=6852/6852
[pid=32207] ppid=32205 vsize=25740 CPUtime=407.14 cores=1,3,5,7
/proc/32207/stat : 32207 (pbclasp) S 32205 32207 26887 0 -1 4202496 7595 173188 0 0 4 2 40671 37 20 0 1 0 334993973 26357760 559 33554432000 4194304 4198148 140735144217360 140735144216288 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32207/statm: 6435 559 387 1 0 230 0
[pid=18965] ppid=32207 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18965/stat : 18965 (sh) S 32207 32207 26887 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335034718 9367552 264 33554432000 4194304 5064252 140735029489184 140735029487440 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18965/statm: 2287 264 223 213 0 72 0
[pid=18967] ppid=18965 vsize=31728 CPUtime=1374.62 cores=1,3,5,7
/proc/18967/stat : 18967 (clasp-1.0) R 18965 32207 26887 0 -1 4202496 7124 0 0 0 137460 2 0 0 20 0 1 0 335034718 32489472 7315 33554432000 134512640 134847168 4294269024 4294267648 134784634 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18967/statm: 7932 7315 272 82 0 7173 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 66616
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 19494
/proc/meminfo: memFree=27795804/32873648 swapFree=6852/6852
[pid=32207] ppid=32205 vsize=25740 CPUtime=407.14 cores=1,3,5,7
/proc/32207/stat : 32207 (pbclasp) S 32205 32207 26887 0 -1 4202496 7595 173188 0 0 4 2 40671 37 20 0 1 0 334993973 26357760 559 33554432000 4194304 4198148 140735144217360 140735144216288 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32207/statm: 6435 559 387 1 0 230 0
[pid=18965] ppid=32207 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18965/stat : 18965 (sh) S 32207 32207 26887 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335034718 9367552 264 33554432000 4194304 5064252 140735029489184 140735029487440 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18965/statm: 2287 264 223 213 0 72 0
[pid=18967] ppid=18965 vsize=32732 CPUtime=1392.93 cores=1,3,5,7
/proc/18967/stat : 18967 (clasp-1.0) R 18965 32207 26887 0 -1 4202496 7355 0 0 0 139291 2 0 0 20 0 1 0 335034718 33517568 7546 33554432000 134512640 134847168 4294269024 4294267728 134616650 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18967/statm: 8183 7546 272 82 0 7424 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 67620
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -32207
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 19494
/proc/meminfo: memFree=27795804/32873648 swapFree=6852/6852
[pid=32207] ppid=32205 vsize=25740 CPUtime=1800.1 cores=1,3,5,7
/proc/32207/stat : 32207 (pbclasp) S 32205 32207 26887 0 -1 4202496 7777 183312 0 0 4 2 179963 41 20 0 1 0 334993973 26357760 559 33554432000 4194304 4198148 140735144217360 140735144216288 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32207/statm: 6435 559 387 1 0 230 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 25740
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 1.94 3/182 19513
/proc/meminfo: memFree=27831572/32873648 swapFree=6852/6852
[pid=32207] ppid=32205 vsize=25740 CPUtime=1800.1 cores=1,3,5,7
/proc/32207/stat : 32207 (pbclasp) S 32205 32207 26887 0 -1 4202496 7777 183312 0 0 4 2 179963 41 20 0 1 0 334993973 26357760 559 33554432000 4194304 4198148 140735144217360 140735144216288 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32207/statm: 6435 559 387 1 0 230 0
[pid=19505] ppid=32207 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19505/stat : 19505 (sh) S 32207 32207 26887 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 335174037 9367552 264 33554432000 4194304 5064252 140733257926704 140733257924960 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19505/statm: 2287 264 223 213 0 72 0
[pid=19508] ppid=19505 vsize=6520 CPUtime=1.56 cores=1,3,5,7
/proc/19508/stat : 19508 (clasp-1.0) R 19505 32207 26887 0 -1 4202496 1210 0 0 0 156 0 0 0 20 0 1 0 335174037 6676480 1107 33554432000 134512640 134847168 4291909376 4291908064 134616828 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19508/statm: 1630 1107 270 82 0 871 0
Current children cumulated CPU time (s) 1801.66
Current children cumulated vsize (KiB) 41408
[startup+1802.6 s]
/proc/loadavg: 2.00 2.00 1.94 3/182 19513
/proc/meminfo: memFree=27831572/32873648 swapFree=6852/6852
[pid=32207] ppid=32205 vsize=25740 CPUtime=1800.1 cores=1,3,5,7
/proc/32207/stat : 32207 (pbclasp) S 32205 32207 26887 0 -1 4202496 7777 183312 0 0 4 2 179963 41 20 0 1 0 334993973 26357760 559 33554432000 4194304 4198148 140735144217360 140735144216288 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32207/statm: 6435 559 387 1 0 230 0
[pid=19505] ppid=32207 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19505/stat : 19505 (sh) S 32207 32207 26887 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 335174037 9367552 264 33554432000 4194304 5064252 140733257926704 140733257924960 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19505/statm: 2287 264 223 213 0 72 0
[pid=19508] ppid=19505 vsize=6648 CPUtime=1.96 cores=1,3,5,7
/proc/19508/stat : 19508 (clasp-1.0) R 19505 32207 26887 0 -1 4202496 1244 0 0 0 196 0 0 0 20 0 1 0 335174037 6807552 1141 33554432000 134512640 134847168 4291909376 4291908000 134784604 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19508/statm: 1662 1141 270 82 0 903 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 41536
Child status: 0
Real time (s): 1802.62
CPU time (s): 1802.11
CPU user time (s): 1801.67
CPU system time (s): 0.446932
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 67620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.67
system time used= 0.446932
maximum resident set size= 30184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193066
page faults= 0
swaps= 0
block input operations= 0
block output operations= 30424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4042
involuntary context switches= 2489
runsolver used 5.66614 second user time and 18.3372 second system time
The end