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-3479292-1307449421/watcher-3479292-1307449421 -o /tmp/evaluation-result-3479292-1307449421/solver-3479292-1307449421 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3479292-1307449421.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
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.03 2.00 3/575 23874
/proc/meminfo: memFree=23278564/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=14028 CPUtime=0 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 867 0 0 0 0 0 0 0 25 0 1 0 856539889 14364672 801 33554432000 4194304 4933572 140735177875776 18446744073709551615 212687336133 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 3507 803 329 181 0 516 0
[startup+0.0993811 s]
/proc/loadavg: 2.00 2.03 2.00 3/575 23874
/proc/meminfo: memFree=23278564/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=17936 CPUtime=0.09 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 1909 0 0 0 9 0 0 0 25 0 1 0 856539889 18366464 1842 33554432000 4194304 4933572 140735177875776 18446744073709551615 212687336133 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 4484 1842 371 181 0 1493 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17936
[startup+0.100367 s]
/proc/loadavg: 2.00 2.03 2.00 3/575 23874
/proc/meminfo: memFree=23278564/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=18064 CPUtime=0.09 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 1915 0 0 0 9 0 0 0 25 0 1 0 856539889 18497536 1848 33554432000 4194304 4933572 140735177875776 18446744073709551615 4632290 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 4516 1848 371 181 0 1525 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18064
[startup+0.300362 s]
/proc/loadavg: 2.00 2.03 2.00 3/575 23874
/proc/meminfo: memFree=23278564/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=21792 CPUtime=0.29 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 2874 0 0 0 29 0 0 0 25 0 1 0 856539889 22315008 2807 33554432000 4194304 4933572 140735177875776 18446744073709551615 4664056 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 5448 2807 378 181 0 2457 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21792
[startup+0.700282 s]
/proc/loadavg: 2.00 2.03 2.00 3/575 23874
/proc/meminfo: memFree=23278564/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=23200 CPUtime=0.69 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 3227 0 0 0 69 0 0 0 25 0 1 0 856539889 23756800 3160 33554432000 4194304 4933572 140735177875776 18446744073709551615 4342106 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 5800 3160 378 181 0 2809 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23200
[startup+1.50111 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 23875
/proc/meminfo: memFree=23265420/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=25008 CPUtime=1.49 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 3658 0 0 0 149 0 0 0 25 0 1 0 856539889 25608192 3591 33554432000 4194304 4933572 140735177875776 18446744073709551615 4328785 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 6252 3591 378 181 0 3261 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25008
[startup+3.10083 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 23875
/proc/meminfo: memFree=23262196/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=27060 CPUtime=3.09 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 4179 0 0 0 309 0 0 0 25 0 1 0 856539889 27709440 4112 33554432000 4194304 4933572 140735177875776 18446744073709551615 4717466 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 6765 4112 378 181 0 3774 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27060
[startup+6.30024 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 23875
/proc/meminfo: memFree=23259468/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=29756 CPUtime=6.29 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 4863 0 0 0 629 0 0 0 25 0 1 0 856539889 30470144 4796 33554432000 4194304 4933572 140735177875776 18446744073709551615 4717660 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 7439 4796 378 181 0 4448 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29756
[startup+12.7011 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 23875
/proc/meminfo: memFree=23255620/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=31824 CPUtime=12.69 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 5376 0 0 0 1269 0 0 0 25 0 1 0 856539889 32587776 5309 33554432000 4194304 4933572 140735177875776 18446744073709551615 4713033 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 7956 5309 378 181 0 4965 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31824
[startup+25.5007 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 23875
/proc/meminfo: memFree=23251156/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=36420 CPUtime=25.48 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 6586 0 0 0 2548 0 0 0 25 0 1 0 856539889 37294080 6458 33554432000 4194304 4933572 140735177875776 18446744073709551615 4428510 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 9105 6458 378 181 0 6114 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 36420
[startup+51.1011 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 23876
/proc/meminfo: memFree=23249876/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=37604 CPUtime=51.08 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 6918 0 0 0 5108 0 0 0 25 0 1 0 856539889 38506496 6759 33554432000 4194304 4933572 140735177875776 18446744073709551615 4664059 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 9401 6759 378 181 0 6410 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 37604
[startup+102.322 s]
/proc/loadavg: 2.12 2.05 2.01 3/576 23877
/proc/meminfo: memFree=23248488/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=39096 CPUtime=102.31 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 7448 0 0 0 10230 1 0 0 25 0 1 0 856539889 40034304 7143 33554432000 4194304 4933572 140735177875776 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 9774 7143 378 181 0 6783 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 39096
[startup+162.301 s]
/proc/loadavg: 2.14 2.07 2.01 3/576 23879
/proc/meminfo: memFree=23246740/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=39708 CPUtime=162.29 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 7872 0 0 0 16228 1 0 0 25 0 1 0 856539889 40660992 7290 33554432000 4194304 4933572 140735177875776 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 9927 7290 378 181 0 6936 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 39708
[startup+222.301 s]
/proc/loadavg: 2.05 2.05 2.01 3/576 23880
/proc/meminfo: memFree=23244976/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=40164 CPUtime=222.29 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 8182 0 0 0 22228 1 0 0 25 0 1 0 856539889 41127936 7410 33554432000 4194304 4933572 140735177875776 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 10041 7410 378 181 0 7050 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 40164
[startup+282.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/576 23882
/proc/meminfo: memFree=23244592/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=40676 CPUtime=282.29 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 8536 0 0 0 28228 1 0 0 25 0 1 0 856539889 41652224 7538 33554432000 4194304 4933572 140735177875776 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 10169 7538 378 181 0 7178 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 40676
[startup+342.301 s]
/proc/loadavg: 2.08 2.06 2.01 3/576 23884
/proc/meminfo: memFree=23241204/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=41096 CPUtime=342.29 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 8930 0 0 0 34228 1 0 0 25 0 1 0 856539889 42082304 7612 33554432000 4194304 4933572 140735177875776 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 10274 7612 378 181 0 7283 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 41096
[startup+402.301 s]
/proc/loadavg: 2.06 2.06 2.01 3/576 23885
/proc/meminfo: memFree=23240936/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=41576 CPUtime=402.29 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 9276 0 0 0 40228 1 0 0 25 0 1 0 856539889 42573824 7760 33554432000 4194304 4933572 140735177875776 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 10394 7760 378 181 0 7403 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 41576
[startup+462.301 s]
/proc/loadavg: 2.02 2.05 2.00 3/576 23887
/proc/meminfo: memFree=23236328/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=41500 CPUtime=462.3 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 9591 0 0 0 46228 2 0 0 25 0 1 0 856539889 42496000 7744 33554432000 4194304 4933572 140735177875776 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 10375 7744 378 181 0 7384 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 41500
[startup+522.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/576 23888
/proc/meminfo: memFree=23236572/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=41828 CPUtime=522.3 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 10040 0 0 0 52228 2 0 0 25 0 1 0 856539889 42831872 7799 33554432000 4194304 4933572 140735177875776 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 10457 7799 378 181 0 7466 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 41828
[startup+582.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 23890
/proc/meminfo: memFree=23236816/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=42188 CPUtime=582.31 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 10238 0 0 0 58229 2 0 0 25 0 1 0 856539889 43200512 7888 33554432000 4194304 4933572 140735177875776 18446744073709551615 4429736 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 10547 7888 378 181 0 7556 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 42188
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/576 23896
/proc/meminfo: memFree=23236488/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=42520 CPUtime=822.31 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 11096 0 0 0 82229 2 0 0 25 0 1 0 856539889 43540480 7971 33554432000 4194304 4933572 140735177875776 18446744073709551615 4717573 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 10630 7971 378 181 0 7639 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 42520
[startup+882.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/576 23898
/proc/meminfo: memFree=23235364/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=42924 CPUtime=882.31 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 11374 0 0 0 88229 2 0 0 25 0 1 0 856539889 43954176 8084 33554432000 4194304 4933572 140735177875776 18446744073709551615 4631924 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 10731 8084 378 181 0 7740 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 42924
[startup+942.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/576 23900
/proc/meminfo: memFree=23235456/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=43088 CPUtime=942.31 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 11487 0 0 0 94229 2 0 0 25 0 1 0 856539889 44122112 8133 33554432000 4194304 4933572 140735177875776 18446744073709551615 4637216 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 10772 8133 378 181 0 7781 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 43088
[startup+1002.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/576 23901
/proc/meminfo: memFree=23236068/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=43336 CPUtime=1002.31 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 11589 0 0 0 100229 2 0 0 25 0 1 0 856539889 44376064 8196 33554432000 4194304 4933572 140735177875776 18446744073709551615 4629757 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 10834 8196 378 181 0 7843 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 43336
[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/576 23903
/proc/meminfo: memFree=23236184/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=43272 CPUtime=1062.32 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 11807 0 0 0 106230 2 0 0 25 0 1 0 856539889 44310528 8187 33554432000 4194304 4933572 140735177875776 18446744073709551615 4631744 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 10818 8187 378 181 0 7827 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 43272
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 23904
/proc/meminfo: memFree=23236420/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=43300 CPUtime=1122.32 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 12014 0 0 0 112230 2 0 0 25 0 1 0 856539889 44339200 8194 33554432000 4194304 4933572 140735177875776 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 10825 8194 378 181 0 7834 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 43300
[startup+1182.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/576 23906
/proc/meminfo: memFree=23235648/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=43492 CPUtime=1182.32 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 12463 0 0 0 118230 2 0 0 25 0 1 0 856539889 44535808 8237 33554432000 4194304 4933572 140735177875776 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 10873 8237 378 181 0 7882 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 43492
[startup+1242.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/576 23908
/proc/meminfo: memFree=23234736/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=44100 CPUtime=1242.33 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 12859 0 0 0 124230 3 0 0 25 0 1 0 856539889 45158400 8379 33554432000 4194304 4933572 140735177875776 18446744073709551615 4631873 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 11025 8379 378 181 0 8034 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 44100
[startup+1302.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/576 23909
/proc/meminfo: memFree=23234220/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=44456 CPUtime=1302.34 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 13167 0 0 0 130231 3 0 0 25 0 1 0 856539889 45522944 8483 33554432000 4194304 4933572 140735177875776 18446744073709551615 4717509 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 11114 8483 378 181 0 8123 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 44456
[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/576 23911
/proc/meminfo: memFree=23233704/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=44472 CPUtime=1362.33 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 13362 0 0 0 136230 3 0 0 25 0 1 0 856539889 45539328 8485 33554432000 4194304 4933572 140735177875776 18446744073709551615 4717897 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 11118 8485 378 181 0 8127 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 44472
[startup+1422.32 s]
/proc/loadavg: 1.52 1.90 1.96 2/570 23930
/proc/meminfo: memFree=23304636/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=44512 CPUtime=1422.35 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 13429 0 0 0 142232 3 0 0 25 0 1 0 856539889 45580288 8497 33554432000 4194304 4933572 140735177875776 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 11128 8497 378 181 0 8137 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 44512
[startup+1482.3 s]
/proc/loadavg: 1.20 1.75 1.90 2/570 23932
/proc/meminfo: memFree=23304096/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=44416 CPUtime=1482.33 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 13465 0 0 0 148230 3 0 0 25 0 1 0 856539889 45481984 8473 33554432000 4194304 4933572 140735177875776 18446744073709551615 4625196 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 11104 8473 378 181 0 8113 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 44416
[startup+1542.3 s]
/proc/loadavg: 1.07 1.61 1.84 2/570 23934
/proc/meminfo: memFree=23304560/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=44584 CPUtime=1542.33 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 13778 0 0 0 154230 3 0 0 25 0 1 0 856539889 45654016 8511 33554432000 4194304 4933572 140735177875776 18446744073709551615 4341601 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 11146 8511 378 181 0 8155 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 44584
[startup+1602.3 s]
/proc/loadavg: 1.02 1.50 1.79 2/570 23935
/proc/meminfo: memFree=23304408/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=44644 CPUtime=1602.34 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 13980 0 0 0 160230 4 0 0 25 0 1 0 856539889 45715456 8499 33554432000 4194304 4933572 140735177875776 18446744073709551615 4717736 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 11161 8499 378 181 0 8170 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 44644
[startup+1662.3 s]
/proc/loadavg: 1.01 1.40 1.73 2/570 23937
/proc/meminfo: memFree=23304380/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=44788 CPUtime=1662.34 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 14348 0 0 0 166230 4 0 0 25 0 1 0 856539889 45862912 8543 33554432000 4194304 4933572 140735177875776 18446744073709551615 4360906 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 11197 8543 378 181 0 8206 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 44788
[startup+1722.3 s]
/proc/loadavg: 1.14 1.36 1.70 2/570 23938
/proc/meminfo: memFree=23304220/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=44916 CPUtime=1722.34 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 14563 0 0 0 172230 4 0 0 25 0 1 0 856539889 45993984 8589 33554432000 4194304 4933572 140735177875776 18446744073709551615 4632158 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 11229 8589 378 181 0 8238 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 44916
[startup+1782.3 s]
/proc/loadavg: 1.11 1.31 1.65 2/570 23940
/proc/meminfo: memFree=23302952/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=44996 CPUtime=1782.34 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 15115 0 0 0 178230 4 0 0 25 0 1 0 856539889 46075904 8604 33554432000 4194304 4933572 140735177875776 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 11249 8604 378 181 0 8258 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 44996
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.08 1.29 1.64 2/570 23941
/proc/meminfo: memFree=23302920/32951124 swapFree=58940260/67111528
[pid=23874] ppid=23872 vsize=44936 CPUtime=1800.05 cores=0,2,4,6
/proc/23874/stat : 23874 (clasp) R 23872 23874 22845 0 -1 4202496 15147 0 0 0 180001 4 0 0 25 0 1 0 856539889 46014464 8599 33554432000 4194304 4933572 140735177875776 18446744073709551615 4632203 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23874/statm: 11234 8599 378 181 0 8243 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 44936
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.07
CPU user time (s): 1800.02
CPU system time (s): 0.049992
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 45200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.049992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15156
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= 10
involuntary context switches= 5117
runsolver used 10.9223 second user time and 23.4614 second system time
The end