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-3478833-1307442207/watcher-3478833-1307442207 -o /tmp/evaluation-result-3478833-1307442207/solver-3478833-1307442207 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3478833-1307442207.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.96 2.04 2.00 2/575 23218
/proc/meminfo: memFree=23224304/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=23720 CPUtime=0 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 3655 0 0 0 0 0 0 0 23 0 1 0 855818581 24289280 3164 33554432000 4194304 4933572 140733829786048 18446744073709551615 212687372496 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 5930 3164 333 181 0 2939 0
[startup+0.038669 s]
/proc/loadavg: 1.96 2.04 2.00 2/575 23218
/proc/meminfo: memFree=23224304/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=26288 CPUtime=0.02 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 4404 0 0 0 2 0 0 0 23 0 1 0 855818581 26918912 3823 33554432000 4194304 4933572 140733829786048 18446744073709551615 212687336133 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 6572 3823 333 181 0 3581 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26288
[startup+0.101 s]
/proc/loadavg: 1.96 2.04 2.00 2/575 23218
/proc/meminfo: memFree=23224304/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=33236 CPUtime=0.09 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 6504 0 0 0 8 1 0 0 23 0 1 0 855818581 34033664 5540 33554432000 4194304 4933572 140733829786048 18446744073709551615 212687675136 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 8309 5540 333 181 0 5318 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33236
[startup+0.300965 s]
/proc/loadavg: 1.96 2.04 2.00 2/575 23218
/proc/meminfo: memFree=23224304/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=54640 CPUtime=0.29 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 12994 0 0 0 27 2 0 0 24 0 1 0 855818581 55951360 10745 33554432000 4194304 4933572 140733829786048 18446744073709551615 4579839 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 13660 10746 333 181 0 10669 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54640
[startup+0.700906 s]
/proc/loadavg: 1.96 2.04 2.00 2/575 23218
/proc/meminfo: memFree=23224304/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=96464 CPUtime=0.69 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 25514 0 0 0 65 4 0 0 25 0 1 0 855818581 98779136 20985 33554432000 4194304 4933572 140733829786048 18446744073709551615 212687336133 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 24116 20986 333 181 0 21125 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 96464
[startup+1.50076 s]
/proc/loadavg: 1.96 2.04 2.00 3/576 23219
/proc/meminfo: memFree=23100428/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=159568 CPUtime=1.49 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 42870 0 0 0 142 7 0 0 25 0 1 0 855818581 163397632 35751 33554432000 4194304 4933572 140733829786048 18446744073709551615 4588001 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 39892 35751 343 181 0 36901 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 159568
[startup+3.10045 s]
/proc/loadavg: 2.04 2.06 2.01 3/576 23219
/proc/meminfo: memFree=23063228/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=172016 CPUtime=3.08 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 48854 0 0 0 301 7 0 0 25 0 1 0 855818581 176144384 39480 33554432000 4194304 4933572 140733829786048 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 43004 39480 374 181 0 40013 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 172016
[startup+6.30087 s]
/proc/loadavg: 2.04 2.06 2.01 3/576 23219
/proc/meminfo: memFree=23065080/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=172016 CPUtime=6.29 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 48859 0 0 0 622 7 0 0 25 0 1 0 855818581 176144384 39485 33554432000 4194304 4933572 140733829786048 18446744073709551615 4648992 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 43004 39485 374 181 0 40013 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 172016
[startup+12.7007 s]
/proc/loadavg: 2.03 2.05 2.01 3/576 23220
/proc/meminfo: memFree=23064860/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=172016 CPUtime=12.69 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 48864 0 0 0 1262 7 0 0 25 0 1 0 855818581 176144384 39490 33554432000 4194304 4933572 140733829786048 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 43004 39490 374 181 0 40013 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 172016
[startup+25.5004 s]
/proc/loadavg: 2.03 2.05 2.00 3/576 23220
/proc/meminfo: memFree=23065240/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=172016 CPUtime=25.49 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 48992 0 0 0 2542 7 0 0 25 0 1 0 855818581 176144384 39618 33554432000 4194304 4933572 140733829786048 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 43004 39618 376 181 0 40013 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 172016
[startup+51.1007 s]
/proc/loadavg: 2.14 2.08 2.01 3/576 23221
/proc/meminfo: memFree=23063420/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=173332 CPUtime=51.1 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 49443 0 0 0 5102 8 0 0 25 0 1 0 855818581 177491968 40069 33554432000 4194304 4933572 140733829786048 18446744073709551615 4648387 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 43333 40069 376 181 0 40342 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 173332
[startup+102.322 s]
/proc/loadavg: 2.12 2.08 2.01 3/576 23222
/proc/meminfo: memFree=23055344/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=180572 CPUtime=102.32 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 51019 0 0 0 10224 8 0 0 25 0 1 0 855818581 184905728 41645 33554432000 4194304 4933572 140733829786048 18446744073709551615 4649834 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 45143 41645 376 181 0 42152 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 180572
[startup+162.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/576 23224
/proc/meminfo: memFree=23051100/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=183092 CPUtime=162.3 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 51578 0 0 0 16222 8 0 0 25 0 1 0 855818581 187486208 42204 33554432000 4194304 4933572 140733829786048 18446744073709551615 4649827 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 45773 42204 376 181 0 42782 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 183092
[startup+222.3 s]
/proc/loadavg: 2.12 2.08 2.01 3/576 23225
/proc/meminfo: memFree=23050328/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=183456 CPUtime=222.3 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 51682 0 0 0 22222 8 0 0 25 0 1 0 855818581 187858944 42308 33554432000 4194304 4933572 140733829786048 18446744073709551615 4649496 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 45864 42308 376 181 0 42873 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 183456
[startup+282.301 s]
/proc/loadavg: 2.15 2.09 2.02 3/576 23227
/proc/meminfo: memFree=23048064/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=184088 CPUtime=282.3 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 51831 0 0 0 28222 8 0 0 25 0 1 0 855818581 188506112 42457 33554432000 4194304 4933572 140733829786048 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 46022 42457 376 181 0 43031 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 184088
[startup+342.301 s]
/proc/loadavg: 2.05 2.07 2.01 3/576 23228
/proc/meminfo: memFree=23045284/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=185460 CPUtime=342.3 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 52150 0 0 0 34222 8 0 0 25 0 1 0 855818581 189911040 42776 33554432000 4194304 4933572 140733829786048 18446744073709551615 4648609 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 46365 42776 376 181 0 43374 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 185460
[startup+402.301 s]
/proc/loadavg: 2.02 2.06 2.01 3/576 23230
/proc/meminfo: memFree=23043132/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=186796 CPUtime=402.3 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 52465 0 0 0 40222 8 0 0 25 0 1 0 855818581 191279104 43091 33554432000 4194304 4933572 140733829786048 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 46699 43091 376 181 0 43708 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 186796
[startup+462.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/576 23232
/proc/meminfo: memFree=23039240/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=189992 CPUtime=462.3 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 53257 0 0 0 46222 8 0 0 25 0 1 0 855818581 194551808 43883 33554432000 4194304 4933572 140733829786048 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 47498 43883 376 181 0 44507 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 189992
[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 23233
/proc/meminfo: memFree=23038332/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=192008 CPUtime=522.3 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 53710 0 0 0 52222 8 0 0 25 0 1 0 855818581 196616192 44336 33554432000 4194304 4933572 140733829786048 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 48002 44336 376 181 0 45011 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 192008
[startup+582.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 23235
/proc/meminfo: memFree=23032212/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=193756 CPUtime=582.3 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 54094 0 0 0 58222 8 0 0 25 0 1 0 855818581 198406144 44720 33554432000 4194304 4933572 140733829786048 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 48439 44720 376 181 0 45448 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 193756
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.14 2.06 2.01 3/576 23241
/proc/meminfo: memFree=23021532/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=204820 CPUtime=822.32 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 56620 0 0 0 82223 9 0 0 25 0 1 0 855818581 209735680 47246 33554432000 4194304 4933572 140733829786048 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 51205 47246 376 181 0 48214 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 204820
[startup+882.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/576 23243
/proc/meminfo: memFree=23019384/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=206560 CPUtime=882.31 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 57000 0 0 0 88222 9 0 0 25 0 1 0 855818581 211517440 47626 33554432000 4194304 4933572 140733829786048 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 51640 47626 376 181 0 48649 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 206560
[startup+942.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/576 23244
/proc/meminfo: memFree=23019240/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=207724 CPUtime=942.32 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 57272 0 0 0 94223 9 0 0 25 0 1 0 855818581 212709376 47898 33554432000 4194304 4933572 140733829786048 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 51931 47898 376 181 0 48940 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 207724
[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 23246
/proc/meminfo: memFree=23016732/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=209632 CPUtime=1002.32 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 57721 0 0 0 100223 9 0 0 25 0 1 0 855818581 214663168 48347 33554432000 4194304 4933572 140733829786048 18446744073709551615 4648398 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 52408 48347 376 181 0 49417 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 209632
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 23248
/proc/meminfo: memFree=23013596/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=211932 CPUtime=1062.32 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 58257 0 0 0 106223 9 0 0 25 0 1 0 855818581 217018368 48883 33554432000 4194304 4933572 140733829786048 18446744073709551615 4648601 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 52983 48883 376 181 0 49992 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 211932
[startup+1122.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/576 23249
/proc/meminfo: memFree=23011332/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=213976 CPUtime=1122.32 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 58708 0 0 0 112223 9 0 0 25 0 1 0 855818581 219111424 49334 33554432000 4194304 4933572 140733829786048 18446744073709551615 4649200 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 53494 49334 376 181 0 50503 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 213976
[startup+1182.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/576 23251
/proc/meminfo: memFree=23009564/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=214448 CPUtime=1182.32 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 58818 0 0 0 118223 9 0 0 25 0 1 0 855818581 219594752 49444 33554432000 4194304 4933572 140733829786048 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 53612 49444 376 181 0 50621 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 214448
[startup+1242.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/576 23252
/proc/meminfo: memFree=23004684/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=217592 CPUtime=1242.33 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 59535 0 0 0 124223 10 0 0 25 0 1 0 855818581 222814208 50161 33554432000 4194304 4933572 140733829786048 18446744073709551615 4648632 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 54398 50161 376 181 0 51407 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 217592
[startup+1302.3 s]
/proc/loadavg: 1.98 2.02 2.00 3/576 23282
/proc/meminfo: memFree=22988260/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=220216 CPUtime=1302.35 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 60082 0 0 0 130225 10 0 0 25 0 1 0 855818581 225501184 50708 33554432000 4194304 4933572 140733829786048 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 55054 50708 376 181 0 52063 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 220216
[startup+1362.3 s]
/proc/loadavg: 1.99 2.01 2.00 3/576 23284
/proc/meminfo: memFree=22986776/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=221460 CPUtime=1362.33 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 60356 0 0 0 136223 10 0 0 25 0 1 0 855818581 226775040 50982 33554432000 4194304 4933572 140733829786048 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 55365 50982 376 181 0 52374 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 221460
[startup+1422.32 s]
/proc/loadavg: 1.99 2.00 2.00 3/576 23285
/proc/meminfo: memFree=22983164/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=222368 CPUtime=1422.36 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 60565 0 0 0 142226 10 0 0 25 0 1 0 855818581 227704832 51191 33554432000 4194304 4933572 140733829786048 18446744073709551615 4330400 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 55592 51191 376 181 0 52601 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 222368
[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/576 23287
/proc/meminfo: memFree=22979672/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=223844 CPUtime=1482.34 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 60892 0 0 0 148224 10 0 0 25 0 1 0 855818581 229216256 51518 33554432000 4194304 4933572 140733829786048 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 55961 51518 376 181 0 52970 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 223844
[startup+1542.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/576 23288
/proc/meminfo: memFree=22977664/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=225136 CPUtime=1542.34 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 61198 0 0 0 154224 10 0 0 25 0 1 0 855818581 230539264 51824 33554432000 4194304 4933572 140733829786048 18446744073709551615 4649590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 56284 51824 376 181 0 53293 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 225136
[startup+1602.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/576 23290
/proc/meminfo: memFree=22976016/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=226148 CPUtime=1602.34 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 61439 0 0 0 160224 10 0 0 25 0 1 0 855818581 231575552 52065 33554432000 4194304 4933572 140733829786048 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 56537 52065 376 181 0 53546 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 226148
[startup+1662.3 s]
/proc/loadavg: 2.25 2.06 2.02 3/576 23292
/proc/meminfo: memFree=22975000/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=226904 CPUtime=1662.34 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 61576 0 0 0 166224 10 0 0 25 0 1 0 855818581 232349696 52202 33554432000 4194304 4933572 140733829786048 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 56726 52202 376 181 0 53735 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 226904
[startup+1722.3 s]
/proc/loadavg: 2.22 2.08 2.02 3/576 23293
/proc/meminfo: memFree=22973732/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=227116 CPUtime=1722.34 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 61667 0 0 0 172224 10 0 0 25 0 1 0 855818581 232566784 52293 33554432000 4194304 4933572 140733829786048 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 56779 52293 376 181 0 53788 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 227116
[startup+1782.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/576 23295
/proc/meminfo: memFree=22971740/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=227624 CPUtime=1782.34 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 61755 0 0 0 178224 10 0 0 25 0 1 0 855818581 233086976 52381 33554432000 4194304 4933572 140733829786048 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 56906 52381 376 181 0 53915 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 227624
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.06 2.06 2.01 3/576 23295
/proc/meminfo: memFree=22972352/32951124 swapFree=58940260/67111528
[pid=23218] ppid=23216 vsize=227624 CPUtime=1800.06 cores=0,2,4,6
/proc/23218/stat : 23218 (clasp) R 23216 23218 22845 0 -1 4202496 61755 0 0 0 179996 10 0 0 25 0 1 0 855818581 233086976 52381 33554432000 4194304 4933572 140733829786048 18446744073709551615 4649366 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23218/statm: 56906 52381 376 181 0 53915 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 227624
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.09
CPU user time (s): 1799.97
CPU system time (s): 0.114982
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 227624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.114982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61768
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= 2286
runsolver used 10.8793 second user time and 23.5094 second system time
The end