runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3491829-1307769476/watcher-3491829-1307769476 -o /tmp/evaluation-result-3491829-1307769476/solver-3491829-1307769476 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491829-1307769476.opb --solu --heu=VSIDS
running on 4 cores: 0,2,4,6
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.91 3/177 11512
/proc/meminfo: memFree=31598220/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=9736 CPUtime=0 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 1960 0 0 0 0 0 0 0 25 0 1 0 967178233 9969664 1748 33554432000 4194304 6245536 140734798119760 18446744073709551615 4642370 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 2434 1752 172 501 0 1930 0
[startup+0.0538561 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 11512
/proc/meminfo: memFree=31598220/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=21344 CPUtime=0.04 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 6138 0 0 0 4 0 0 0 25 0 1 0 967178233 21856256 4838 33554432000 4194304 6245536 140734798119760 18446744073709551615 4574417 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 5336 4838 198 501 0 4832 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21344
[startup+0.10085 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 11512
/proc/meminfo: memFree=31598220/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=22536 CPUtime=0.09 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 6444 0 0 0 9 0 0 0 25 0 1 0 967178233 23076864 5144 33554432000 4194304 6245536 140734798119760 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 5634 5145 201 501 0 5130 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22536
[startup+0.300815 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 11512
/proc/meminfo: memFree=31598220/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=32508 CPUtime=0.29 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 8922 0 0 0 29 0 0 0 25 0 1 0 967178233 33288192 7622 33554432000 4194304 6245536 140734798119760 18446744073709551615 4579352 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 8127 7622 201 501 0 7623 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32508
[startup+0.700734 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 11512
/proc/meminfo: memFree=31598220/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=36220 CPUtime=0.69 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 10464 0 0 0 68 1 0 0 25 0 1 0 967178233 37089280 8574 33554432000 4194304 6245536 140734798119760 18446744073709551615 4629001 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 9055 8574 227 501 0 8551 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36220
[startup+1.50058 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11513
/proc/meminfo: memFree=31564500/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=36220 CPUtime=1.49 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 10473 0 0 0 148 1 0 0 25 0 1 0 967178233 37089280 8583 33554432000 4194304 6245536 140734798119760 18446744073709551615 4627947 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 9055 8583 229 501 0 8551 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36220
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11513
/proc/meminfo: memFree=31564244/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=36220 CPUtime=3.09 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 10513 0 0 0 308 1 0 0 25 0 1 0 967178233 37089280 8623 33554432000 4194304 6245536 140734798119760 18446744073709551615 4635664 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 9055 8623 229 501 0 8551 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36220
[startup+6.3007 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11514
/proc/meminfo: memFree=31564048/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=36220 CPUtime=6.29 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 10529 0 0 0 628 1 0 0 25 0 1 0 967178233 37089280 8639 33554432000 4194304 6245536 140734798119760 18446744073709551615 4629037 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 9055 8639 229 501 0 8551 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36220
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11553
/proc/meminfo: memFree=31545700/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=38548 CPUtime=12.69 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 11125 0 0 0 1268 1 0 0 25 0 1 0 967178233 39473152 9235 33554432000 4194304 6245536 140734798119760 18446744073709551615 4361737 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 9637 9235 229 501 0 9133 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38548
[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11553
/proc/meminfo: memFree=31538260/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=42252 CPUtime=25.49 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 12011 0 0 0 2548 1 0 0 25 0 1 0 967178233 43266048 10121 33554432000 4194304 6245536 140734798119760 18446744073709551615 4628987 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 10563 10121 229 501 0 10059 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42252
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11554
/proc/meminfo: memFree=31528284/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=47308 CPUtime=51.09 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 13213 0 0 0 5108 1 0 0 25 0 1 0 967178233 48443392 11323 33554432000 4194304 6245536 140734798119760 18446744073709551615 4304926 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 11827 11323 229 501 0 11323 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 47308
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11555
/proc/meminfo: memFree=31511384/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=55752 CPUtime=102.29 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 15222 0 0 0 10228 1 0 0 25 0 1 0 967178233 57090048 13332 33554432000 4194304 6245536 140734798119760 18446744073709551615 4637422 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 13938 13332 229 501 0 13434 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 55752
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11557
/proc/meminfo: memFree=31494860/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=65192 CPUtime=162.29 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 17446 0 0 0 16227 2 0 0 25 0 1 0 967178233 66756608 15556 33554432000 4194304 6245536 140734798119760 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 16298 15556 229 501 0 15794 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 65192
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11558
/proc/meminfo: memFree=31483648/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=71536 CPUtime=222.29 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 18921 0 0 0 22227 2 0 0 25 0 1 0 967178233 73252864 17031 33554432000 4194304 6245536 140734798119760 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 17884 17031 229 501 0 17380 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 71536
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11560
/proc/meminfo: memFree=31474192/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=75296 CPUtime=282.29 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 19807 0 0 0 28227 2 0 0 25 0 1 0 967178233 77103104 17917 33554432000 4194304 6245536 140734798119760 18446744073709551615 4409307 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 18824 17917 229 501 0 18320 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 75296
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11562
/proc/meminfo: memFree=31465228/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=79308 CPUtime=342.29 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 20762 0 0 0 34227 2 0 0 25 0 1 0 967178233 81211392 18872 33554432000 4194304 6245536 140734798119760 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 19827 18872 229 501 0 19323 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 79308
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11563
/proc/meminfo: memFree=31458488/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=83488 CPUtime=402.3 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 21758 0 0 0 40227 3 0 0 25 0 1 0 967178233 85491712 19868 33554432000 4194304 6245536 140734798119760 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 20872 19868 229 501 0 20368 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 83488
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11565
/proc/meminfo: memFree=31453968/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=84796 CPUtime=462.31 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 22040 0 0 0 46228 3 0 0 25 0 1 0 967178233 86831104 20150 33554432000 4194304 6245536 140734798119760 18446744073709551615 4628983 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 21199 20150 229 501 0 20695 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 84796
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11566
/proc/meminfo: memFree=31445380/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=89108 CPUtime=522.31 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 23113 0 0 0 52228 3 0 0 25 0 1 0 967178233 91246592 21223 33554432000 4194304 6245536 140734798119760 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 22277 21223 229 501 0 21773 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 89108
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11568
/proc/meminfo: memFree=31442488/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=90492 CPUtime=582.31 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 23414 0 0 0 58228 3 0 0 25 0 1 0 967178233 92663808 21524 33554432000 4194304 6245536 140734798119760 18446744073709551615 4628998 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 22623 21524 229 501 0 22119 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 90492
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/178 11574
/proc/meminfo: memFree=31427808/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=97516 CPUtime=822.31 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 25006 0 0 0 82228 3 0 0 25 0 1 0 967178233 99856384 23116 33554432000 4194304 6245536 140734798119760 18446744073709551615 4342400 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 24379 23116 229 501 0 23875 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 97516
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11576
/proc/meminfo: memFree=31422552/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=101012 CPUtime=882.31 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 25875 0 0 0 88228 3 0 0 25 0 1 0 967178233 103436288 23985 33554432000 4194304 6245536 140734798119760 18446744073709551615 4409295 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 25253 23985 229 501 0 24749 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 101012
[startup+942.301 s]
/proc/loadavg: 2.03 2.01 1.92 3/178 11578
/proc/meminfo: memFree=31422256/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=101012 CPUtime=942.32 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 25895 0 0 0 94229 3 0 0 25 0 1 0 967178233 103436288 24005 33554432000 4194304 6245536 140734798119760 18446744073709551615 4629031 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 25253 24005 229 501 0 24749 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 101012
[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/178 11579
/proc/meminfo: memFree=31420220/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=102352 CPUtime=1002.32 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 26223 0 0 0 100228 4 0 0 25 0 1 0 967178233 104808448 24333 33554432000 4194304 6245536 140734798119760 18446744073709551615 4629018 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 25588 24333 229 501 0 25084 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 102352
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11581
/proc/meminfo: memFree=31418188/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=102604 CPUtime=1062.33 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 26283 0 0 0 106229 4 0 0 25 0 1 0 967178233 105066496 24393 33554432000 4194304 6245536 140734798119760 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 25651 24393 229 501 0 25147 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 102604
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11582
/proc/meminfo: memFree=31416908/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=103332 CPUtime=1122.33 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 26489 0 0 0 112229 4 0 0 25 0 1 0 967178233 105811968 24599 33554432000 4194304 6245536 140734798119760 18446744073709551615 4646523 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 25833 24599 229 501 0 25329 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 103332
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11584
/proc/meminfo: memFree=31413276/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=106952 CPUtime=1182.33 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 27367 0 0 0 118229 4 0 0 25 0 1 0 967178233 109518848 25477 33554432000 4194304 6245536 140734798119760 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 26738 25477 229 501 0 26234 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 106952
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11586
/proc/meminfo: memFree=31408028/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=108000 CPUtime=1242.33 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 27607 0 0 0 124229 4 0 0 25 0 1 0 967178233 110592000 25717 33554432000 4194304 6245536 140734798119760 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 27000 25717 229 501 0 26496 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 108000
[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/178 11590
/proc/meminfo: memFree=31406104/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=109380 CPUtime=1302.33 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 27887 0 0 0 130229 4 0 0 25 0 1 0 967178233 112005120 25997 33554432000 4194304 6245536 140734798119760 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 27345 25997 229 501 0 26841 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 109380
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 11592
/proc/meminfo: memFree=31403560/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=110632 CPUtime=1362.33 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 28193 0 0 0 136229 4 0 0 25 0 1 0 967178233 113287168 26303 33554432000 4194304 6245536 140734798119760 18446744073709551615 4629028 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 27658 26303 229 501 0 27154 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 110632
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11593
/proc/meminfo: memFree=31403024/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=110632 CPUtime=1422.34 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 28212 0 0 0 142230 4 0 0 25 0 1 0 967178233 113287168 26322 33554432000 4194304 6245536 140734798119760 18446744073709551615 4635762 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 27658 26322 229 501 0 27154 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 110632
[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 1.93 3/178 11595
/proc/meminfo: memFree=31398880/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=113868 CPUtime=1482.34 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 28991 0 0 0 148229 5 0 0 25 0 1 0 967178233 116600832 27101 33554432000 4194304 6245536 140734798119760 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 28467 27101 229 501 0 27963 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 113868
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 11597
/proc/meminfo: memFree=31398584/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=114056 CPUtime=1542.34 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 29050 0 0 0 154229 5 0 0 25 0 1 0 967178233 116793344 27160 33554432000 4194304 6245536 140734798119760 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 28514 27160 229 501 0 28010 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 114056
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11598
/proc/meminfo: memFree=31398192/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=114056 CPUtime=1602.35 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 29053 0 0 0 160230 5 0 0 25 0 1 0 967178233 116793344 27163 33554432000 4194304 6245536 140734798119760 18446744073709551615 4628987 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 28514 27163 229 501 0 28010 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 114056
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11600
/proc/meminfo: memFree=31398160/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=114056 CPUtime=1662.35 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 29056 0 0 0 166230 5 0 0 25 0 1 0 967178233 116793344 27166 33554432000 4194304 6245536 140734798119760 18446744073709551615 4629001 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 28514 27166 229 501 0 28010 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 114056
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11601
/proc/meminfo: memFree=31395140/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=115676 CPUtime=1722.35 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 29457 0 0 0 172230 5 0 0 25 0 1 0 967178233 118452224 27567 33554432000 4194304 6245536 140734798119760 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 28919 27567 229 501 0 28415 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 115676
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11603
/proc/meminfo: memFree=31394716/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=115864 CPUtime=1782.35 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 29507 0 0 0 178230 5 0 0 25 0 1 0 967178233 118644736 27617 33554432000 4194304 6245536 140734798119760 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 28966 27617 229 501 0 28462 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 115864
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11603
/proc/meminfo: memFree=31394936/32950928 swapFree=67051096/67111528
[pid=11512] ppid=11510 vsize=115864 CPUtime=1800.06 cores=0,2,4,6
/proc/11512/stat : 11512 (clasp) R 11510 11512 6496 0 -1 4202496 29508 0 0 0 180001 5 0 0 25 0 1 0 967178233 118644736 27618 33554432000 4194304 6245536 140734798119760 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11512/statm: 28966 27618 229 501 0 28462 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 115864
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.07
CPU user time (s): 1800.01
CPU system time (s): 0.057991
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 115864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.057991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29520
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 2701
runsolver used 2.77158 second user time and 5.42218 second system time
The end