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-3734836-1338720418/watcher-3734836-1338720418 -o /tmp/evaluation-result-3734836-1338720418/solver-3734836-1338720418 -C 1800 -W 1900 -M 15500 pbclasp instance-3734836-1338720418.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 1.95 3/178 14918
/proc/meminfo: memFree=29816120/32873844 swapFree=7372/7372
[pid=14918] ppid=14916 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/14918/stat : 14918 (pbclasp) S 14916 14918 32725 0 -1 4202496 586 0 0 0 0 0 0 0 20 0 1 0 338170419 26206208 498 33554432000 4194304 4198148 140734825540000 140734825538888 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14918/statm: 6398 498 368 1 0 193 0
[startup+0.0605601 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 14918
/proc/meminfo: memFree=29816120/32873844 swapFree=7372/7372
[pid=14918] ppid=14916 vsize=25592 CPUtime=0.05 cores=1,3,5,7
/proc/14918/stat : 14918 (pbclasp) S 14916 14918 32725 0 -1 4202496 1159 11528 0 0 0 0 2 3 20 0 1 0 338170419 26206208 522 33554432000 4194304 4198148 140734825540000 140734825538928 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14918/statm: 6398 522 387 1 0 193 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25592
[startup+0.100286 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 14918
/proc/meminfo: memFree=29816120/32873844 swapFree=7372/7372
[pid=14918] ppid=14916 vsize=25592 CPUtime=0.07 cores=1,3,5,7
/proc/14918/stat : 14918 (pbclasp) S 14916 14918 32725 0 -1 4202496 1611 19857 0 0 0 0 2 5 20 0 1 0 338170419 26206208 522 33554432000 4194304 4198148 140734825540000 140734825538888 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14918/statm: 6398 522 387 1 0 193 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25592
[startup+0.300232 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 14918
/proc/meminfo: memFree=29816120/32873844 swapFree=7372/7372
[pid=14918] ppid=14916 vsize=25592 CPUtime=0.25 cores=1,3,5,7
/proc/14918/stat : 14918 (pbclasp) S 14916 14918 32725 0 -1 4202496 3819 63528 0 0 0 1 10 14 20 0 1 0 338170419 26206208 522 33554432000 4194304 4198148 140734825540000 140734825538928 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14918/statm: 6398 522 387 1 0 193 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 25592
[startup+0.700236 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 14918
/proc/meminfo: memFree=29816120/32873844 swapFree=7372/7372
[pid=14918] ppid=14916 vsize=25592 CPUtime=0.63 cores=1,3,5,7
/proc/14918/stat : 14918 (pbclasp) S 14916 14918 32725 0 -1 4202496 8278 151039 0 0 1 2 25 35 20 0 1 0 338170419 26206208 522 33554432000 4194304 4198148 140734825540000 140734825538928 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14918/statm: 6398 522 387 1 0 193 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 25592
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 1.95 4/180 15649
/proc/meminfo: memFree=29813772/32873844 swapFree=7372/7372
[pid=14918] ppid=14916 vsize=25592 CPUtime=1.38 cores=1,3,5,7
/proc/14918/stat : 14918 (pbclasp) S 14916 14918 32725 0 -1 4202496 15147 285895 0 0 2 5 63 68 20 0 1 0 338170419 26206208 522 33554432000 4194304 4198148 140734825540000 140734825538928 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14918/statm: 6398 522 387 1 0 193 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 25592
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 15904
/proc/meminfo: memFree=29813408/32873844 swapFree=7372/7372
[pid=14918] ppid=14916 vsize=25592 CPUtime=2.12 cores=1,3,5,7
/proc/14918/stat : 14918 (pbclasp) S 14916 14918 32725 0 -1 4202496 15507 293024 0 0 2 5 135 70 20 0 1 0 338170419 26206208 522 33554432000 4194304 4198148 140734825540000 140734825538928 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14918/statm: 6398 522 387 1 0 193 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 25592
heavy processes:
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 15920
/proc/meminfo: memFree=29813168/32873844 swapFree=7372/7372
[pid=14918] ppid=14916 vsize=25592 CPUtime=5.88 cores=1,3,5,7
/proc/14918/stat : 14918 (pbclasp) S 14916 14918 32725 0 -1 4202496 15747 297807 0 0 2 5 510 71 20 0 1 0 338170419 26206208 522 33554432000 4194304 4198148 140734825540000 140734825538928 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14918/statm: 6398 522 387 1 0 193 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 25592
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 15944
/proc/meminfo: memFree=29813240/32873844 swapFree=7372/7372
[pid=14918] ppid=14916 vsize=25592 CPUtime=11.82 cores=1,3,5,7
/proc/14918/stat : 14918 (pbclasp) S 14916 14918 32725 0 -1 4202496 15988 302605 0 0 2 5 1103 72 20 0 1 0 338170419 26206208 522 33554432000 4194304 4198148 140734825540000 140734825538928 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14918/statm: 6398 522 387 1 0 193 0
[pid=15942] ppid=14918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15942/stat : 15942 (sh) S 14918 14918 32725 0 -1 4202496 370 215 0 0 0 0 0 0 20 0 1 0 338171611 9367552 263 33554432000 4194304 5064252 140735563698400 140735563696656 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15942/statm: 2287 263 223 213 0 72 0
[pid=15944] ppid=15942 vsize=3440 CPUtime=0.77 cores=1,3,5,7
/proc/15944/stat : 15944 (clasp-1.0) R 15942 14918 32725 0 -1 4202496 448 0 0 0 77 0 0 0 20 0 1 0 338171611 3522560 346 33554432000 134512640 134847168 4291016640 4291015264 134784798 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15944/statm: 860 346 270 82 0 101 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 38180
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 15944
/proc/meminfo: memFree=29814136/32873844 swapFree=7372/7372
[pid=14918] ppid=14916 vsize=25592 CPUtime=11.82 cores=1,3,5,7
/proc/14918/stat : 14918 (pbclasp) S 14916 14918 32725 0 -1 4202496 15988 302605 0 0 2 5 1103 72 20 0 1 0 338170419 26206208 522 33554432000 4194304 4198148 140734825540000 140734825538928 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14918/statm: 6398 522 387 1 0 193 0
[pid=15942] ppid=14918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15942/stat : 15942 (sh) S 14918 14918 32725 0 -1 4202496 370 215 0 0 0 0 0 0 20 0 1 0 338171611 9367552 263 33554432000 4194304 5064252 140735563698400 140735563696656 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15942/statm: 2287 263 223 213 0 72 0
[pid=15944] ppid=15942 vsize=3572 CPUtime=13.57 cores=1,3,5,7
/proc/15944/stat : 15944 (clasp-1.0) R 15942 14918 32725 0 -1 4202496 479 0 0 0 1357 0 0 0 20 0 1 0 338171611 3657728 377 33554432000 134512640 134847168 4291016640 4291015424 134739552 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15944/statm: 893 377 270 82 0 134 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 38312
[startup+51.1003 s]
/proc/loadavg: 2.06 2.02 1.95 3/181 15952
/proc/meminfo: memFree=29814044/32873844 swapFree=7372/7372
[pid=14918] ppid=14916 vsize=25592 CPUtime=33.36 cores=1,3,5,7
/proc/14918/stat : 14918 (pbclasp) S 14916 14918 32725 0 -1 4202496 16107 305026 0 0 2 5 3256 73 20 0 1 0 338170419 26206208 522 33554432000 4194304 4198148 140734825540000 140734825538928 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14918/statm: 6398 522 387 1 0 193 0
[pid=15950] ppid=14918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15950/stat : 15950 (sh) S 14918 14918 32725 0 -1 4202496 373 215 0 0 0 0 0 0 20 0 1 0 338173765 9367552 264 33554432000 4194304 5064252 140733637113376 140733637111632 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15950/statm: 2287 264 223 213 0 72 0
[pid=15952] ppid=15950 vsize=3572 CPUtime=17.63 cores=1,3,5,7
/proc/15952/stat : 15952 (clasp-1.0) R 15950 14918 32725 0 -1 4202496 491 0 0 0 1763 0 0 0 20 0 1 0 338173766 3657728 388 33554432000 134512640 134847168 4293242816 4293241456 134715290 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15952/statm: 893 388 272 82 0 134 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 38312
[startup+102.306 s]
/proc/loadavg: 2.06 2.03 1.96 3/181 15968
/proc/meminfo: memFree=29813548/32873844 swapFree=7372/7372
[pid=14918] ppid=14916 vsize=25592 CPUtime=62.35 cores=1,3,5,7
/proc/14918/stat : 14918 (pbclasp) S 14916 14918 32725 0 -1 4202496 16346 309879 0 0 2 5 6153 75 20 0 1 0 338170419 26206208 522 33554432000 4194304 4198148 140734825540000 140734825538928 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14918/statm: 6398 522 387 1 0 193 0
[pid=15966] ppid=14918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15966/stat : 15966 (sh) S 14918 14918 32725 0 -1 4202496 371 214 0 0 0 0 0 0 20 0 1 0 338176665 9367552 263 33554432000 4194304 5064252 140734774555472 140734774553728 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15966/statm: 2287 263 223 213 0 72 0
[pid=15968] ppid=15966 vsize=3704 CPUtime=39.83 cores=1,3,5,7
/proc/15968/stat : 15968 (clasp-1.0) R 15966 14918 32725 0 -1 4202496 503 0 0 0 3983 0 0 0 20 0 1 0 338176665 3792896 401 33554432000 134512640 134847168 4286647264 4286645952 134740640 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15968/statm: 926 401 270 82 0 167 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 38444
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/181 15968
/proc/meminfo: memFree=29813300/32873844 swapFree=7372/7372
[pid=14918] ppid=14916 vsize=25592 CPUtime=62.35 cores=1,3,5,7
/proc/14918/stat : 14918 (pbclasp) S 14916 14918 32725 0 -1 4202496 16346 309879 0 0 2 5 6153 75 20 0 1 0 338170419 26206208 522 33554432000 4194304 4198148 140734825540000 140734825538928 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14918/statm: 6398 522 387 1 0 193 0
[pid=15966] ppid=14918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15966/stat : 15966 (sh) S 14918 14918 32725 0 -1 4202496 371 214 0 0 0 0 0 0 20 0 1 0 338176665 9367552 263 33554432000 4194304 5064252 140734774555472 140734774553728 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15966/statm: 2287 263 223 213 0 72 0
[pid=15968] ppid=15966 vsize=3704 CPUtime=99.82 cores=1,3,5,7
/proc/15968/stat : 15968 (clasp-1.0) R 15966 14918 32725 0 -1 4202496 527 0 0 0 9982 0 0 0 20 0 1 0 338176665 3792896 425 33554432000 134512640 134847168 4286647264 4286646004 134737633 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15968/statm: 926 425 270 82 0 167 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 38444
[startup+222.3 s]
/proc/loadavg: 2.08 2.03 1.96 3/182 15979
/proc/meminfo: memFree=29813416/32873844 swapFree=7372/7372
[pid=14918] ppid=14916 vsize=25592 CPUtime=191.53 cores=1,3,5,7
/proc/14918/stat : 14918 (pbclasp) S 14916 14918 32725 0 -1 4202496 16468 312353 0 0 2 5 19071 75 20 0 1 0 338170419 26206208 522 33554432000 4194304 4198148 140734825540000 140734825538928 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14918/statm: 6398 522 387 1 0 193 0
[pid=15977] ppid=14918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15977/stat : 15977 (sh) S 14918 14918 32725 0 -1 4202496 370 215 0 0 0 0 0 0 20 0 1 0 338189586 9367552 263 33554432000 4194304 5064252 140735486255120 140735486253376 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15977/statm: 2287 263 223 213 0 72 0
[pid=15979] ppid=15977 vsize=3696 CPUtime=30.61 cores=1,3,5,7
/proc/15979/stat : 15979 (clasp-1.0) R 15977 14918 32725 0 -1 4202496 498 0 0 0 3061 0 0 0 20 0 1 0 338189586 3784704 396 33554432000 134512640 134847168 4286812176 4286810800 134784628 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15979/statm: 924 396 270 82 0 165 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 38436
[startup+282.3 s]
/proc/loadavg: 2.03 2.02 1.96 3/180 15979
/proc/meminfo: memFree=29813556/32873844 swapFree=7372/7372
[pid=14918] ppid=14916 vsize=25592 CPUtime=191.53 cores=1,3,5,7
/proc/14918/stat : 14918 (pbclasp) S 14916 14918 32725 0 -1 4202496 16468 312353 0 0 2 5 19071 75 20 0 1 0 338170419 26206208 522 33554432000 4194304 4198148 140734825540000 140734825538928 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14918/statm: 6398 522 387 1 0 193 0
[pid=15977] ppid=14918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15977/stat : 15977 (sh) S 14918 14918 32725 0 -1 4202496 370 215 0 0 0 0 0 0 20 0 1 0 338189586 9367552 263 33554432000 4194304 5064252 140735486255120 140735486253376 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15977/statm: 2287 263 223 213 0 72 0
[pid=15979] ppid=15977 vsize=3696 CPUtime=90.6 cores=1,3,5,7
/proc/15979/stat : 15979 (clasp-1.0) R 15977 14918 32725 0 -1 4202496 520 0 0 0 9060 0 0 0 20 0 1 0 338189586 3784704 418 33554432000 134512640 134847168 4286812176 4286810800 134784526 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15979/statm: 924 418 270 82 0 165 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 38436
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/181 15980
/proc/meminfo: memFree=29813556/32873844 swapFree=7372/7372
################
# More data... #
################
[pid=14918] ppid=14916 vsize=25592 CPUtime=507.34 cores=1,3,5,7
/proc/14918/stat : 14918 (pbclasp) S 14916 14918 32725 0 -1 4202496 16710 317256 0 0 2 6 50649 77 20 0 1 0 338170419 26206208 522 33554432000 4194304 4198148 140734825540000 140734825538928 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14918/statm: 6398 522 387 1 0 193 0
[pid=15994] ppid=14918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15994/stat : 15994 (sh) S 14918 14918 32725 0 -1 4202496 373 216 0 0 0 0 0 0 20 0 1 0 338221172 9367552 264 33554432000 4194304 5064252 140734266263072 140734266261328 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15994/statm: 2287 264 223 213 0 72 0
[pid=15996] ppid=15994 vsize=3968 CPUtime=734.65 cores=1,3,5,7
/proc/15996/stat : 15996 (clasp-1.0) R 15994 14918 32725 0 -1 4202496 590 0 0 0 73465 0 0 0 20 0 1 0 338221172 4063232 487 33554432000 134512640 134847168 4287248240 4287246924 134789696 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15996/statm: 992 487 270 82 0 233 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 38708
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 16025
/proc/meminfo: memFree=29812068/32873844 swapFree=7372/7372
[pid=14918] ppid=14916 vsize=25592 CPUtime=507.34 cores=1,3,5,7
/proc/14918/stat : 14918 (pbclasp) S 14916 14918 32725 0 -1 4202496 16710 317256 0 0 2 6 50649 77 20 0 1 0 338170419 26206208 522 33554432000 4194304 4198148 140734825540000 140734825538928 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14918/statm: 6398 522 387 1 0 193 0
[pid=15994] ppid=14918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15994/stat : 15994 (sh) S 14918 14918 32725 0 -1 4202496 373 216 0 0 0 0 0 0 20 0 1 0 338221172 9367552 264 33554432000 4194304 5064252 140734266263072 140734266261328 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15994/statm: 2287 264 223 213 0 72 0
[pid=15996] ppid=15994 vsize=3968 CPUtime=794.65 cores=1,3,5,7
/proc/15996/stat : 15996 (clasp-1.0) R 15994 14918 32725 0 -1 4202496 591 0 0 0 79465 0 0 0 20 0 1 0 338221172 4063232 488 33554432000 134512640 134847168 4287248240 4287246544 134715282 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15996/statm: 992 488 270 82 0 233 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 38708
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 16025
/proc/meminfo: memFree=29812192/32873844 swapFree=7372/7372
[pid=14918] ppid=14916 vsize=25592 CPUtime=507.34 cores=1,3,5,7
/proc/14918/stat : 14918 (pbclasp) S 14916 14918 32725 0 -1 4202496 16710 317256 0 0 2 6 50649 77 20 0 1 0 338170419 26206208 522 33554432000 4194304 4198148 140734825540000 140734825538928 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14918/statm: 6398 522 387 1 0 193 0
[pid=15994] ppid=14918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15994/stat : 15994 (sh) S 14918 14918 32725 0 -1 4202496 373 216 0 0 0 0 0 0 20 0 1 0 338221172 9367552 264 33554432000 4194304 5064252 140734266263072 140734266261328 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15994/statm: 2287 264 223 213 0 72 0
[pid=15996] ppid=15994 vsize=3968 CPUtime=854.63 cores=1,3,5,7
/proc/15996/stat : 15996 (clasp-1.0) R 15994 14918 32725 0 -1 4202496 591 0 0 0 85463 0 0 0 20 0 1 0 338221172 4063232 488 33554432000 134512640 134847168 4287248240 4287246864 134784610 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15996/statm: 992 488 270 82 0 233 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 38708
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 1.98 3/182 16028
/proc/meminfo: memFree=29812060/32873844 swapFree=7372/7372
[pid=14918] ppid=14916 vsize=25592 CPUtime=507.34 cores=1,3,5,7
/proc/14918/stat : 14918 (pbclasp) S 14916 14918 32725 0 -1 4202496 16710 317256 0 0 2 6 50649 77 20 0 1 0 338170419 26206208 522 33554432000 4194304 4198148 140734825540000 140734825538928 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14918/statm: 6398 522 387 1 0 193 0
[pid=15994] ppid=14918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15994/stat : 15994 (sh) S 14918 14918 32725 0 -1 4202496 373 216 0 0 0 0 0 0 20 0 1 0 338221172 9367552 264 33554432000 4194304 5064252 140734266263072 140734266261328 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15994/statm: 2287 264 223 213 0 72 0
[pid=15996] ppid=15994 vsize=4100 CPUtime=914.63 cores=1,3,5,7
/proc/15996/stat : 15996 (clasp-1.0) R 15994 14918 32725 0 -1 4202496 602 0 0 0 91463 0 0 0 20 0 1 0 338221172 4198400 499 33554432000 134512640 134847168 4287248240 4287246924 134784496 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15996/statm: 1025 499 270 82 0 266 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 38840
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/181 16028
/proc/meminfo: memFree=29812068/32873844 swapFree=7372/7372
[pid=14918] ppid=14916 vsize=25592 CPUtime=507.34 cores=1,3,5,7
/proc/14918/stat : 14918 (pbclasp) S 14916 14918 32725 0 -1 4202496 16710 317256 0 0 2 6 50649 77 20 0 1 0 338170419 26206208 522 33554432000 4194304 4198148 140734825540000 140734825538928 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14918/statm: 6398 522 387 1 0 193 0
[pid=15994] ppid=14918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15994/stat : 15994 (sh) S 14918 14918 32725 0 -1 4202496 373 216 0 0 0 0 0 0 20 0 1 0 338221172 9367552 264 33554432000 4194304 5064252 140734266263072 140734266261328 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15994/statm: 2287 264 223 213 0 72 0
[pid=15996] ppid=15994 vsize=4100 CPUtime=974.61 cores=1,3,5,7
/proc/15996/stat : 15996 (clasp-1.0) R 15994 14918 32725 0 -1 4202496 602 0 0 0 97461 0 0 0 20 0 1 0 338221172 4198400 499 33554432000 134512640 134847168 4287248240 4287246880 134715300 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15996/statm: 1025 499 270 82 0 266 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 38840
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/181 16029
/proc/meminfo: memFree=29812068/32873844 swapFree=7372/7372
[pid=14918] ppid=14916 vsize=25592 CPUtime=507.34 cores=1,3,5,7
/proc/14918/stat : 14918 (pbclasp) S 14916 14918 32725 0 -1 4202496 16710 317256 0 0 2 6 50649 77 20 0 1 0 338170419 26206208 522 33554432000 4194304 4198148 140734825540000 140734825538928 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14918/statm: 6398 522 387 1 0 193 0
[pid=15994] ppid=14918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15994/stat : 15994 (sh) S 14918 14918 32725 0 -1 4202496 373 216 0 0 0 0 0 0 20 0 1 0 338221172 9367552 264 33554432000 4194304 5064252 140734266263072 140734266261328 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15994/statm: 2287 264 223 213 0 72 0
[pid=15996] ppid=15994 vsize=4100 CPUtime=1034.6 cores=1,3,5,7
/proc/15996/stat : 15996 (clasp-1.0) R 15994 14918 32725 0 -1 4202496 606 0 0 0 103460 0 0 0 20 0 1 0 338221172 4198400 503 33554432000 134512640 134847168 4287248240 4287246864 134784663 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15996/statm: 1025 503 270 82 0 266 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 38840
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 16029
/proc/meminfo: memFree=29812068/32873844 swapFree=7372/7372
[pid=14918] ppid=14916 vsize=25592 CPUtime=507.34 cores=1,3,5,7
/proc/14918/stat : 14918 (pbclasp) S 14916 14918 32725 0 -1 4202496 16710 317256 0 0 2 6 50649 77 20 0 1 0 338170419 26206208 522 33554432000 4194304 4198148 140734825540000 140734825538928 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14918/statm: 6398 522 387 1 0 193 0
[pid=15994] ppid=14918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15994/stat : 15994 (sh) S 14918 14918 32725 0 -1 4202496 373 216 0 0 0 0 0 0 20 0 1 0 338221172 9367552 264 33554432000 4194304 5064252 140734266263072 140734266261328 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15994/statm: 2287 264 223 213 0 72 0
[pid=15996] ppid=15994 vsize=4100 CPUtime=1094.59 cores=1,3,5,7
/proc/15996/stat : 15996 (clasp-1.0) R 15994 14918 32725 0 -1 4202496 610 0 0 0 109459 0 0 0 20 0 1 0 338221172 4198400 507 33554432000 134512640 134847168 4287248240 4287246924 134789696 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15996/statm: 1025 507 270 82 0 266 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 38840
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 16029
/proc/meminfo: memFree=29812068/32873844 swapFree=7372/7372
[pid=14918] ppid=14916 vsize=25592 CPUtime=507.34 cores=1,3,5,7
/proc/14918/stat : 14918 (pbclasp) S 14916 14918 32725 0 -1 4202496 16710 317256 0 0 2 6 50649 77 20 0 1 0 338170419 26206208 522 33554432000 4194304 4198148 140734825540000 140734825538928 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14918/statm: 6398 522 387 1 0 193 0
[pid=15994] ppid=14918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15994/stat : 15994 (sh) S 14918 14918 32725 0 -1 4202496 373 216 0 0 0 0 0 0 20 0 1 0 338221172 9367552 264 33554432000 4194304 5064252 140734266263072 140734266261328 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15994/statm: 2287 264 223 213 0 72 0
[pid=15996] ppid=15994 vsize=4100 CPUtime=1154.58 cores=1,3,5,7
/proc/15996/stat : 15996 (clasp-1.0) R 15994 14918 32725 0 -1 4202496 610 0 0 0 115458 0 0 0 20 0 1 0 338221172 4198400 507 33554432000 134512640 134847168 4287248240 4287246544 134715268 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15996/statm: 1025 507 270 82 0 266 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 38840
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 16029
/proc/meminfo: memFree=29812068/32873844 swapFree=7372/7372
[pid=14918] ppid=14916 vsize=25592 CPUtime=507.34 cores=1,3,5,7
/proc/14918/stat : 14918 (pbclasp) S 14916 14918 32725 0 -1 4202496 16710 317256 0 0 2 6 50649 77 20 0 1 0 338170419 26206208 522 33554432000 4194304 4198148 140734825540000 140734825538928 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14918/statm: 6398 522 387 1 0 193 0
[pid=15994] ppid=14918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15994/stat : 15994 (sh) S 14918 14918 32725 0 -1 4202496 373 216 0 0 0 0 0 0 20 0 1 0 338221172 9367552 264 33554432000 4194304 5064252 140734266263072 140734266261328 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15994/statm: 2287 264 223 213 0 72 0
[pid=15996] ppid=15994 vsize=4100 CPUtime=1214.57 cores=1,3,5,7
/proc/15996/stat : 15996 (clasp-1.0) R 15994 14918 32725 0 -1 4202496 610 0 0 0 121457 0 0 0 20 0 1 0 338221172 4198400 507 33554432000 134512640 134847168 4287248240 4287246880 134782960 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15996/statm: 1025 507 270 82 0 266 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 38840
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 16029
/proc/meminfo: memFree=29812068/32873844 swapFree=7372/7372
[pid=14918] ppid=14916 vsize=25592 CPUtime=507.34 cores=1,3,5,7
/proc/14918/stat : 14918 (pbclasp) S 14916 14918 32725 0 -1 4202496 16710 317256 0 0 2 6 50649 77 20 0 1 0 338170419 26206208 522 33554432000 4194304 4198148 140734825540000 140734825538928 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14918/statm: 6398 522 387 1 0 193 0
[pid=15994] ppid=14918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15994/stat : 15994 (sh) S 14918 14918 32725 0 -1 4202496 373 216 0 0 0 0 0 0 20 0 1 0 338221172 9367552 264 33554432000 4194304 5064252 140734266263072 140734266261328 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15994/statm: 2287 264 223 213 0 72 0
[pid=15996] ppid=15994 vsize=4100 CPUtime=1274.56 cores=1,3,5,7
/proc/15996/stat : 15996 (clasp-1.0) R 15994 14918 32725 0 -1 4202496 610 0 0 0 127456 0 0 0 20 0 1 0 338221172 4198400 507 33554432000 134512640 134847168 4287248240 4287246864 134784657 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15996/statm: 1025 507 270 82 0 266 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 38840
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.98 4/181 16105
/proc/meminfo: memFree=29793088/32873844 swapFree=7372/7372
[pid=14918] ppid=14916 vsize=25592 CPUtime=1786.2 cores=1,3,5,7
/proc/14918/stat : 14918 (pbclasp) S 14916 14918 32725 0 -1 4202496 16818 319789 0 0 2 6 178534 78 20 0 1 0 338170419 26206208 522 33554432000 4194304 4198148 140734825540000 140734825538928 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14918/statm: 6398 522 387 1 0 193 0
[pid=16046] ppid=14918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16046/stat : 16046 (sh) S 14918 14918 32725 0 -1 4202496 371 215 0 0 0 0 0 0 20 0 1 0 338349078 9367552 264 33554432000 4194304 5064252 140734657723888 140734657722144 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16046/statm: 2287 264 223 213 0 72 0
[pid=16048] ppid=16046 vsize=3576 CPUtime=13.81 cores=1,3,5,7
/proc/16048/stat : 16048 (clasp-1.0) R 16046 14918 32725 0 -1 4202496 482 0 0 0 1381 0 0 0 20 0 1 0 338349078 3661824 380 33554432000 134512640 134847168 4288319840 4288318464 134784604 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16048/statm: 894 380 272 82 0 135 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 38316
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.42
CPU time (s): 1800.06
CPU user time (s): 1799.2
CPU system time (s): 0.863868
CPU usage (%): 99.9798
Max. virtual memory (cumulated for all children) (KiB): 38840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.2
system time used= 0.863868
maximum resident set size= 2112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 341149
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3187
involuntary context switches= 3945
runsolver used 3.81042 second user time and 8.33473 second system time
The end