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-3468171-1307085409/watcher-3468171-1307085409 -o /tmp/evaluation-result-3468171-1307085409/solver-3468171-1307085409 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468171-1307085409.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: 1.99 2.00 1.93 2/327 18349
/proc/meminfo: memFree=23729776/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=15052 CPUtime=0 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 1178 0 0 0 0 0 0 0 21 0 1 0 898771540 15413248 1040 33554432000 4194304 4933572 140733219734320 18446744073709551615 260020395776 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 3763 1040 332 181 0 772 0
[startup+0.0450569 s]
/proc/loadavg: 1.99 2.00 1.93 2/327 18349
/proc/meminfo: memFree=23729776/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=18368 CPUtime=0.04 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 2425 0 0 0 4 0 0 0 21 0 1 0 898771540 18808832 1814 33554432000 4194304 4933572 140733219734320 18446744073709551615 260020056773 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 4592 1815 332 181 0 1601 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18368
[startup+0.101039 s]
/proc/loadavg: 1.99 2.00 1.93 2/327 18349
/proc/meminfo: memFree=23729776/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=23808 CPUtime=0.09 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 4383 0 0 0 9 0 0 0 21 0 1 0 898771540 24379392 3095 33554432000 4194304 4933572 140733219734320 18446744073709551615 260020395776 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 5952 3095 332 181 0 2961 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23808
[startup+0.301002 s]
/proc/loadavg: 1.99 2.00 1.93 2/327 18349
/proc/meminfo: memFree=23729776/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=43832 CPUtime=0.29 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 11102 0 0 0 27 2 0 0 22 0 1 0 898771540 44883968 8198 33554432000 4194304 4933572 140733219734320 18446744073709551615 4598707 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 10958 8198 347 181 0 7967 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43832
[startup+0.700931 s]
/proc/loadavg: 1.99 2.00 1.93 2/327 18349
/proc/meminfo: memFree=23729776/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=55560 CPUtime=0.69 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 13984 0 0 0 67 2 0 0 24 0 1 0 898771540 56893440 11080 33554432000 4194304 4933572 140733219734320 18446744073709551615 4587830 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 13890 11080 349 181 0 10899 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55560
[startup+1.50078 s]
/proc/loadavg: 1.99 2.00 1.93 3/328 18350
/proc/meminfo: memFree=23686276/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=55560 CPUtime=1.49 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 13984 0 0 0 147 2 0 0 25 0 1 0 898771540 56893440 11080 33554432000 4194304 4933572 140733219734320 18446744073709551615 4587830 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 13890 11080 349 181 0 10899 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55560
[startup+3.10048 s]
/proc/loadavg: 1.99 2.00 1.93 3/328 18350
/proc/meminfo: memFree=23685656/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=50088 CPUtime=3.09 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 14081 0 0 0 307 2 0 0 25 0 1 0 898771540 51290112 9893 33554432000 4194304 4933572 140733219734320 18446744073709551615 4340871 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 12522 9893 381 181 0 9531 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50088
[startup+6.3009 s]
/proc/loadavg: 2.07 2.02 1.93 3/328 18350
/proc/meminfo: memFree=23676232/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=69956 CPUtime=6.29 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 18861 0 0 0 626 3 0 0 25 0 1 0 898771540 71634944 14673 33554432000 4194304 4933572 140733219734320 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 17489 14673 381 181 0 14498 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 69956
[startup+12.7007 s]
/proc/loadavg: 2.07 2.02 1.93 3/328 18350
/proc/meminfo: memFree=23657064/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=86612 CPUtime=12.69 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 23194 0 0 0 1265 4 0 0 25 0 1 0 898771540 88690688 19006 33554432000 4194304 4933572 140733219734320 18446744073709551615 4341607 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 21653 19006 381 181 0 18662 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86612
[startup+25.5004 s]
/proc/loadavg: 2.05 2.01 1.93 3/328 18350
/proc/meminfo: memFree=23629968/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=112244 CPUtime=25.49 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 29140 0 0 0 2544 5 0 0 25 0 1 0 898771540 114937856 24952 33554432000 4194304 4933572 140733219734320 18446744073709551615 4637512 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 28061 24952 383 181 0 25070 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 112244
[startup+51.1007 s]
/proc/loadavg: 2.03 2.01 1.93 3/328 18351
/proc/meminfo: memFree=23601656/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=140168 CPUtime=51.09 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 36124 0 0 0 5103 6 0 0 25 0 1 0 898771540 143532032 31936 33554432000 4194304 4933572 140733219734320 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 35042 31936 383 181 0 32051 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 140168
[startup+102.312 s]
/proc/loadavg: 2.01 2.01 1.93 3/328 18352
/proc/meminfo: memFree=23563484/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=178184 CPUtime=102.3 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 45692 0 0 0 10222 8 0 0 25 0 1 0 898771540 182460416 41504 33554432000 4194304 4933572 140733219734320 18446744073709551615 4337717 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 44546 41504 383 181 0 41555 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 178184
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/328 18354
/proc/meminfo: memFree=23560976/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=178184 CPUtime=162.29 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 46041 0 0 0 16221 8 0 0 25 0 1 0 898771540 182460416 41853 33554432000 4194304 4933572 140733219734320 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 44546 41853 383 181 0 41555 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 178184
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/328 18355
/proc/meminfo: memFree=23547428/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=191540 CPUtime=222.3 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 49401 0 0 0 22221 9 0 0 25 0 1 0 898771540 196136960 45213 33554432000 4194304 4933572 140733219734320 18446744073709551615 4637120 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 47885 45213 383 181 0 44894 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 191540
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/328 18357
/proc/meminfo: memFree=23545288/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=193828 CPUtime=282.3 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 49955 0 0 0 28221 9 0 0 25 0 1 0 898771540 198479872 45767 33554432000 4194304 4933572 140733219734320 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 48457 45767 383 181 0 45466 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 193828
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/328 18359
/proc/meminfo: memFree=23509932/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=229896 CPUtime=342.29 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 58970 0 0 0 34219 10 0 0 25 0 1 0 898771540 235413504 54782 33554432000 4194304 4933572 140733219734320 18446744073709551615 4631915 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 57474 54782 383 181 0 54483 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 229896
[startup+402.3 s]
/proc/loadavg: 2.07 2.02 1.94 3/328 18360
/proc/meminfo: memFree=23500712/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=239048 CPUtime=402.3 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 61276 0 0 0 40220 10 0 0 25 0 1 0 898771540 244785152 57088 33554432000 4194304 4933572 140733219734320 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 59762 57088 383 181 0 56771 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 239048
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/328 18362
/proc/meminfo: memFree=23498076/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=242152 CPUtime=462.3 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 62038 0 0 0 46220 10 0 0 25 0 1 0 898771540 247963648 57850 33554432000 4194304 4933572 140733219734320 18446744073709551615 4330830 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 60538 57850 383 181 0 57547 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 242152
[startup+522.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/328 18363
/proc/meminfo: memFree=23498168/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=242152 CPUtime=522.3 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 62038 0 0 0 52220 10 0 0 25 0 1 0 898771540 247963648 57850 33554432000 4194304 4933572 140733219734320 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 60538 57850 383 181 0 57547 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 242152
[startup+582.3 s]
/proc/loadavg: 2.05 2.02 1.94 3/328 18365
/proc/meminfo: memFree=23498272/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=242152 CPUtime=582.3 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 62038 0 0 0 58220 10 0 0 25 0 1 0 898771540 247963648 57850 33554432000 4194304 4933572 140733219734320 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 60538 57850 383 181 0 57547 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 242152
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 1.98 1.98 1.94 3/328 18399
/proc/meminfo: memFree=23729320/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=401852 CPUtime=822.32 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 101650 0 0 0 82217 15 0 0 25 0 1 0 898771540 411496448 97462 33554432000 4194304 4933572 140733219734320 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 100463 97462 383 181 0 97472 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 401852
[startup+882.3 s]
/proc/loadavg: 1.99 1.98 1.94 3/328 18401
/proc/meminfo: memFree=23690716/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=438632 CPUtime=882.32 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 110851 0 0 0 88216 16 0 0 25 0 1 0 898771540 449159168 106663 33554432000 4194304 4933572 140733219734320 18446744073709551615 4637260 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 109658 106663 383 181 0 106667 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 438632
[startup+942.3 s]
/proc/loadavg: 2.08 2.01 1.95 3/328 18403
/proc/meminfo: memFree=23690560/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=438632 CPUtime=942.32 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 110852 0 0 0 94216 16 0 0 25 0 1 0 898771540 449159168 106664 33554432000 4194304 4933572 140733219734320 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 109658 106664 383 181 0 106667 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 438632
[startup+1002.3 s]
/proc/loadavg: 2.06 2.02 1.95 3/328 18404
/proc/meminfo: memFree=23690148/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=438632 CPUtime=1002.32 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 110854 0 0 0 100216 16 0 0 25 0 1 0 898771540 449159168 106666 33554432000 4194304 4933572 140733219734320 18446744073709551615 4341886 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 109658 106666 383 181 0 106667 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 438632
[startup+1062.3 s]
/proc/loadavg: 2.02 2.02 1.95 3/328 18406
/proc/meminfo: memFree=23689988/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=438632 CPUtime=1062.32 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 110861 0 0 0 106216 16 0 0 25 0 1 0 898771540 449159168 106673 33554432000 4194304 4933572 140733219734320 18446744073709551615 4328768 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 109658 106673 383 181 0 106667 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 438632
[startup+1122.3 s]
/proc/loadavg: 2.12 2.04 1.96 3/328 18407
/proc/meminfo: memFree=23689824/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=438632 CPUtime=1122.32 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 110861 0 0 0 112216 16 0 0 25 0 1 0 898771540 449159168 106673 33554432000 4194304 4933572 140733219734320 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 109658 106673 383 181 0 106667 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 438632
[startup+1182.3 s]
/proc/loadavg: 2.10 2.05 1.97 3/328 18409
/proc/meminfo: memFree=23689912/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=438632 CPUtime=1182.33 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 110861 0 0 0 118217 16 0 0 25 0 1 0 898771540 449159168 106673 33554432000 4194304 4933572 140733219734320 18446744073709551615 4360897 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 109658 106673 383 181 0 106667 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 438632
[startup+1242.3 s]
/proc/loadavg: 2.03 2.04 1.97 3/328 18411
/proc/meminfo: memFree=23681936/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=438632 CPUtime=1242.33 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 110861 0 0 0 124217 16 0 0 25 0 1 0 898771540 449159168 106673 33554432000 4194304 4933572 140733219734320 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 109658 106673 383 181 0 106667 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 438632
[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 1.97 3/328 18412
/proc/meminfo: memFree=23681772/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=438632 CPUtime=1302.34 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 110861 0 0 0 130218 16 0 0 25 0 1 0 898771540 449159168 106673 33554432000 4194304 4933572 140733219734320 18446744073709551615 4330240 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 109658 106673 383 181 0 106667 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 438632
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/328 18417
/proc/meminfo: memFree=23681440/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=438632 CPUtime=1362.33 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 110861 0 0 0 136217 16 0 0 25 0 1 0 898771540 449159168 106673 33554432000 4194304 4933572 140733219734320 18446744073709551615 4342463 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 109658 106673 383 181 0 106667 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 438632
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 1.97 3/328 18418
/proc/meminfo: memFree=23681380/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=438632 CPUtime=1422.35 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 110861 0 0 0 142219 16 0 0 25 0 1 0 898771540 449159168 106673 33554432000 4194304 4933572 140733219734320 18446744073709551615 4330263 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 109658 106673 383 181 0 106667 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 438632
[startup+1482.3 s]
/proc/loadavg: 2.06 2.03 1.97 3/328 18420
/proc/meminfo: memFree=23680980/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=438632 CPUtime=1482.34 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 110861 0 0 0 148218 16 0 0 25 0 1 0 898771540 449159168 106673 33554432000 4194304 4933572 140733219734320 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 109658 106673 383 181 0 106667 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 438632
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/328 18422
/proc/meminfo: memFree=23681692/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=438632 CPUtime=1542.34 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 110862 0 0 0 154218 16 0 0 25 0 1 0 898771540 449159168 106674 33554432000 4194304 4933572 140733219734320 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 109658 106674 383 181 0 106667 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 438632
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/328 18423
/proc/meminfo: memFree=23681392/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=438632 CPUtime=1602.34 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 110862 0 0 0 160218 16 0 0 25 0 1 0 898771540 449159168 106674 33554432000 4194304 4933572 140733219734320 18446744073709551615 4360863 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 109658 106674 383 181 0 106667 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 438632
[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 1.98 3/328 18425
/proc/meminfo: memFree=23681000/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=438632 CPUtime=1662.34 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 110862 0 0 0 166218 16 0 0 25 0 1 0 898771540 449159168 106674 33554432000 4194304 4933572 140733219734320 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 109658 106674 383 181 0 106667 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 438632
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 1.98 3/328 18426
/proc/meminfo: memFree=23681096/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=438632 CPUtime=1722.34 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 110862 0 0 0 172218 16 0 0 25 0 1 0 898771540 449159168 106674 33554432000 4194304 4933572 140733219734320 18446744073709551615 4330227 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 109658 106674 383 181 0 106667 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 438632
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/328 18428
/proc/meminfo: memFree=23680204/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=438632 CPUtime=1782.34 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 110863 0 0 0 178218 16 0 0 25 0 1 0 898771540 449159168 106675 33554432000 4194304 4933572 140733219734320 18446744073709551615 4340871 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 109658 106675 383 181 0 106667 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 438632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 1.98 3/328 18429
/proc/meminfo: memFree=23680676/32951124 swapFree=67056304/67111528
[pid=18349] ppid=18347 vsize=438632 CPUtime=1800.05 cores=1,3,5,7
/proc/18349/stat : 18349 (clasp) R 18347 18349 15734 0 -1 4202496 110863 0 0 0 179989 16 0 0 25 0 1 0 898771540 449159168 106675 33554432000 4194304 4933572 140733219734320 18446744073709551615 4330858 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18349/statm: 109658 106675 383 181 0 106667 0
Current children cumulated CPU time (s) 1800.05
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.03
CPU time (s): 1800.08
CPU user time (s): 1799.9
CPU system time (s): 0.181972
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 438632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.181972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110876
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= 23214
runsolver used 5.14222 second user time and 12.877 second system time
The end