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-3468528-1307069375/watcher-3468528-1307069375 -o /tmp/evaluation-result-3468528-1307069375/solver-3468528-1307069375 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468528-1307069375.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.07 1.80 1.40 2/481 5230
/proc/meminfo: memFree=27091444/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=13072 CPUtime=0 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 643 0 0 0 0 0 0 0 25 0 1 0 818539879 13385728 570 33554432000 4194304 4933572 140734508822688 18446744073709551615 212435677893 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 3268 570 332 181 0 277 0
[startup+0.105226 s]
/proc/loadavg: 2.07 1.80 1.40 2/481 5230
/proc/meminfo: memFree=27091444/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=23156 CPUtime=0.09 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 3583 0 0 0 9 0 0 0 25 0 1 0 818539879 23711744 3022 33554432000 4194304 4933572 140734508822688 18446744073709551615 4587815 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 5789 3022 342 181 0 2798 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23156
[startup+0.200209 s]
/proc/loadavg: 2.07 1.80 1.40 2/481 5230
/proc/meminfo: memFree=27091444/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=23156 CPUtime=0.19 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 3583 0 0 0 19 0 0 0 25 0 1 0 818539879 23711744 3022 33554432000 4194304 4933572 140734508822688 18446744073709551615 4587884 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 5789 3022 342 181 0 2798 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 23156
[startup+0.300187 s]
/proc/loadavg: 2.07 1.80 1.40 2/481 5230
/proc/meminfo: memFree=27091444/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=23156 CPUtime=0.29 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 3583 0 0 0 29 0 0 0 25 0 1 0 818539879 23711744 3022 33554432000 4194304 4933572 140734508822688 18446744073709551615 4587830 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 5789 3022 342 181 0 2798 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23156
[startup+0.70111 s]
/proc/loadavg: 2.07 1.80 1.40 2/481 5230
/proc/meminfo: memFree=27091444/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=24972 CPUtime=0.69 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 4450 0 0 0 69 0 0 0 25 0 1 0 818539879 25571328 3451 33554432000 4194304 4933572 140734508822688 18446744073709551615 4637420 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 6243 3451 374 181 0 3252 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24972
[startup+1.50096 s]
/proc/loadavg: 2.07 1.80 1.40 3/482 5231
/proc/meminfo: memFree=27077052/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=26372 CPUtime=1.49 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 4847 0 0 0 149 0 0 0 25 0 1 0 818539879 27004928 3848 33554432000 4194304 4933572 140734508822688 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 6593 3848 374 181 0 3602 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26372
[startup+3.10066 s]
/proc/loadavg: 2.07 1.80 1.40 3/482 5231
/proc/meminfo: memFree=27073972/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=27696 CPUtime=3.09 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 5163 0 0 0 309 0 0 0 25 0 1 0 818539879 28360704 4164 33554432000 4194304 4933572 140734508822688 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 6924 4164 374 181 0 3933 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27696
[startup+6.30105 s]
/proc/loadavg: 2.06 1.80 1.40 3/482 5232
/proc/meminfo: memFree=27068772/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=31412 CPUtime=6.29 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 6078 0 0 0 628 1 0 0 25 0 1 0 818539879 32165888 5079 33554432000 4194304 4933572 140734508822688 18446744073709551615 4360938 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 7853 5079 374 181 0 4862 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31412
[startup+12.7008 s]
/proc/loadavg: 2.06 1.80 1.40 3/482 5232
/proc/meminfo: memFree=27059280/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=35444 CPUtime=12.69 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 7107 0 0 0 1268 1 0 0 25 0 1 0 818539879 36294656 6108 33554432000 4194304 4933572 140734508822688 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 8861 6108 376 181 0 5870 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35444
[startup+25.5004 s]
/proc/loadavg: 2.04 1.81 1.41 3/482 5232
/proc/meminfo: memFree=27054468/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=37700 CPUtime=25.49 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 7659 0 0 0 2548 1 0 0 25 0 1 0 818539879 38604800 6660 33554432000 4194304 4933572 140734508822688 18446744073709551615 4649366 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 9425 6660 376 181 0 6434 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37700
[startup+51.1006 s]
/proc/loadavg: 2.03 1.83 1.42 3/482 5233
/proc/meminfo: memFree=27045744/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=42980 CPUtime=51.09 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 8954 0 0 0 5108 1 0 0 25 0 1 0 818539879 44011520 7955 33554432000 4194304 4933572 140734508822688 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 10745 7955 376 181 0 7754 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 42980
[startup+102.301 s]
/proc/loadavg: 2.07 1.86 1.46 3/482 5234
/proc/meminfo: memFree=27030460/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=49976 CPUtime=102.3 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 10644 0 0 0 10228 2 0 0 25 0 1 0 818539879 51175424 9645 33554432000 4194304 4933572 140734508822688 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 12494 9645 376 181 0 9503 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 49976
[startup+162.301 s]
/proc/loadavg: 2.18 1.92 1.50 3/482 5236
/proc/meminfo: memFree=27018908/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=57040 CPUtime=162.29 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 12395 0 0 0 16227 2 0 0 25 0 1 0 818539879 58408960 11396 33554432000 4194304 4933572 140734508822688 18446744073709551615 4340829 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 14260 11396 376 181 0 11269 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 57040
[startup+222.318 s]
/proc/loadavg: 2.07 1.93 1.53 3/482 5237
/proc/meminfo: memFree=27011820/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=59968 CPUtime=222.31 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 13125 0 0 0 22229 2 0 0 25 0 1 0 818539879 61407232 12126 33554432000 4194304 4933572 140734508822688 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 14992 12126 376 181 0 12001 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 59968
[startup+282.301 s]
/proc/loadavg: 2.02 1.94 1.56 3/482 5239
/proc/meminfo: memFree=27005096/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=63932 CPUtime=282.3 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 14128 0 0 0 28228 2 0 0 25 0 1 0 818539879 65466368 13129 33554432000 4194304 4933572 140734508822688 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 15983 13129 376 181 0 12992 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 63932
[startup+342.301 s]
/proc/loadavg: 2.01 1.95 1.58 3/482 5241
/proc/meminfo: memFree=27001836/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=67544 CPUtime=342.31 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 15024 0 0 0 34228 3 0 0 25 0 1 0 818539879 69165056 14025 33554432000 4194304 4933572 140734508822688 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 16886 14025 376 181 0 13895 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 67544
[startup+402.3 s]
/proc/loadavg: 2.00 1.95 1.60 3/482 5242
/proc/meminfo: memFree=26992260/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=74700 CPUtime=402.3 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 16766 0 0 0 40227 3 0 0 25 0 1 0 818539879 76492800 15767 33554432000 4194304 4933572 140734508822688 18446744073709551615 4329744 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 18675 15767 376 181 0 15684 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 74700
[startup+462.301 s]
/proc/loadavg: 2.00 1.96 1.63 3/482 5244
/proc/meminfo: memFree=26990128/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=76020 CPUtime=462.3 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 17098 0 0 0 46227 3 0 0 25 0 1 0 818539879 77844480 16099 33554432000 4194304 4933572 140734508822688 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 19005 16099 376 181 0 16014 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 76020
[startup+522.301 s]
/proc/loadavg: 2.00 1.97 1.65 3/482 5245
/proc/meminfo: memFree=26987624/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=77744 CPUtime=522.3 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 17530 0 0 0 52227 3 0 0 25 0 1 0 818539879 79609856 16531 33554432000 4194304 4933572 140734508822688 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 19436 16531 376 181 0 16445 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 77744
[startup+582.3 s]
/proc/loadavg: 2.00 1.97 1.66 3/482 5247
/proc/meminfo: memFree=26983264/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=78208 CPUtime=582.31 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 17608 0 0 0 58228 3 0 0 25 0 1 0 818539879 80084992 16609 33554432000 4194304 4933572 140734508822688 18446744073709551615 4360906 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 19552 16609 376 181 0 16561 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 78208
[startup+642.301 s]
################
# More data... #
################
[startup+882.319 s]
/proc/loadavg: 2.01 2.02 1.76 3/482 5267
/proc/meminfo: memFree=26961144/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=91244 CPUtime=882.34 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 20808 0 0 0 88230 4 0 0 25 0 1 0 818539879 93433856 19809 33554432000 4194304 4933572 140734508822688 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 22811 19809 376 181 0 19820 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 91244
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 1.77 3/482 5268
/proc/meminfo: memFree=26958604/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=93560 CPUtime=942.32 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 21373 0 0 0 94228 4 0 0 25 0 1 0 818539879 95805440 20374 33554432000 4194304 4933572 140734508822688 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 23390 20374 376 181 0 20399 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 93560
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 1.79 3/482 5270
/proc/meminfo: memFree=26955740/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=95556 CPUtime=1002.32 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 21867 0 0 0 100228 4 0 0 25 0 1 0 818539879 97849344 20868 33554432000 4194304 4933572 140734508822688 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 23889 20868 376 181 0 20898 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 95556
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/482 5272
/proc/meminfo: memFree=26952992/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=97908 CPUtime=1062.33 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 22444 0 0 0 106229 4 0 0 25 0 1 0 818539879 100257792 21445 33554432000 4194304 4933572 140734508822688 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 24477 21445 376 181 0 21486 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 97908
[startup+1122.3 s]
/proc/loadavg: 2.10 2.03 1.82 3/482 5273
/proc/meminfo: memFree=26952232/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=97908 CPUtime=1122.33 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 22453 0 0 0 112229 4 0 0 25 0 1 0 818539879 100257792 21454 33554432000 4194304 4933572 140734508822688 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 24477 21454 376 181 0 21486 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 97908
[startup+1182.3 s]
/proc/loadavg: 2.08 2.04 1.83 3/482 5275
/proc/meminfo: memFree=26950732/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=98220 CPUtime=1182.33 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 22516 0 0 0 118229 4 0 0 25 0 1 0 818539879 100577280 21517 33554432000 4194304 4933572 140734508822688 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 24555 21517 376 181 0 21564 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 98220
[startup+1242.3 s]
/proc/loadavg: 2.09 2.04 1.84 3/482 5277
/proc/meminfo: memFree=26949088/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=98664 CPUtime=1242.33 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 22597 0 0 0 124229 4 0 0 25 0 1 0 818539879 101031936 21598 33554432000 4194304 4933572 140734508822688 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 24666 21598 376 181 0 21675 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 98664
[startup+1302.3 s]
/proc/loadavg: 2.03 2.03 1.85 3/482 5278
/proc/meminfo: memFree=26945460/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=98852 CPUtime=1302.33 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 22637 0 0 0 130229 4 0 0 25 0 1 0 818539879 101224448 21638 33554432000 4194304 4933572 140734508822688 18446744073709551615 4360903 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 24713 21638 376 181 0 21722 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 98852
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 1.85 3/482 5280
/proc/meminfo: memFree=26942472/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=100096 CPUtime=1362.34 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 22918 0 0 0 136230 4 0 0 25 0 1 0 818539879 102498304 21919 33554432000 4194304 4933572 140734508822688 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 25024 21919 376 181 0 22033 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 100096
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 1.86 3/482 5281
/proc/meminfo: memFree=26942952/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=100664 CPUtime=1422.34 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 23038 0 0 0 142230 4 0 0 25 0 1 0 818539879 103079936 22039 33554432000 4194304 4933572 140734508822688 18446744073709551615 4637192 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 25166 22039 376 181 0 22175 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 100664
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/482 5283
/proc/meminfo: memFree=26940944/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=101172 CPUtime=1482.34 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 23148 0 0 0 148230 4 0 0 25 0 1 0 818539879 103600128 22149 33554432000 4194304 4933572 140734508822688 18446744073709551615 4341751 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 25293 22149 376 181 0 22302 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 101172
[startup+1542.32 s]
/proc/loadavg: 2.00 2.01 1.87 3/482 5285
/proc/meminfo: memFree=26939184/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=101868 CPUtime=1542.36 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 23292 0 0 0 154232 4 0 0 25 0 1 0 818539879 104312832 22293 33554432000 4194304 4933572 140734508822688 18446744073709551615 4340829 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 25467 22293 376 181 0 22476 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 101868
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/482 5286
/proc/meminfo: memFree=26937800/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=102752 CPUtime=1602.34 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 23477 0 0 0 160230 4 0 0 25 0 1 0 818539879 105218048 22478 33554432000 4194304 4933572 140734508822688 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 25688 22478 376 181 0 22697 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 102752
[startup+1662.3 s]
/proc/loadavg: 2.15 2.03 1.89 3/482 5288
/proc/meminfo: memFree=26937036/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=103320 CPUtime=1662.36 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 23591 0 0 0 166231 5 0 0 25 0 1 0 818539879 105799680 22592 33554432000 4194304 4933572 140734508822688 18446744073709551615 4649369 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 25830 22592 376 181 0 22839 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 103320
[startup+1722.3 s]
/proc/loadavg: 2.12 2.04 1.91 3/482 5289
/proc/meminfo: memFree=26936016/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=103700 CPUtime=1722.36 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 23671 0 0 0 172231 5 0 0 25 0 1 0 818539879 106188800 22672 33554432000 4194304 4933572 140734508822688 18446744073709551615 4360903 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 25925 22672 376 181 0 22934 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 103700
[startup+1782.3 s]
/proc/loadavg: 2.11 2.06 1.92 3/482 5291
/proc/meminfo: memFree=26933768/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=103892 CPUtime=1782.36 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 23708 0 0 0 178231 5 0 0 25 0 1 0 818539879 106385408 22709 33554432000 4194304 4933572 140734508822688 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 25973 22709 376 181 0 22982 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 103892
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.06 2.05 1.92 2/480 5292
/proc/meminfo: memFree=27003468/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=104080 CPUtime=1800.07 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 23752 0 0 0 180002 5 0 0 25 0 1 0 818539879 106577920 22753 33554432000 4194304 4933572 140734508822688 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 26020 22753 376 181 0 23029 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 104080
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.06 2.05 1.92 2/480 5292
/proc/meminfo: memFree=27003468/32951124 swapFree=38422276/67111528
[pid=5230] ppid=5228 vsize=104080 CPUtime=1800.07 cores=1,3,5,7
/proc/5230/stat : 5230 (clasp) R 5228 5230 30895 0 -1 4202496 23752 0 0 0 180002 5 0 0 25 0 1 0 818539879 106577920 22753 33554432000 4194304 4933572 140734508822688 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5230/statm: 26020 22753 376 181 0 23029 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 104080
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.09
CPU user time (s): 1800.03
CPU system time (s): 0.054991
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 104080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.054991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23766
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= 2541
runsolver used 8.07477 second user time and 19.814 second system time
The end