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-3468160-1307645199/watcher-3468160-1307645199 -o /tmp/evaluation-result-3468160-1307645199/solver-3468160-1307645199 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468160-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: 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: 0.19 0.72 0.91 2/181 29309
/proc/meminfo: memFree=32104516/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=14644 CPUtime=0 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 1075 0 0 0 0 0 0 0 22 0 1 0 876117875 14995456 938 33554432000 4194304 4933572 140737162203360 18446744073709551615 271550537472 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 3661 938 332 181 0 670 0
[startup+0.0776909 s]
/proc/loadavg: 0.19 0.72 0.91 2/181 29309
/proc/meminfo: memFree=32104516/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=21284 CPUtime=0.07 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 3432 0 0 0 7 0 0 0 22 0 1 0 876117875 21794816 2551 33554432000 4194304 4933572 140737162203360 18446744073709551615 271550537472 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 5321 2551 332 181 0 2330 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 21284
[startup+0.100698 s]
/proc/loadavg: 0.19 0.72 0.91 2/181 29309
/proc/meminfo: memFree=32104516/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=23808 CPUtime=0.09 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 4344 0 0 0 9 0 0 0 22 0 1 0 876117875 24379392 3057 33554432000 4194304 4933572 140737162203360 18446744073709551615 271550198469 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 5952 3058 332 181 0 2961 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23808
[startup+0.300681 s]
/proc/loadavg: 0.19 0.72 0.91 2/181 29309
/proc/meminfo: memFree=32104516/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=43340 CPUtime=0.29 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 10932 0 0 0 28 1 0 0 23 0 1 0 876117875 44380160 8029 33554432000 4194304 4933572 140737162203360 18446744073709551615 4605328 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 10835 8030 347 181 0 7844 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43340
[startup+0.700606 s]
/proc/loadavg: 0.19 0.72 0.91 2/181 29309
/proc/meminfo: memFree=32104516/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=55560 CPUtime=0.69 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 13984 0 0 0 67 2 0 0 25 0 1 0 876117875 56893440 11081 33554432000 4194304 4933572 140737162203360 18446744073709551615 4588001 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 13890 11081 349 181 0 10899 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55560
[startup+1.50048 s]
/proc/loadavg: 0.19 0.72 0.91 3/182 29310
/proc/meminfo: memFree=32024676/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=55560 CPUtime=1.49 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 13984 0 0 0 147 2 0 0 25 0 1 0 876117875 56893440 11081 33554432000 4194304 4933572 140737162203360 18446744073709551615 4587830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 13890 11081 349 181 0 10899 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55560
[startup+3.10115 s]
/proc/loadavg: 0.34 0.75 0.91 3/182 29310
/proc/meminfo: memFree=32024300/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=50088 CPUtime=3.09 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 14081 0 0 0 307 2 0 0 25 0 1 0 876117875 51290112 9894 33554432000 4194304 4933572 140737162203360 18446744073709551615 4340821 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 12522 9894 381 181 0 9531 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50088
[startup+6.30058 s]
/proc/loadavg: 0.34 0.75 0.91 3/182 29310
/proc/meminfo: memFree=32006196/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=69972 CPUtime=6.3 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 18864 0 0 0 627 3 0 0 25 0 1 0 876117875 71651328 14677 33554432000 4194304 4933572 140737162203360 18446744073709551615 4330240 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 17493 14677 381 181 0 14502 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 69972
[startup+12.7004 s]
/proc/loadavg: 0.47 0.77 0.92 3/182 29310
/proc/meminfo: memFree=31968184/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=83680 CPUtime=12.69 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 22455 0 0 0 1266 3 0 0 25 0 1 0 876117875 85688320 18268 33554432000 4194304 4933572 140737162203360 18446744073709551615 4340900 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 20920 18268 381 181 0 17929 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83680
[startup+25.5011 s]
/proc/loadavg: 0.81 0.83 0.94 3/182 29311
/proc/meminfo: memFree=31913180/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=112244 CPUtime=25.5 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 29149 0 0 0 2546 4 0 0 25 0 1 0 876117875 114937856 24962 33554432000 4194304 4933572 140737162203360 18446744073709551615 4341590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 28061 24962 383 181 0 25070 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 112244
[startup+51.1004 s]
/proc/loadavg: 1.21 0.92 0.96 3/182 29311
/proc/meminfo: memFree=31857064/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=140112 CPUtime=51.09 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 36138 0 0 0 5104 5 0 0 25 0 1 0 876117875 143474688 31951 33554432000 4194304 4933572 140737162203360 18446744073709551615 4330858 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 35028 31951 383 181 0 32037 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 140112
[startup+102.306 s]
/proc/loadavg: 1.68 1.10 1.02 3/182 29313
/proc/meminfo: memFree=31780164/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=178228 CPUtime=102.3 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 45711 0 0 0 10223 7 0 0 25 0 1 0 876117875 182505472 41524 33554432000 4194304 4933572 140737162203360 18446744073709551615 4663992 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 44557 41524 383 181 0 41566 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 178228
[startup+162.3 s]
/proc/loadavg: 1.87 1.25 1.07 3/182 29314
/proc/meminfo: memFree=31777408/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=178228 CPUtime=162.29 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 46050 0 0 0 16222 7 0 0 25 0 1 0 876117875 182505472 41863 33554432000 4194304 4933572 140737162203360 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 44557 41863 383 181 0 41566 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 178228
[startup+222.3 s]
/proc/loadavg: 1.99 1.41 1.14 3/182 29316
/proc/meminfo: memFree=31754168/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=189792 CPUtime=222.3 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 48972 0 0 0 22222 8 0 0 25 0 1 0 876117875 194347008 44785 33554432000 4194304 4933572 140737162203360 18446744073709551615 4330310 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 47448 44785 383 181 0 44457 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 189792
[startup+282.3 s]
/proc/loadavg: 2.03 1.52 1.19 3/182 29318
/proc/meminfo: memFree=31746212/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=193792 CPUtime=282.3 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 49944 0 0 0 28222 8 0 0 25 0 1 0 876117875 198443008 45757 33554432000 4194304 4933572 140737162203360 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 48448 45757 383 181 0 45457 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 193792
[startup+342.3 s]
/proc/loadavg: 2.01 1.61 1.24 3/182 29319
/proc/meminfo: memFree=31674264/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=229800 CPUtime=342.3 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 58959 0 0 0 34221 9 0 0 25 0 1 0 876117875 235315200 54772 33554432000 4194304 4933572 140737162203360 18446744073709551615 4631996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 57450 54772 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.00 1.67 1.28 3/182 29321
/proc/meminfo: memFree=31655508/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=239092 CPUtime=402.3 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 61280 0 0 0 40221 9 0 0 25 0 1 0 876117875 244830208 57093 33554432000 4194304 4933572 140737162203360 18446744073709551615 4631976 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 59773 57093 383 181 0 56782 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 239092
[startup+462.301 s]
/proc/loadavg: 2.00 1.73 1.32 3/182 29322
/proc/meminfo: memFree=31649872/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=242060 CPUtime=462.3 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 62019 0 0 0 46221 9 0 0 25 0 1 0 876117875 247869440 57832 33554432000 4194304 4933572 140737162203360 18446744073709551615 4631976 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 60515 57832 383 181 0 57524 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 242060
[startup+522.301 s]
/proc/loadavg: 2.13 1.81 1.37 3/182 29324
/proc/meminfo: memFree=31649840/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=242060 CPUtime=522.31 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 62019 0 0 0 52222 9 0 0 25 0 1 0 876117875 247869440 57832 33554432000 4194304 4933572 140737162203360 18446744073709551615 4635396 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 60515 57832 383 181 0 57524 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 242060
[startup+582.301 s]
/proc/loadavg: 2.13 1.86 1.42 3/182 29326
/proc/meminfo: memFree=31649780/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=242060 CPUtime=582.31 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 62019 0 0 0 58222 9 0 0 25 0 1 0 876117875 247869440 57832 33554432000 4194304 4933572 140737162203360 18446744073709551615 4319463 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 60515 57832 383 181 0 57524 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 242060
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.05 1.94 1.54 3/182 29332
/proc/meminfo: memFree=31332312/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=401892 CPUtime=822.32 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 101596 0 0 0 82218 14 0 0 25 0 1 0 876117875 411537408 97409 33554432000 4194304 4933572 140737162203360 18446744073709551615 4663992 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 100473 97409 383 181 0 97482 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 401892
[startup+882.3 s]
/proc/loadavg: 2.02 1.95 1.57 3/182 29343
/proc/meminfo: memFree=31257744/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=438676 CPUtime=882.32 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 110792 0 0 0 88216 16 0 0 25 0 1 0 876117875 449204224 106605 33554432000 4194304 4933572 140737162203360 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 109669 106605 383 181 0 106678 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 438676
[startup+942.3 s]
/proc/loadavg: 2.00 1.95 1.59 3/182 29344
/proc/meminfo: memFree=31257720/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=438676 CPUtime=942.32 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 110793 0 0 0 94216 16 0 0 25 0 1 0 876117875 449204224 106606 33554432000 4194304 4933572 140737162203360 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 109669 106606 383 181 0 106678 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 438676
[startup+1002.3 s]
/proc/loadavg: 2.00 1.96 1.62 3/182 29346
/proc/meminfo: memFree=31257684/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=438676 CPUtime=1002.32 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 110795 0 0 0 100216 16 0 0 25 0 1 0 876117875 449204224 106608 33554432000 4194304 4933572 140737162203360 18446744073709551615 4649590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 109669 106608 383 181 0 106678 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 438676
[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.64 3/182 29349
/proc/meminfo: memFree=31257032/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=438676 CPUtime=1062.32 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 110802 0 0 0 106216 16 0 0 25 0 1 0 876117875 449204224 106615 33554432000 4194304 4933572 140737162203360 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 109669 106615 383 181 0 106678 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 438676
[startup+1122.3 s]
/proc/loadavg: 2.03 1.98 1.66 3/182 29352
/proc/meminfo: memFree=31256884/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=438676 CPUtime=1122.33 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 110802 0 0 0 112217 16 0 0 25 0 1 0 876117875 449204224 106615 33554432000 4194304 4933572 140737162203360 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 109669 106615 383 181 0 106678 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 438676
[startup+1182.3 s]
/proc/loadavg: 2.07 2.00 1.68 3/182 29354
/proc/meminfo: memFree=31256740/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=438676 CPUtime=1182.33 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 110802 0 0 0 118217 16 0 0 25 0 1 0 876117875 449204224 106615 33554432000 4194304 4933572 140737162203360 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 109669 106615 383 181 0 106678 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 438676
[startup+1242.3 s]
/proc/loadavg: 2.02 2.00 1.70 3/182 29355
/proc/meminfo: memFree=31256824/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=438676 CPUtime=1242.33 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 110802 0 0 0 124217 16 0 0 25 0 1 0 876117875 449204224 106615 33554432000 4194304 4933572 140737162203360 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 109669 106615 383 181 0 106678 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 438676
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.72 3/182 29357
/proc/meminfo: memFree=31256536/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=438676 CPUtime=1302.34 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 110802 0 0 0 130218 16 0 0 25 0 1 0 876117875 449204224 106615 33554432000 4194304 4933572 140737162203360 18446744073709551615 4631915 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 109669 106615 383 181 0 106678 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 438676
[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 1.74 3/182 29358
/proc/meminfo: memFree=31256500/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=438676 CPUtime=1362.33 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 110802 0 0 0 136217 16 0 0 25 0 1 0 876117875 449204224 106615 33554432000 4194304 4933572 140737162203360 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 109669 106615 383 181 0 106678 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 438676
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 1.75 3/182 29360
/proc/meminfo: memFree=31256476/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=438676 CPUtime=1422.34 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 110802 0 0 0 142218 16 0 0 25 0 1 0 876117875 449204224 106615 33554432000 4194304 4933572 140737162203360 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 109669 106615 383 181 0 106678 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 438676
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.76 3/182 29362
/proc/meminfo: memFree=31256544/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=438676 CPUtime=1482.34 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 110802 0 0 0 148218 16 0 0 25 0 1 0 876117875 449204224 106615 33554432000 4194304 4933572 140737162203360 18446744073709551615 4330240 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 109669 106615 383 181 0 106678 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 438676
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/182 29363
/proc/meminfo: memFree=31256640/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=438676 CPUtime=1542.34 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 110803 0 0 0 154218 16 0 0 25 0 1 0 876117875 449204224 106616 33554432000 4194304 4933572 140737162203360 18446744073709551615 4360906 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 109669 106616 383 181 0 106678 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 438676
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/182 29365
/proc/meminfo: memFree=31256480/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=438676 CPUtime=1602.34 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 110803 0 0 0 160218 16 0 0 25 0 1 0 876117875 449204224 106616 33554432000 4194304 4933572 140737162203360 18446744073709551615 4330841 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 109669 106616 383 181 0 106678 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 438676
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 1.80 3/182 29366
/proc/meminfo: memFree=31256824/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=438676 CPUtime=1662.34 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 110803 0 0 0 166218 16 0 0 25 0 1 0 876117875 449204224 106616 33554432000 4194304 4933572 140737162203360 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 109669 106616 383 181 0 106678 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 438676
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.82 3/182 29368
/proc/meminfo: memFree=31256668/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=438676 CPUtime=1722.34 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 110803 0 0 0 172218 16 0 0 25 0 1 0 876117875 449204224 106616 33554432000 4194304 4933572 140737162203360 18446744073709551615 4330269 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 109669 106616 383 181 0 106678 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 438676
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 1.83 3/182 29370
/proc/meminfo: memFree=31256504/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=438676 CPUtime=1782.34 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 110804 0 0 0 178218 16 0 0 25 0 1 0 876117875 449204224 106617 33554432000 4194304 4933572 140737162203360 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 109669 106617 383 181 0 106678 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 438676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.05 2.02 1.83 2/181 29371
/proc/meminfo: memFree=31682448/32951124 swapFree=67054536/67111528
[pid=29309] ppid=29307 vsize=438676 CPUtime=1800.05 cores=0,2,4,6
/proc/29309/stat : 29309 (clasp) R 29307 29309 28104 0 -1 4202496 110804 0 0 0 179989 16 0 0 25 0 1 0 876117875 449204224 106617 33554432000 4194304 4933572 140737162203360 18446744073709551615 4341581 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29309/statm: 109669 106617 383 181 0 106678 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 438676
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): 1799.89
CPU system time (s): 0.183972
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 438676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.183972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110817
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 2657
runsolver used 3.10553 second user time and 5.96409 second system time
The end