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-3736703-1338732003/watcher-3736703-1338732003 -o /tmp/evaluation-result-3736703-1338732003/solver-3736703-1338732003 -C 1800 -W 1900 -M 15500 pbclasp instance-3736703-1338732003.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.97 1.98 1.99 3/179 22495
/proc/meminfo: memFree=28959204/32873844 swapFree=7632/7632
[pid=22495] ppid=22493 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/22495/stat : 22495 (pbclasp) R 22493 22495 22179 0 -1 4202496 561 0 0 0 0 0 0 0 20 0 1 0 339325950 26206208 492 33554432000 4194304 4198148 140736385087584 140736385085032 214395028457 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/22495/statm: 6398 496 361 1 0 193 0
[startup+0.024358 s]
/proc/loadavg: 1.97 1.98 1.99 3/179 22495
/proc/meminfo: memFree=28959204/32873844 swapFree=7632/7632
[pid=22495] ppid=22493 vsize=25724 CPUtime=0 cores=1,3,5,7
/proc/22495/stat : 22495 (pbclasp) S 22493 22495 22179 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 339325950 26341376 509 33554432000 4194304 4198148 140736385087584 140736385086472 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22495/statm: 6431 509 368 1 0 226 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25724
[startup+0.100217 s]
/proc/loadavg: 1.97 1.98 1.99 3/179 22495
/proc/meminfo: memFree=28959204/32873844 swapFree=7632/7632
[pid=22495] ppid=22493 vsize=25724 CPUtime=0 cores=1,3,5,7
/proc/22495/stat : 22495 (pbclasp) S 22493 22495 22179 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 339325950 26341376 509 33554432000 4194304 4198148 140736385087584 140736385086472 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22495/statm: 6431 509 368 1 0 226 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25724
[startup+0.3002 s]
/proc/loadavg: 1.97 1.98 1.99 3/179 22495
/proc/meminfo: memFree=28959204/32873844 swapFree=7632/7632
[pid=22495] ppid=22493 vsize=25724 CPUtime=0.2 cores=1,3,5,7
/proc/22495/stat : 22495 (pbclasp) S 22493 22495 22179 0 -1 4202496 1043 10475 0 0 0 0 17 3 20 0 1 0 339325950 26341376 534 33554432000 4194304 4198148 140736385087584 140736385086512 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22495/statm: 6431 534 387 1 0 226 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 25724
[startup+0.70018 s]
/proc/loadavg: 1.97 1.98 1.99 3/179 22495
/proc/meminfo: memFree=28959204/32873844 swapFree=7632/7632
[pid=22495] ppid=22493 vsize=25724 CPUtime=0.33 cores=1,3,5,7
/proc/22495/stat : 22495 (pbclasp) S 22493 22495 22179 0 -1 4202496 1167 13270 0 0 0 0 30 3 20 0 1 0 339325950 26341376 534 33554432000 4194304 4198148 140736385087584 140736385086512 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22495/statm: 6431 534 387 1 0 226 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 25724
[startup+1.50025 s]
/proc/loadavg: 1.97 1.98 1.99 3/182 22537
/proc/meminfo: memFree=28955908/32873844 swapFree=7632/7632
[pid=22495] ppid=22493 vsize=25724 CPUtime=0.33 cores=1,3,5,7
/proc/22495/stat : 22495 (pbclasp) S 22493 22495 22179 0 -1 4202496 1167 13270 0 0 0 0 30 3 20 0 1 0 339325950 26341376 534 33554432000 4194304 4198148 140736385087584 140736385086512 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22495/statm: 6431 534 387 1 0 226 0
[pid=22535] ppid=22495 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22535/stat : 22535 (sh) S 22495 22495 22179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339325985 9367552 264 33554432000 4194304 5064252 140734049798032 140734049796288 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22535/statm: 2287 264 223 213 0 72 0
[pid=22537] ppid=22535 vsize=5692 CPUtime=1.13 cores=1,3,5,7
/proc/22537/stat : 22537 (clasp-1.0) R 22535 22495 22179 0 -1 4202496 999 0 0 0 113 0 0 0 20 0 1 0 339325985 5828608 896 33554432000 134512640 134847168 4292644128 4292642768 134782483 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22537/statm: 1423 896 272 82 0 664 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 40564
[startup+3.10025 s]
/proc/loadavg: 1.97 1.98 1.99 3/182 22537
/proc/meminfo: memFree=28954916/32873844 swapFree=7632/7632
[pid=22495] ppid=22493 vsize=25724 CPUtime=0.33 cores=1,3,5,7
/proc/22495/stat : 22495 (pbclasp) S 22493 22495 22179 0 -1 4202496 1167 13270 0 0 0 0 30 3 20 0 1 0 339325950 26341376 534 33554432000 4194304 4198148 140736385087584 140736385086512 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22495/statm: 6431 534 387 1 0 226 0
[pid=22535] ppid=22495 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22535/stat : 22535 (sh) S 22495 22495 22179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339325985 9367552 264 33554432000 4194304 5064252 140734049798032 140734049796288 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22535/statm: 2287 264 223 213 0 72 0
[pid=22537] ppid=22535 vsize=6212 CPUtime=2.73 cores=1,3,5,7
/proc/22537/stat : 22537 (clasp-1.0) R 22535 22495 22179 0 -1 4202496 1146 0 0 0 273 0 0 0 20 0 1 0 339325985 6361088 1043 33554432000 134512640 134847168 4292644128 4292642864 134741032 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22537/statm: 1553 1043 272 82 0 794 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 41084
[startup+6.30025 s]
/proc/loadavg: 1.97 1.98 1.99 3/182 22537
/proc/meminfo: memFree=28954336/32873844 swapFree=7632/7632
[pid=22495] ppid=22493 vsize=25724 CPUtime=0.33 cores=1,3,5,7
/proc/22495/stat : 22495 (pbclasp) S 22493 22495 22179 0 -1 4202496 1167 13270 0 0 0 0 30 3 20 0 1 0 339325950 26341376 534 33554432000 4194304 4198148 140736385087584 140736385086512 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22495/statm: 6431 534 387 1 0 226 0
[pid=22535] ppid=22495 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22535/stat : 22535 (sh) S 22495 22495 22179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339325985 9367552 264 33554432000 4194304 5064252 140734049798032 140734049796288 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22535/statm: 2287 264 223 213 0 72 0
[pid=22537] ppid=22535 vsize=7032 CPUtime=5.93 cores=1,3,5,7
/proc/22537/stat : 22537 (clasp-1.0) R 22535 22495 22179 0 -1 4202496 1338 0 0 0 593 0 0 0 20 0 1 0 339325985 7200768 1235 33554432000 134512640 134847168 4292644128 4292642704 134714266 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22537/statm: 1758 1235 272 82 0 999 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 41904
[startup+12.7002 s]
/proc/loadavg: 1.97 1.98 1.99 3/182 22537
/proc/meminfo: memFree=28952880/32873844 swapFree=7632/7632
[pid=22495] ppid=22493 vsize=25724 CPUtime=12.16 cores=1,3,5,7
/proc/22495/stat : 22495 (pbclasp) S 22493 22495 22179 0 -1 4202496 1289 16787 0 0 0 0 1212 4 20 0 1 0 339325950 26341376 534 33554432000 4194304 4198148 140736385087584 140736385086512 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22495/statm: 6431 534 387 1 0 226 0
Current children cumulated CPU time (s) 12.16
Current children cumulated vsize (KiB) 25724
[startup+25.5003 s]
/proc/loadavg: 2.05 2.00 2.00 3/182 22545
/proc/meminfo: memFree=28952548/32873844 swapFree=7632/7632
[pid=22495] ppid=22493 vsize=25724 CPUtime=12.16 cores=1,3,5,7
/proc/22495/stat : 22495 (pbclasp) S 22493 22495 22179 0 -1 4202496 1289 16787 0 0 0 0 1212 4 20 0 1 0 339325950 26341376 534 33554432000 4194304 4198148 140736385087584 140736385086512 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22495/statm: 6431 534 387 1 0 226 0
[pid=22543] ppid=22495 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22543/stat : 22543 (sh) S 22495 22495 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339327169 9367552 263 33554432000 4194304 5064252 140733537791008 140733537789264 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22543/statm: 2287 263 223 213 0 72 0
[pid=22545] ppid=22543 vsize=8104 CPUtime=13.3 cores=1,3,5,7
/proc/22545/stat : 22545 (clasp-1.0) R 22543 22495 22179 0 -1 4202496 1593 0 0 0 1330 0 0 0 20 0 1 0 339327169 8298496 1491 33554432000 134512640 134847168 4290757440 4290756208 134737650 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22545/statm: 2026 1491 270 82 0 1267 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 42976
[startup+51.1003 s]
/proc/loadavg: 2.10 2.02 2.00 3/182 22630
/proc/meminfo: memFree=28835608/32873844 swapFree=7632/7632
[pid=22495] ppid=22493 vsize=25724 CPUtime=12.16 cores=1,3,5,7
/proc/22495/stat : 22495 (pbclasp) S 22493 22495 22179 0 -1 4202496 1289 16787 0 0 0 0 1212 4 20 0 1 0 339325950 26341376 534 33554432000 4194304 4198148 140736385087584 140736385086512 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22495/statm: 6431 534 387 1 0 226 0
[pid=22543] ppid=22495 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22543/stat : 22543 (sh) S 22495 22495 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339327169 9367552 263 33554432000 4194304 5064252 140733537791008 140733537789264 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22543/statm: 2287 263 223 213 0 72 0
[pid=22545] ppid=22543 vsize=9852 CPUtime=38.89 cores=1,3,5,7
/proc/22545/stat : 22545 (clasp-1.0) R 22543 22495 22179 0 -1 4202496 2046 0 0 0 3889 0 0 0 20 0 1 0 339327169 10088448 1957 33554432000 134512640 134847168 4290757440 4290756064 134784800 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22545/statm: 2463 1957 270 82 0 1704 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 44724
[startup+102.307 s]
/proc/loadavg: 2.09 2.03 2.00 3/182 22708
/proc/meminfo: memFree=28833252/32873844 swapFree=7632/7632
[pid=22495] ppid=22493 vsize=25724 CPUtime=12.16 cores=1,3,5,7
/proc/22495/stat : 22495 (pbclasp) S 22493 22495 22179 0 -1 4202496 1289 16787 0 0 0 0 1212 4 20 0 1 0 339325950 26341376 534 33554432000 4194304 4198148 140736385087584 140736385086512 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22495/statm: 6431 534 387 1 0 226 0
[pid=22543] ppid=22495 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22543/stat : 22543 (sh) S 22495 22495 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339327169 9367552 263 33554432000 4194304 5064252 140733537791008 140733537789264 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22543/statm: 2287 263 223 213 0 72 0
[pid=22545] ppid=22543 vsize=11996 CPUtime=90.09 cores=1,3,5,7
/proc/22545/stat : 22545 (clasp-1.0) R 22543 22495 22179 0 -1 4202496 2544 0 0 0 9009 0 0 0 20 0 1 0 339327169 12283904 2461 33554432000 134512640 134847168 4290757440 4290756016 134714390 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22545/statm: 2999 2461 270 82 0 2240 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 46868
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 22724
/proc/meminfo: memFree=28825024/32873844 swapFree=7632/7632
[pid=22495] ppid=22493 vsize=25724 CPUtime=12.16 cores=1,3,5,7
/proc/22495/stat : 22495 (pbclasp) S 22493 22495 22179 0 -1 4202496 1289 16787 0 0 0 0 1212 4 20 0 1 0 339325950 26341376 534 33554432000 4194304 4198148 140736385087584 140736385086512 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22495/statm: 6431 534 387 1 0 226 0
[pid=22543] ppid=22495 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22543/stat : 22543 (sh) S 22495 22495 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339327169 9367552 263 33554432000 4194304 5064252 140733537791008 140733537789264 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22543/statm: 2287 263 223 213 0 72 0
[pid=22545] ppid=22543 vsize=13648 CPUtime=150.08 cores=1,3,5,7
/proc/22545/stat : 22545 (clasp-1.0) R 22543 22495 22179 0 -1 4202496 2929 0 0 0 15008 0 0 0 20 0 1 0 339327169 13975552 2846 33554432000 134512640 134847168 4290757440 4290756064 134784667 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22545/statm: 3412 2846 270 82 0 2653 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 48520
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 22732
/proc/meminfo: memFree=28829820/32873844 swapFree=7632/7632
[pid=22495] ppid=22493 vsize=25724 CPUtime=12.16 cores=1,3,5,7
/proc/22495/stat : 22495 (pbclasp) S 22493 22495 22179 0 -1 4202496 1289 16787 0 0 0 0 1212 4 20 0 1 0 339325950 26341376 534 33554432000 4194304 4198148 140736385087584 140736385086512 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22495/statm: 6431 534 387 1 0 226 0
[pid=22543] ppid=22495 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22543/stat : 22543 (sh) S 22495 22495 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339327169 9367552 263 33554432000 4194304 5064252 140733537791008 140733537789264 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22543/statm: 2287 263 223 213 0 72 0
[pid=22545] ppid=22543 vsize=15064 CPUtime=210.06 cores=1,3,5,7
/proc/22545/stat : 22545 (clasp-1.0) R 22543 22495 22179 0 -1 4202496 3288 0 0 0 21006 0 0 0 20 0 1 0 339327169 15425536 3229 33554432000 134512640 134847168 4290757440 4290756016 134715039 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22545/statm: 3766 3229 270 82 0 3007 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 49936
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 22732
/proc/meminfo: memFree=28775324/32873844 swapFree=7632/7632
[pid=22495] ppid=22493 vsize=25724 CPUtime=12.16 cores=1,3,5,7
/proc/22495/stat : 22495 (pbclasp) S 22493 22495 22179 0 -1 4202496 1289 16787 0 0 0 0 1212 4 20 0 1 0 339325950 26341376 534 33554432000 4194304 4198148 140736385087584 140736385086512 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22495/statm: 6431 534 387 1 0 226 0
[pid=22543] ppid=22495 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/22745/stat : 22745 (sh) S 22495 22495 22179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339436956 9367552 264 33554432000 4194304 5064252 140736093194000 140736093192256 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22745/statm: 2287 264 223 213 0 72 0
[pid=22747] ppid=22745 vsize=15680 CPUtime=312.18 cores=1,3,5,7
/proc/22747/stat : 22747 (clasp-1.0) R 22745 22495 22179 0 -1 4202496 3508 0 0 0 31217 1 0 0 20 0 1 0 339436956 16056320 3328 33554432000 134512640 134847168 4290289168 4290287792 134784711 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22747/statm: 3920 3328 270 82 0 3161 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 50552
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22751
/proc/meminfo: memFree=28032160/32873844 swapFree=7632/7632
[pid=22495] ppid=22493 vsize=25724 CPUtime=1109.85 cores=1,3,5,7
/proc/22495/stat : 22495 (pbclasp) S 22493 22495 22179 0 -1 4202496 1412 24175 0 0 0 0 110979 6 20 0 1 0 339325950 26341376 534 33554432000 4194304 4198148 140736385087584 140736385086512 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22495/statm: 6431 534 387 1 0 226 0
[pid=22745] ppid=22495 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22745/stat : 22745 (sh) S 22495 22495 22179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339436956 9367552 264 33554432000 4194304 5064252 140736093194000 140736093192256 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22745/statm: 2287 264 223 213 0 72 0
[pid=22747] ppid=22745 vsize=16276 CPUtime=372.17 cores=1,3,5,7
/proc/22747/stat : 22747 (clasp-1.0) R 22745 22495 22179 0 -1 4202496 3652 0 0 0 37216 1 0 0 20 0 1 0 339436956 16666624 3472 33554432000 134512640 134847168 4290289168 4290287904 134741014 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22747/statm: 4069 3472 270 82 0 3310 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 51148
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22751
/proc/meminfo: memFree=28023384/32873844 swapFree=7632/7632
[pid=22495] ppid=22493 vsize=25724 CPUtime=1109.85 cores=1,3,5,7
/proc/22495/stat : 22495 (pbclasp) S 22493 22495 22179 0 -1 4202496 1412 24175 0 0 0 0 110979 6 20 0 1 0 339325950 26341376 534 33554432000 4194304 4198148 140736385087584 140736385086512 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22495/statm: 6431 534 387 1 0 226 0
[pid=22745] ppid=22495 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22745/stat : 22745 (sh) S 22495 22495 22179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339436956 9367552 264 33554432000 4194304 5064252 140736093194000 140736093192256 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22745/statm: 2287 264 223 213 0 72 0
[pid=22747] ppid=22745 vsize=16564 CPUtime=432.16 cores=1,3,5,7
/proc/22747/stat : 22747 (clasp-1.0) R 22745 22495 22179 0 -1 4202496 3733 0 0 0 43215 1 0 0 20 0 1 0 339436956 16961536 3553 33554432000 134512640 134847168 4290289168 4290287792 134784634 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22747/statm: 4141 3553 270 82 0 3382 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 51436
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22752
/proc/meminfo: memFree=28013420/32873844 swapFree=7632/7632
[pid=22495] ppid=22493 vsize=25724 CPUtime=1109.85 cores=1,3,5,7
/proc/22495/stat : 22495 (pbclasp) S 22493 22495 22179 0 -1 4202496 1412 24175 0 0 0 0 110979 6 20 0 1 0 339325950 26341376 534 33554432000 4194304 4198148 140736385087584 140736385086512 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22495/statm: 6431 534 387 1 0 226 0
[pid=22745] ppid=22495 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22745/stat : 22745 (sh) S 22495 22495 22179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339436956 9367552 264 33554432000 4194304 5064252 140736093194000 140736093192256 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22745/statm: 2287 264 223 213 0 72 0
[pid=22747] ppid=22745 vsize=17764 CPUtime=492.14 cores=1,3,5,7
/proc/22747/stat : 22747 (clasp-1.0) R 22745 22495 22179 0 -1 4202496 4023 0 0 0 49213 1 0 0 20 0 1 0 339436956 18190336 3907 33554432000 134512640 134847168 4290289168 4290287632 134713719 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22747/statm: 4441 3907 270 82 0 3682 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 52636
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22752
/proc/meminfo: memFree=27994448/32873844 swapFree=7632/7632
[pid=22495] ppid=22493 vsize=25724 CPUtime=1109.85 cores=1,3,5,7
/proc/22495/stat : 22495 (pbclasp) S 22493 22495 22179 0 -1 4202496 1412 24175 0 0 0 0 110979 6 20 0 1 0 339325950 26341376 534 33554432000 4194304 4198148 140736385087584 140736385086512 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22495/statm: 6431 534 387 1 0 226 0
[pid=22745] ppid=22495 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22745/stat : 22745 (sh) S 22495 22495 22179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339436956 9367552 264 33554432000 4194304 5064252 140736093194000 140736093192256 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22745/statm: 2287 264 223 213 0 72 0
[pid=22747] ppid=22745 vsize=18876 CPUtime=552.13 cores=1,3,5,7
/proc/22747/stat : 22747 (clasp-1.0) R 22745 22495 22179 0 -1 4202496 4262 0 0 0 55212 1 0 0 20 0 1 0 339436956 19329024 4146 33554432000 134512640 134847168 4290289168 4290287792 134784628 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22747/statm: 4719 4146 270 82 0 3960 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 53748
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22752
/proc/meminfo: memFree=27971756/32873844 swapFree=7632/7632
[pid=22495] ppid=22493 vsize=25724 CPUtime=1109.85 cores=1,3,5,7
/proc/22495/stat : 22495 (pbclasp) S 22493 22495 22179 0 -1 4202496 1412 24175 0 0 0 0 110979 6 20 0 1 0 339325950 26341376 534 33554432000 4194304 4198148 140736385087584 140736385086512 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22495/statm: 6431 534 387 1 0 226 0
[pid=22745] ppid=22495 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22745/stat : 22745 (sh) S 22495 22495 22179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339436956 9367552 264 33554432000 4194304 5064252 140736093194000 140736093192256 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22745/statm: 2287 264 223 213 0 72 0
[pid=22747] ppid=22745 vsize=19016 CPUtime=612.12 cores=1,3,5,7
/proc/22747/stat : 22747 (clasp-1.0) R 22745 22495 22179 0 -1 4202496 4313 0 0 0 61211 1 0 0 20 0 1 0 339436956 19472384 4197 33554432000 134512640 134847168 4290289168 4290287852 134715846 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22747/statm: 4754 4197 270 82 0 3995 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 53888
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22752
/proc/meminfo: memFree=27960348/32873844 swapFree=7632/7632
[pid=22495] ppid=22493 vsize=25724 CPUtime=1109.85 cores=1,3,5,7
/proc/22495/stat : 22495 (pbclasp) S 22493 22495 22179 0 -1 4202496 1412 24175 0 0 0 0 110979 6 20 0 1 0 339325950 26341376 534 33554432000 4194304 4198148 140736385087584 140736385086512 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22495/statm: 6431 534 387 1 0 226 0
[pid=22745] ppid=22495 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22745/stat : 22745 (sh) S 22495 22495 22179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339436956 9367552 264 33554432000 4194304 5064252 140736093194000 140736093192256 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22745/statm: 2287 264 223 213 0 72 0
[pid=22747] ppid=22745 vsize=19276 CPUtime=672.12 cores=1,3,5,7
/proc/22747/stat : 22747 (clasp-1.0) R 22745 22495 22179 0 -1 4202496 4362 0 0 0 67211 1 0 0 20 0 1 0 339436956 19738624 4246 33554432000 134512640 134847168 4290289168 4290287916 134737616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22747/statm: 4819 4246 270 82 0 4060 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 54148
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 22755
/proc/meminfo: memFree=27957448/32873844 swapFree=7632/7632
[pid=22495] ppid=22493 vsize=25724 CPUtime=1109.85 cores=1,3,5,7
/proc/22495/stat : 22495 (pbclasp) S 22493 22495 22179 0 -1 4202496 1412 24175 0 0 0 0 110979 6 20 0 1 0 339325950 26341376 534 33554432000 4194304 4198148 140736385087584 140736385086512 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22495/statm: 6431 534 387 1 0 226 0
[pid=22745] ppid=22495 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22745/stat : 22745 (sh) S 22495 22495 22179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339436956 9367552 264 33554432000 4194304 5064252 140736093194000 140736093192256 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22745/statm: 2287 264 223 213 0 72 0
[pid=22747] ppid=22745 vsize=20160 CPUtime=690.22 cores=1,3,5,7
/proc/22747/stat : 22747 (clasp-1.0) R 22745 22495 22179 0 -1 4202496 4603 0 0 0 69021 1 0 0 20 0 1 0 339436956 20643840 4487 33554432000 134512640 134847168 4290289168 4290287428 134792583 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22747/statm: 5040 4487 270 82 0 4281 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 55032
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -22495
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 22774
/proc/meminfo: memFree=28928460/32873844 swapFree=7632/7632
[pid=22495] ppid=22493 vsize=25724 CPUtime=1800.09 cores=1,3,5,7
/proc/22495/stat : 22495 (pbclasp) S 22493 22495 22179 0 -1 4202496 1584 31552 0 0 0 0 180001 8 20 0 1 0 339325950 26341376 534 33554432000 4194304 4198148 140736385087584 140736385086512 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22495/statm: 6431 534 387 1 0 226 0
[pid=22764] ppid=22495 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22764/stat : 22764 (sh) S 22495 22495 22179 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339505992 9367552 264 33554432000 4194304 5064252 140737260542384 140737260540640 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22764/statm: 2287 264 223 213 0 72 0
[pid=22766] ppid=22764 vsize=5420 CPUtime=0.96 cores=1,3,5,7
/proc/22766/stat : 22766 (clasp-1.0) R 22764 22495 22179 0 -1 4202496 928 0 0 0 96 0 0 0 20 0 1 0 339505992 5550080 826 33554432000 134512640 134847168 4289435328 4289433968 134715280 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22766/statm: 1355 826 270 82 0 596 0
Current children cumulated CPU time (s) 1801.05
Current children cumulated vsize (KiB) 40292
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22774
/proc/meminfo: memFree=28852240/32873844 swapFree=7632/7632
[pid=22495] ppid=22493 vsize=25724 CPUtime=1800.09 cores=1,3,5,7
/proc/22495/stat : 22495 (pbclasp) S 22493 22495 22179 0 -1 4202496 1584 31552 0 0 0 0 180001 8 20 0 1 0 339325950 26341376 534 33554432000 4194304 4198148 140736385087584 140736385086512 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22495/statm: 6431 534 387 1 0 226 0
[pid=22764] ppid=22495 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22764/stat : 22764 (sh) S 22495 22495 22179 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339505992 9367552 264 33554432000 4194304 5064252 140737260542384 140737260540640 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22764/statm: 2287 264 223 213 0 72 0
[pid=22766] ppid=22764 vsize=5796 CPUtime=1.76 cores=1,3,5,7
/proc/22766/stat : 22766 (clasp-1.0) R 22764 22495 22179 0 -1 4202496 1023 0 0 0 176 0 0 0 20 0 1 0 339505992 5935104 921 33554432000 134512640 134847168 4289435328 4289433504 5072167 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22766/statm: 1449 921 270 82 0 690 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 40668
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22774
/proc/meminfo: memFree=28852240/32873844 swapFree=7632/7632
[pid=22495] ppid=22493 vsize=25724 CPUtime=1800.09 cores=1,3,5,7
/proc/22495/stat : 22495 (pbclasp) S 22493 22495 22179 0 -1 4202496 1584 31552 0 0 0 0 180001 8 20 0 1 0 339325950 26341376 534 33554432000 4194304 4198148 140736385087584 140736385086512 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22495/statm: 6431 534 387 1 0 226 0
[pid=22764] ppid=22495 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22764/stat : 22764 (sh) S 22495 22495 22179 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339505992 9367552 264 33554432000 4194304 5064252 140737260542384 140737260540640 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22764/statm: 2287 264 223 213 0 72 0
[pid=22766] ppid=22764 vsize=5920 CPUtime=1.96 cores=1,3,5,7
/proc/22766/stat : 22766 (clasp-1.0) R 22764 22495 22179 0 -1 4202496 1048 0 0 0 196 0 0 0 20 0 1 0 339505992 6062080 946 33554432000 134512640 134847168 4289435328 4289433952 134784806 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22766/statm: 1480 946 270 82 0 721 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 40792
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.09
CPU user time (s): 1802
CPU system time (s): 0.093985
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 59016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1802
system time used= 0.093985
maximum resident set size= 21968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34894
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 354
involuntary context switches= 2075
runsolver used 3.10553 second user time and 8.5147 second system time
The end