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-3735177-1338723072/watcher-3735177-1338723072 -o /tmp/evaluation-result-3735177-1338723072/solver-3735177-1338723072 -C 1800 -W 1900 -M 15500 pbclasp instance-3735177-1338723072.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.05 2.06 2.01 3/178 6367
/proc/meminfo: memFree=27984540/32873844 swapFree=7116/7116
[pid=6367] ppid=6365 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/6367/stat : 6367 (pbclasp) R 6365 6367 28789 0 -1 4202496 530 0 0 0 0 0 0 0 20 0 1 0 338435760 26206208 460 33554432000 4194304 4198148 140735032187696 140735032185144 240426389396 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/6367/statm: 6398 460 345 1 0 193 0
[startup+0.0753459 s]
/proc/loadavg: 2.05 2.06 2.01 3/178 6367
/proc/meminfo: memFree=27984540/32873844 swapFree=7116/7116
[pid=6367] ppid=6365 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/6367/stat : 6367 (pbclasp) S 6365 6367 28789 0 -1 4202496 602 0 0 0 0 0 0 0 20 0 1 0 338435760 26357760 514 33554432000 4194304 4198148 140735032187696 140735032186584 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6367/statm: 6435 514 368 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.10026 s]
/proc/loadavg: 2.05 2.06 2.01 3/178 6367
/proc/meminfo: memFree=27984540/32873844 swapFree=7116/7116
[pid=6367] ppid=6365 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/6367/stat : 6367 (pbclasp) S 6365 6367 28789 0 -1 4202496 602 0 0 0 0 0 0 0 20 0 1 0 338435760 26357760 514 33554432000 4194304 4198148 140735032187696 140735032186584 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6367/statm: 6435 514 368 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.300221 s]
/proc/loadavg: 2.05 2.06 2.01 3/178 6367
/proc/meminfo: memFree=27984540/32873844 swapFree=7116/7116
[pid=6367] ppid=6365 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/6367/stat : 6367 (pbclasp) S 6365 6367 28789 0 -1 4202496 602 0 0 0 0 0 0 0 20 0 1 0 338435760 26357760 514 33554432000 4194304 4198148 140735032187696 140735032186584 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6367/statm: 6435 514 368 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.700225 s]
/proc/loadavg: 2.05 2.06 2.01 3/178 6367
/proc/meminfo: memFree=27984540/32873844 swapFree=7116/7116
[pid=6367] ppid=6365 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/6367/stat : 6367 (pbclasp) S 6365 6367 28789 0 -1 4202496 602 0 0 0 0 0 0 0 20 0 1 0 338435760 26357760 514 33554432000 4194304 4198148 140735032187696 140735032186584 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6367/statm: 6435 514 368 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+1.5003 s]
/proc/loadavg: 2.05 2.06 2.01 3/181 6377
/proc/meminfo: memFree=27974480/32873844 swapFree=7116/7116
[pid=6367] ppid=6365 vsize=25740 CPUtime=0.8 cores=1,3,5,7
/proc/6367/stat : 6367 (pbclasp) S 6365 6367 28789 0 -1 4202496 681 2089 0 0 0 0 80 0 20 0 1 0 338435760 26357760 533 33554432000 4194304 4198148 140735032187696 140735032186624 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6367/statm: 6435 533 387 1 0 230 0
[pid=6375] ppid=6367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6375/stat : 6375 (sh) S 6367 6367 28789 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 338435842 9367552 263 33554432000 4194304 5064252 140736265518752 140736265517008 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6375/statm: 2287 263 223 213 0 72 0
[pid=6377] ppid=6375 vsize=11352 CPUtime=0.67 cores=1,3,5,7
/proc/6377/stat : 6377 (clasp-1.0) R 6375 6367 28789 0 -1 4202496 2421 0 0 0 67 0 0 0 20 0 1 0 338435842 11624448 2319 33554432000 134512640 134847168 4293537872 4293536448 134714173 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6377/statm: 2838 2319 270 82 0 2079 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 46240
[startup+3.10031 s]
/proc/loadavg: 2.05 2.06 2.01 3/181 6385
/proc/meminfo: memFree=27973464/32873844 swapFree=7116/7116
[pid=6367] ppid=6365 vsize=25740 CPUtime=1.92 cores=1,3,5,7
/proc/6367/stat : 6367 (pbclasp) S 6365 6367 28789 0 -1 4202496 806 6462 0 0 0 0 191 1 20 0 1 0 338435760 26357760 543 33554432000 4194304 4198148 140735032187696 140735032186624 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6367/statm: 6435 543 387 1 0 230 0
[pid=6383] ppid=6367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6383/stat : 6383 (sh) S 6367 6367 28789 0 -1 4202496 372 219 0 0 0 0 0 0 20 0 1 0 338435955 9367552 264 33554432000 4194304 5064252 140734120387760 140734120386016 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6383/statm: 2287 264 223 213 0 72 0
[pid=6385] ppid=6383 vsize=11352 CPUtime=1.14 cores=1,3,5,7
/proc/6385/stat : 6385 (clasp-1.0) R 6383 6367 28789 0 -1 4202496 2424 0 0 0 114 0 0 0 20 0 1 0 338435955 11624448 2322 33554432000 134512640 134847168 4292288912 4292287596 134715846 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6385/statm: 2838 2322 272 82 0 2079 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 46240
[startup+6.30031 s]
/proc/loadavg: 2.05 2.06 2.01 3/181 6393
/proc/meminfo: memFree=27973124/32873844 swapFree=7116/7116
[pid=6367] ppid=6365 vsize=25740 CPUtime=4.78 cores=1,3,5,7
/proc/6367/stat : 6367 (pbclasp) S 6365 6367 28789 0 -1 4202496 933 10835 0 0 1 0 474 3 20 0 1 0 338435760 26357760 548 33554432000 4194304 4198148 140735032187696 140735032186624 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6367/statm: 6435 548 387 1 0 230 0
[pid=6391] ppid=6367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6391/stat : 6391 (sh) S 6367 6367 28789 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 338436240 9367552 264 33554432000 4194304 5064252 140734650999808 140734650998064 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6391/statm: 2287 264 223 213 0 72 0
[pid=6393] ppid=6391 vsize=11352 CPUtime=1.49 cores=1,3,5,7
/proc/6393/stat : 6393 (clasp-1.0) R 6391 6367 28789 0 -1 4202496 2422 0 0 0 149 0 0 0 20 0 1 0 338436240 11624448 2320 33554432000 134512640 134847168 4287906496 4287905072 134714247 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6393/statm: 2838 2320 270 82 0 2079 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 46240
[startup+12.7003 s]
/proc/loadavg: 2.13 2.07 2.02 3/181 6393
/proc/meminfo: memFree=27972900/32873844 swapFree=7116/7116
[pid=6367] ppid=6365 vsize=25740 CPUtime=4.78 cores=1,3,5,7
/proc/6367/stat : 6367 (pbclasp) S 6365 6367 28789 0 -1 4202496 933 10835 0 0 1 0 474 3 20 0 1 0 338435760 26357760 548 33554432000 4194304 4198148 140735032187696 140735032186624 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6367/statm: 6435 548 387 1 0 230 0
[pid=6391] ppid=6367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6391/stat : 6391 (sh) S 6367 6367 28789 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 338436240 9367552 264 33554432000 4194304 5064252 140734650999808 140734650998064 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6391/statm: 2287 264 223 213 0 72 0
[pid=6393] ppid=6391 vsize=11444 CPUtime=7.89 cores=1,3,5,7
/proc/6393/stat : 6393 (clasp-1.0) R 6391 6367 28789 0 -1 4202496 2451 0 0 0 789 0 0 0 20 0 1 0 338436240 11718656 2349 33554432000 134512640 134847168 4287906496 4287905252 134737608 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6393/statm: 2861 2349 270 82 0 2102 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 46332
[startup+25.5003 s]
/proc/loadavg: 2.10 2.07 2.01 3/181 6417
/proc/meminfo: memFree=27973224/32873844 swapFree=7116/7116
[pid=6367] ppid=6365 vsize=25740 CPUtime=21.47 cores=1,3,5,7
/proc/6367/stat : 6367 (pbclasp) S 6365 6367 28789 0 -1 4202496 1325 24089 0 0 3 0 2138 6 20 0 1 0 338435760 26357760 555 33554432000 4194304 4198148 140735032187696 140735032186624 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6367/statm: 6435 555 387 1 0 230 0
[pid=6415] ppid=6367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6415/stat : 6415 (sh) S 6367 6367 28789 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 338437910 9367552 264 33554432000 4194304 5064252 140737058939984 140737058938240 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6415/statm: 2287 264 223 213 0 72 0
[pid=6417] ppid=6415 vsize=11352 CPUtime=3.99 cores=1,3,5,7
/proc/6417/stat : 6417 (clasp-1.0) R 6415 6367 28789 0 -1 4202496 2424 0 0 0 399 0 0 0 20 0 1 0 338437910 11624448 2322 33554432000 134512640 134847168 4290630048 4290628624 134714731 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6417/statm: 2838 2322 270 82 0 2079 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 46240
[startup+51.1003 s]
/proc/loadavg: 2.06 2.06 2.01 3/181 6425
/proc/meminfo: memFree=27972604/32873844 swapFree=7116/7116
[pid=6367] ppid=6365 vsize=25740 CPUtime=32.9 cores=1,3,5,7
/proc/6367/stat : 6367 (pbclasp) S 6365 6367 28789 0 -1 4202496 1455 28679 0 0 4 0 3278 8 20 0 1 0 338435760 26357760 555 33554432000 4194304 4198148 140735032187696 140735032186624 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6367/statm: 6435 555 387 1 0 230 0
[pid=6423] ppid=6367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6423/stat : 6423 (sh) S 6367 6367 28789 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338439053 9367552 264 33554432000 4194304 5064252 140737283386992 140737283385248 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6423/statm: 2287 264 223 213 0 72 0
[pid=6425] ppid=6423 vsize=12656 CPUtime=18.16 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp-1.0) R 6423 6367 28789 0 -1 4202496 2725 0 0 0 1815 1 0 0 20 0 1 0 338439053 12959744 2623 33554432000 134512640 134847168 4294003312 4294002052 134737633 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6425/statm: 3164 2623 270 82 0 2405 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 47544
[startup+102.307 s]
/proc/loadavg: 2.03 2.05 2.01 3/181 6434
/proc/meminfo: memFree=27970984/32873844 swapFree=7116/7116
[pid=6367] ppid=6365 vsize=25740 CPUtime=67.64 cores=1,3,5,7
/proc/6367/stat : 6367 (pbclasp) S 6365 6367 28789 0 -1 4202496 1592 33552 0 0 5 0 6749 10 20 0 1 0 338435760 26357760 555 33554432000 4194304 4198148 140735032187696 140735032186624 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6367/statm: 6435 555 387 1 0 230 0
[pid=6431] ppid=6367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6431/stat : 6431 (sh) S 6367 6367 28789 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338442529 9367552 264 33554432000 4194304 5064252 140733365811632 140733365809888 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 2287 264 223 213 0 72 0
[pid=6433] ppid=6431 vsize=13548 CPUtime=34.6 cores=1,3,5,7
/proc/6433/stat : 6433 (clasp-1.0) R 6431 6367 28789 0 -1 4202496 2950 0 0 0 3460 0 0 0 20 0 1 0 338442529 13873152 2852 33554432000 134512640 134847168 4290368944 4290367520 134714279 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6433/statm: 3387 2852 270 82 0 2628 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 48436
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/181 6442
/proc/meminfo: memFree=27970052/32873844 swapFree=7116/7116
[pid=6367] ppid=6365 vsize=25740 CPUtime=117.15 cores=1,3,5,7
/proc/6367/stat : 6367 (pbclasp) S 6365 6367 28789 0 -1 4202496 1725 38600 0 0 5 1 11697 12 20 0 1 0 338435760 26357760 555 33554432000 4194304 4198148 140735032187696 140735032186624 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6367/statm: 6435 555 387 1 0 230 0
[pid=6440] ppid=6367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6440/stat : 6440 (sh) S 6367 6367 28789 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 338447480 9367552 264 33554432000 4194304 5064252 140735326848624 140735326846880 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6440/statm: 2287 264 223 213 0 72 0
[pid=6442] ppid=6440 vsize=14100 CPUtime=45.08 cores=1,3,5,7
/proc/6442/stat : 6442 (clasp-1.0) R 6440 6367 28789 0 -1 4202496 3058 0 0 0 4507 1 0 0 20 0 1 0 338447480 14438400 2960 33554432000 134512640 134847168 4294819264 4294817840 134714110 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6442/statm: 3525 2960 270 82 0 2766 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 48988
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/181 6511
/proc/meminfo: memFree=27898116/32873844 swapFree=7116/7116
[pid=6367] ppid=6365 vsize=25740 CPUtime=211.86 cores=1,3,5,7
/proc/6367/stat : 6367 (pbclasp) S 6365 6367 28789 0 -1 4202496 1832 43939 0 0 5 1 21166 14 20 0 1 0 338435760 26357760 555 33554432000 4194304 4198148 140735032187696 140735032186624 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6367/statm: 6435 555 387 1 0 230 0
[pid=6459] ppid=6367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6459/stat : 6459 (sh) S 6367 6367 28789 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 338456953 9367552 263 33554432000 4194304 5064252 140735386737424 140735386735680 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6459/statm: 2287 263 223 213 0 72 0
[pid=6461] ppid=6459 vsize=11852 CPUtime=10.36 cores=1,3,5,7
/proc/6461/stat : 6461 (clasp-1.0) R 6459 6367 28789 0 -1 4202496 2557 0 0 0 1036 0 0 0 20 0 1 0 338456953 12136448 2454 33554432000 134512640 134847168 4294880336 4294878912 134714339 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6461/statm: 2963 2454 270 82 0 2204 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 46740
[startup+282.3 s]
################
# More data... #
################
/proc/6725/stat : 6725 (sh) S 6367 6367 28789 0 -1 4202496 370 221 0 0 0 0 0 0 20 0 1 0 338559925 9367552 264 33554432000 4194304 5064252 140733639022832 140733639021088 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6725/statm: 2287 264 223 213 0 72 0
[pid=6727] ppid=6725 vsize=17280 CPUtime=180.61 cores=1,3,5,7
/proc/6727/stat : 6727 (clasp-1.0) R 6725 6367 28789 0 -1 4202496 3778 0 0 0 18061 0 0 0 20 0 1 0 338559925 17694720 3710 33554432000 134512640 134847168 4291319808 4291318488 134789705 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6727/statm: 4320 3710 272 82 0 3561 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 52168
[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 6760
/proc/meminfo: memFree=26970568/32873844 swapFree=7116/7116
[pid=6367] ppid=6365 vsize=25740 CPUtime=1241.42 cores=1,3,5,7
/proc/6367/stat : 6367 (pbclasp) S 6365 6367 28789 0 -1 4202496 2360 67073 0 0 7 1 124113 21 20 0 1 0 338435760 26357760 555 33554432000 4194304 4198148 140735032187696 140735032186624 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6367/statm: 6435 555 387 1 0 230 0
[pid=6725] ppid=6367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6725/stat : 6725 (sh) S 6367 6367 28789 0 -1 4202496 370 221 0 0 0 0 0 0 20 0 1 0 338559925 9367552 264 33554432000 4194304 5064252 140733639022832 140733639021088 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6725/statm: 2287 264 223 213 0 72 0
[pid=6727] ppid=6725 vsize=17884 CPUtime=240.6 cores=1,3,5,7
/proc/6727/stat : 6727 (clasp-1.0) R 6725 6367 28789 0 -1 4202496 3900 0 0 0 24060 0 0 0 20 0 1 0 338559925 18313216 3832 33554432000 134512640 134847168 4291319808 4291318384 134714254 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6727/statm: 4471 3832 272 82 0 3712 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 52772
[startup+1542.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/181 6768
/proc/meminfo: memFree=26974012/32873844 swapFree=7116/7116
[pid=6367] ppid=6365 vsize=25740 CPUtime=1494.94 cores=1,3,5,7
/proc/6367/stat : 6367 (pbclasp) S 6365 6367 28789 0 -1 4202496 2495 72970 0 0 8 1 149463 22 20 0 1 0 338435760 26357760 555 33554432000 4194304 4198148 140735032187696 140735032186624 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6367/statm: 6435 555 387 1 0 230 0
[pid=6766] ppid=6367 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/6766/stat : 6766 (sh) S 6367 6367 28789 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 338585282 9367552 264 33554432000 4194304 5064252 140735670353840 140735670352096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6766/statm: 2287 264 223 213 0 72 0
[pid=6768] ppid=6766 vsize=14096 CPUtime=47.06 cores=1,3,5,7
/proc/6768/stat : 6768 (clasp-1.0) R 6766 6367 28789 0 -1 4202496 3057 0 0 0 4706 0 0 0 20 0 1 0 338585282 14434304 2955 33554432000 134512640 134847168 4293189280 4293187856 134714706 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6768/statm: 3524 2955 272 82 0 2765 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 48984
[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 6769
/proc/meminfo: memFree=26972552/32873844 swapFree=7116/7116
[pid=6367] ppid=6365 vsize=25740 CPUtime=1494.94 cores=1,3,5,7
/proc/6367/stat : 6367 (pbclasp) S 6365 6367 28789 0 -1 4202496 2495 72970 0 0 8 1 149463 22 20 0 1 0 338435760 26357760 555 33554432000 4194304 4198148 140735032187696 140735032186624 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6367/statm: 6435 555 387 1 0 230 0
[pid=6766] ppid=6367 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/6766/stat : 6766 (sh) S 6367 6367 28789 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 338585282 9367552 264 33554432000 4194304 5064252 140735670353840 140735670352096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6766/statm: 2287 264 223 213 0 72 0
[pid=6768] ppid=6766 vsize=15716 CPUtime=107.05 cores=1,3,5,7
/proc/6768/stat : 6768 (clasp-1.0) R 6766 6367 28789 0 -1 4202496 3460 0 0 0 10705 0 0 0 20 0 1 0 338585282 16093184 3358 33554432000 134512640 134847168 4293189280 4293188020 134737633 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6768/statm: 3929 3358 272 82 0 3170 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 50604
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 6769
/proc/meminfo: memFree=26971340/32873844 swapFree=7116/7116
[pid=6367] ppid=6365 vsize=25740 CPUtime=1494.94 cores=1,3,5,7
/proc/6367/stat : 6367 (pbclasp) S 6365 6367 28789 0 -1 4202496 2495 72970 0 0 8 1 149463 22 20 0 1 0 338435760 26357760 555 33554432000 4194304 4198148 140735032187696 140735032186624 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6367/statm: 6435 555 387 1 0 230 0
[pid=6766] ppid=6367 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/6766/stat : 6766 (sh) S 6367 6367 28789 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 338585282 9367552 264 33554432000 4194304 5064252 140735670353840 140735670352096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6766/statm: 2287 264 223 213 0 72 0
[pid=6768] ppid=6766 vsize=17064 CPUtime=167.04 cores=1,3,5,7
/proc/6768/stat : 6768 (clasp-1.0) R 6766 6367 28789 0 -1 4202496 3741 0 0 0 16704 0 0 0 20 0 1 0 338585282 17473536 3639 33554432000 134512640 134847168 4293189280 4293187844 134714971 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6768/statm: 4266 3639 272 82 0 3507 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 51952
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 6769
/proc/meminfo: memFree=26967792/32873844 swapFree=7116/7116
[pid=6367] ppid=6365 vsize=25740 CPUtime=1494.94 cores=1,3,5,7
/proc/6367/stat : 6367 (pbclasp) S 6365 6367 28789 0 -1 4202496 2495 72970 0 0 8 1 149463 22 20 0 1 0 338435760 26357760 555 33554432000 4194304 4198148 140735032187696 140735032186624 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6367/statm: 6435 555 387 1 0 230 0
[pid=6766] ppid=6367 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/6766/stat : 6766 (sh) S 6367 6367 28789 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 338585282 9367552 264 33554432000 4194304 5064252 140735670353840 140735670352096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6766/statm: 2287 264 223 213 0 72 0
[pid=6768] ppid=6766 vsize=17612 CPUtime=227.04 cores=1,3,5,7
/proc/6768/stat : 6768 (clasp-1.0) R 6766 6367 28789 0 -1 4202496 3858 0 0 0 22703 1 0 0 20 0 1 0 338585282 18034688 3756 33554432000 134512640 134847168 4293189280 4293187972 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6768/statm: 4403 3756 272 82 0 3644 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 52500
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 6772
/proc/meminfo: memFree=26967532/32873844 swapFree=7116/7116
[pid=6367] ppid=6365 vsize=25740 CPUtime=1494.94 cores=1,3,5,7
/proc/6367/stat : 6367 (pbclasp) S 6365 6367 28789 0 -1 4202496 2495 72970 0 0 8 1 149463 22 20 0 1 0 338435760 26357760 555 33554432000 4194304 4198148 140735032187696 140735032186624 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6367/statm: 6435 555 387 1 0 230 0
[pid=6766] ppid=6367 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/6766/stat : 6766 (sh) S 6367 6367 28789 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 338585282 9367552 264 33554432000 4194304 5064252 140735670353840 140735670352096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6766/statm: 2287 264 223 213 0 72 0
[pid=6768] ppid=6766 vsize=18436 CPUtime=287.03 cores=1,3,5,7
/proc/6768/stat : 6768 (clasp-1.0) R 6766 6367 28789 0 -1 4202496 4068 0 0 0 28702 1 0 0 20 0 1 0 338585282 18878464 3966 33554432000 134512640 134847168 4293189280 4293187856 134714478 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6768/statm: 4609 3966 272 82 0 3850 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 53324
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 6795
/proc/meminfo: memFree=26967532/32873844 swapFree=7116/7116
[pid=6367] ppid=6365 vsize=25740 CPUtime=1494.94 cores=1,3,5,7
/proc/6367/stat : 6367 (pbclasp) S 6365 6367 28789 0 -1 4202496 2495 72970 0 0 8 1 149463 22 20 0 1 0 338435760 26357760 555 33554432000 4194304 4198148 140735032187696 140735032186624 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6367/statm: 6435 555 387 1 0 230 0
[pid=6766] ppid=6367 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/6766/stat : 6766 (sh) S 6367 6367 28789 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 338585282 9367552 264 33554432000 4194304 5064252 140735670353840 140735670352096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6766/statm: 2287 264 223 213 0 72 0
[pid=6768] ppid=6766 vsize=18656 CPUtime=305.13 cores=1,3,5,7
/proc/6768/stat : 6768 (clasp-1.0) R 6766 6367 28789 0 -1 4202496 4094 0 0 0 30512 1 0 0 20 0 1 0 338585282 19103744 3992 33554432000 134512640 134847168 4293189280 4293187964 134784496 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6768/statm: 4664 3992 272 82 0 3905 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 53544
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -6367
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.01 2.00 4/184 6814
/proc/meminfo: memFree=27763120/32873844 swapFree=7116/7116
[pid=6367] ppid=6365 vsize=25740 CPUtime=1800.12 cores=1,3,5,7
/proc/6367/stat : 6367 (pbclasp) S 6365 6367 28789 0 -1 4202496 2676 79837 0 0 8 2 179976 26 20 0 1 0 338435760 26357760 555 33554432000 4194304 4198148 140735032187696 140735032186624 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6367/statm: 6435 555 387 1 0 230 0
[pid=6804] ppid=6367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6804/stat : 6804 (sh) S 6367 6367 28789 0 -1 4202496 370 221 0 0 0 0 0 0 20 0 1 0 338615803 9367552 264 33554432000 4194304 5064252 140736372738368 140736372736624 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6804/statm: 2287 264 223 213 0 72 0
[pid=6806] ppid=6804 vsize=11352 CPUtime=0.95 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp-1.0) R 6804 6367 28789 0 -1 4202496 2424 0 0 0 95 0 0 0 20 0 1 0 338615803 11624448 2321 33554432000 134512640 134847168 4294447104 4294445680 134714112 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6806/statm: 2838 2321 272 82 0 2079 0
Current children cumulated CPU time (s) 1801.07
Current children cumulated vsize (KiB) 46240
[startup+1802.2 s]
/proc/loadavg: 2.00 2.01 2.00 4/184 6814
/proc/meminfo: memFree=27717272/32873844 swapFree=7116/7116
[pid=6367] ppid=6365 vsize=25740 CPUtime=1800.12 cores=1,3,5,7
/proc/6367/stat : 6367 (pbclasp) S 6365 6367 28789 0 -1 4202496 2676 79837 0 0 8 2 179976 26 20 0 1 0 338435760 26357760 555 33554432000 4194304 4198148 140735032187696 140735032186624 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6367/statm: 6435 555 387 1 0 230 0
[pid=6804] ppid=6367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6804/stat : 6804 (sh) S 6367 6367 28789 0 -1 4202496 370 221 0 0 0 0 0 0 20 0 1 0 338615803 9367552 264 33554432000 4194304 5064252 140736372738368 140736372736624 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6804/statm: 2287 264 223 213 0 72 0
[pid=6806] ppid=6804 vsize=11352 CPUtime=1.75 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp-1.0) R 6804 6367 28789 0 -1 4202496 2424 0 0 0 175 0 0 0 20 0 1 0 338615803 11624448 2321 33554432000 134512640 134847168 4294447104 4294445788 134715914 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6806/statm: 2838 2321 272 82 0 2079 0
Current children cumulated CPU time (s) 1801.87
Current children cumulated vsize (KiB) 46240
[startup+1802.4 s]
/proc/loadavg: 2.00 2.01 2.00 4/184 6814
/proc/meminfo: memFree=27717272/32873844 swapFree=7116/7116
[pid=6367] ppid=6365 vsize=25740 CPUtime=1800.12 cores=1,3,5,7
/proc/6367/stat : 6367 (pbclasp) S 6365 6367 28789 0 -1 4202496 2676 79837 0 0 8 2 179976 26 20 0 1 0 338435760 26357760 555 33554432000 4194304 4198148 140735032187696 140735032186624 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6367/statm: 6435 555 387 1 0 230 0
[pid=6804] ppid=6367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6804/stat : 6804 (sh) S 6367 6367 28789 0 -1 4202496 370 221 0 0 0 0 0 0 20 0 1 0 338615803 9367552 264 33554432000 4194304 5064252 140736372738368 140736372736624 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6804/statm: 2287 264 223 213 0 72 0
[pid=6806] ppid=6804 vsize=11352 CPUtime=1.95 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp-1.0) R 6804 6367 28789 0 -1 4202496 2424 0 0 0 195 0 0 0 20 0 1 0 338615803 11624448 2321 33554432000 134512640 134847168 4294447104 4294445844 134737633 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6806/statm: 2838 2321 272 82 0 2079 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 46240
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.12
CPU user time (s): 1801.83
CPU system time (s): 0.292955
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 55340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.83
system time used= 0.292955
maximum resident set size= 17712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85649
page faults= 0
swaps= 0
block input operations= 0
block output operations= 30312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3708
involuntary context switches= 2128
runsolver used 3.2775 second user time and 8.89465 second system time
The end