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-3735973-1338728555/watcher-3735973-1338728555 -o /tmp/evaluation-result-3735973-1338728555/solver-3735973-1338728555 -C 1800 -W 1900 -M 15500 pbclasp instance-3735973-1338728555.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.00 2.00 2.00 3/178 9071
/proc/meminfo: memFree=27011544/32873844 swapFree=7628/7628
[pid=9071] ppid=9069 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/9071/stat : 9071 (pbclasp) R 9069 9071 29645 0 -1 4202496 456 0 0 0 0 0 0 0 20 0 1 0 338980396 26071040 387 33554432000 4194304 4198148 140737075610288 140737075607736 223655028048 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/9071/statm: 6365 398 303 1 0 160 0
[startup+0.0607011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9071
/proc/meminfo: memFree=27011544/32873844 swapFree=7628/7628
[pid=9071] ppid=9069 vsize=26004 CPUtime=0 cores=1,3,5,7
/proc/9071/stat : 9071 (pbclasp) S 9069 9071 29645 0 -1 4202496 665 0 0 0 0 0 0 0 20 0 1 0 338980396 26628096 580 33554432000 4194304 4198148 140737075610288 140737075609176 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9071/statm: 6501 580 368 1 0 296 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26004
[startup+0.100218 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9071
/proc/meminfo: memFree=27011544/32873844 swapFree=7628/7628
[pid=9071] ppid=9069 vsize=26004 CPUtime=0 cores=1,3,5,7
/proc/9071/stat : 9071 (pbclasp) S 9069 9071 29645 0 -1 4202496 665 0 0 0 0 0 0 0 20 0 1 0 338980396 26628096 580 33554432000 4194304 4198148 140737075610288 140737075609176 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9071/statm: 6501 580 368 1 0 296 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26004
[startup+0.300187 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9071
/proc/meminfo: memFree=27011544/32873844 swapFree=7628/7628
[pid=9071] ppid=9069 vsize=26004 CPUtime=0 cores=1,3,5,7
/proc/9071/stat : 9071 (pbclasp) S 9069 9071 29645 0 -1 4202496 665 0 0 0 0 0 0 0 20 0 1 0 338980396 26628096 580 33554432000 4194304 4198148 140737075610288 140737075609176 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9071/statm: 6501 580 368 1 0 296 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26004
[startup+0.700175 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9071
/proc/meminfo: memFree=27011544/32873844 swapFree=7628/7628
[pid=9071] ppid=9069 vsize=26004 CPUtime=0 cores=1,3,5,7
/proc/9071/stat : 9071 (pbclasp) S 9069 9071 29645 0 -1 4202496 665 0 0 0 0 0 0 0 20 0 1 0 338980396 26628096 580 33554432000 4194304 4198148 140737075610288 140737075609176 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9071/statm: 6501 580 368 1 0 296 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26004
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9081
/proc/meminfo: memFree=26996980/32873844 swapFree=7628/7628
[pid=9071] ppid=9069 vsize=26004 CPUtime=0.71 cores=1,3,5,7
/proc/9071/stat : 9071 (pbclasp) S 9069 9071 29645 0 -1 4202496 777 2136 0 0 0 0 71 0 20 0 1 0 338980396 26628096 614 33554432000 4194304 4198148 140737075610288 140737075609216 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9071/statm: 6501 614 387 1 0 296 0
[pid=9079] ppid=9071 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9079/stat : 9079 (sh) S 9071 9071 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 338980469 9367552 264 33554432000 4194304 5064252 140734782164176 140734782162432 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9079/statm: 2287 264 223 213 0 72 0
[pid=9081] ppid=9079 vsize=14356 CPUtime=0.75 cores=1,3,5,7
/proc/9081/stat : 9081 (clasp-1.0) R 9079 9071 29645 0 -1 4202496 3363 0 0 0 75 0 0 0 20 0 1 0 338980469 14700544 2988 33554432000 134512640 134847168 4290005536 4290004304 134617553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9081/statm: 3589 2988 270 82 0 2830 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 49508
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9081
/proc/meminfo: memFree=26995616/32873844 swapFree=7628/7628
[pid=9071] ppid=9069 vsize=26004 CPUtime=0.71 cores=1,3,5,7
/proc/9071/stat : 9071 (pbclasp) S 9069 9071 29645 0 -1 4202496 777 2136 0 0 0 0 71 0 20 0 1 0 338980396 26628096 614 33554432000 4194304 4198148 140737075610288 140737075609216 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9071/statm: 6501 614 387 1 0 296 0
[pid=9079] ppid=9071 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9079/stat : 9079 (sh) S 9071 9071 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 338980469 9367552 264 33554432000 4194304 5064252 140734782164176 140734782162432 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9079/statm: 2287 264 223 213 0 72 0
[pid=9081] ppid=9079 vsize=14356 CPUtime=2.35 cores=1,3,5,7
/proc/9081/stat : 9081 (clasp-1.0) R 9079 9071 29645 0 -1 4202496 3365 0 0 0 235 0 0 0 20 0 1 0 338980469 14700544 2990 33554432000 134512640 134847168 4290005536 4290004304 134617553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9081/statm: 3589 2990 270 82 0 2830 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 49508
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9081
/proc/meminfo: memFree=26992036/32873844 swapFree=7628/7628
[pid=9071] ppid=9069 vsize=26004 CPUtime=0.71 cores=1,3,5,7
/proc/9071/stat : 9071 (pbclasp) S 9069 9071 29645 0 -1 4202496 777 2136 0 0 0 0 71 0 20 0 1 0 338980396 26628096 614 33554432000 4194304 4198148 140737075610288 140737075609216 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9071/statm: 6501 614 387 1 0 296 0
[pid=9079] ppid=9071 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9079/stat : 9079 (sh) S 9071 9071 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 338980469 9367552 264 33554432000 4194304 5064252 140734782164176 140734782162432 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9079/statm: 2287 264 223 213 0 72 0
[pid=9081] ppid=9079 vsize=14488 CPUtime=5.55 cores=1,3,5,7
/proc/9081/stat : 9081 (clasp-1.0) R 9079 9071 29645 0 -1 4202496 3439 0 0 0 555 0 0 0 20 0 1 0 338980469 14835712 3064 33554432000 134512640 134847168 4290005536 4290004176 134782375 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9081/statm: 3622 3064 270 82 0 2863 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 49640
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9081
/proc/meminfo: memFree=26985612/32873844 swapFree=7628/7628
[pid=9071] ppid=9069 vsize=26004 CPUtime=0.71 cores=1,3,5,7
/proc/9071/stat : 9071 (pbclasp) S 9069 9071 29645 0 -1 4202496 777 2136 0 0 0 0 71 0 20 0 1 0 338980396 26628096 614 33554432000 4194304 4198148 140737075610288 140737075609216 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9071/statm: 6501 614 387 1 0 296 0
[pid=9079] ppid=9071 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9079/stat : 9079 (sh) S 9071 9071 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 338980469 9367552 264 33554432000 4194304 5064252 140734782164176 140734782162432 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9079/statm: 2287 264 223 213 0 72 0
[pid=9081] ppid=9079 vsize=17856 CPUtime=11.95 cores=1,3,5,7
/proc/9081/stat : 9081 (clasp-1.0) R 9079 9071 29645 0 -1 4202496 4260 0 0 0 1195 0 0 0 20 0 1 0 338980469 18284544 3885 33554432000 134512640 134847168 4290005536 4290004292 134738089 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9081/statm: 4464 3885 270 82 0 3705 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 53008
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9081
/proc/meminfo: memFree=26984300/32873844 swapFree=7628/7628
[pid=9071] ppid=9069 vsize=26004 CPUtime=0.71 cores=1,3,5,7
/proc/9071/stat : 9071 (pbclasp) S 9069 9071 29645 0 -1 4202496 777 2136 0 0 0 0 71 0 20 0 1 0 338980396 26628096 614 33554432000 4194304 4198148 140737075610288 140737075609216 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9071/statm: 6501 614 387 1 0 296 0
[pid=9079] ppid=9071 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9079/stat : 9079 (sh) S 9071 9071 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 338980469 9367552 264 33554432000 4194304 5064252 140734782164176 140734782162432 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9079/statm: 2287 264 223 213 0 72 0
[pid=9081] ppid=9079 vsize=18172 CPUtime=24.74 cores=1,3,5,7
/proc/9081/stat : 9081 (clasp-1.0) R 9079 9071 29645 0 -1 4202496 4312 0 0 0 2474 0 0 0 20 0 1 0 338980469 18608128 3937 33554432000 134512640 134847168 4290005536 4290004160 134784684 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9081/statm: 4543 3937 270 82 0 3784 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 53324
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9081
/proc/meminfo: memFree=26977968/32873844 swapFree=7628/7628
[pid=9071] ppid=9069 vsize=26004 CPUtime=0.71 cores=1,3,5,7
/proc/9071/stat : 9071 (pbclasp) S 9069 9071 29645 0 -1 4202496 777 2136 0 0 0 0 71 0 20 0 1 0 338980396 26628096 614 33554432000 4194304 4198148 140737075610288 140737075609216 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9071/statm: 6501 614 387 1 0 296 0
[pid=9079] ppid=9071 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9079/stat : 9079 (sh) S 9071 9071 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 338980469 9367552 264 33554432000 4194304 5064252 140734782164176 140734782162432 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9079/statm: 2287 264 223 213 0 72 0
[pid=9081] ppid=9079 vsize=21612 CPUtime=50.34 cores=1,3,5,7
/proc/9081/stat : 9081 (clasp-1.0) R 9079 9071 29645 0 -1 4202496 5175 0 0 0 5034 0 0 0 20 0 1 0 338980469 22130688 4800 33554432000 134512640 134847168 4290005536 4290004220 134784496 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9081/statm: 5403 4800 270 82 0 4644 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 56764
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9081
/proc/meminfo: memFree=26971824/32873844 swapFree=7628/7628
[pid=9071] ppid=9069 vsize=26004 CPUtime=0.71 cores=1,3,5,7
/proc/9071/stat : 9071 (pbclasp) S 9069 9071 29645 0 -1 4202496 777 2136 0 0 0 0 71 0 20 0 1 0 338980396 26628096 614 33554432000 4194304 4198148 140737075610288 140737075609216 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9071/statm: 6501 614 387 1 0 296 0
[pid=9079] ppid=9071 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9079/stat : 9079 (sh) S 9071 9071 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 338980469 9367552 264 33554432000 4194304 5064252 140734782164176 140734782162432 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9079/statm: 2287 264 223 213 0 72 0
[pid=9081] ppid=9079 vsize=23736 CPUtime=101.54 cores=1,3,5,7
/proc/9081/stat : 9081 (clasp-1.0) R 9079 9071 29645 0 -1 4202496 5674 0 0 0 10153 1 0 0 20 0 1 0 338980469 24305664 5325 33554432000 134512640 134847168 4290005536 4290004224 134735790 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9081/statm: 5934 5325 270 82 0 5175 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 58888
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 9081
/proc/meminfo: memFree=26955196/32873844 swapFree=7628/7628
[pid=9071] ppid=9069 vsize=26004 CPUtime=0.71 cores=1,3,5,7
/proc/9071/stat : 9071 (pbclasp) S 9069 9071 29645 0 -1 4202496 777 2136 0 0 0 0 71 0 20 0 1 0 338980396 26628096 614 33554432000 4194304 4198148 140737075610288 140737075609216 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9071/statm: 6501 614 387 1 0 296 0
[pid=9079] ppid=9071 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9079/stat : 9079 (sh) S 9071 9071 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 338980469 9367552 264 33554432000 4194304 5064252 140734782164176 140734782162432 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9079/statm: 2287 264 223 213 0 72 0
[pid=9081] ppid=9079 vsize=33316 CPUtime=161.52 cores=1,3,5,7
/proc/9081/stat : 9081 (clasp-1.0) R 9079 9071 29645 0 -1 4202496 7984 0 0 0 16151 1 0 0 20 0 1 0 338980469 34115584 7704 33554432000 134512640 134847168 4290005536 4290004284 134737613 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9081/statm: 8329 7704 270 82 0 7570 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 68468
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 9082
/proc/meminfo: memFree=26951588/32873844 swapFree=7628/7628
[pid=9071] ppid=9069 vsize=26004 CPUtime=0.71 cores=1,3,5,7
/proc/9071/stat : 9071 (pbclasp) S 9069 9071 29645 0 -1 4202496 777 2136 0 0 0 0 71 0 20 0 1 0 338980396 26628096 614 33554432000 4194304 4198148 140737075610288 140737075609216 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9071/statm: 6501 614 387 1 0 296 0
[pid=9079] ppid=9071 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9079/stat : 9079 (sh) S 9071 9071 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 338980469 9367552 264 33554432000 4194304 5064252 140734782164176 140734782162432 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9079/statm: 2287 264 223 213 0 72 0
[pid=9081] ppid=9079 vsize=36808 CPUtime=221.5 cores=1,3,5,7
/proc/9081/stat : 9081 (clasp-1.0) R 9079 9071 29645 0 -1 4202496 8789 0 0 0 22149 1 0 0 20 0 1 0 338980469 37691392 8563 33554432000 134512640 134847168 4290005536 4290004220 134789696 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9081/statm: 9202 8563 270 82 0 8443 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 71960
[startup+282.3 s]
################
# More data... #
################
/proc/9099/stat : 9099 (sh) S 9071 9071 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339023471 9367552 264 33554432000 4194304 5064252 140733896452288 140733896450544 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9099/statm: 2287 264 223 213 0 72 0
[pid=9101] ppid=9099 vsize=74124 CPUtime=991.38 cores=1,3,5,7
/proc/9101/stat : 9101 (clasp-1.0) R 9099 9071 29645 0 -1 4202496 17744 0 0 0 99133 5 0 0 20 0 1 0 339023471 75902976 17860 33554432000 134512640 134847168 4288185776 4288184460 134789696 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9101/statm: 18531 17860 272 82 0 17772 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 109276
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 9168
/proc/meminfo: memFree=26882804/32873844 swapFree=7628/7628
[pid=9071] ppid=9069 vsize=26004 CPUtime=430.63 cores=1,3,5,7
/proc/9071/stat : 9071 (pbclasp) S 9069 9071 29645 0 -1 4202496 877 17065 0 0 0 0 43059 4 20 0 1 0 338980396 26628096 614 33554432000 4194304 4198148 140737075610288 140737075609216 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9071/statm: 6501 614 387 1 0 296 0
[pid=9099] ppid=9071 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9099/stat : 9099 (sh) S 9071 9071 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339023471 9367552 264 33554432000 4194304 5064252 140733896452288 140733896450544 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9099/statm: 2287 264 223 213 0 72 0
[pid=9101] ppid=9099 vsize=75060 CPUtime=1051.37 cores=1,3,5,7
/proc/9101/stat : 9101 (clasp-1.0) R 9099 9071 29645 0 -1 4202496 17976 0 0 0 105132 5 0 0 20 0 1 0 339023471 76861440 18092 33554432000 134512640 134847168 4288185776 4288184416 134782472 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9101/statm: 18765 18092 272 82 0 18006 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 110212
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 9168
/proc/meminfo: memFree=26881872/32873844 swapFree=7628/7628
[pid=9071] ppid=9069 vsize=26004 CPUtime=430.63 cores=1,3,5,7
/proc/9071/stat : 9071 (pbclasp) S 9069 9071 29645 0 -1 4202496 877 17065 0 0 0 0 43059 4 20 0 1 0 338980396 26628096 614 33554432000 4194304 4198148 140737075610288 140737075609216 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9071/statm: 6501 614 387 1 0 296 0
[pid=9099] ppid=9071 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9099/stat : 9099 (sh) S 9071 9071 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339023471 9367552 264 33554432000 4194304 5064252 140733896452288 140733896450544 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9099/statm: 2287 264 223 213 0 72 0
[pid=9101] ppid=9099 vsize=75600 CPUtime=1111.36 cores=1,3,5,7
/proc/9101/stat : 9101 (clasp-1.0) R 9099 9071 29645 0 -1 4202496 18095 0 0 0 111131 5 0 0 20 0 1 0 339023471 77414400 18268 33554432000 134512640 134847168 4288185776 4288184400 134784622 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9101/statm: 18900 18268 272 82 0 18141 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 110752
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9168
/proc/meminfo: memFree=26877036/32873844 swapFree=7628/7628
[pid=9071] ppid=9069 vsize=26004 CPUtime=430.63 cores=1,3,5,7
/proc/9071/stat : 9071 (pbclasp) S 9069 9071 29645 0 -1 4202496 877 17065 0 0 0 0 43059 4 20 0 1 0 338980396 26628096 614 33554432000 4194304 4198148 140737075610288 140737075609216 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9071/statm: 6501 614 387 1 0 296 0
[pid=9099] ppid=9071 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9099/stat : 9099 (sh) S 9071 9071 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339023471 9367552 264 33554432000 4194304 5064252 140733896452288 140733896450544 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9099/statm: 2287 264 223 213 0 72 0
[pid=9101] ppid=9099 vsize=75600 CPUtime=1171.35 cores=1,3,5,7
/proc/9101/stat : 9101 (clasp-1.0) R 9099 9071 29645 0 -1 4202496 18097 0 0 0 117130 5 0 0 20 0 1 0 339023471 77414400 18270 33554432000 134512640 134847168 4288185776 4288184400 134784798 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9101/statm: 18900 18270 272 82 0 18141 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 110752
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9171
/proc/meminfo: memFree=26876776/32873844 swapFree=7628/7628
[pid=9071] ppid=9069 vsize=26004 CPUtime=430.63 cores=1,3,5,7
/proc/9071/stat : 9071 (pbclasp) S 9069 9071 29645 0 -1 4202496 877 17065 0 0 0 0 43059 4 20 0 1 0 338980396 26628096 614 33554432000 4194304 4198148 140737075610288 140737075609216 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9071/statm: 6501 614 387 1 0 296 0
[pid=9099] ppid=9071 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9099/stat : 9099 (sh) S 9071 9071 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339023471 9367552 264 33554432000 4194304 5064252 140733896452288 140733896450544 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9099/statm: 2287 264 223 213 0 72 0
[pid=9101] ppid=9099 vsize=75600 CPUtime=1231.34 cores=1,3,5,7
/proc/9101/stat : 9101 (clasp-1.0) R 9099 9071 29645 0 -1 4202496 18097 0 0 0 123129 5 0 0 20 0 1 0 339023471 77414400 18270 33554432000 134512640 134847168 4288185776 4288184400 134784634 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9101/statm: 18900 18270 272 82 0 18141 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 110752
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9172
/proc/meminfo: memFree=26875852/32873844 swapFree=7628/7628
[pid=9071] ppid=9069 vsize=26004 CPUtime=430.63 cores=1,3,5,7
/proc/9071/stat : 9071 (pbclasp) S 9069 9071 29645 0 -1 4202496 877 17065 0 0 0 0 43059 4 20 0 1 0 338980396 26628096 614 33554432000 4194304 4198148 140737075610288 140737075609216 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9071/statm: 6501 614 387 1 0 296 0
[pid=9099] ppid=9071 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9099/stat : 9099 (sh) S 9071 9071 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339023471 9367552 264 33554432000 4194304 5064252 140733896452288 140733896450544 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9099/statm: 2287 264 223 213 0 72 0
[pid=9101] ppid=9099 vsize=76008 CPUtime=1291.33 cores=1,3,5,7
/proc/9101/stat : 9101 (clasp-1.0) R 9099 9071 29645 0 -1 4202496 18230 0 0 0 129128 5 0 0 20 0 1 0 339023471 77832192 18403 33554432000 134512640 134847168 4288185776 4288184468 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9101/statm: 19002 18403 272 82 0 18243 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 111160
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9172
/proc/meminfo: memFree=26871324/32873844 swapFree=7628/7628
[pid=9071] ppid=9069 vsize=26004 CPUtime=430.63 cores=1,3,5,7
/proc/9071/stat : 9071 (pbclasp) S 9069 9071 29645 0 -1 4202496 877 17065 0 0 0 0 43059 4 20 0 1 0 338980396 26628096 614 33554432000 4194304 4198148 140737075610288 140737075609216 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9071/statm: 6501 614 387 1 0 296 0
[pid=9099] ppid=9071 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9099/stat : 9099 (sh) S 9071 9071 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339023471 9367552 264 33554432000 4194304 5064252 140733896452288 140733896450544 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9099/statm: 2287 264 223 213 0 72 0
[pid=9101] ppid=9099 vsize=79684 CPUtime=1351.32 cores=1,3,5,7
/proc/9101/stat : 9101 (clasp-1.0) R 9099 9071 29645 0 -1 4202496 19085 0 0 0 135127 5 0 0 20 0 1 0 339023471 81596416 19310 33554432000 134512640 134847168 4288185776 4288184400 134784634 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9101/statm: 19921 19310 272 82 0 19162 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 114836
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9172
/proc/meminfo: memFree=26871200/32873844 swapFree=7628/7628
[pid=9071] ppid=9069 vsize=26004 CPUtime=430.63 cores=1,3,5,7
/proc/9071/stat : 9071 (pbclasp) S 9069 9071 29645 0 -1 4202496 877 17065 0 0 0 0 43059 4 20 0 1 0 338980396 26628096 614 33554432000 4194304 4198148 140737075610288 140737075609216 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9071/statm: 6501 614 387 1 0 296 0
[pid=9099] ppid=9071 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9099/stat : 9099 (sh) S 9071 9071 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339023471 9367552 264 33554432000 4194304 5064252 140733896452288 140733896450544 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9099/statm: 2287 264 223 213 0 72 0
[pid=9101] ppid=9099 vsize=79684 CPUtime=1369.42 cores=1,3,5,7
/proc/9101/stat : 9101 (clasp-1.0) R 9099 9071 29645 0 -1 4202496 19085 0 0 0 136937 5 0 0 20 0 1 0 339023471 81596416 19310 33554432000 134512640 134847168 4288185776 4288184400 134784800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9101/statm: 19921 19310 272 82 0 19162 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 114836
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9071
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9191
/proc/meminfo: memFree=26997552/32873844 swapFree=7628/7628
[pid=9071] ppid=9069 vsize=26004 CPUtime=1800.09 cores=1,3,5,7
/proc/9071/stat : 9071 (pbclasp) S 9069 9071 29645 0 -1 4202496 1035 38916 0 0 0 0 179997 12 20 0 1 0 338980396 26628096 616 33554432000 4194304 4198148 140737075610288 140737075609216 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9071/statm: 6501 616 387 1 0 296 0
[pid=9186] ppid=9071 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9186/stat : 9186 (sh) S 9071 9071 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339160439 9367552 264 33554432000 4194304 5064252 140737088586160 140737088584416 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9186/statm: 2287 264 223 213 0 72 0
[pid=9188] ppid=9186 vsize=14356 CPUtime=0.95 cores=1,3,5,7
/proc/9188/stat : 9188 (clasp-1.0) R 9186 9071 29645 0 -1 4202496 3366 0 0 0 95 0 0 0 20 0 1 0 339160439 14700544 2991 33554432000 134512640 134847168 4290536192 4290534876 134715914 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9188/statm: 3589 2991 272 82 0 2830 0
Current children cumulated CPU time (s) 1801.04
Current children cumulated vsize (KiB) 49508
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9191
/proc/meminfo: memFree=26997684/32873844 swapFree=7628/7628
[pid=9071] ppid=9069 vsize=26004 CPUtime=1800.09 cores=1,3,5,7
/proc/9071/stat : 9071 (pbclasp) S 9069 9071 29645 0 -1 4202496 1035 38916 0 0 0 0 179997 12 20 0 1 0 338980396 26628096 616 33554432000 4194304 4198148 140737075610288 140737075609216 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9071/statm: 6501 616 387 1 0 296 0
[pid=9186] ppid=9071 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9186/stat : 9186 (sh) S 9071 9071 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339160439 9367552 264 33554432000 4194304 5064252 140737088586160 140737088584416 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9186/statm: 2287 264 223 213 0 72 0
[pid=9188] ppid=9186 vsize=14356 CPUtime=1.75 cores=1,3,5,7
/proc/9188/stat : 9188 (clasp-1.0) R 9186 9071 29645 0 -1 4202496 3367 0 0 0 175 0 0 0 20 0 1 0 339160439 14700544 2992 33554432000 134512640 134847168 4290536192 4290534960 134617496 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9188/statm: 3589 2992 272 82 0 2830 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 49508
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9191
/proc/meminfo: memFree=26997684/32873844 swapFree=7628/7628
[pid=9071] ppid=9069 vsize=26004 CPUtime=1800.09 cores=1,3,5,7
/proc/9071/stat : 9071 (pbclasp) S 9069 9071 29645 0 -1 4202496 1035 38916 0 0 0 0 179997 12 20 0 1 0 338980396 26628096 616 33554432000 4194304 4198148 140737075610288 140737075609216 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9071/statm: 6501 616 387 1 0 296 0
[pid=9186] ppid=9071 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9186/stat : 9186 (sh) S 9071 9071 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339160439 9367552 264 33554432000 4194304 5064252 140737088586160 140737088584416 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9186/statm: 2287 264 223 213 0 72 0
[pid=9188] ppid=9186 vsize=14356 CPUtime=1.95 cores=1,3,5,7
/proc/9188/stat : 9188 (clasp-1.0) R 9186 9071 29645 0 -1 4202496 3367 0 0 0 195 0 0 0 20 0 1 0 339160439 14700544 2992 33554432000 134512640 134847168 4290536192 4290534960 134738064 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9188/statm: 3589 2992 272 82 0 2830 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 49508
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.1
CPU user time (s): 1801.96
CPU system time (s): 0.133979
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 114836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.96
system time used= 0.133979
maximum resident set size= 77240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44101
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 668
involuntary context switches= 2692
runsolver used 3.45047 second user time and 8.37573 second system time
The end