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-3468115-1307083195/watcher-3468115-1307083195 -o /tmp/evaluation-result-3468115-1307083195/solver-3468115-1307083195 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468115-1307083195.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: 1.02 1.43 1.75 2/546 20817
/proc/meminfo: memFree=21213596/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=12964 CPUtime=0.01 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 656 0 0 0 1 0 0 0 23 0 1 0 819919924 13275136 588 33554432000 4194304 4933572 140737434250384 18446744073709551615 253640520389 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 3241 589 371 181 0 250 0
[startup+0.0494171 s]
/proc/loadavg: 1.02 1.43 1.75 2/546 20817
/proc/meminfo: memFree=21213596/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=13620 CPUtime=0.04 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 826 0 0 0 4 0 0 0 23 0 1 0 819919924 13946880 758 33554432000 4194304 4933572 140737434250384 18446744073709551615 4718504 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 3405 758 378 181 0 414 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13620
[startup+0.100437 s]
/proc/loadavg: 1.02 1.43 1.75 2/546 20817
/proc/meminfo: memFree=21213596/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=14412 CPUtime=0.09 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 1029 0 0 0 9 0 0 0 23 0 1 0 819919924 14757888 961 33554432000 4194304 4933572 140737434250384 18446744073709551615 4332800 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 3603 961 378 181 0 612 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14412
[startup+0.300397 s]
/proc/loadavg: 1.02 1.43 1.75 2/546 20817
/proc/meminfo: memFree=21213596/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=15204 CPUtime=0.29 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 1215 0 0 0 29 0 0 0 25 0 1 0 819919924 15568896 1147 33554432000 4194304 4933572 140737434250384 18446744073709551615 253640520389 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 3801 1147 378 181 0 810 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15204
[startup+0.700337 s]
/proc/loadavg: 1.02 1.43 1.75 2/546 20817
/proc/meminfo: memFree=21213596/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=15996 CPUtime=0.69 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 1404 0 0 0 69 0 0 0 25 0 1 0 819919924 16379904 1336 33554432000 4194304 4933572 140737434250384 18446744073709551615 4717688 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 3999 1336 378 181 0 1008 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15996
[startup+1.5002 s]
/proc/loadavg: 1.02 1.43 1.75 3/551 20823
/proc/meminfo: memFree=21202500/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=16788 CPUtime=1.49 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 1626 0 0 0 149 0 0 0 25 0 1 0 819919924 17190912 1558 33554432000 4194304 4933572 140737434250384 18446744073709551615 4632840 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 4197 1558 378 181 0 1206 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16788
[startup+3.10089 s]
/proc/loadavg: 1.10 1.44 1.75 3/551 20823
/proc/meminfo: memFree=21198160/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=18240 CPUtime=3.09 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 1972 0 0 0 309 0 0 0 25 0 1 0 819919924 18677760 1904 33554432000 4194304 4933572 140737434250384 18446744073709551615 4717704 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 4560 1904 378 181 0 1569 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18240
[startup+6.30032 s]
/proc/loadavg: 1.10 1.44 1.75 3/551 20823
/proc/meminfo: memFree=21194944/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=19288 CPUtime=6.29 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 2256 0 0 0 629 0 0 0 25 0 1 0 819919924 19750912 2188 33554432000 4194304 4933572 140737434250384 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 4822 2188 378 181 0 1831 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19288
[startup+12.7011 s]
/proc/loadavg: 1.24 1.46 1.75 3/551 20823
/proc/meminfo: memFree=21190292/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=20304 CPUtime=12.69 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 2506 0 0 0 1269 0 0 0 25 0 1 0 819919924 20791296 2438 33554432000 4194304 4933572 140737434250384 18446744073709551615 4631996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 5076 2438 378 181 0 2085 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20304
[startup+25.5008 s]
/proc/loadavg: 1.35 1.48 1.76 3/551 20823
/proc/meminfo: memFree=21189296/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=21312 CPUtime=25.49 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 2760 0 0 0 2549 0 0 0 25 0 1 0 819919924 21823488 2692 33554432000 4194304 4933572 140737434250384 18446744073709551615 4360883 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 5328 2692 378 181 0 2337 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21312
[startup+51.1002 s]
/proc/loadavg: 1.57 1.52 1.76 3/551 20824
/proc/meminfo: memFree=21187648/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=22052 CPUtime=51.09 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 2942 0 0 0 5109 0 0 0 25 0 1 0 819919924 22581248 2866 33554432000 4194304 4933572 140737434250384 18446744073709551615 4632828 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 5513 2866 378 181 0 2522 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22052
[startup+102.321 s]
/proc/loadavg: 1.88 1.61 1.78 3/551 20825
/proc/meminfo: memFree=21183908/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=23652 CPUtime=102.31 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 3348 0 0 0 10231 0 0 0 25 0 1 0 819919924 24219648 3272 33554432000 4194304 4933572 140737434250384 18446744073709551615 4340834 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 5913 3272 378 181 0 2922 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 23652
[startup+162.301 s]
/proc/loadavg: 2.09 1.72 1.80 3/551 20827
/proc/meminfo: memFree=21180172/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=24688 CPUtime=162.29 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 3613 0 0 0 16229 0 0 0 25 0 1 0 819919924 25280512 3524 33554432000 4194304 4933572 140737434250384 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 6172 3524 378 181 0 3181 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 24688
[startup+222.301 s]
/proc/loadavg: 2.07 1.79 1.82 3/551 20829
/proc/meminfo: memFree=21180036/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=25340 CPUtime=222.29 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 3784 0 0 0 22229 0 0 0 25 0 1 0 819919924 25948160 3695 33554432000 4194304 4933572 140737434250384 18446744073709551615 4664528 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 6335 3695 378 181 0 3344 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 25340
[startup+282.3 s]
/proc/loadavg: 2.02 1.82 1.83 3/551 20830
/proc/meminfo: memFree=21179400/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=25984 CPUtime=282.29 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 3935 0 0 0 28229 0 0 0 25 0 1 0 819919924 26607616 3846 33554432000 4194304 4933572 140737434250384 18446744073709551615 4717269 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 6496 3846 378 181 0 3505 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 25984
[startup+342.3 s]
/proc/loadavg: 2.01 1.85 1.83 3/551 20832
/proc/meminfo: memFree=21178756/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=26388 CPUtime=342.3 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 4027 0 0 0 34230 0 0 0 25 0 1 0 819919924 27021312 3938 33554432000 4194304 4933572 140737434250384 18446744073709551615 4340904 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 6597 3938 378 181 0 3606 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 26388
[startup+402.3 s]
/proc/loadavg: 2.00 1.88 1.84 3/551 20833
/proc/meminfo: memFree=21178488/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=26388 CPUtime=402.3 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 4045 0 0 0 40230 0 0 0 25 0 1 0 819919924 27021312 3956 33554432000 4194304 4933572 140737434250384 18446744073709551615 4631780 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 6597 3956 378 181 0 3606 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 26388
[startup+462.3 s]
/proc/loadavg: 2.00 1.90 1.84 3/551 20835
/proc/meminfo: memFree=21178716/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=26840 CPUtime=462.3 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 4140 0 0 0 46230 0 0 0 25 0 1 0 819919924 27484160 4051 33554432000 4194304 4933572 140737434250384 18446744073709551615 4317828 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 6710 4051 378 181 0 3719 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 26840
[startup+522.301 s]
/proc/loadavg: 2.00 1.91 1.85 3/551 20837
/proc/meminfo: memFree=21178452/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=27036 CPUtime=522.3 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 4196 0 0 0 52230 0 0 0 25 0 1 0 819919924 27684864 4107 33554432000 4194304 4933572 140737434250384 18446744073709551615 4358512 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 6759 4107 378 181 0 3768 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 27036
[startup+582.301 s]
/proc/loadavg: 2.00 1.92 1.85 3/551 20838
/proc/meminfo: memFree=21178556/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=27144 CPUtime=582.3 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 4213 0 0 0 58230 0 0 0 25 0 1 0 819919924 27795456 4124 33554432000 4194304 4933572 140737434250384 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 6786 4124 378 181 0 3795 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 27144
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.02 2.00 1.91 3/551 20845
/proc/meminfo: memFree=21177388/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=27944 CPUtime=822.31 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 4403 0 0 0 82231 0 0 0 25 0 1 0 819919924 28614656 4314 33554432000 4194304 4933572 140737434250384 18446744073709551615 4632825 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 6986 4314 378 181 0 3995 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 27944
[startup+882.301 s]
/proc/loadavg: 2.01 2.00 1.91 3/551 20846
/proc/meminfo: memFree=21177000/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=27944 CPUtime=882.31 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 4414 0 0 0 88231 0 0 0 25 0 1 0 819919924 28614656 4325 33554432000 4194304 4933572 140737434250384 18446744073709551615 4664546 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 6986 4325 378 181 0 3995 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 27944
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/551 20848
/proc/meminfo: memFree=21177100/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=27944 CPUtime=942.31 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 4414 0 0 0 94231 0 0 0 25 0 1 0 819919924 28614656 4325 33554432000 4194304 4933572 140737434250384 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 6986 4325 378 181 0 3995 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 27944
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/551 20849
/proc/meminfo: memFree=21176956/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=28080 CPUtime=1002.31 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 4435 0 0 0 100231 0 0 0 25 0 1 0 819919924 28753920 4346 33554432000 4194304 4933572 140737434250384 18446744073709551615 4717664 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 7020 4346 378 181 0 4029 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 28080
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/551 20851
/proc/meminfo: memFree=21176936/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=28080 CPUtime=1062.32 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 4440 0 0 0 106232 0 0 0 25 0 1 0 819919924 28753920 4351 33554432000 4194304 4933572 140737434250384 18446744073709551615 4664518 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 7020 4351 378 181 0 4029 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 28080
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/551 20853
/proc/meminfo: memFree=21177916/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=28080 CPUtime=1122.32 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 4444 0 0 0 112232 0 0 0 25 0 1 0 819919924 28753920 4355 33554432000 4194304 4933572 140737434250384 18446744073709551615 4717599 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 7020 4355 378 181 0 4029 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 28080
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/551 20854
/proc/meminfo: memFree=21177028/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=28080 CPUtime=1182.32 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 4444 0 0 0 118232 0 0 0 25 0 1 0 819919924 28753920 4355 33554432000 4194304 4933572 140737434250384 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 7020 4355 378 181 0 4029 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 28080
[startup+1242.3 s]
/proc/loadavg: 2.10 2.04 1.93 3/551 20856
/proc/meminfo: memFree=21176392/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=28080 CPUtime=1242.32 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 4454 0 0 0 124232 0 0 0 25 0 1 0 819919924 28753920 4365 33554432000 4194304 4933572 140737434250384 18446744073709551615 253640526720 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 7020 4365 378 181 0 4029 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 28080
[startup+1302.3 s]
/proc/loadavg: 2.10 2.06 1.94 3/551 20866
/proc/meminfo: memFree=21175688/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=28080 CPUtime=1302.34 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 4454 0 0 0 130234 0 0 0 25 0 1 0 819919924 28753920 4365 33554432000 4194304 4933572 140737434250384 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 7020 4365 378 181 0 4029 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 28080
[startup+1362.3 s]
/proc/loadavg: 2.04 2.04 1.94 3/551 20868
/proc/meminfo: memFree=21176292/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=28080 CPUtime=1362.33 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 4454 0 0 0 136233 0 0 0 25 0 1 0 819919924 28753920 4365 33554432000 4194304 4933572 140737434250384 18446744073709551615 4719115 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 7020 4365 378 181 0 4029 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 28080
[startup+1422.32 s]
/proc/loadavg: 2.01 2.03 1.94 3/551 20870
/proc/meminfo: memFree=21176028/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=28080 CPUtime=1422.35 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 4454 0 0 0 142235 0 0 0 25 0 1 0 819919924 28753920 4365 33554432000 4194304 4933572 140737434250384 18446744073709551615 4717536 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 7020 4365 378 181 0 4029 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 28080
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 1.94 3/551 20874
/proc/meminfo: memFree=21176388/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=28244 CPUtime=1482.34 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 4497 0 0 0 148233 1 0 0 25 0 1 0 819919924 28921856 4408 33554432000 4194304 4933572 140737434250384 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 7061 4408 378 181 0 4070 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 28244
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/551 20876
/proc/meminfo: memFree=21177112/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=28480 CPUtime=1542.34 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 4521 0 0 0 154233 1 0 0 25 0 1 0 819919924 29163520 4432 33554432000 4194304 4933572 140737434250384 18446744073709551615 4332779 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 7120 4432 378 181 0 4129 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 28480
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/551 20877
/proc/meminfo: memFree=21176472/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=28480 CPUtime=1602.34 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 4550 0 0 0 160233 1 0 0 25 0 1 0 819919924 29163520 4461 33554432000 4194304 4933572 140737434250384 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 7120 4461 378 181 0 4129 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 28480
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/551 20879
/proc/meminfo: memFree=21176324/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=28480 CPUtime=1662.34 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 4561 0 0 0 166233 1 0 0 25 0 1 0 819919924 29163520 4465 33554432000 4194304 4933572 140737434250384 18446744073709551615 4332797 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 7120 4465 378 181 0 4129 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 28480
[startup+1722.3 s]
/proc/loadavg: 2.10 2.03 1.95 3/551 20881
/proc/meminfo: memFree=21176444/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=28480 CPUtime=1722.35 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 4562 0 0 0 172234 1 0 0 25 0 1 0 819919924 29163520 4466 33554432000 4194304 4933572 140737434250384 18446744073709551615 4632825 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 7120 4466 378 181 0 4129 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 28480
[startup+1782.3 s]
/proc/loadavg: 2.18 2.07 1.96 3/551 20882
/proc/meminfo: memFree=21173944/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=28480 CPUtime=1782.35 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 4562 0 0 0 178234 1 0 0 25 0 1 0 819919924 29163520 4466 33554432000 4194304 4933572 140737434250384 18446744073709551615 4632971 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 7120 4466 378 181 0 4129 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 28480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.14 2.06 1.96 3/551 20883
/proc/meminfo: memFree=21174932/32951124 swapFree=53733252/67111528
[pid=20817] ppid=20814 vsize=28480 CPUtime=1800.07 cores=0,2,4,6
/proc/20817/stat : 20817 (clasp) R 20814 20817 15684 0 -1 4202496 4562 0 0 0 180006 1 0 0 25 0 1 0 819919924 29163520 4466 33554432000 4194304 4933572 140737434250384 18446744073709551615 4332794 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20817/statm: 7120 4466 378 181 0 4129 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 28480
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.06
CPU system time (s): 0.011998
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 28612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.011998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4570
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= 17
involuntary context switches= 2549
runsolver used 10.2634 second user time and 22.4676 second system time
The end