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-3469490-1307103628/watcher-3469490-1307103628 -o /tmp/evaluation-result-3469490-1307103628/solver-3469490-1307103628 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469490-1307103628.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.03 2.01 2.00 2/273 4860
/proc/meminfo: memFree=28383300/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=16216 CPUtime=0 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 1495 0 0 0 0 0 0 0 25 0 1 0 821963588 16605184 1305 33554432000 4194304 4933572 140734694996160 18446744073709551615 222921437893 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 4054 1307 319 181 0 1063 0
[startup+0.033108 s]
/proc/loadavg: 2.03 2.01 2.00 2/273 4860
/proc/meminfo: memFree=28383300/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=21976 CPUtime=0.03 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 3322 0 0 0 3 0 0 0 25 0 1 0 821963588 22503424 2743 33554432000 4194304 4933572 140734694996160 18446744073709551615 4587519 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 5494 2743 340 181 0 2503 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21976
[startup+0.101136 s]
/proc/loadavg: 2.03 2.01 2.00 2/273 4860
/proc/meminfo: memFree=28383300/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=22024 CPUtime=0.09 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 3671 0 0 0 9 0 0 0 25 0 1 0 821963588 22552576 2834 33554432000 4194304 4933572 140734694996160 18446744073709551615 4648632 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 5506 2834 366 181 0 2515 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22024
[startup+0.301089 s]
/proc/loadavg: 2.03 2.01 2.00 2/273 4860
/proc/meminfo: memFree=28383300/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=22156 CPUtime=0.29 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 3725 0 0 0 29 0 0 0 25 0 1 0 821963588 22687744 2888 33554432000 4194304 4933572 140734694996160 18446744073709551615 4377171 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 5539 2888 372 181 0 2548 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22156
[startup+0.701013 s]
/proc/loadavg: 2.03 2.01 2.00 2/273 4860
/proc/meminfo: memFree=28383300/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=22552 CPUtime=0.69 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 3821 0 0 0 69 0 0 0 25 0 1 0 821963588 23093248 2984 33554432000 4194304 4933572 140734694996160 18446744073709551615 4658564 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 5638 2984 373 181 0 2647 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22552
[startup+1.5009 s]
/proc/loadavg: 2.03 2.01 2.00 3/274 4861
/proc/meminfo: memFree=28371520/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=23484 CPUtime=1.49 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 4043 0 0 0 149 0 0 0 25 0 1 0 821963588 24047616 3206 33554432000 4194304 4933572 140734694996160 18446744073709551615 4648618 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 5871 3206 373 181 0 2880 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23484
[startup+3.10059 s]
/proc/loadavg: 2.03 2.01 2.00 3/274 4861
/proc/meminfo: memFree=28367800/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=32376 CPUtime=3.09 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 6284 0 0 0 309 0 0 0 25 0 1 0 821963588 33153024 5447 33554432000 4194304 4933572 140734694996160 18446744073709551615 4330746 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 8094 5447 374 181 0 5103 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32376
[startup+6.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/274 4861
/proc/meminfo: memFree=28360364/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=32376 CPUtime=6.29 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 6285 0 0 0 629 0 0 0 25 0 1 0 821963588 33153024 5448 33554432000 4194304 4933572 140734694996160 18446744073709551615 4377171 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 8094 5448 374 181 0 5103 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32376
[startup+12.7008 s]
/proc/loadavg: 2.03 2.01 2.00 3/274 4861
/proc/meminfo: memFree=28359848/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=32376 CPUtime=12.69 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 6287 0 0 0 1269 0 0 0 25 0 1 0 821963588 33153024 5450 33554432000 4194304 4933572 140734694996160 18446744073709551615 4648411 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 8094 5450 374 181 0 5103 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32376
[startup+25.5005 s]
/proc/loadavg: 2.02 2.01 2.00 3/274 4861
/proc/meminfo: memFree=28359944/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=32376 CPUtime=25.49 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 6287 0 0 0 2549 0 0 0 25 0 1 0 821963588 33153024 5450 33554432000 4194304 4933572 140734694996160 18446744073709551615 4717062 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 8094 5450 374 181 0 5103 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32376
[startup+51.1008 s]
/proc/loadavg: 2.01 2.01 2.00 3/274 4862
/proc/meminfo: memFree=28347892/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=39036 CPUtime=51.09 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 7912 0 0 0 5109 0 0 0 25 0 1 0 821963588 39972864 7075 33554432000 4194304 4933572 140734694996160 18446744073709551615 4648430 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 9759 7075 374 181 0 6768 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 39036
[startup+102.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 4863
/proc/meminfo: memFree=28286132/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=82548 CPUtime=102.3 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 18794 0 0 0 10228 2 0 0 25 0 1 0 821963588 84529152 17957 33554432000 4194304 4933572 140734694996160 18446744073709551615 4342086 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 20637 17957 374 181 0 17646 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 82548
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 4865
/proc/meminfo: memFree=28256100/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=89660 CPUtime=162.3 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 20551 0 0 0 16227 3 0 0 25 0 1 0 821963588 91811840 19714 33554432000 4194304 4933572 140734694996160 18446744073709551615 4648648 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 22415 19714 374 181 0 19424 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 89660
[startup+222.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/274 4866
/proc/meminfo: memFree=28256064/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=89660 CPUtime=222.3 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 20554 0 0 0 22227 3 0 0 25 0 1 0 821963588 91811840 19717 33554432000 4194304 4933572 140734694996160 18446744073709551615 4717069 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 22415 19717 374 181 0 19424 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 89660
[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/274 4868
/proc/meminfo: memFree=28256164/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=89660 CPUtime=282.3 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 20554 0 0 0 28227 3 0 0 25 0 1 0 821963588 91811840 19717 33554432000 4194304 4933572 140734694996160 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 22415 19717 374 181 0 19424 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 89660
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/274 4870
/proc/meminfo: memFree=28256264/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=89660 CPUtime=342.3 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 20559 0 0 0 34227 3 0 0 25 0 1 0 821963588 91811840 19722 33554432000 4194304 4933572 140734694996160 18446744073709551615 4717073 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 22415 19722 374 181 0 19424 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 89660
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 4871
/proc/meminfo: memFree=28242352/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=89660 CPUtime=402.3 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 20559 0 0 0 40227 3 0 0 25 0 1 0 821963588 91811840 19722 33554432000 4194304 4933572 140734694996160 18446744073709551615 4717269 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 22415 19722 374 181 0 19424 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 89660
[startup+462.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/274 4873
/proc/meminfo: memFree=28242076/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=89660 CPUtime=462.31 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 20559 0 0 0 46228 3 0 0 25 0 1 0 821963588 91811840 19722 33554432000 4194304 4933572 140734694996160 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 22415 19722 374 181 0 19424 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 89660
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/274 4874
/proc/meminfo: memFree=28174840/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=89660 CPUtime=522.31 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 20560 0 0 0 52228 3 0 0 25 0 1 0 821963588 91811840 19723 33554432000 4194304 4933572 140734694996160 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 22415 19723 374 181 0 19424 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 89660
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 4876
/proc/meminfo: memFree=28171224/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=93884 CPUtime=582.31 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 21628 0 0 0 58228 3 0 0 25 0 1 0 821963588 96137216 20791 33554432000 4194304 4933572 140734694996160 18446744073709551615 4717253 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 23471 20791 374 181 0 20480 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 93884
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 4882
/proc/meminfo: memFree=28112824/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=127164 CPUtime=822.32 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 30350 0 0 0 82227 5 0 0 25 0 1 0 821963588 130215936 28975 33554432000 4194304 4933572 140734694996160 18446744073709551615 4717024 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 31791 28975 374 181 0 28800 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 127164
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 4884
/proc/meminfo: memFree=28112800/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=127164 CPUtime=882.32 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 30350 0 0 0 88227 5 0 0 25 0 1 0 821963588 130215936 28975 33554432000 4194304 4933572 140734694996160 18446744073709551615 4711135 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 31791 28975 374 181 0 28800 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 127164
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 4886
/proc/meminfo: memFree=28112660/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=127164 CPUtime=942.32 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 30350 0 0 0 94227 5 0 0 25 0 1 0 821963588 130215936 28975 33554432000 4194304 4933572 140734694996160 18446744073709551615 4717035 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 31791 28975 374 181 0 28800 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 127164
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 4887
/proc/meminfo: memFree=28075436/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=164256 CPUtime=1002.32 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 39699 0 0 0 100226 6 0 0 25 0 1 0 821963588 168198144 38324 33554432000 4194304 4933572 140734694996160 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 41064 38324 374 181 0 38073 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 164256
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 4889
/proc/meminfo: memFree=28075540/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=164256 CPUtime=1062.32 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 39699 0 0 0 106226 6 0 0 25 0 1 0 821963588 168198144 38324 33554432000 4194304 4933572 140734694996160 18446744073709551615 4664141 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 41064 38324 374 181 0 38073 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 164256
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 4890
/proc/meminfo: memFree=28075252/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=164256 CPUtime=1122.32 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 39701 0 0 0 112226 6 0 0 25 0 1 0 821963588 168198144 38326 33554432000 4194304 4933572 140734694996160 18446744073709551615 4637443 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 41064 38326 374 181 0 38073 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 164256
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 4892
/proc/meminfo: memFree=28075108/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=164256 CPUtime=1182.32 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 39701 0 0 0 118226 6 0 0 25 0 1 0 821963588 168198144 38326 33554432000 4194304 4933572 140734694996160 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 41064 38326 374 181 0 38073 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 164256
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 4894
/proc/meminfo: memFree=28044332/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=164256 CPUtime=1242.33 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 39701 0 0 0 124227 6 0 0 25 0 1 0 821963588 168198144 38326 33554432000 4194304 4933572 140734694996160 18446744073709551615 4411081 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 41064 38326 374 181 0 38073 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 164256
[startup+1302.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/274 4895
/proc/meminfo: memFree=28044184/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=164256 CPUtime=1302.33 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 39702 0 0 0 130227 6 0 0 25 0 1 0 821963588 168198144 38327 33554432000 4194304 4933572 140734694996160 18446744073709551615 4631794 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 41064 38327 374 181 0 38073 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 164256
[startup+1362.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/274 4897
/proc/meminfo: memFree=28040812/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=167560 CPUtime=1362.34 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 40838 0 0 0 136227 7 0 0 25 0 1 0 821963588 171581440 39164 33554432000 4194304 4933572 140734694996160 18446744073709551615 4342162 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 41890 39164 374 181 0 38899 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 167560
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/274 4898
/proc/meminfo: memFree=28039056/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=170196 CPUtime=1422.34 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 41472 0 0 0 142227 7 0 0 25 0 1 0 821963588 174280704 39798 33554432000 4194304 4933572 140734694996160 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 42549 39798 374 181 0 39558 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 170196
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/274 4900
/proc/meminfo: memFree=28038664/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=170196 CPUtime=1482.34 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 41475 0 0 0 148227 7 0 0 25 0 1 0 821963588 174280704 39801 33554432000 4194304 4933572 140734694996160 18446744073709551615 4409645 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 42549 39801 374 181 0 39558 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 170196
[startup+1542.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/274 4902
/proc/meminfo: memFree=28038896/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=170196 CPUtime=1542.34 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 41475 0 0 0 154227 7 0 0 25 0 1 0 821963588 174280704 39801 33554432000 4194304 4933572 140734694996160 18446744073709551615 4663932 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 42549 39801 374 181 0 39558 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 170196
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/274 4903
/proc/meminfo: memFree=28038872/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=170196 CPUtime=1602.34 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 41509 0 0 0 160227 7 0 0 25 0 1 0 821963588 174280704 39835 33554432000 4194304 4933572 140734694996160 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 42549 39835 374 181 0 39558 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 170196
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/274 4905
/proc/meminfo: memFree=28038852/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=170196 CPUtime=1662.34 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 41509 0 0 0 166227 7 0 0 25 0 1 0 821963588 174280704 39835 33554432000 4194304 4933572 140734694996160 18446744073709551615 4717047 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 42549 39835 374 181 0 39558 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 170196
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/274 4906
/proc/meminfo: memFree=28038832/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=170196 CPUtime=1722.34 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 41509 0 0 0 172227 7 0 0 25 0 1 0 821963588 174280704 39835 33554432000 4194304 4933572 140734694996160 18446744073709551615 4717062 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 42549 39835 374 181 0 39558 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 170196
[startup+1782.3 s]
/proc/loadavg: 1.92 1.98 1.99 2/268 4926
/proc/meminfo: memFree=28264028/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=170196 CPUtime=1782.35 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 41509 0 0 0 178228 7 0 0 25 0 1 0 821963588 174280704 39835 33554432000 4194304 4933572 140734694996160 18446744073709551615 4361659 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 42549 39835 374 181 0 39558 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 170196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.66 1.92 1.97 2/268 4927
/proc/meminfo: memFree=28264692/32951124 swapFree=55664332/67111528
[pid=4860] ppid=4858 vsize=170196 CPUtime=1800.05 cores=0,2,4,6
/proc/4860/stat : 4860 (clasp) R 4858 4860 4051 0 -1 4202496 41510 0 0 0 179998 7 0 0 25 0 1 0 821963588 174280704 39836 33554432000 4194304 4933572 140734694996160 18446744073709551615 4717253 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4860/statm: 42549 39836 374 181 0 39558 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 170196
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): 1799.99
CPU system time (s): 0.083987
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 170196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.083987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41520
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 3004
runsolver used 4.77927 second user time and 9.96148 second system time
The end