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-3467909-1307116507/watcher-3467909-1307116507 -o /tmp/evaluation-result-3467909-1307116507/solver-3467909-1307116507 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3467909-1307116507.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.93 1.99 1.99 3/469 8048
/proc/meminfo: memFree=24202688/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=12724 CPUtime=0 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 583 0 0 0 0 0 0 0 25 0 1 0 901881173 13029376 513 33554432000 4194304 4933572 140734354719824 18446744073709551615 4311472 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 3181 513 369 181 0 190 0
[startup+0.0312019 s]
/proc/loadavg: 1.93 1.99 1.99 3/469 8048
/proc/meminfo: memFree=24202688/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=12988 CPUtime=0.03 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 652 0 0 0 3 0 0 0 25 0 1 0 901881173 13299712 582 33554432000 4194304 4933572 140734354719824 18446744073709551615 252457727009 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 3247 582 376 181 0 256 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12988
[startup+0.10019 s]
/proc/loadavg: 1.93 1.99 1.99 3/469 8048
/proc/meminfo: memFree=24202688/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=13120 CPUtime=0.09 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 697 0 0 0 9 0 0 0 25 0 1 0 901881173 13434880 627 33554432000 4194304 4933572 140734354719824 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 3280 627 376 181 0 289 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13120
[startup+0.300182 s]
/proc/loadavg: 1.93 1.99 1.99 3/469 8048
/proc/meminfo: memFree=24202688/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=13388 CPUtime=0.29 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 765 0 0 0 29 0 0 0 25 0 1 0 901881173 13709312 695 33554432000 4194304 4933572 140734354719824 18446744073709551615 4323072 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 3347 695 376 181 0 356 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13388
[startup+0.701106 s]
/proc/loadavg: 1.93 1.99 1.99 3/469 8048
/proc/meminfo: memFree=24202688/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=13520 CPUtime=0.7 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 815 0 0 0 70 0 0 0 25 0 1 0 901881173 13844480 745 33554432000 4194304 4933572 140734354719824 18446744073709551615 4330085 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 3380 745 376 181 0 389 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 13520
[startup+1.50097 s]
/proc/loadavg: 1.93 1.99 1.99 3/470 8049
/proc/meminfo: memFree=24200208/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=14312 CPUtime=1.5 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 1005 0 0 0 150 0 0 0 25 0 1 0 901881173 14655488 935 33554432000 4194304 4933572 140734354719824 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 3578 935 376 181 0 587 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 14312
[startup+3.10066 s]
/proc/loadavg: 1.93 1.99 1.99 3/470 8049
/proc/meminfo: memFree=24197620/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=15240 CPUtime=3.1 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 1222 0 0 0 310 0 0 0 25 0 1 0 901881173 15605760 1152 33554432000 4194304 4933572 140734354719824 18446744073709551615 4319360 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 3810 1152 376 181 0 819 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 15240
[startup+6.30105 s]
/proc/loadavg: 1.94 1.99 1.99 3/470 8049
/proc/meminfo: memFree=24197240/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=15504 CPUtime=6.3 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 1289 0 0 0 630 0 0 0 25 0 1 0 901881173 15876096 1219 33554432000 4194304 4933572 140734354719824 18446744073709551615 4648430 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 3876 1219 376 181 0 885 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 15504
[startup+12.7008 s]
/proc/loadavg: 1.94 1.99 1.99 3/470 8049
/proc/meminfo: memFree=24195376/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=16052 CPUtime=12.7 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 1415 0 0 0 1270 0 0 0 25 0 1 0 901881173 16437248 1345 33554432000 4194304 4933572 140734354719824 18446744073709551615 4363389 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4013 1345 376 181 0 1022 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 16052
[startup+25.5005 s]
/proc/loadavg: 1.95 1.99 1.99 3/470 8050
/proc/meminfo: memFree=24193404/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=16468 CPUtime=25.5 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 1513 0 0 0 2550 0 0 0 25 0 1 0 901881173 16863232 1443 33554432000 4194304 4933572 140734354719824 18446744073709551615 4635412 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4117 1443 376 181 0 1126 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 16468
[startup+51.1007 s]
/proc/loadavg: 1.97 1.99 1.99 3/470 8050
/proc/meminfo: memFree=24190404/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=17068 CPUtime=51.1 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 1657 0 0 0 5110 0 0 0 25 0 1 0 901881173 17477632 1587 33554432000 4194304 4933572 140734354719824 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4267 1587 376 181 0 1276 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 17068
[startup+102.317 s]
/proc/loadavg: 1.98 1.99 1.99 3/470 8052
/proc/meminfo: memFree=24186408/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=17628 CPUtime=102.31 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 1775 0 0 0 10231 0 0 0 25 0 1 0 901881173 18051072 1705 33554432000 4194304 4933572 140734354719824 18446744073709551615 4363392 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4407 1705 376 181 0 1416 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 17628
[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/470 8053
/proc/meminfo: memFree=24184016/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=17928 CPUtime=162.3 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 1848 0 0 0 16230 0 0 0 25 0 1 0 901881173 18358272 1778 33554432000 4194304 4933572 140734354719824 18446744073709551615 4635463 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4482 1778 376 181 0 1491 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 17928
[startup+222.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/470 8055
/proc/meminfo: memFree=24183872/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=18228 CPUtime=222.3 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 1897 0 0 0 22230 0 0 0 25 0 1 0 901881173 18665472 1827 33554432000 4194304 4933572 140734354719824 18446744073709551615 4360961 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4557 1827 376 181 0 1566 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 18228
[startup+282.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/470 8057
/proc/meminfo: memFree=24183120/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=18360 CPUtime=282.3 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 1938 0 0 0 28230 0 0 0 25 0 1 0 901881173 18800640 1868 33554432000 4194304 4933572 140734354719824 18446744073709551615 4632737 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4590 1868 376 181 0 1599 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 18360
[startup+342.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/470 8085
/proc/meminfo: memFree=24199052/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=18360 CPUtime=342.3 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 1952 0 0 0 34230 0 0 0 25 0 1 0 901881173 18800640 1882 33554432000 4194304 4933572 140734354719824 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4590 1882 376 181 0 1599 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 18360
[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/470 8096
/proc/meminfo: memFree=24196224/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=18512 CPUtime=402.31 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 1974 0 0 0 40231 0 0 0 25 0 1 0 901881173 18956288 1904 33554432000 4194304 4933572 140734354719824 18446744073709551615 4637219 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4628 1904 376 181 0 1637 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 18512
[startup+462.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/470 8097
/proc/meminfo: memFree=24195072/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=18512 CPUtime=462.31 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 1992 0 0 0 46231 0 0 0 25 0 1 0 901881173 18956288 1922 33554432000 4194304 4933572 140734354719824 18446744073709551615 4332794 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4628 1922 376 181 0 1637 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 18512
[startup+522.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/470 8099
/proc/meminfo: memFree=24194652/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=18648 CPUtime=522.31 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 2009 0 0 0 52231 0 0 0 25 0 1 0 901881173 19095552 1939 33554432000 4194304 4933572 140734354719824 18446744073709551615 4330095 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4662 1939 376 181 0 1671 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 18648
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 8101
/proc/meminfo: memFree=24195848/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=18788 CPUtime=582.31 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 2030 0 0 0 58231 0 0 0 25 0 1 0 901881173 19238912 1960 33554432000 4194304 4933572 140734354719824 18446744073709551615 4664515 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4697 1960 376 181 0 1706 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 18788
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/470 8107
/proc/meminfo: memFree=24195088/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=18924 CPUtime=822.32 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 2059 0 0 0 82232 0 0 0 25 0 1 0 901881173 19378176 1989 33554432000 4194304 4933572 140734354719824 18446744073709551615 4649590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4731 1989 376 181 0 1740 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 18924
[startup+882.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 8109
/proc/meminfo: memFree=24194688/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=18924 CPUtime=882.32 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 2060 0 0 0 88232 0 0 0 25 0 1 0 901881173 19378176 1990 33554432000 4194304 4933572 140734354719824 18446744073709551615 4648676 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4731 1990 376 181 0 1740 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 18924
[startup+942.301 s]
/proc/loadavg: 2.14 2.05 2.01 3/470 8110
/proc/meminfo: memFree=24194396/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=18924 CPUtime=942.32 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 2068 0 0 0 94232 0 0 0 25 0 1 0 901881173 19378176 1998 33554432000 4194304 4933572 140734354719824 18446744073709551615 4631944 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4731 1998 376 181 0 1740 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 18924
[startup+1002.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/470 8112
/proc/meminfo: memFree=24194480/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=18924 CPUtime=1002.33 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 2076 0 0 0 100233 0 0 0 25 0 1 0 901881173 19378176 2006 33554432000 4194304 4933572 140734354719824 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4731 2006 376 181 0 1740 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 18924
[startup+1062.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/470 8113
/proc/meminfo: memFree=24194192/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=18924 CPUtime=1062.33 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 2077 0 0 0 106233 0 0 0 25 0 1 0 901881173 19378176 2007 33554432000 4194304 4933572 140734354719824 18446744073709551615 4649407 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4731 2007 376 181 0 1740 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 18924
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 8115
/proc/meminfo: memFree=24194028/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=18924 CPUtime=1122.33 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 2078 0 0 0 112233 0 0 0 25 0 1 0 901881173 19378176 2008 33554432000 4194304 4933572 140734354719824 18446744073709551615 4648569 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4731 2008 376 181 0 1740 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 18924
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 8117
/proc/meminfo: memFree=24194008/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=18924 CPUtime=1182.33 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 2079 0 0 0 118233 0 0 0 25 0 1 0 901881173 19378176 2009 33554432000 4194304 4933572 140734354719824 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4731 2009 376 181 0 1740 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 18924
[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/470 8118
/proc/meminfo: memFree=24193100/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=18924 CPUtime=1242.34 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 2079 0 0 0 124234 0 0 0 25 0 1 0 901881173 19378176 2009 33554432000 4194304 4933572 140734354719824 18446744073709551615 4664536 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4731 2009 376 181 0 1740 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 18924
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/470 8120
/proc/meminfo: memFree=24193180/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=18924 CPUtime=1302.34 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 2080 0 0 0 130234 0 0 0 25 0 1 0 901881173 19378176 2010 33554432000 4194304 4933572 140734354719824 18446744073709551615 4664518 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4731 2010 376 181 0 1740 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 18924
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 8121
/proc/meminfo: memFree=24193044/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=18924 CPUtime=1362.34 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 2081 0 0 0 136234 0 0 0 25 0 1 0 901881173 19378176 2011 33554432000 4194304 4933572 140734354719824 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4731 2011 376 181 0 1740 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 18924
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 8123
/proc/meminfo: memFree=24193000/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=18924 CPUtime=1422.36 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 2089 0 0 0 142236 0 0 0 25 0 1 0 901881173 19378176 2019 33554432000 4194304 4933572 140734354719824 18446744073709551615 4331682 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4731 2019 376 181 0 1740 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 18924
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 8125
/proc/meminfo: memFree=24192968/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=18924 CPUtime=1482.34 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 2089 0 0 0 148234 0 0 0 25 0 1 0 901881173 19378176 2019 33554432000 4194304 4933572 140734354719824 18446744073709551615 4630773 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4731 2019 376 181 0 1740 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 18924
[startup+1542.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/470 8126
/proc/meminfo: memFree=24192816/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=18924 CPUtime=1542.35 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 2089 0 0 0 154235 0 0 0 25 0 1 0 901881173 19378176 2019 33554432000 4194304 4933572 140734354719824 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4731 2019 376 181 0 1740 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 18924
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/470 8128
/proc/meminfo: memFree=24192784/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=18924 CPUtime=1602.35 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 2090 0 0 0 160235 0 0 0 25 0 1 0 901881173 19378176 2020 33554432000 4194304 4933572 140734354719824 18446744073709551615 4663671 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4731 2020 376 181 0 1740 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 18924
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 8129
/proc/meminfo: memFree=24191648/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=18924 CPUtime=1662.35 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 2090 0 0 0 166235 0 0 0 25 0 1 0 901881173 19378176 2020 33554432000 4194304 4933572 140734354719824 18446744073709551615 252457756642 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4731 2020 376 181 0 1740 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 18924
[startup+1722.3 s]
/proc/loadavg: 2.16 2.03 2.01 3/470 8131
/proc/meminfo: memFree=24192352/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=18924 CPUtime=1722.35 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 2091 0 0 0 172235 0 0 0 25 0 1 0 901881173 19378176 2021 33554432000 4194304 4933572 140734354719824 18446744073709551615 4360903 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4731 2021 376 181 0 1740 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 18924
[startup+1782.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/470 8133
/proc/meminfo: memFree=24191944/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=18924 CPUtime=1782.35 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 2091 0 0 0 178235 0 0 0 25 0 1 0 901881173 19378176 2021 33554432000 4194304 4933572 140734354719824 18446744073709551615 4632820 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4731 2021 376 181 0 1740 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 18924
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.09 2.04 2.01 3/470 8133
/proc/meminfo: memFree=24192060/32951124 swapFree=56297244/67111528
[pid=8048] ppid=8046 vsize=18924 CPUtime=1800.06 cores=0,2,4,6
/proc/8048/stat : 8048 (clasp) R 8046 8048 6224 0 -1 4202496 2091 0 0 0 180006 0 0 0 25 0 1 0 901881173 19378176 2021 33554432000 4194304 4933572 140734354719824 18446744073709551615 4649396 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8048/statm: 4731 2021 376 181 0 1740 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 18924
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.08
CPU user time (s): 1800.08
CPU system time (s): 0.002999
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 18924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.08
system time used= 0.002999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2104
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= 8
involuntary context switches= 2746
runsolver used 8.87365 second user time and 17.3324 second system time
The end