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-3469493-1307104109/watcher-3469493-1307104109 -o /tmp/evaluation-result-3469493-1307104109/solver-3469493-1307104109 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469493-1307104109.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.10 2.04 2.01 2/498 13190
/proc/meminfo: memFree=30445864/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/13190/stat : 13190 (runsolver) R 13188 13190 12330 0 -1 4202560 41 0 0 0 0 0 0 0 25 0 1 0 822011811 12079104 50 33554432000 4194304 5432328 140735181091296 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/13190/statm: 2949 50 31 303 0 2643 0
[startup+0.046412 s]
/proc/loadavg: 2.10 2.04 2.01 2/498 13190
/proc/meminfo: memFree=30445864/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=20732 CPUtime=0.02 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 3029 0 0 0 2 0 0 0 25 0 1 0 822011811 21229568 2452 33554432000 4194304 4933572 140734176430560 18446744073709551615 270612771525 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 5183 2454 338 181 0 2192 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20732
[startup+0.100418 s]
/proc/loadavg: 2.10 2.04 2.01 2/498 13190
/proc/meminfo: memFree=30445864/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=21876 CPUtime=0.07 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 3644 0 0 0 7 0 0 0 25 0 1 0 822011811 22401024 2809 33554432000 4194304 4933572 140734176430560 18446744073709551615 4649730 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 5469 2809 366 181 0 2478 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 21876
[startup+0.300396 s]
/proc/loadavg: 2.10 2.04 2.01 2/498 13190
/proc/meminfo: memFree=30445864/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=22008 CPUtime=0.27 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 3695 0 0 0 27 0 0 0 25 0 1 0 822011811 22536192 2860 33554432000 4194304 4933572 140734176430560 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 5502 2860 373 181 0 2511 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 22008
[startup+0.700339 s]
/proc/loadavg: 2.10 2.04 2.01 2/498 13190
/proc/meminfo: memFree=30445864/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=23732 CPUtime=0.67 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 4104 0 0 0 67 0 0 0 25 0 1 0 822011811 24301568 3269 33554432000 4194304 4933572 140734176430560 18446744073709551615 4648934 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 5933 3269 373 181 0 2942 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 23732
[startup+1.50019 s]
/proc/loadavg: 2.10 2.04 2.01 3/499 13191
/proc/meminfo: memFree=30432848/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=24808 CPUtime=1.47 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 4387 0 0 0 147 0 0 0 25 0 1 0 822011811 25403392 3552 33554432000 4194304 4933572 140734176430560 18446744073709551615 4648318 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 6202 3552 373 181 0 3211 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 24808
[startup+3.1009 s]
/proc/loadavg: 2.10 2.04 2.01 4/499 13191
/proc/meminfo: memFree=30428632/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=31172 CPUtime=3.07 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 5964 0 0 0 307 0 0 0 25 0 1 0 822011811 31920128 5129 33554432000 4194304 4933572 140734176430560 18446744073709551615 4648411 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 7793 5129 374 181 0 4802 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 31172
[startup+6.30034 s]
/proc/loadavg: 2.10 2.04 2.01 3/499 13191
/proc/meminfo: memFree=30424392/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=31172 CPUtime=6.27 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 5965 0 0 0 627 0 0 0 25 0 1 0 822011811 31920128 5130 33554432000 4194304 4933572 140734176430560 18446744073709551615 4648582 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 7793 5130 374 181 0 4802 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 31172
[startup+12.7002 s]
/proc/loadavg: 2.08 2.04 2.01 3/499 13191
/proc/meminfo: memFree=30423788/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=31172 CPUtime=12.67 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 5965 0 0 0 1267 0 0 0 25 0 1 0 822011811 31920128 5130 33554432000 4194304 4933572 140734176430560 18446744073709551615 4648440 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 7793 5130 374 181 0 4802 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 31172
[startup+25.5009 s]
/proc/loadavg: 2.07 2.04 2.01 3/499 13191
/proc/meminfo: memFree=30423528/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=31436 CPUtime=25.47 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 6049 0 0 0 2547 0 0 0 25 0 1 0 822011811 32190464 5214 33554432000 4194304 4933572 140734176430560 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 7859 5214 374 181 0 4868 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 31436
[startup+51.1004 s]
/proc/loadavg: 2.04 2.03 2.00 3/499 13192
/proc/meminfo: memFree=30394220/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=62200 CPUtime=51.03 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 13352 0 0 0 5101 2 0 0 25 0 1 0 822011811 63692800 12517 33554432000 4194304 4933572 140734176430560 18446744073709551615 4648387 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 15550 12517 374 181 0 12559 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 62200
[startup+102.318 s]
/proc/loadavg: 2.12 2.06 2.01 3/499 13193
/proc/meminfo: memFree=30392832/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=62200 CPUtime=102.24 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 13354 0 0 0 10222 2 0 0 25 0 1 0 822011811 63692800 12519 33554432000 4194304 4933572 140734176430560 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 15550 12519 374 181 0 12559 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 62200
[startup+162.301 s]
/proc/loadavg: 2.09 2.06 2.01 3/499 13195
/proc/meminfo: memFree=30392320/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=63124 CPUtime=162.22 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 13604 0 0 0 16220 2 0 0 25 0 1 0 822011811 64638976 12769 33554432000 4194304 4933572 140734176430560 18446744073709551615 4717035 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 15781 12769 374 181 0 12790 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 63124
[startup+222.301 s]
/proc/loadavg: 2.03 2.05 2.00 3/499 13197
/proc/meminfo: memFree=30384596/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=70268 CPUtime=222.22 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 15391 0 0 0 22220 2 0 0 25 0 1 0 822011811 71954432 14556 33554432000 4194304 4933572 140734176430560 18446744073709551615 4717059 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 17567 14556 374 181 0 14576 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 70268
[startup+282.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 13198
/proc/meminfo: memFree=30385424/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=70268 CPUtime=282.22 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 15392 0 0 0 28220 2 0 0 25 0 1 0 822011811 71954432 14557 33554432000 4194304 4933572 140734176430560 18446744073709551615 4717047 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 17567 14557 374 181 0 14576 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 70268
[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 13200
/proc/meminfo: memFree=30321172/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=134204 CPUtime=342.22 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 31289 0 0 0 34218 4 0 0 25 0 1 0 822011811 137424896 30454 33554432000 4194304 4933572 140734176430560 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 33551 30454 374 181 0 30560 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 134204
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 13201
/proc/meminfo: memFree=30320512/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=134204 CPUtime=402.22 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 31290 0 0 0 40218 4 0 0 25 0 1 0 822011811 137424896 30455 33554432000 4194304 4933572 140734176430560 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 33551 30455 374 181 0 30560 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 134204
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 13203
/proc/meminfo: memFree=30321220/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=134204 CPUtime=462.22 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 31290 0 0 0 46218 4 0 0 25 0 1 0 822011811 137424896 30455 33554432000 4194304 4933572 140734176430560 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 33551 30455 374 181 0 30560 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 134204
[startup+522.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/499 13205
/proc/meminfo: memFree=30322184/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=134204 CPUtime=522.22 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 31290 0 0 0 52218 4 0 0 25 0 1 0 822011811 137424896 30455 33554432000 4194304 4933572 140734176430560 18446744073709551615 4717069 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 33551 30455 374 181 0 30560 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 134204
[startup+582.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/499 13206
/proc/meminfo: memFree=30321644/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=134204 CPUtime=582.23 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 31291 0 0 0 58219 4 0 0 25 0 1 0 822011811 137424896 30456 33554432000 4194304 4933572 140734176430560 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 33551 30456 374 181 0 30560 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 134204
[startup+642.301 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 13214
/proc/meminfo: memFree=30320880/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=134204 CPUtime=882.23 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 31293 0 0 0 88219 4 0 0 25 0 1 0 822011811 137424896 30458 33554432000 4194304 4933572 140734176430560 18446744073709551615 4637168 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 33551 30458 374 181 0 30560 0
Current children cumulated CPU time (s) 882.23
Current children cumulated vsize (KiB) 134204
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 13216
/proc/meminfo: memFree=30321232/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=134204 CPUtime=942.23 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 31293 0 0 0 94219 4 0 0 25 0 1 0 822011811 137424896 30458 33554432000 4194304 4933572 140734176430560 18446744073709551615 4635702 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 33551 30458 374 181 0 30560 0
Current children cumulated CPU time (s) 942.23
Current children cumulated vsize (KiB) 134204
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 13217
/proc/meminfo: memFree=30320700/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=134204 CPUtime=1002.24 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 31293 0 0 0 100220 4 0 0 25 0 1 0 822011811 137424896 30458 33554432000 4194304 4933572 140734176430560 18446744073709551615 4717073 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 33551 30458 374 181 0 30560 0
Current children cumulated CPU time (s) 1002.24
Current children cumulated vsize (KiB) 134204
[startup+1062.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/499 13219
/proc/meminfo: memFree=30319552/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=134204 CPUtime=1062.24 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 31294 0 0 0 106220 4 0 0 25 0 1 0 822011811 137424896 30459 33554432000 4194304 4933572 140734176430560 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 33551 30459 374 181 0 30560 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 134204
[startup+1122.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/499 13221
/proc/meminfo: memFree=30320620/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=134204 CPUtime=1122.24 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 31294 0 0 0 112220 4 0 0 25 0 1 0 822011811 137424896 30459 33554432000 4194304 4933572 140734176430560 18446744073709551615 4341956 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 33551 30459 374 181 0 30560 0
Current children cumulated CPU time (s) 1122.24
Current children cumulated vsize (KiB) 134204
[startup+1182.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/499 13222
/proc/meminfo: memFree=30320092/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=134204 CPUtime=1182.24 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 31294 0 0 0 118220 4 0 0 25 0 1 0 822011811 137424896 30459 33554432000 4194304 4933572 140734176430560 18446744073709551615 4717240 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 33551 30459 374 181 0 30560 0
Current children cumulated CPU time (s) 1182.24
Current children cumulated vsize (KiB) 134204
[startup+1242.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/499 13224
/proc/meminfo: memFree=30319336/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=134204 CPUtime=1242.24 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 31294 0 0 0 124220 4 0 0 25 0 1 0 822011811 137424896 30459 33554432000 4194304 4933572 140734176430560 18446744073709551615 4717269 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 33551 30459 374 181 0 30560 0
Current children cumulated CPU time (s) 1242.24
Current children cumulated vsize (KiB) 134204
[startup+1302.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/499 13225
/proc/meminfo: memFree=30319292/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=134204 CPUtime=1302.25 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 31294 0 0 0 130221 4 0 0 25 0 1 0 822011811 137424896 30459 33554432000 4194304 4933572 140734176430560 18446744073709551615 4717240 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 33551 30459 374 181 0 30560 0
Current children cumulated CPU time (s) 1302.25
Current children cumulated vsize (KiB) 134204
[startup+1362.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/499 13227
/proc/meminfo: memFree=30319272/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=134204 CPUtime=1362.24 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 31295 0 0 0 136220 4 0 0 25 0 1 0 822011811 137424896 30460 33554432000 4194304 4933572 140734176430560 18446744073709551615 4648709 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 33551 30460 374 181 0 30560 0
Current children cumulated CPU time (s) 1362.24
Current children cumulated vsize (KiB) 134204
[startup+1422.32 s]
/proc/loadavg: 2.01 2.04 2.00 3/499 13229
/proc/meminfo: memFree=30319112/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=134204 CPUtime=1422.26 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 31301 0 0 0 142222 4 0 0 25 0 1 0 822011811 137424896 30466 33554432000 4194304 4933572 140734176430560 18446744073709551615 4717024 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 33551 30466 374 181 0 30560 0
Current children cumulated CPU time (s) 1422.26
Current children cumulated vsize (KiB) 134204
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 13230
/proc/meminfo: memFree=30318828/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=134872 CPUtime=1482.25 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 31478 0 0 0 148221 4 0 0 25 0 1 0 822011811 138108928 30643 33554432000 4194304 4933572 140734176430560 18446744073709551615 4717059 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 33718 30643 374 181 0 30727 0
Current children cumulated CPU time (s) 1482.25
Current children cumulated vsize (KiB) 134872
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 13232
/proc/meminfo: memFree=30319928/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=135028 CPUtime=1542.25 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 31517 0 0 0 154221 4 0 0 25 0 1 0 822011811 138268672 30682 33554432000 4194304 4933572 140734176430560 18446744073709551615 4648387 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 33757 30682 374 181 0 30766 0
Current children cumulated CPU time (s) 1542.25
Current children cumulated vsize (KiB) 135028
[startup+1602.3 s]
/proc/loadavg: 1.47 1.88 1.95 2/493 13251
/proc/meminfo: memFree=30336976/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=135028 CPUtime=1602.25 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 31517 0 0 0 160221 4 0 0 25 0 1 0 822011811 138268672 30682 33554432000 4194304 4933572 140734176430560 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 33757 30682 374 181 0 30766 0
Current children cumulated CPU time (s) 1602.25
Current children cumulated vsize (KiB) 135028
[startup+1662.3 s]
/proc/loadavg: 1.17 1.71 1.89 2/493 13253
/proc/meminfo: memFree=30334976/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=137464 CPUtime=1662.26 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 32109 0 0 0 166221 5 0 0 25 0 1 0 822011811 140763136 31274 33554432000 4194304 4933572 140734176430560 18446744073709551615 4717059 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 34366 31274 374 181 0 31375 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 137464
[startup+1722.3 s]
/proc/loadavg: 1.06 1.58 1.83 2/493 13255
/proc/meminfo: memFree=30334564/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=137740 CPUtime=1722.26 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 32149 0 0 0 172221 5 0 0 25 0 1 0 822011811 141045760 31314 33554432000 4194304 4933572 140734176430560 18446744073709551615 4717010 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 34435 31314 374 181 0 31444 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 137740
[startup+1782.3 s]
/proc/loadavg: 1.13 1.50 1.79 2/493 13256
/proc/meminfo: memFree=30333052/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=138352 CPUtime=1782.26 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 32285 0 0 0 178221 5 0 0 25 0 1 0 822011811 141672448 31450 33554432000 4194304 4933572 140734176430560 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 34588 31450 374 181 0 31597 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 138352
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 1.10 1.48 1.77 2/493 13257
/proc/meminfo: memFree=30330820/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=141464 CPUtime=1800.07 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 33060 0 0 0 180002 5 0 0 25 0 1 0 822011811 144859136 32225 33554432000 4194304 4933572 140734176430560 18446744073709551615 4637179 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 35366 32225 374 181 0 32375 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 141464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 1.10 1.48 1.77 2/493 13257
/proc/meminfo: memFree=30330820/32951124 swapFree=53876548/67111528
[pid=13190] ppid=13188 vsize=141464 CPUtime=1800.07 cores=0,2,4,6
/proc/13190/stat : 13190 (clasp) R 13188 13190 12330 0 -1 4202496 33060 0 0 0 180002 5 0 0 25 0 1 0 822011811 144859136 32225 33554432000 4194304 4933572 140734176430560 18446744073709551615 4637179 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13190/statm: 35366 32225 374 181 0 32375 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 141464
Child status: 10
Real time (s): 1800.13
CPU time (s): 1800.09
CPU user time (s): 1800.04
CPU system time (s): 0.056991
CPU usage (%): 99.9983
Max. virtual memory (cumulated for all children) (KiB): 141464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.056991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33070
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= 9
involuntary context switches= 3470
runsolver used 9.64353 second user time and 19.1861 second system time
The end