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-3468159-1307645199/watcher-3468159-1307645199 -o /tmp/evaluation-result-3468159-1307645199/solver-3468159-1307645199 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468159-1307645199.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: 1,3,5,7
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: 0.19 0.72 0.91 2/176 29299
/proc/meminfo: memFree=32111500/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=14496 CPUtime=0 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 1054 0 0 0 0 0 0 0 21 0 1 0 876117870 14843904 916 33554432000 4194304 4933572 140735864052016 18446744073709551615 271550198469 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/29299/statm: 3624 916 332 181 0 633 0
[startup+0.0278979 s]
/proc/loadavg: 0.19 0.72 0.91 2/176 29299
/proc/meminfo: memFree=32111500/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=16580 CPUtime=0.02 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 1730 0 0 0 2 0 0 0 21 0 1 0 876117870 16977920 1421 33554432000 4194304 4933572 140735864052016 18446744073709551615 4579839 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/29299/statm: 4145 1422 332 181 0 1154 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16580
[startup+0.100899 s]
/proc/loadavg: 0.19 0.72 0.91 2/176 29299
/proc/meminfo: memFree=32111500/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=23676 CPUtime=0.09 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 4341 0 0 0 9 0 0 0 21 0 1 0 876117870 24244224 3053 33554432000 4194304 4933572 140735864052016 18446744073709551615 271550198469 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/29299/statm: 5919 3054 332 181 0 2928 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23676
[startup+0.300854 s]
/proc/loadavg: 0.19 0.72 0.91 2/176 29299
/proc/meminfo: memFree=32111500/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=43340 CPUtime=0.29 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 10983 0 0 0 28 1 0 0 22 0 1 0 876117870 44380160 8079 33554432000 4194304 4933572 140735864052016 18446744073709551615 4598707 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/29299/statm: 10835 8079 347 181 0 7844 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43340
[startup+0.700793 s]
/proc/loadavg: 0.19 0.72 0.91 2/176 29299
/proc/meminfo: memFree=32111500/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=55560 CPUtime=0.69 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 13985 0 0 0 68 1 0 0 23 0 1 0 876117870 56893440 11081 33554432000 4194304 4933572 140735864052016 18446744073709551615 4587802 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/29299/statm: 13890 11081 349 181 0 10899 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55560
[startup+1.50064 s]
/proc/loadavg: 0.19 0.72 0.91 3/182 29310
/proc/meminfo: memFree=32025048/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=55560 CPUtime=1.49 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 13985 0 0 0 148 1 0 0 25 0 1 0 876117870 56893440 11081 33554432000 4194304 4933572 140735864052016 18446744073709551615 4587830 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/29299/statm: 13890 11081 349 181 0 10899 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55560
[startup+3.10034 s]
/proc/loadavg: 0.34 0.75 0.91 3/182 29310
/proc/meminfo: memFree=32024300/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=50088 CPUtime=3.08 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 14082 0 0 0 307 1 0 0 25 0 1 0 876117870 51290112 9894 33554432000 4194304 4933572 140735864052016 18446744073709551615 4632828 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 12522 9894 381 181 0 9531 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 50088
[startup+6.30076 s]
/proc/loadavg: 0.34 0.75 0.91 3/182 29310
/proc/meminfo: memFree=32007064/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=70012 CPUtime=6.29 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 18866 0 0 0 627 2 0 0 25 0 1 0 876117870 71692288 14678 33554432000 4194304 4933572 140735864052016 18446744073709551615 4330263 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 17503 14678 381 181 0 14512 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 70012
[startup+12.7006 s]
/proc/loadavg: 0.47 0.77 0.92 3/182 29310
/proc/meminfo: memFree=31968184/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=86584 CPUtime=12.69 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 23167 0 0 0 1266 3 0 0 25 0 1 0 876117870 88662016 18979 33554432000 4194304 4933572 140735864052016 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 21646 18979 381 181 0 18655 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86584
[startup+25.5003 s]
/proc/loadavg: 0.81 0.83 0.94 3/182 29311
/proc/meminfo: memFree=31913180/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=112668 CPUtime=25.49 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 29231 0 0 0 2545 4 0 0 25 0 1 0 876117870 115372032 25043 33554432000 4194304 4933572 140735864052016 18446744073709551615 271550196632 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 28167 25043 383 181 0 25176 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 112668
[startup+51.1006 s]
/proc/loadavg: 1.21 0.92 0.96 3/182 29311
/proc/meminfo: memFree=31857064/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=140216 CPUtime=51.09 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 36111 0 0 0 5104 5 0 0 25 0 1 0 876117870 143581184 31923 33554432000 4194304 4933572 140735864052016 18446744073709551615 4330240 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 35054 31923 383 181 0 32063 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 140216
[startup+102.306 s]
/proc/loadavg: 1.68 1.10 1.02 3/182 29313
/proc/meminfo: memFree=31780164/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=178192 CPUtime=102.29 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 45689 0 0 0 10223 6 0 0 25 0 1 0 876117870 182468608 41501 33554432000 4194304 4933572 140735864052016 18446744073709551615 4319463 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 44548 41501 383 181 0 41557 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 178192
[startup+162.3 s]
/proc/loadavg: 1.87 1.25 1.07 3/182 29314
/proc/meminfo: memFree=31777408/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=178192 CPUtime=162.29 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 46044 0 0 0 16223 6 0 0 25 0 1 0 876117870 182468608 41856 33554432000 4194304 4933572 140735864052016 18446744073709551615 4330243 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 44548 41856 383 181 0 41557 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 178192
[startup+222.3 s]
/proc/loadavg: 1.99 1.41 1.14 3/182 29316
/proc/meminfo: memFree=31754664/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=191500 CPUtime=222.3 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 49401 0 0 0 22223 7 0 0 25 0 1 0 876117870 196096000 45213 33554432000 4194304 4933572 140735864052016 18446744073709551615 4328743 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 47875 45213 383 181 0 44884 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 191500
[startup+282.301 s]
/proc/loadavg: 2.03 1.52 1.19 3/182 29318
/proc/meminfo: memFree=31746336/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=193636 CPUtime=282.3 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 49933 0 0 0 28223 7 0 0 25 0 1 0 876117870 198283264 45745 33554432000 4194304 4933572 140735864052016 18446744073709551615 4319300 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 48409 45745 383 181 0 45418 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 193636
[startup+342.301 s]
/proc/loadavg: 2.01 1.60 1.24 3/182 29319
/proc/meminfo: memFree=31674264/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=229816 CPUtime=342.3 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 58963 0 0 0 34222 8 0 0 25 0 1 0 876117870 235331584 54775 33554432000 4194304 4933572 140735864052016 18446744073709551615 4631976 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 57454 54775 383 181 0 54463 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 229816
[startup+402.301 s]
/proc/loadavg: 2.00 1.67 1.28 3/182 29321
/proc/meminfo: memFree=31655508/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=239088 CPUtime=402.3 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 61287 0 0 0 40221 9 0 0 25 0 1 0 876117870 244826112 57099 33554432000 4194304 4933572 140735864052016 18446744073709551615 4340871 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 59772 57099 383 181 0 56781 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 239088
[startup+462.301 s]
/proc/loadavg: 2.00 1.73 1.32 3/182 29322
/proc/meminfo: memFree=31649872/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=242076 CPUtime=462.31 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 62024 0 0 0 46222 9 0 0 25 0 1 0 876117870 247885824 57836 33554432000 4194304 4933572 140735864052016 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 60519 57836 383 181 0 57528 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 242076
[startup+522.301 s]
/proc/loadavg: 2.13 1.81 1.37 3/182 29324
/proc/meminfo: memFree=31649840/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=242076 CPUtime=522.31 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 62024 0 0 0 52222 9 0 0 25 0 1 0 876117870 247885824 57836 33554432000 4194304 4933572 140735864052016 18446744073709551615 4663992 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 60519 57836 383 181 0 57528 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 242076
[startup+582.301 s]
/proc/loadavg: 2.13 1.86 1.42 3/182 29326
/proc/meminfo: memFree=31649780/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=242076 CPUtime=582.31 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 62024 0 0 0 58222 9 0 0 25 0 1 0 876117870 247885824 57836 33554432000 4194304 4933572 140735864052016 18446744073709551615 4340826 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 60519 57836 383 181 0 57528 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 242076
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.05 1.94 1.54 3/182 29332
/proc/meminfo: memFree=31332312/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=402972 CPUtime=822.32 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 101959 0 0 0 82219 13 0 0 25 0 1 0 876117870 412643328 97771 33554432000 4194304 4933572 140735864052016 18446744073709551615 4637179 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 100743 97771 383 181 0 97752 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 402972
[startup+882.3 s]
/proc/loadavg: 2.02 1.95 1.57 3/182 29343
/proc/meminfo: memFree=31257744/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=438656 CPUtime=882.31 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 110857 0 0 0 88218 13 0 0 25 0 1 0 876117870 449183744 106669 33554432000 4194304 4933572 140735864052016 18446744073709551615 4649490 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 109664 106669 383 181 0 106673 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 438656
[startup+942.3 s]
/proc/loadavg: 2.00 1.95 1.59 3/182 29344
/proc/meminfo: memFree=31257720/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=438656 CPUtime=942.31 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 110859 0 0 0 94218 13 0 0 25 0 1 0 876117870 449183744 106671 33554432000 4194304 4933572 140735864052016 18446744073709551615 271550195440 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 109664 106671 383 181 0 106673 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 438656
[startup+1002.3 s]
/proc/loadavg: 2.00 1.96 1.62 3/182 29346
/proc/meminfo: memFree=31257684/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=438656 CPUtime=1002.32 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 110860 0 0 0 100219 13 0 0 25 0 1 0 876117870 449183744 106672 33554432000 4194304 4933572 140735864052016 18446744073709551615 4341590 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 109664 106672 383 181 0 106673 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 438656
[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.64 3/182 29349
/proc/meminfo: memFree=31257032/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=438656 CPUtime=1062.32 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 110866 0 0 0 106219 13 0 0 25 0 1 0 876117870 449183744 106678 33554432000 4194304 4933572 140735864052016 18446744073709551615 4337717 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 109664 106678 383 181 0 106673 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 438656
[startup+1122.3 s]
/proc/loadavg: 2.03 1.98 1.66 3/182 29352
/proc/meminfo: memFree=31256884/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=438656 CPUtime=1122.32 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 110866 0 0 0 112219 13 0 0 25 0 1 0 876117870 449183744 106678 33554432000 4194304 4933572 140735864052016 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 109664 106678 383 181 0 106673 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 438656
[startup+1182.3 s]
/proc/loadavg: 2.07 2.00 1.68 3/182 29354
/proc/meminfo: memFree=31256740/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=438656 CPUtime=1182.32 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 110866 0 0 0 118219 13 0 0 25 0 1 0 876117870 449183744 106678 33554432000 4194304 4933572 140735864052016 18446744073709551615 4330289 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 109664 106678 383 181 0 106673 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 438656
[startup+1242.3 s]
/proc/loadavg: 2.02 2.00 1.70 3/182 29355
/proc/meminfo: memFree=31256824/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=438656 CPUtime=1242.32 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 110866 0 0 0 124219 13 0 0 25 0 1 0 876117870 449183744 106678 33554432000 4194304 4933572 140735864052016 18446744073709551615 4649586 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 109664 106678 383 181 0 106673 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 438656
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.72 3/182 29357
/proc/meminfo: memFree=31256536/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=438656 CPUtime=1302.33 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 110866 0 0 0 130220 13 0 0 25 0 1 0 876117870 449183744 106678 33554432000 4194304 4933572 140735864052016 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 109664 106678 383 181 0 106673 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 438656
[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 1.74 3/182 29358
/proc/meminfo: memFree=31256500/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=438656 CPUtime=1362.33 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 110866 0 0 0 136220 13 0 0 25 0 1 0 876117870 449183744 106678 33554432000 4194304 4933572 140735864052016 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 109664 106678 383 181 0 106673 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 438656
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 1.75 3/182 29360
/proc/meminfo: memFree=31256476/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=438656 CPUtime=1422.33 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 110866 0 0 0 142220 13 0 0 25 0 1 0 876117870 449183744 106678 33554432000 4194304 4933572 140735864052016 18446744073709551615 4622157 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 109664 106678 383 181 0 106673 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 438656
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.76 3/182 29362
/proc/meminfo: memFree=31256544/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=438656 CPUtime=1482.33 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 110866 0 0 0 148220 13 0 0 25 0 1 0 876117870 449183744 106678 33554432000 4194304 4933572 140735864052016 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 109664 106678 383 181 0 106673 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 438656
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/182 29363
/proc/meminfo: memFree=31256640/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=438656 CPUtime=1542.33 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 110867 0 0 0 154220 13 0 0 25 0 1 0 876117870 449183744 106679 33554432000 4194304 4933572 140735864052016 18446744073709551615 4330841 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 109664 106679 383 181 0 106673 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 438656
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/182 29365
/proc/meminfo: memFree=31256480/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=438656 CPUtime=1602.33 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 110867 0 0 0 160220 13 0 0 25 0 1 0 876117870 449183744 106679 33554432000 4194304 4933572 140735864052016 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 109664 106679 383 181 0 106673 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 438656
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 1.80 3/182 29366
/proc/meminfo: memFree=31256824/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=438656 CPUtime=1662.34 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 110867 0 0 0 166221 13 0 0 25 0 1 0 876117870 449183744 106679 33554432000 4194304 4933572 140735864052016 18446744073709551615 4330251 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 109664 106679 383 181 0 106673 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 438656
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.82 3/182 29368
/proc/meminfo: memFree=31256668/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=438656 CPUtime=1722.34 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 110867 0 0 0 172221 13 0 0 25 0 1 0 876117870 449183744 106679 33554432000 4194304 4933572 140735864052016 18446744073709551615 4340904 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 109664 106679 383 181 0 106673 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 438656
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 1.83 3/182 29370
/proc/meminfo: memFree=31256504/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=438656 CPUtime=1782.34 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 110868 0 0 0 178221 13 0 0 25 0 1 0 876117870 449183744 106680 33554432000 4194304 4933572 140735864052016 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 109664 106680 383 181 0 106673 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 438656
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.05 2.02 1.83 3/182 29370
/proc/meminfo: memFree=31256376/32951124 swapFree=67054536/67111528
[pid=29299] ppid=29297 vsize=438656 CPUtime=1800.05 cores=1,3,5,7
/proc/29299/stat : 29299 (clasp) R 29297 29299 28104 0 -1 4202496 110868 0 0 0 179992 13 0 0 25 0 1 0 876117870 449183744 106680 33554432000 4194304 4933572 140735864052016 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29299/statm: 109664 106680 383 181 0 106673 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 438656
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.03
CPU time (s): 1800.08
CPU user time (s): 1799.92
CPU system time (s): 0.154976
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 438656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.154976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110880
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= 2694
runsolver used 2.81557 second user time and 7.00993 second system time
The end