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-3468162-1307084962/watcher-3468162-1307084962 -o /tmp/evaluation-result-3468162-1307084962/solver-3468162-1307084962 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468162-1307084962.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: 2.00 2.02 2.00 2/437 1691
/proc/meminfo: memFree=24572388/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=14308 CPUtime=0 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 989 0 0 0 0 0 0 0 21 0 1 0 800911866 14651392 851 33554432000 4194304 4933572 140734018005392 18446744073709551615 270338383616 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 3577 853 324 181 0 586 0
[startup+0.0406729 s]
/proc/loadavg: 2.00 2.02 2.00 2/437 1691
/proc/meminfo: memFree=24572388/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=17744 CPUtime=0.03 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 2144 0 0 0 3 0 0 0 21 0 1 0 800911866 18169856 1714 33554432000 4194304 4933572 140734018005392 18446744073709551615 270338044613 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 4436 1715 332 181 0 1445 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17744
[startup+0.100667 s]
/proc/loadavg: 2.00 2.02 2.00 2/437 1691
/proc/meminfo: memFree=24572388/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=23808 CPUtime=0.09 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 4352 0 0 0 9 0 0 0 21 0 1 0 800911866 24379392 3064 33554432000 4194304 4933572 140734018005392 18446744073709551615 270338383616 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 5952 3066 332 181 0 2961 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23808
[startup+0.30063 s]
/proc/loadavg: 2.00 2.02 2.00 2/437 1691
/proc/meminfo: memFree=24572388/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=44544 CPUtime=0.29 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 11163 0 0 0 28 1 0 0 22 0 1 0 800911866 45613056 8259 33554432000 4194304 4933572 140734018005392 18446744073709551615 270338080887 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 11136 8284 347 181 0 8145 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44544
[startup+0.700561 s]
/proc/loadavg: 2.00 2.02 2.00 2/437 1691
/proc/meminfo: memFree=24572388/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=55560 CPUtime=0.69 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 13985 0 0 0 68 1 0 0 23 0 1 0 800911866 56893440 11081 33554432000 4194304 4933572 140734018005392 18446744073709551615 4587830 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 13890 11081 349 181 0 10899 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55560
[startup+1.50039 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 1692
/proc/meminfo: memFree=24528236/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=55560 CPUtime=1.49 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 13985 0 0 0 148 1 0 0 25 0 1 0 800911866 56893440 11081 33554432000 4194304 4933572 140734018005392 18446744073709551615 4587830 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 13890 11081 349 181 0 10899 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55560
[startup+3.10107 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 1692
/proc/meminfo: memFree=24526376/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=50088 CPUtime=3.09 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 14082 0 0 0 308 1 0 0 25 0 1 0 800911866 51290112 9894 33554432000 4194304 4933572 140734018005392 18446744073709551615 4341581 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 12522 9894 381 181 0 9531 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50088
[startup+6.30043 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 1692
/proc/meminfo: memFree=24517724/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=69976 CPUtime=6.29 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 18864 0 0 0 627 2 0 0 25 0 1 0 800911866 71655424 14676 33554432000 4194304 4933572 140734018005392 18446744073709551615 4342154 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 17494 14676 381 181 0 14503 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 69976
[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 1692
/proc/meminfo: memFree=24488708/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=86468 CPUtime=12.69 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 23145 0 0 0 1267 2 0 0 25 0 1 0 800911866 88543232 18957 33554432000 4194304 4933572 140734018005392 18446744073709551615 4330283 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 21617 18957 381 181 0 18626 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86468
[startup+25.5006 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 1693
/proc/meminfo: memFree=24445244/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=112924 CPUtime=25.49 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 29281 0 0 0 2546 3 0 0 25 0 1 0 800911866 115634176 25093 33554432000 4194304 4933572 140734018005392 18446744073709551615 4637233 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 28231 25093 383 181 0 25240 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 112924
[startup+51.1005 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 1693
/proc/meminfo: memFree=24417776/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=140136 CPUtime=51.09 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 36100 0 0 0 5106 3 0 0 25 0 1 0 800911866 143499264 31912 33554432000 4194304 4933572 140734018005392 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 35034 31912 383 181 0 32043 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 140136
[startup+102.316 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 1695
/proc/meminfo: memFree=24367208/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=178244 CPUtime=102.31 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 45687 0 0 0 10227 4 0 0 25 0 1 0 800911866 182521856 41499 33554432000 4194304 4933572 140734018005392 18446744073709551615 4637219 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 44561 41499 383 181 0 41570 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 178244
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1696
/proc/meminfo: memFree=24364824/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=178244 CPUtime=162.3 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 46054 0 0 0 16225 5 0 0 25 0 1 0 800911866 182521856 41866 33554432000 4194304 4933572 140734018005392 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 44561 41866 383 181 0 41570 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 178244
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1698
/proc/meminfo: memFree=24352272/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=191592 CPUtime=222.3 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 49400 0 0 0 22225 5 0 0 25 0 1 0 800911866 196190208 45212 33554432000 4194304 4933572 140734018005392 18446744073709551615 4330258 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 47898 45212 383 181 0 44907 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 191592
[startup+282.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/438 1699
/proc/meminfo: memFree=24350496/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=193744 CPUtime=282.3 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 49937 0 0 0 28225 5 0 0 25 0 1 0 800911866 198393856 45749 33554432000 4194304 4933572 140734018005392 18446744073709551615 4330852 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 48436 45749 383 181 0 45445 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 193744
[startup+342.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/438 1701
/proc/meminfo: memFree=24311292/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=229800 CPUtime=342.3 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 58956 0 0 0 34224 6 0 0 25 0 1 0 800911866 235315200 54768 33554432000 4194304 4933572 140734018005392 18446744073709551615 4330830 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 57450 54768 383 181 0 54459 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 229800
[startup+402.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/438 1703
/proc/meminfo: memFree=24236480/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=239060 CPUtime=402.3 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 61284 0 0 0 40224 6 0 0 25 0 1 0 800911866 244797440 57096 33554432000 4194304 4933572 140734018005392 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 59765 57096 383 181 0 56774 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 239060
[startup+462.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/438 1704
/proc/meminfo: memFree=24191196/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=242012 CPUtime=462.32 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 62020 0 0 0 46225 7 0 0 25 0 1 0 800911866 247820288 57832 33554432000 4194304 4933572 140734018005392 18446744073709551615 4342112 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 60503 57832 383 181 0 57512 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 242012
[startup+522.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/438 1706
/proc/meminfo: memFree=24106612/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=242012 CPUtime=522.32 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 62020 0 0 0 52225 7 0 0 25 0 1 0 800911866 247820288 57832 33554432000 4194304 4933572 140734018005392 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 60503 57832 383 181 0 57512 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 242012
[startup+582.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/438 1707
/proc/meminfo: memFree=24105968/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=242012 CPUtime=582.32 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 62020 0 0 0 58225 7 0 0 25 0 1 0 800911866 247820288 57832 33554432000 4194304 4933572 140734018005392 18446744073709551615 4637233 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 60503 57832 383 181 0 57512 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 242012
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/438 1714
/proc/meminfo: memFree=23948000/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=401796 CPUtime=822.32 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 101659 0 0 0 82221 11 0 0 25 0 1 0 800911866 411439104 97471 33554432000 4194304 4933572 140734018005392 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 100449 97471 383 181 0 97458 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 401796
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 1716
/proc/meminfo: memFree=23909908/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=438632 CPUtime=882.33 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 110874 0 0 0 88220 13 0 0 25 0 1 0 800911866 449159168 106686 33554432000 4194304 4933572 140734018005392 18446744073709551615 4631976 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 109658 106686 383 181 0 106667 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 438632
[startup+942.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/438 1720
/proc/meminfo: memFree=23909876/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=438632 CPUtime=942.33 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 110875 0 0 0 94220 13 0 0 25 0 1 0 800911866 449159168 106687 33554432000 4194304 4933572 140734018005392 18446744073709551615 4319426 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 109658 106687 383 181 0 106667 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 438632
[startup+1002.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/438 1723
/proc/meminfo: memFree=23908636/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=438632 CPUtime=1002.34 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 110877 0 0 0 100221 13 0 0 25 0 1 0 800911866 449159168 106689 33554432000 4194304 4933572 140734018005392 18446744073709551615 4330852 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 109658 106689 383 181 0 106667 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 438632
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 1724
/proc/meminfo: memFree=23908596/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=438632 CPUtime=1062.34 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 110884 0 0 0 106221 13 0 0 25 0 1 0 800911866 449159168 106696 33554432000 4194304 4933572 140734018005392 18446744073709551615 4360912 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 109658 106696 383 181 0 106667 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 438632
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 1726
/proc/meminfo: memFree=23908572/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=438632 CPUtime=1122.34 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 110884 0 0 0 112221 13 0 0 25 0 1 0 800911866 449159168 106696 33554432000 4194304 4933572 140734018005392 18446744073709551615 4330209 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 109658 106696 383 181 0 106667 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 438632
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1727
/proc/meminfo: memFree=23908544/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=438632 CPUtime=1182.34 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 110884 0 0 0 118221 13 0 0 25 0 1 0 800911866 449159168 106696 33554432000 4194304 4933572 140734018005392 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 109658 106696 383 181 0 106667 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 438632
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1729
/proc/meminfo: memFree=23909636/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=438632 CPUtime=1242.35 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 110884 0 0 0 124222 13 0 0 25 0 1 0 800911866 449159168 106696 33554432000 4194304 4933572 140734018005392 18446744073709551615 4340871 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 109658 106696 383 181 0 106667 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 438632
[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/438 1731
/proc/meminfo: memFree=23908724/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=438632 CPUtime=1302.35 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 110884 0 0 0 130222 13 0 0 25 0 1 0 800911866 449159168 106696 33554432000 4194304 4933572 140734018005392 18446744073709551615 4330263 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 109658 106696 383 181 0 106667 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 438632
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/438 1732
/proc/meminfo: memFree=23909932/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=438632 CPUtime=1362.35 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 110884 0 0 0 136222 13 0 0 25 0 1 0 800911866 449159168 106696 33554432000 4194304 4933572 140734018005392 18446744073709551615 4360897 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 109658 106696 383 181 0 106667 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 438632
[startup+1422.32 s]
/proc/loadavg: 2.08 2.02 2.00 3/438 1734
/proc/meminfo: memFree=23909780/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=438632 CPUtime=1422.37 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 110884 0 0 0 142224 13 0 0 25 0 1 0 800911866 449159168 106696 33554432000 4194304 4933572 140734018005392 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 109658 106696 383 181 0 106667 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 438632
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/438 1735
/proc/meminfo: memFree=23909880/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=438632 CPUtime=1482.36 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 110884 0 0 0 148223 13 0 0 25 0 1 0 800911866 449159168 106696 33554432000 4194304 4933572 140734018005392 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 109658 106696 383 181 0 106667 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 438632
[startup+1542.3 s]
/proc/loadavg: 1.44 1.85 1.95 2/432 1755
/proc/meminfo: memFree=24355596/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=438632 CPUtime=1542.36 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 110885 0 0 0 154223 13 0 0 25 0 1 0 800911866 449159168 106697 33554432000 4194304 4933572 140734018005392 18446744073709551615 4637147 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 109658 106697 383 181 0 106667 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 438632
[startup+1602.3 s]
/proc/loadavg: 1.16 1.69 1.88 2/432 1757
/proc/meminfo: memFree=24355700/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=438632 CPUtime=1602.36 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 110885 0 0 0 160223 13 0 0 25 0 1 0 800911866 449159168 106697 33554432000 4194304 4933572 140734018005392 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 109658 106697 383 181 0 106667 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 438632
[startup+1662.3 s]
/proc/loadavg: 1.06 1.56 1.83 2/432 1758
/proc/meminfo: memFree=24355808/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=438632 CPUtime=1662.37 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 110885 0 0 0 166224 13 0 0 25 0 1 0 800911866 449159168 106697 33554432000 4194304 4933572 140734018005392 18446744073709551615 4649396 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 109658 106697 383 181 0 106667 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 438632
[startup+1722.3 s]
/proc/loadavg: 1.02 1.46 1.77 2/432 1760
/proc/meminfo: memFree=24356044/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=438632 CPUtime=1722.37 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 110885 0 0 0 172224 13 0 0 25 0 1 0 800911866 449159168 106697 33554432000 4194304 4933572 140734018005392 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 109658 106697 383 181 0 106667 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 438632
[startup+1782.3 s]
/proc/loadavg: 1.00 1.37 1.72 2/432 1761
/proc/meminfo: memFree=24354912/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=438632 CPUtime=1782.37 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 110886 0 0 0 178224 13 0 0 25 0 1 0 800911866 449159168 106698 33554432000 4194304 4933572 140734018005392 18446744073709551615 4328785 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 109658 106698 383 181 0 106667 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 438632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.35 1.71 2/432 1762
/proc/meminfo: memFree=24355776/32951124 swapFree=50923800/67111528
[pid=1691] ppid=1689 vsize=438632 CPUtime=1800.08 cores=1,3,5,7
/proc/1691/stat : 1691 (clasp) R 1689 1691 29572 0 -1 4202496 110886 0 0 0 179995 13 0 0 25 0 1 0 800911866 449159168 106698 33554432000 4194304 4933572 140734018005392 18446744073709551615 4631904 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1691/statm: 109658 106698 383 181 0 106667 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 438632
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.04
CPU time (s): 1800.12
CPU user time (s): 1799.96
CPU system time (s): 0.154976
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 438632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
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= 110898
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= 3023
runsolver used 6.81896 second user time and 17.8123 second system time
The end