runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3469331-1307091083/watcher-3469331-1307091083 -o /tmp/evaluation-result-3469331-1307091083/solver-3469331-1307091083 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469331-1307091083.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: 1.95 2.01 2.00 3/468 6097
/proc/meminfo: memFree=24224816/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=15912 CPUtime=0 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 1396 0 0 0 0 0 0 0 21 0 1 0 899338753 16293888 1210 33554432000 4194304 4933572 140736950398304 18446744073709551615 252457726661 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 3978 1212 321 181 0 987 0
[startup+0.0339829 s]
/proc/loadavg: 1.95 2.01 2.00 3/468 6097
/proc/meminfo: memFree=24224816/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=20540 CPUtime=0.03 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 2958 0 0 0 3 0 0 0 21 0 1 0 899338753 21032960 2388 33554432000 4194304 4933572 140736950398304 18446744073709551615 252457726661 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 5135 2388 340 181 0 2144 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 20540
[startup+0.101001 s]
/proc/loadavg: 1.95 2.01 2.00 3/468 6097
/proc/meminfo: memFree=24224816/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=22204 CPUtime=0.09 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 3688 0 0 0 9 0 0 0 21 0 1 0 899338753 22736896 2865 33554432000 4194304 4933572 140736950398304 18446744073709551615 4579099 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 5551 2865 359 181 0 2560 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22204
[startup+0.300962 s]
/proc/loadavg: 1.95 2.01 2.00 3/468 6097
/proc/meminfo: memFree=24224816/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=22336 CPUtime=0.29 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 3720 0 0 0 29 0 0 0 22 0 1 0 899338753 22872064 2897 33554432000 4194304 4933572 140736950398304 18446744073709551615 4637260 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 5584 2897 374 181 0 2593 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22336
[startup+0.700884 s]
/proc/loadavg: 1.95 2.01 2.00 3/468 6097
/proc/meminfo: memFree=24224816/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=23260 CPUtime=0.69 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 3975 0 0 0 69 0 0 0 24 0 1 0 899338753 23818240 3152 33554432000 4194304 4933572 140736950398304 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 5815 3152 374 181 0 2824 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23260
[startup+1.50074 s]
/proc/loadavg: 1.95 2.01 2.00 3/470 6126
/proc/meminfo: memFree=24198992/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=24316 CPUtime=1.49 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 4231 0 0 0 149 0 0 0 25 0 1 0 899338753 24899584 3408 33554432000 4194304 4933572 140736950398304 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 6079 3408 374 181 0 3088 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24316
[startup+3.10044 s]
/proc/loadavg: 1.95 2.01 2.00 3/470 6126
/proc/meminfo: memFree=24184856/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=26172 CPUtime=3.09 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 4703 0 0 0 309 0 0 0 25 0 1 0 899338753 26800128 3880 33554432000 4194304 4933572 140736950398304 18446744073709551615 4648528 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 6543 3880 374 181 0 3552 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26172
[startup+6.30084 s]
/proc/loadavg: 1.95 2.01 2.00 3/470 6126
/proc/meminfo: memFree=24178044/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=28576 CPUtime=6.29 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 5266 0 0 0 629 0 0 0 25 0 1 0 899338753 29261824 4443 33554432000 4194304 4933572 140736950398304 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 7144 4443 374 181 0 4153 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28576
[startup+12.7006 s]
/proc/loadavg: 1.95 2.01 2.00 3/470 6126
/proc/meminfo: memFree=24165824/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=31704 CPUtime=12.69 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 6053 0 0 0 1269 0 0 0 25 0 1 0 899338753 32464896 5230 33554432000 4194304 4933572 140736950398304 18446744073709551615 4428510 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 7926 5230 374 181 0 4935 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31704
[startup+25.5002 s]
/proc/loadavg: 1.96 2.01 2.00 3/470 6127
/proc/meminfo: memFree=24157896/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=35932 CPUtime=25.49 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 7051 0 0 0 2549 0 0 0 25 0 1 0 899338753 36794368 6228 33554432000 4194304 4933572 140736950398304 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 8983 6228 374 181 0 5992 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35932
[startup+51.1005 s]
/proc/loadavg: 2.09 2.04 2.00 3/470 6127
/proc/meminfo: memFree=24144328/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=41708 CPUtime=51.09 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 8412 0 0 0 5108 1 0 0 25 0 1 0 899338753 42708992 7589 33554432000 4194304 4933572 140736950398304 18446744073709551615 4323971 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 10427 7589 374 181 0 7436 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 41708
[startup+102.317 s]
/proc/loadavg: 2.10 2.05 2.00 3/470 6129
/proc/meminfo: memFree=24123096/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=50204 CPUtime=102.31 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 10411 0 0 0 10230 1 0 0 25 0 1 0 899338753 51408896 9588 33554432000 4194304 4933572 140736950398304 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 12551 9588 374 181 0 9560 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 50204
[startup+162.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/470 6130
/proc/meminfo: memFree=24108052/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=56640 CPUtime=162.29 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 11868 0 0 0 16228 1 0 0 25 0 1 0 899338753 57999360 11045 33554432000 4194304 4933572 140736950398304 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 14160 11045 374 181 0 11169 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 56640
[startup+222.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 6132
/proc/meminfo: memFree=24095488/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=61064 CPUtime=222.3 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 12874 0 0 0 22229 1 0 0 25 0 1 0 899338753 62529536 12051 33554432000 4194304 4933572 140736950398304 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 15266 12051 374 181 0 12275 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 61064
[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/470 6134
/proc/meminfo: memFree=24082688/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=67888 CPUtime=282.3 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 14423 0 0 0 28229 1 0 0 25 0 1 0 899338753 69517312 13600 33554432000 4194304 4933572 140736950398304 18446744073709551615 4428619 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 16972 13600 374 181 0 13981 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 67888
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 6135
/proc/meminfo: memFree=24076964/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=69932 CPUtime=342.3 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 14873 0 0 0 34229 1 0 0 25 0 1 0 899338753 71610368 14050 33554432000 4194304 4933572 140736950398304 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 17483 14050 374 181 0 14492 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 69932
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 6137
/proc/meminfo: memFree=24068744/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=76308 CPUtime=402.3 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 16305 0 0 0 40229 1 0 0 25 0 1 0 899338753 78139392 15482 33554432000 4194304 4933572 140736950398304 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 19077 15482 374 181 0 16086 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 76308
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 6138
/proc/meminfo: memFree=24059040/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=79112 CPUtime=462.3 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 16961 0 0 0 46229 1 0 0 25 0 1 0 899338753 81010688 16138 33554432000 4194304 4933572 140736950398304 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 19778 16138 374 181 0 16787 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 79112
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 6140
/proc/meminfo: memFree=24053552/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=80032 CPUtime=522.3 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 17189 0 0 0 52229 1 0 0 25 0 1 0 899338753 81952768 16366 33554432000 4194304 4933572 140736950398304 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 20008 16366 374 181 0 17017 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 80032
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 6151
/proc/meminfo: memFree=24046964/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=83748 CPUtime=582.31 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 18039 0 0 0 58229 2 0 0 25 0 1 0 899338753 85757952 17216 33554432000 4194304 4933572 140736950398304 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 20937 17216 374 181 0 17946 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 83748
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/470 6157
/proc/meminfo: memFree=24025568/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=92632 CPUtime=822.32 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 20033 0 0 0 82230 2 0 0 25 0 1 0 899338753 94855168 19210 33554432000 4194304 4933572 140736950398304 18446744073709551615 4625192 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 23158 19210 374 181 0 20167 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 92632
[startup+882.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/470 6159
/proc/meminfo: memFree=24022564/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=92632 CPUtime=882.32 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 20075 0 0 0 88230 2 0 0 25 0 1 0 899338753 94855168 19252 33554432000 4194304 4933572 140736950398304 18446744073709551615 4649145 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 23158 19252 374 181 0 20167 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 92632
[startup+942.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 6160
/proc/meminfo: memFree=24017576/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=96448 CPUtime=942.32 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 20886 0 0 0 94230 2 0 0 25 0 1 0 899338753 98762752 20063 33554432000 4194304 4933572 140736950398304 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 24112 20063 374 181 0 21121 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 96448
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 6162
/proc/meminfo: memFree=24017168/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=97884 CPUtime=1002.32 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 21223 0 0 0 100230 2 0 0 25 0 1 0 899338753 100233216 20400 33554432000 4194304 4933572 140736950398304 18446744073709551615 4319345 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 24471 20400 374 181 0 21480 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 97884
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 6163
/proc/meminfo: memFree=24014044/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=99464 CPUtime=1062.33 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 21580 0 0 0 106230 3 0 0 25 0 1 0 899338753 101851136 20757 33554432000 4194304 4933572 140736950398304 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 24866 20757 374 181 0 21875 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 99464
[startup+1122.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/470 6165
/proc/meminfo: memFree=24003088/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=99872 CPUtime=1122.33 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 21716 0 0 0 112230 3 0 0 25 0 1 0 899338753 102268928 20893 33554432000 4194304 4933572 140736950398304 18446744073709551615 252457723666 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 24968 20893 374 181 0 21977 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 99872
[startup+1182.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/470 6167
/proc/meminfo: memFree=23999716/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=100728 CPUtime=1182.33 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 21878 0 0 0 118230 3 0 0 25 0 1 0 899338753 103145472 21055 33554432000 4194304 4933572 140736950398304 18446744073709551615 4649369 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 25182 21055 374 181 0 22191 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 100728
[startup+1242.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/470 6168
/proc/meminfo: memFree=23994480/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=102340 CPUtime=1242.33 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 22226 0 0 0 124230 3 0 0 25 0 1 0 899338753 104796160 21403 33554432000 4194304 4933572 140736950398304 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 25585 21403 374 181 0 22594 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 102340
[startup+1302.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/470 6170
/proc/meminfo: memFree=23990608/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=103192 CPUtime=1302.34 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 22407 0 0 0 130231 3 0 0 25 0 1 0 899338753 105668608 21584 33554432000 4194304 4933572 140736950398304 18446744073709551615 4427998 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 25798 21584 374 181 0 22807 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 103192
[startup+1362.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/470 6171
/proc/meminfo: memFree=23989964/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=104332 CPUtime=1362.33 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 22650 0 0 0 136230 3 0 0 25 0 1 0 899338753 106835968 21827 33554432000 4194304 4933572 140736950398304 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 26083 21827 374 181 0 23092 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 104332
[startup+1422.32 s]
/proc/loadavg: 2.04 2.04 2.00 3/470 6173
/proc/meminfo: memFree=23987336/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=104900 CPUtime=1422.35 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 22787 0 0 0 142232 3 0 0 25 0 1 0 899338753 107417600 21964 33554432000 4194304 4933572 140736950398304 18446744073709551615 4428077 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 26225 21964 374 181 0 23234 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 104900
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 6175
/proc/meminfo: memFree=23982348/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=107720 CPUtime=1482.34 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 23439 0 0 0 148231 3 0 0 25 0 1 0 899338753 110305280 22616 33554432000 4194304 4933572 140736950398304 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 26930 22616 374 181 0 23939 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 107720
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 6176
/proc/meminfo: memFree=23979476/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=110240 CPUtime=1542.34 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 24008 0 0 0 154231 3 0 0 25 0 1 0 899338753 112885760 23185 33554432000 4194304 4933572 140736950398304 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 27560 23185 374 181 0 24569 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 110240
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 6178
/proc/meminfo: memFree=23975476/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=111556 CPUtime=1602.34 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 24309 0 0 0 160231 3 0 0 25 0 1 0 899338753 114233344 23486 33554432000 4194304 4933572 140736950398304 18446744073709551615 4649366 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 27889 23486 374 181 0 24898 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 111556
[startup+1662.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/470 6179
/proc/meminfo: memFree=23971980/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=112440 CPUtime=1662.34 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 24505 0 0 0 166231 3 0 0 25 0 1 0 899338753 115138560 23682 33554432000 4194304 4933572 140736950398304 18446744073709551615 4429128 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 28110 23682 374 181 0 25119 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 112440
[startup+1722.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/470 6181
/proc/meminfo: memFree=23969584/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=113392 CPUtime=1722.35 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 24714 0 0 0 172232 3 0 0 25 0 1 0 899338753 116113408 23891 33554432000 4194304 4933572 140736950398304 18446744073709551615 4428384 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 28348 23891 374 181 0 25357 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 113392
[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/470 6183
/proc/meminfo: memFree=23961004/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=114052 CPUtime=1782.35 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 24880 0 0 0 178232 3 0 0 25 0 1 0 899338753 116789248 24057 33554432000 4194304 4933572 140736950398304 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 28513 24057 374 181 0 25522 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 114052
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 2.03 2.00 3/470 6183
/proc/meminfo: memFree=23959012/32951124 swapFree=56297244/67111528
[pid=6097] ppid=6095 vsize=114340 CPUtime=1800.05 cores=0,2,4,6
/proc/6097/stat : 6097 (clasp) R 6095 6097 1430 0 -1 4202496 24939 0 0 0 180002 3 0 0 25 0 1 0 899338753 117084160 24116 33554432000 4194304 4933572 140736950398304 18446744073709551615 4319413 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6097/statm: 28585 24116 374 181 0 25594 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 114340
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.02
CPU time (s): 1800.08
CPU user time (s): 1800.04
CPU system time (s): 0.041993
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 114340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.041993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24949
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= 7
involuntary context switches= 4448
runsolver used 8.68468 second user time and 17.6733 second system time
The end