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-3734627-1338719138/watcher-3734627-1338719138 -o /tmp/evaluation-result-3734627-1338719138/solver-3734627-1338719138 -C 1800 -W 1900 -M 15500 pbclasp instance-3734627-1338719138.opb HOME/temp
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.99 1.96 3/180 8413
/proc/meminfo: memFree=27660488/32873844 swapFree=7112/7112
[pid=8413] ppid=8411 vsize=25724 CPUtime=0 cores=1,3,5,7
/proc/8413/stat : 8413 (pbclasp) R 8411 8413 2078 0 -1 4202496 586 0 0 0 0 0 0 0 20 0 1 0 338039102 26341376 517 33554432000 4194304 4198148 140736644183584 140736585421080 273588653972 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/8413/statm: 6431 517 361 1 0 226 0
[startup+0.068732 s]
/proc/loadavg: 1.92 1.99 1.96 3/180 8413
/proc/meminfo: memFree=27660488/32873844 swapFree=7112/7112
[pid=8413] ppid=8411 vsize=25860 CPUtime=0.01 cores=1,3,5,7
/proc/8413/stat : 8413 (pbclasp) S 8411 8413 2078 0 -1 4202496 660 0 0 0 1 0 0 0 20 0 1 0 338039102 26480640 574 33554432000 4194304 4198148 140736644183584 140736644182472 273592411376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8413/statm: 6465 574 368 1 0 260 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25860
[startup+0.100204 s]
/proc/loadavg: 1.92 1.99 1.96 3/180 8413
/proc/meminfo: memFree=27660488/32873844 swapFree=7112/7112
[pid=8413] ppid=8411 vsize=25992 CPUtime=0.07 cores=1,3,5,7
/proc/8413/stat : 8413 (pbclasp) S 8411 8413 2078 0 -1 4202496 794 2095 0 0 1 0 6 0 20 0 1 0 338039102 26615808 619 33554432000 4194304 4198148 140736644183584 140736644182512 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8413/statm: 6498 619 387 1 0 293 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25992
[startup+0.300224 s]
/proc/loadavg: 1.92 1.99 1.96 3/180 8413
/proc/meminfo: memFree=27660488/32873844 swapFree=7112/7112
[pid=8413] ppid=8411 vsize=25992 CPUtime=0.16 cores=1,3,5,7
/proc/8413/stat : 8413 (pbclasp) S 8411 8413 2078 0 -1 4202496 1097 7247 0 0 1 0 14 1 20 0 1 0 338039102 26615808 623 33554432000 4194304 4198148 140736644183584 140736644182512 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8413/statm: 6498 623 387 1 0 293 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 25992
[startup+0.700213 s]
/proc/loadavg: 1.92 1.99 1.96 3/180 8413
/proc/meminfo: memFree=27660488/32873844 swapFree=7112/7112
[pid=8413] ppid=8411 vsize=25992 CPUtime=0.35 cores=1,3,5,7
/proc/8413/stat : 8413 (pbclasp) S 8411 8413 2078 0 -1 4202496 1250 10169 0 0 1 0 32 2 20 0 1 0 338039102 26615808 623 33554432000 4194304 4198148 140736644183584 140736644182512 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8413/statm: 6498 623 387 1 0 293 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 25992
[startup+1.50028 s]
/proc/loadavg: 1.92 1.99 1.96 3/183 8447
/proc/meminfo: memFree=27655752/32873844 swapFree=7112/7112
[pid=8413] ppid=8411 vsize=25992 CPUtime=0.35 cores=1,3,5,7
/proc/8413/stat : 8413 (pbclasp) S 8411 8413 2078 0 -1 4202496 1250 10169 0 0 1 0 32 2 20 0 1 0 338039102 26615808 623 33554432000 4194304 4198148 140736644183584 140736644182512 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8413/statm: 6498 623 387 1 0 293 0
[pid=8445] ppid=8413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8445/stat : 8445 (sh) S 8413 8413 2078 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338039139 9367552 264 33554432000 4194304 5064252 140734451271232 140734451269488 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8445/statm: 2287 264 223 213 0 72 0
[pid=8447] ppid=8445 vsize=6756 CPUtime=1.11 cores=1,3,5,7
/proc/8447/stat : 8447 (clasp-1.0) R 8445 8413 2078 0 -1 4202496 1258 0 0 0 111 0 0 0 20 0 1 0 338039140 6918144 1155 33554432000 134512640 134847168 4290320640 4290318916 134792583 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8447/statm: 1689 1155 270 82 0 930 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 41896
[startup+3.10028 s]
/proc/loadavg: 1.92 1.99 1.96 3/183 8447
/proc/meminfo: memFree=27654636/32873844 swapFree=7112/7112
[pid=8413] ppid=8411 vsize=25992 CPUtime=0.35 cores=1,3,5,7
/proc/8413/stat : 8413 (pbclasp) S 8411 8413 2078 0 -1 4202496 1250 10169 0 0 1 0 32 2 20 0 1 0 338039102 26615808 623 33554432000 4194304 4198148 140736644183584 140736644182512 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8413/statm: 6498 623 387 1 0 293 0
[pid=8445] ppid=8413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8445/stat : 8445 (sh) S 8413 8413 2078 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338039139 9367552 264 33554432000 4194304 5064252 140734451271232 140734451269488 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8445/statm: 2287 264 223 213 0 72 0
[pid=8447] ppid=8445 vsize=7416 CPUtime=2.71 cores=1,3,5,7
/proc/8447/stat : 8447 (clasp-1.0) R 8445 8413 2078 0 -1 4202496 1447 0 0 0 271 0 0 0 20 0 1 0 338039140 7593984 1344 33554432000 134512640 134847168 4290320640 4290319216 134742250 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8447/statm: 1854 1344 270 82 0 1095 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 42556
[startup+6.30028 s]
/proc/loadavg: 1.93 1.99 1.96 3/183 8447
/proc/meminfo: memFree=27652404/32873844 swapFree=7112/7112
[pid=8413] ppid=8411 vsize=25992 CPUtime=0.35 cores=1,3,5,7
/proc/8413/stat : 8413 (pbclasp) S 8411 8413 2078 0 -1 4202496 1250 10169 0 0 1 0 32 2 20 0 1 0 338039102 26615808 623 33554432000 4194304 4198148 140736644183584 140736644182512 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8413/statm: 6498 623 387 1 0 293 0
[pid=8445] ppid=8413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8445/stat : 8445 (sh) S 8413 8413 2078 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338039139 9367552 264 33554432000 4194304 5064252 140734451271232 140734451269488 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8445/statm: 2287 264 223 213 0 72 0
[pid=8447] ppid=8445 vsize=8324 CPUtime=5.91 cores=1,3,5,7
/proc/8447/stat : 8447 (clasp-1.0) R 8445 8413 2078 0 -1 4202496 1647 0 0 0 591 0 0 0 20 0 1 0 338039140 8523776 1544 33554432000 134512640 134847168 4290320640 4290319280 134715268 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8447/statm: 2081 1544 270 82 0 1322 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 43464
[startup+12.7003 s]
/proc/loadavg: 1.93 1.99 1.96 3/183 8447
/proc/meminfo: memFree=27650664/32873844 swapFree=7112/7112
[pid=8413] ppid=8411 vsize=25992 CPUtime=0.35 cores=1,3,5,7
/proc/8413/stat : 8413 (pbclasp) S 8411 8413 2078 0 -1 4202496 1250 10169 0 0 1 0 32 2 20 0 1 0 338039102 26615808 623 33554432000 4194304 4198148 140736644183584 140736644182512 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8413/statm: 6498 623 387 1 0 293 0
[pid=8445] ppid=8413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8445/stat : 8445 (sh) S 8413 8413 2078 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338039139 9367552 264 33554432000 4194304 5064252 140734451271232 140734451269488 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8445/statm: 2287 264 223 213 0 72 0
[pid=8447] ppid=8445 vsize=9332 CPUtime=12.31 cores=1,3,5,7
/proc/8447/stat : 8447 (clasp-1.0) R 8445 8413 2078 0 -1 4202496 1971 0 0 0 1231 0 0 0 20 0 1 0 338039140 9555968 1806 33554432000 134512640 134847168 4290320640 4290319280 134616336 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8447/statm: 2333 1806 270 82 0 1574 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 44472
[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.96 3/183 8447
/proc/meminfo: memFree=27649008/32873844 swapFree=7112/7112
[pid=8413] ppid=8411 vsize=25992 CPUtime=0.35 cores=1,3,5,7
/proc/8413/stat : 8413 (pbclasp) S 8411 8413 2078 0 -1 4202496 1250 10169 0 0 1 0 32 2 20 0 1 0 338039102 26615808 623 33554432000 4194304 4198148 140736644183584 140736644182512 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8413/statm: 6498 623 387 1 0 293 0
[pid=8445] ppid=8413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8445/stat : 8445 (sh) S 8413 8413 2078 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338039139 9367552 264 33554432000 4194304 5064252 140734451271232 140734451269488 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8445/statm: 2287 264 223 213 0 72 0
[pid=8447] ppid=8445 vsize=10276 CPUtime=25.11 cores=1,3,5,7
/proc/8447/stat : 8447 (clasp-1.0) R 8445 8413 2078 0 -1 4202496 2322 0 0 0 2511 0 0 0 20 0 1 0 338039140 10522624 2065 33554432000 134512640 134847168 4290320640 4290319280 134715273 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8447/statm: 2569 2065 270 82 0 1810 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 45416
[startup+51.1003 s]
/proc/loadavg: 1.96 1.99 1.96 3/183 8447
/proc/meminfo: memFree=27647208/32873844 swapFree=7112/7112
[pid=8413] ppid=8411 vsize=25992 CPUtime=0.35 cores=1,3,5,7
/proc/8413/stat : 8413 (pbclasp) S 8411 8413 2078 0 -1 4202496 1250 10169 0 0 1 0 32 2 20 0 1 0 338039102 26615808 623 33554432000 4194304 4198148 140736644183584 140736644182512 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8413/statm: 6498 623 387 1 0 293 0
[pid=8445] ppid=8413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8445/stat : 8445 (sh) S 8413 8413 2078 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338039139 9367552 264 33554432000 4194304 5064252 140734451271232 140734451269488 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8445/statm: 2287 264 223 213 0 72 0
[pid=8447] ppid=8445 vsize=11160 CPUtime=50.7 cores=1,3,5,7
/proc/8447/stat : 8447 (clasp-1.0) R 8445 8413 2078 0 -1 4202496 2573 0 0 0 5070 0 0 0 20 0 1 0 338039140 11427840 2270 33554432000 134512640 134847168 4290320640 4290318928 134791705 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8447/statm: 2790 2270 270 82 0 2031 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 46300
[startup+102.307 s]
/proc/loadavg: 1.98 1.99 1.96 3/183 8448
/proc/meminfo: memFree=27643176/32873844 swapFree=7112/7112
[pid=8413] ppid=8411 vsize=25992 CPUtime=0.35 cores=1,3,5,7
/proc/8413/stat : 8413 (pbclasp) S 8411 8413 2078 0 -1 4202496 1250 10169 0 0 1 0 32 2 20 0 1 0 338039102 26615808 623 33554432000 4194304 4198148 140736644183584 140736644182512 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8413/statm: 6498 623 387 1 0 293 0
[pid=8445] ppid=8413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8445/stat : 8445 (sh) S 8413 8413 2078 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338039139 9367552 264 33554432000 4194304 5064252 140734451271232 140734451269488 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8445/statm: 2287 264 223 213 0 72 0
[pid=8447] ppid=8445 vsize=13132 CPUtime=101.89 cores=1,3,5,7
/proc/8447/stat : 8447 (clasp-1.0) R 8445 8413 2078 0 -1 4202496 3418 0 0 0 10189 0 0 0 20 0 1 0 338039140 13447168 2772 33554432000 134512640 134847168 4290320640 4290319280 134715257 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8447/statm: 3283 2772 270 82 0 2524 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 48272
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.96 3/183 8448
/proc/meminfo: memFree=27640816/32873844 swapFree=7112/7112
[pid=8413] ppid=8411 vsize=25992 CPUtime=0.35 cores=1,3,5,7
/proc/8413/stat : 8413 (pbclasp) S 8411 8413 2078 0 -1 4202496 1250 10169 0 0 1 0 32 2 20 0 1 0 338039102 26615808 623 33554432000 4194304 4198148 140736644183584 140736644182512 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8413/statm: 6498 623 387 1 0 293 0
[pid=8445] ppid=8413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8445/stat : 8445 (sh) S 8413 8413 2078 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338039139 9367552 264 33554432000 4194304 5064252 140734451271232 140734451269488 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8445/statm: 2287 264 223 213 0 72 0
[pid=8447] ppid=8445 vsize=14104 CPUtime=161.88 cores=1,3,5,7
/proc/8447/stat : 8447 (clasp-1.0) R 8445 8413 2078 0 -1 4202496 3863 0 0 0 16188 0 0 0 20 0 1 0 338039140 14442496 3016 33554432000 134512640 134847168 4290320640 4290319280 134715305 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8447/statm: 3526 3016 270 82 0 2767 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 49244
[startup+222.3 s]
/proc/loadavg: 2.03 2.01 1.97 3/183 8448
/proc/meminfo: memFree=27639328/32873844 swapFree=7112/7112
[pid=8413] ppid=8411 vsize=25992 CPUtime=0.35 cores=1,3,5,7
/proc/8413/stat : 8413 (pbclasp) S 8411 8413 2078 0 -1 4202496 1250 10169 0 0 1 0 32 2 20 0 1 0 338039102 26615808 623 33554432000 4194304 4198148 140736644183584 140736644182512 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8413/statm: 6498 623 387 1 0 293 0
[pid=8445] ppid=8413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8445/stat : 8445 (sh) S 8413 8413 2078 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338039139 9367552 264 33554432000 4194304 5064252 140734451271232 140734451269488 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8445/statm: 2287 264 223 213 0 72 0
[pid=8447] ppid=8445 vsize=14452 CPUtime=221.87 cores=1,3,5,7
/proc/8447/stat : 8447 (clasp-1.0) R 8445 8413 2078 0 -1 4202496 4100 0 0 0 22187 0 0 0 20 0 1 0 338039140 14798848 3078 33554432000 134512640 134847168 4290320640 4290319320 134789702 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8447/statm: 3613 3078 270 82 0 2854 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 49592
[startup+282.3 s]
################
# More data... #
################
[pid=8413] ppid=8411 vsize=25992 CPUtime=0.35 cores=1,3,5,7
/proc/8413/stat : 8413 (pbclasp) S 8411 8413 2078 0 -1 4202496 1250 10169 0 0 1 0 32 2 20 0 1 0 338039102 26615808 623 33554432000 4194304 4198148 140736644183584 140736644182512 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8413/statm: 6498 623 387 1 0 293 0
[pid=8445] ppid=8413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8445/stat : 8445 (sh) S 8413 8413 2078 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338039139 9367552 264 33554432000 4194304 5064252 140734451271232 140734451269488 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8445/statm: 2287 264 223 213 0 72 0
[pid=8447] ppid=8445 vsize=20432 CPUtime=1241.7 cores=1,3,5,7
/proc/8447/stat : 8447 (clasp-1.0) R 8445 8413 2078 0 -1 4202496 9103 0 0 0 124168 2 0 0 20 0 1 0 338039140 20922368 4602 33554432000 134512640 134847168 4290320640 4290319232 134630314 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8447/statm: 5108 4602 270 82 0 4349 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 55572
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/184 8466
/proc/meminfo: memFree=27632372/32873844 swapFree=7112/7112
[pid=8413] ppid=8411 vsize=25992 CPUtime=0.35 cores=1,3,5,7
/proc/8413/stat : 8413 (pbclasp) S 8411 8413 2078 0 -1 4202496 1250 10169 0 0 1 0 32 2 20 0 1 0 338039102 26615808 623 33554432000 4194304 4198148 140736644183584 140736644182512 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8413/statm: 6498 623 387 1 0 293 0
[pid=8445] ppid=8413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8445/stat : 8445 (sh) S 8413 8413 2078 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338039139 9367552 264 33554432000 4194304 5064252 140734451271232 140734451269488 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8445/statm: 2287 264 223 213 0 72 0
[pid=8447] ppid=8445 vsize=20436 CPUtime=1301.71 cores=1,3,5,7
/proc/8447/stat : 8447 (clasp-1.0) R 8445 8413 2078 0 -1 4202496 9741 0 0 0 130168 3 0 0 20 0 1 0 338039140 20926464 4605 33554432000 134512640 134847168 4290320640 4290319264 134784663 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8447/statm: 5109 4605 270 82 0 4350 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 55576
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 8467
/proc/meminfo: memFree=27632008/32873844 swapFree=7112/7112
[pid=8413] ppid=8411 vsize=25992 CPUtime=0.35 cores=1,3,5,7
/proc/8413/stat : 8413 (pbclasp) S 8411 8413 2078 0 -1 4202496 1250 10169 0 0 1 0 32 2 20 0 1 0 338039102 26615808 623 33554432000 4194304 4198148 140736644183584 140736644182512 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8413/statm: 6498 623 387 1 0 293 0
[pid=8445] ppid=8413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8445/stat : 8445 (sh) S 8413 8413 2078 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338039139 9367552 264 33554432000 4194304 5064252 140734451271232 140734451269488 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8445/statm: 2287 264 223 213 0 72 0
[pid=8447] ppid=8445 vsize=20480 CPUtime=1361.69 cores=1,3,5,7
/proc/8447/stat : 8447 (clasp-1.0) R 8445 8413 2078 0 -1 4202496 10076 0 0 0 136166 3 0 0 20 0 1 0 338039140 20971520 4612 33554432000 134512640 134847168 4290320640 4290319264 134784615 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8447/statm: 5120 4612 270 82 0 4361 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 55620
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 8467
/proc/meminfo: memFree=27630208/32873844 swapFree=7112/7112
[pid=8413] ppid=8411 vsize=25992 CPUtime=0.35 cores=1,3,5,7
/proc/8413/stat : 8413 (pbclasp) S 8411 8413 2078 0 -1 4202496 1250 10169 0 0 1 0 32 2 20 0 1 0 338039102 26615808 623 33554432000 4194304 4198148 140736644183584 140736644182512 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8413/statm: 6498 623 387 1 0 293 0
[pid=8445] ppid=8413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8445/stat : 8445 (sh) S 8413 8413 2078 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338039139 9367552 264 33554432000 4194304 5064252 140734451271232 140734451269488 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8445/statm: 2287 264 223 213 0 72 0
[pid=8447] ppid=8445 vsize=21712 CPUtime=1421.69 cores=1,3,5,7
/proc/8447/stat : 8447 (clasp-1.0) R 8445 8413 2078 0 -1 4202496 10486 0 0 0 142166 3 0 0 20 0 1 0 338039140 22233088 4924 33554432000 134512640 134847168 4290320640 4290319268 134616350 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8447/statm: 5428 4924 270 82 0 4669 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 56852
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/184 8470
/proc/meminfo: memFree=27629456/32873844 swapFree=7112/7112
[pid=8413] ppid=8411 vsize=25992 CPUtime=0.35 cores=1,3,5,7
/proc/8413/stat : 8413 (pbclasp) S 8411 8413 2078 0 -1 4202496 1250 10169 0 0 1 0 32 2 20 0 1 0 338039102 26615808 623 33554432000 4194304 4198148 140736644183584 140736644182512 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8413/statm: 6498 623 387 1 0 293 0
[pid=8445] ppid=8413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8445/stat : 8445 (sh) S 8413 8413 2078 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338039139 9367552 264 33554432000 4194304 5064252 140734451271232 140734451269488 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8445/statm: 2287 264 223 213 0 72 0
[pid=8447] ppid=8445 vsize=22104 CPUtime=1481.67 cores=1,3,5,7
/proc/8447/stat : 8447 (clasp-1.0) R 8445 8413 2078 0 -1 4202496 10678 0 0 0 148164 3 0 0 20 0 1 0 338039140 22634496 5007 33554432000 134512640 134847168 4290320640 4290319280 134748324 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8447/statm: 5526 5007 270 82 0 4767 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 57244
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 8470
/proc/meminfo: memFree=27629340/32873844 swapFree=7112/7112
[pid=8413] ppid=8411 vsize=25992 CPUtime=0.35 cores=1,3,5,7
/proc/8413/stat : 8413 (pbclasp) S 8411 8413 2078 0 -1 4202496 1250 10169 0 0 1 0 32 2 20 0 1 0 338039102 26615808 623 33554432000 4194304 4198148 140736644183584 140736644182512 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8413/statm: 6498 623 387 1 0 293 0
[pid=8445] ppid=8413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8445/stat : 8445 (sh) S 8413 8413 2078 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338039139 9367552 264 33554432000 4194304 5064252 140734451271232 140734451269488 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8445/statm: 2287 264 223 213 0 72 0
[pid=8447] ppid=8445 vsize=22360 CPUtime=1541.66 cores=1,3,5,7
/proc/8447/stat : 8447 (clasp-1.0) R 8445 8413 2078 0 -1 4202496 10773 0 0 0 154163 3 0 0 20 0 1 0 338039140 22896640 5079 33554432000 134512640 134847168 4290320640 4290319332 134616619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8447/statm: 5590 5079 270 82 0 4831 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 57500
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 8470
/proc/meminfo: memFree=27628968/32873844 swapFree=7112/7112
[pid=8413] ppid=8411 vsize=25992 CPUtime=0.35 cores=1,3,5,7
/proc/8413/stat : 8413 (pbclasp) S 8411 8413 2078 0 -1 4202496 1250 10169 0 0 1 0 32 2 20 0 1 0 338039102 26615808 623 33554432000 4194304 4198148 140736644183584 140736644182512 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8413/statm: 6498 623 387 1 0 293 0
[pid=8445] ppid=8413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8445/stat : 8445 (sh) S 8413 8413 2078 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338039139 9367552 264 33554432000 4194304 5064252 140734451271232 140734451269488 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8445/statm: 2287 264 223 213 0 72 0
[pid=8447] ppid=8445 vsize=22200 CPUtime=1601.65 cores=1,3,5,7
/proc/8447/stat : 8447 (clasp-1.0) R 8445 8413 2078 0 -1 4202496 10821 0 0 0 160162 3 0 0 20 0 1 0 338039140 22732800 5039 33554432000 134512640 134847168 4290320640 4290319264 134784526 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8447/statm: 5550 5039 270 82 0 4791 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 57340
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 8471
/proc/meminfo: memFree=27628968/32873844 swapFree=7112/7112
[pid=8413] ppid=8411 vsize=25992 CPUtime=0.35 cores=1,3,5,7
/proc/8413/stat : 8413 (pbclasp) S 8411 8413 2078 0 -1 4202496 1250 10169 0 0 1 0 32 2 20 0 1 0 338039102 26615808 623 33554432000 4194304 4198148 140736644183584 140736644182512 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8413/statm: 6498 623 387 1 0 293 0
[pid=8445] ppid=8413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8445/stat : 8445 (sh) S 8413 8413 2078 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338039139 9367552 264 33554432000 4194304 5064252 140734451271232 140734451269488 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8445/statm: 2287 264 223 213 0 72 0
[pid=8447] ppid=8445 vsize=22524 CPUtime=1661.64 cores=1,3,5,7
/proc/8447/stat : 8447 (clasp-1.0) R 8445 8413 2078 0 -1 4202496 10979 0 0 0 166161 3 0 0 20 0 1 0 338039140 23064576 5089 33554432000 134512640 134847168 4290320640 4290319332 134616619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8447/statm: 5631 5089 270 82 0 4872 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 57664
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/183 8471
/proc/meminfo: memFree=27628720/32873844 swapFree=7112/7112
[pid=8413] ppid=8411 vsize=25992 CPUtime=0.35 cores=1,3,5,7
/proc/8413/stat : 8413 (pbclasp) S 8411 8413 2078 0 -1 4202496 1250 10169 0 0 1 0 32 2 20 0 1 0 338039102 26615808 623 33554432000 4194304 4198148 140736644183584 140736644182512 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8413/statm: 6498 623 387 1 0 293 0
[pid=8445] ppid=8413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8445/stat : 8445 (sh) S 8413 8413 2078 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338039139 9367552 264 33554432000 4194304 5064252 140734451271232 140734451269488 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8445/statm: 2287 264 223 213 0 72 0
[pid=8447] ppid=8445 vsize=22504 CPUtime=1721.64 cores=1,3,5,7
/proc/8447/stat : 8447 (clasp-1.0) R 8445 8413 2078 0 -1 4202496 11070 0 0 0 172161 3 0 0 20 0 1 0 338039140 23044096 5115 33554432000 134512640 134847168 4290320640 4290319264 134784711 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8447/statm: 5626 5115 270 82 0 4867 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 57644
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/183 8471
/proc/meminfo: memFree=27627912/32873844 swapFree=7112/7112
[pid=8413] ppid=8411 vsize=25992 CPUtime=0.35 cores=1,3,5,7
/proc/8413/stat : 8413 (pbclasp) S 8411 8413 2078 0 -1 4202496 1250 10169 0 0 1 0 32 2 20 0 1 0 338039102 26615808 623 33554432000 4194304 4198148 140736644183584 140736644182512 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8413/statm: 6498 623 387 1 0 293 0
[pid=8445] ppid=8413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8445/stat : 8445 (sh) S 8413 8413 2078 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338039139 9367552 264 33554432000 4194304 5064252 140734451271232 140734451269488 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8445/statm: 2287 264 223 213 0 72 0
[pid=8447] ppid=8445 vsize=22504 CPUtime=1781.63 cores=1,3,5,7
/proc/8447/stat : 8447 (clasp-1.0) R 8445 8413 2078 0 -1 4202496 11070 0 0 0 178160 3 0 0 20 0 1 0 338039140 23044096 5115 33554432000 134512640 134847168 4290320640 4290319264 134784675 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8447/statm: 5626 5115 270 82 0 4867 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 57644
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.00 1.98 3/183 8547
/proc/meminfo: memFree=27655328/32873844 swapFree=7112/7112
[pid=8413] ppid=8411 vsize=25992 CPUtime=1794.18 cores=1,3,5,7
/proc/8413/stat : 8413 (pbclasp) S 8411 8413 2078 0 -1 4202496 1357 23182 0 0 2 0 179410 6 20 0 1 0 338039102 26615808 623 33554432000 4194304 4198148 140736644183584 140736644182512 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8413/statm: 6498 623 387 1 0 293 0
[pid=8488] ppid=8413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8488/stat : 8488 (sh) S 8413 8413 2078 0 -1 4202496 374 220 0 0 0 0 0 0 20 0 1 0 338218551 9367552 264 33554432000 4194304 5064252 140736967710048 140736967708304 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8488/statm: 2287 264 223 213 0 72 0
[pid=8490] ppid=8488 vsize=8324 CPUtime=5.9 cores=1,3,5,7
/proc/8490/stat : 8490 (clasp-1.0) R 8488 8413 2078 0 -1 4202496 1647 0 0 0 590 0 0 0 20 0 1 0 338218551 8523776 1544 33554432000 134512640 134847168 4293913280 4293911540 134792597 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8490/statm: 2081 1544 270 82 0 1322 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 43464
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.13
CPU user time (s): 1800.04
CPU system time (s): 0.088986
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 57740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.088986
maximum resident set size= 20468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30368
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 199
involuntary context switches= 2123
runsolver used 3.41148 second user time and 9.67453 second system time
The end