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-3491908-1307776790/watcher-3491908-1307776790 -o /tmp/evaluation-result-3491908-1307776790/solver-3491908-1307776790 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491908-1307776790.opb --solu --heu=VSIDS
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: 0.92 1.11 1.49 3/177 19010
/proc/meminfo: memFree=31629092/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=6120 CPUtime=0 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 1266 0 0 0 0 0 0 0 25 0 1 0 889281675 6266880 1089 33554432000 4194304 6245536 140735577393408 18446744073709551615 5477680 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19010/statm: 1530 1091 179 501 0 1026 0
[startup+0.102675 s]
/proc/loadavg: 0.92 1.11 1.49 3/177 19010
/proc/meminfo: memFree=31629092/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=11412 CPUtime=0.09 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 3090 0 0 0 9 0 0 0 25 0 1 0 889281675 11685888 2537 33554432000 4194304 6245536 140735577393408 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19010/statm: 2886 2538 221 501 0 2382 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11412
[startup+0.20067 s]
/proc/loadavg: 0.92 1.11 1.49 3/177 19010
/proc/meminfo: memFree=31629092/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=16036 CPUtime=0.19 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 4228 0 0 0 19 0 0 0 25 0 1 0 889281675 16420864 3675 33554432000 4194304 6245536 140735577393408 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19010/statm: 4009 3676 227 501 0 3505 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16036
[startup+0.300641 s]
/proc/loadavg: 0.92 1.11 1.49 3/177 19010
/proc/meminfo: memFree=31629092/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=20528 CPUtime=0.29 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 5366 0 0 0 29 0 0 0 25 0 1 0 889281675 21020672 4813 33554432000 4194304 6245536 140735577393408 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19010/statm: 5132 4813 227 501 0 4628 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20528
[startup+0.700582 s]
/proc/loadavg: 0.92 1.11 1.49 3/177 19010
/proc/meminfo: memFree=31629092/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=32448 CPUtime=0.69 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 8331 0 0 0 68 1 0 0 25 0 1 0 889281675 33226752 7778 33554432000 4194304 6245536 140735577393408 18446744073709551615 4305192 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19010/statm: 8112 7778 228 501 0 7608 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32448
[startup+1.50043 s]
/proc/loadavg: 0.92 1.11 1.49 3/178 19011
/proc/meminfo: memFree=31590064/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=39064 CPUtime=1.49 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 9944 0 0 0 148 1 0 0 25 0 1 0 889281675 40001536 9391 33554432000 4194304 6245536 140735577393408 18446744073709551615 4324444 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19010/statm: 9766 9391 229 501 0 9262 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39064
[startup+3.10014 s]
/proc/loadavg: 0.92 1.11 1.49 3/178 19011
/proc/meminfo: memFree=31584452/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=47936 CPUtime=3.09 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 12200 0 0 0 308 1 0 0 25 0 1 0 889281675 49086464 11647 33554432000 4194304 6245536 140735577393408 18446744073709551615 4610892 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19010/statm: 11984 11647 229 501 0 11480 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47936
[startup+6.30058 s]
/proc/loadavg: 1.01 1.12 1.49 3/178 19011
/proc/meminfo: memFree=31572856/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=58100 CPUtime=6.29 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 14712 0 0 0 628 1 0 0 25 0 1 0 889281675 59494400 14159 33554432000 4194304 6245536 140735577393408 18446744073709551615 4635082 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19010/statm: 14525 14159 229 501 0 14021 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58100
[startup+12.7005 s]
/proc/loadavg: 1.09 1.14 1.49 3/178 19011
/proc/meminfo: memFree=31561384/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=69208 CPUtime=12.69 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 17473 0 0 0 1268 1 0 0 25 0 1 0 889281675 70868992 16920 33554432000 4194304 6245536 140735577393408 18446744073709551615 4633864 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19010/statm: 17302 16920 229 501 0 16798 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 69208
[startup+25.5002 s]
/proc/loadavg: 1.29 1.18 1.50 3/178 19011
/proc/meminfo: memFree=31546384/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=78316 CPUtime=25.48 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 19769 0 0 0 2547 1 0 0 25 0 1 0 889281675 80195584 19216 33554432000 4194304 6245536 140735577393408 18446744073709551615 4304794 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19010/statm: 19579 19216 229 501 0 19075 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 78316
[startup+51.1007 s]
/proc/loadavg: 1.53 1.24 1.51 3/178 19012
/proc/meminfo: memFree=31529716/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=93244 CPUtime=51.09 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 23522 0 0 0 5107 2 0 0 25 0 1 0 889281675 95481856 22969 33554432000 4194304 6245536 140735577393408 18446744073709551615 4635762 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19010/statm: 23311 22969 229 501 0 22807 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 93244
[startup+102.301 s]
/proc/loadavg: 1.79 1.36 1.54 3/178 19014
/proc/meminfo: memFree=31512836/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=106984 CPUtime=102.29 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 26958 0 0 0 10227 2 0 0 25 0 1 0 889281675 109551616 26405 33554432000 4194304 6245536 140735577393408 18446744073709551615 4324241 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19010/statm: 26746 26405 229 501 0 26242 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 106984
[startup+162.301 s]
/proc/loadavg: 1.92 1.47 1.56 3/178 19015
/proc/meminfo: memFree=31486496/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=131896 CPUtime=162.29 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 33190 0 0 0 16226 3 0 0 25 0 1 0 889281675 135061504 32637 33554432000 4194304 6245536 140735577393408 18446744073709551615 4324269 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19010/statm: 32974 32637 229 501 0 32470 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 131896
[startup+222.306 s]
/proc/loadavg: 1.97 1.57 1.59 3/178 19017
/proc/meminfo: memFree=31481500/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=136172 CPUtime=222.29 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 34242 0 0 0 22226 3 0 0 25 0 1 0 889281675 139440128 33689 33554432000 4194304 6245536 140735577393408 18446744073709551615 4344660 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19010/statm: 34043 33689 229 501 0 33539 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 136172
[startup+282.301 s]
/proc/loadavg: 1.99 1.64 1.61 3/178 19018
/proc/meminfo: memFree=31462344/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=153896 CPUtime=282.29 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 38699 0 0 0 28225 4 0 0 25 0 1 0 889281675 157589504 38146 33554432000 4194304 6245536 140735577393408 18446744073709551615 4323520 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19010/statm: 38474 38146 229 501 0 37970 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 153896
[startup+342.3 s]
/proc/loadavg: 1.99 1.70 1.63 3/178 19020
/proc/meminfo: memFree=31460200/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=155480 CPUtime=342.29 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 39090 0 0 0 34225 4 0 0 25 0 1 0 889281675 159211520 38537 33554432000 4194304 6245536 140735577393408 18446744073709551615 4344787 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19010/statm: 38870 38537 229 501 0 38366 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 155480
[startup+402.301 s]
/proc/loadavg: 1.99 1.76 1.65 3/178 19021
/proc/meminfo: memFree=31443292/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=171548 CPUtime=402.29 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 43068 0 0 0 40225 4 0 0 25 0 1 0 889281675 175665152 42515 33554432000 4194304 6245536 140735577393408 18446744073709551615 4408736 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19010/statm: 42887 42515 229 501 0 42383 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 171548
[startup+462.301 s]
/proc/loadavg: 1.99 1.80 1.67 3/178 19023
/proc/meminfo: memFree=31440884/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=173396 CPUtime=462.3 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 43537 0 0 0 46226 4 0 0 25 0 1 0 889281675 177557504 42984 33554432000 4194304 6245536 140735577393408 18446744073709551615 4324192 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19010/statm: 43349 42984 229 501 0 42845 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 173396
[startup+522.301 s]
/proc/loadavg: 2.04 1.85 1.69 3/178 19025
/proc/meminfo: memFree=31438604/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=175244 CPUtime=522.3 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 43991 0 0 0 52226 4 0 0 25 0 1 0 889281675 179449856 43438 33554432000 4194304 6245536 140735577393408 18446744073709551615 4635131 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19010/statm: 43811 43438 229 501 0 43307 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 175244
[startup+582.301 s]
/proc/loadavg: 2.01 1.87 1.71 3/178 19026
/proc/meminfo: memFree=31422552/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=191136 CPUtime=582.3 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 47962 0 0 0 58225 5 0 0 25 0 1 0 889281675 195723264 47409 33554432000 4194304 6245536 140735577393408 18446744073709551615 4344635 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19010/statm: 47784 47409 229 501 0 47280 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 191136
[startup+642.3 s]
################
# More data... #
################
[startup+882.306 s]
/proc/loadavg: 2.06 1.96 1.78 3/178 19034
/proc/meminfo: memFree=31395600/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=218640 CPUtime=882.31 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 54345 0 0 0 88226 5 0 0 25 0 1 0 889281675 223887360 53792 33554432000 4194304 6245536 140735577393408 18446744073709551615 4317348 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19010/statm: 54660 53792 229 501 0 54156 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 218640
[startup+942.3 s]
/proc/loadavg: 2.02 1.97 1.79 3/178 19036
/proc/meminfo: memFree=31392688/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=221412 CPUtime=942.3 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 55041 0 0 0 94225 5 0 0 25 0 1 0 889281675 226725888 54488 33554432000 4194304 6245536 140735577393408 18446744073709551615 4635131 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19010/statm: 55353 54488 229 501 0 54849 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 221412
[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.80 3/178 19038
/proc/meminfo: memFree=31392156/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=221808 CPUtime=1002.31 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 55166 0 0 0 100226 5 0 0 25 0 1 0 889281675 227131392 54613 33554432000 4194304 6245536 140735577393408 18446744073709551615 4302647 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19010/statm: 55452 54613 229 501 0 54948 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 221808
[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.82 3/178 19039
/proc/meminfo: memFree=31391348/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=222864 CPUtime=1062.31 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 55403 0 0 0 106226 5 0 0 25 0 1 0 889281675 228212736 54850 33554432000 4194304 6245536 140735577393408 18446744073709551615 5419248 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19010/statm: 55716 54850 229 501 0 55212 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 222864
[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.82 3/178 19041
/proc/meminfo: memFree=31389696/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=224580 CPUtime=1122.31 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 55833 0 0 0 112226 5 0 0 25 0 1 0 889281675 229969920 55280 33554432000 4194304 6245536 140735577393408 18446744073709551615 4317357 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19010/statm: 56145 55280 229 501 0 55641 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 224580
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.83 3/178 19042
/proc/meminfo: memFree=31388768/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=225240 CPUtime=1182.31 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 56015 0 0 0 118226 5 0 0 25 0 1 0 889281675 230645760 55462 33554432000 4194304 6245536 140735577393408 18446744073709551615 4635718 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19010/statm: 56310 55462 229 501 0 55806 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 225240
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.83 3/178 19044
/proc/meminfo: memFree=31386720/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=226956 CPUtime=1242.31 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 56442 0 0 0 124226 5 0 0 25 0 1 0 889281675 232402944 55889 33554432000 4194304 6245536 140735577393408 18446744073709551615 4408672 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19010/statm: 56739 55889 229 501 0 56235 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 226956
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.84 3/178 19045
/proc/meminfo: memFree=31369552/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=243720 CPUtime=1302.32 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 60646 0 0 0 130226 6 0 0 25 0 1 0 889281675 249569280 60093 33554432000 4194304 6245536 140735577393408 18446744073709551615 4324241 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19010/statm: 60930 60093 229 501 0 60426 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 243720
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.85 3/178 19047
/proc/meminfo: memFree=31366884/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=246492 CPUtime=1362.32 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 61326 0 0 0 136226 6 0 0 25 0 1 0 889281675 252407808 60773 33554432000 4194304 6245536 140735577393408 18446744073709551615 4637467 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19010/statm: 61623 60773 229 501 0 61119 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 246492
[startup+1422.3 s]
/proc/loadavg: 2.08 1.99 1.86 3/178 19049
/proc/meminfo: memFree=31363980/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=249000 CPUtime=1422.32 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 61959 0 0 0 142226 6 0 0 25 0 1 0 889281675 254976000 61406 33554432000 4194304 6245536 140735577393408 18446744073709551615 5364363 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19010/statm: 62250 61406 229 501 0 61746 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 249000
[startup+1482.3 s]
/proc/loadavg: 2.03 1.99 1.86 3/178 19050
/proc/meminfo: memFree=31364044/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=249000 CPUtime=1482.32 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 61959 0 0 0 148226 6 0 0 25 0 1 0 889281675 254976000 61406 33554432000 4194304 6245536 140735577393408 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19010/statm: 62250 61406 229 501 0 61746 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 249000
[startup+1542.31 s]
/proc/loadavg: 2.01 1.99 1.87 3/178 19052
/proc/meminfo: memFree=31363732/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=249264 CPUtime=1542.33 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 62029 0 0 0 154227 6 0 0 25 0 1 0 889281675 255246336 61476 33554432000 4194304 6245536 140735577393408 18446744073709551615 4325080 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19010/statm: 62316 61476 229 501 0 61812 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 249264
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/178 19053
/proc/meminfo: memFree=31362928/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=250188 CPUtime=1602.32 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 62263 0 0 0 160226 6 0 0 25 0 1 0 889281675 256192512 61710 33554432000 4194304 6245536 140735577393408 18446744073709551615 4635736 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19010/statm: 62547 61710 229 501 0 62043 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 250188
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/178 19055
/proc/meminfo: memFree=31362864/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=250320 CPUtime=1662.32 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 62278 0 0 0 166226 6 0 0 25 0 1 0 889281675 256327680 61725 33554432000 4194304 6245536 140735577393408 18446744073709551615 4317354 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19010/statm: 62580 61725 229 501 0 62076 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 250320
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/178 19057
/proc/meminfo: memFree=31362556/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=250716 CPUtime=1722.32 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 62378 0 0 0 172226 6 0 0 25 0 1 0 889281675 256733184 61825 33554432000 4194304 6245536 140735577393408 18446744073709551615 4634497 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19010/statm: 62679 61825 229 501 0 62175 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 250716
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/178 19058
/proc/meminfo: memFree=31361508/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=251508 CPUtime=1782.33 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 62593 0 0 0 178227 6 0 0 25 0 1 0 889281675 257544192 62040 33554432000 4194304 6245536 140735577393408 18446744073709551615 4324716 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19010/statm: 62877 62040 229 501 0 62373 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 251508
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 1.99 1.89 2/176 19060
/proc/meminfo: memFree=31381840/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=251640 CPUtime=1800.03 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 62607 0 0 0 179997 6 0 0 25 0 1 0 889281675 257679360 62054 33554432000 4194304 6245536 140735577393408 18446744073709551615 4325096 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19010/statm: 62910 62054 229 501 0 62406 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 251640
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.00 1.99 1.89 2/176 19060
/proc/meminfo: memFree=31381840/32951124 swapFree=67052812/67111528
[pid=19010] ppid=19008 vsize=251640 CPUtime=1800.03 cores=1,3,5,7
/proc/19010/stat : 19010 (clasp) R 19008 19010 15120 0 -1 4202496 62607 0 0 0 179997 6 0 0 25 0 1 0 889281675 257679360 62054 33554432000 4194304 6245536 140735577393408 18446744073709551615 4325096 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19010/statm: 62910 62054 229 501 0 62406 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 251640
Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.05
CPU user time (s): 1799.98
CPU system time (s): 0.076988
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 251640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.076988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62617
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= 3
involuntary context switches= 4546
runsolver used 2.35764 second user time and 5.83511 second system time
The end