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-3469480-1307102743/watcher-3469480-1307102743 -o /tmp/evaluation-result-3469480-1307102743/solver-3469480-1307102743 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469480-1307102743.opb --solu --heu=VSIDS
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: 2.00 2.03 2.00 2/515 9069
/proc/meminfo: memFree=23161012/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=12724 CPUtime=0 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 584 0 0 0 0 0 0 0 25 0 1 0 900504950 13029376 513 33554432000 4194304 4933572 140734467539504 18446744073709551615 4362025 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3181 513 366 181 0 190 0
[startup+0.0545231 s]
/proc/loadavg: 2.00 2.03 2.00 2/515 9069
/proc/meminfo: memFree=23161012/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=12724 CPUtime=0.05 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 612 0 0 0 5 0 0 0 25 0 1 0 900504950 13029376 541 33554432000 4194304 4933572 140734467539504 18446744073709551615 4631830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3181 541 373 181 0 190 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12724
[startup+0.100509 s]
/proc/loadavg: 2.00 2.03 2.00 2/515 9069
/proc/meminfo: memFree=23161012/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=12724 CPUtime=0.1 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 612 0 0 0 10 0 0 0 25 0 1 0 900504950 13029376 541 33554432000 4194304 4933572 140734467539504 18446744073709551615 4664015 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3181 541 373 181 0 190 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 12724
[startup+0.300481 s]
/proc/loadavg: 2.00 2.03 2.00 2/515 9069
/proc/meminfo: memFree=23161012/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=12988 CPUtime=0.3 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 660 0 0 0 30 0 0 0 25 0 1 0 900504950 13299712 589 33554432000 4194304 4933572 140734467539504 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3247 589 373 181 0 256 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 12988
[startup+0.700404 s]
/proc/loadavg: 2.00 2.03 2.00 2/515 9069
/proc/meminfo: memFree=23161012/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=13120 CPUtime=0.69 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 696 0 0 0 69 0 0 0 25 0 1 0 900504950 13434880 625 33554432000 4194304 4933572 140734467539504 18446744073709551615 4378314 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3280 625 373 181 0 289 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13120
[startup+1.50025 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 9070
/proc/meminfo: memFree=23158656/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=13384 CPUtime=1.49 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 760 0 0 0 149 0 0 0 25 0 1 0 900504950 13705216 689 33554432000 4194304 4933572 140734467539504 18446744073709551615 4663675 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3346 689 374 181 0 355 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13384
[startup+3.10094 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 9070
/proc/meminfo: memFree=23157380/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=13516 CPUtime=3.1 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 815 0 0 0 310 0 0 0 25 0 1 0 900504950 13840384 744 33554432000 4194304 4933572 140734467539504 18446744073709551615 4648645 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3379 744 374 181 0 388 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 13516
[startup+6.30034 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 9070
/proc/meminfo: memFree=23156760/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=13776 CPUtime=6.3 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 863 0 0 0 630 0 0 0 25 0 1 0 900504950 14106624 792 33554432000 4194304 4933572 140734467539504 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3444 792 374 181 0 453 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 13776
[startup+12.7011 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 9070
/proc/meminfo: memFree=23155304/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=14148 CPUtime=12.7 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 944 0 0 0 1270 0 0 0 25 0 1 0 900504950 14487552 873 33554432000 4194304 4933572 140734467539504 18446744073709551615 256415082538 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3537 873 374 181 0 546 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 14148
[startup+25.5007 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 9071
/proc/meminfo: memFree=23155172/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=14448 CPUtime=25.5 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1038 0 0 0 2550 0 0 0 25 0 1 0 900504950 14794752 967 33554432000 4194304 4933572 140734467539504 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3612 967 374 181 0 621 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 14448
[startup+51.1009 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 9071
/proc/meminfo: memFree=23154656/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=14960 CPUtime=51.1 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1156 0 0 0 5110 0 0 0 25 0 1 0 900504950 15319040 1085 33554432000 4194304 4933572 140734467539504 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3740 1085 374 181 0 749 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 14960
[startup+102.319 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 9073
/proc/meminfo: memFree=23152756/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=15360 CPUtime=102.32 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1243 0 0 0 10232 0 0 0 25 0 1 0 900504950 15728640 1172 33554432000 4194304 4933572 140734467539504 18446744073709551615 4664128 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3840 1172 374 181 0 849 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 15360
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 9074
/proc/meminfo: memFree=23150964/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=15444 CPUtime=162.3 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1280 0 0 0 16230 0 0 0 25 0 1 0 900504950 15814656 1209 33554432000 4194304 4933572 140734467539504 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3861 1209 374 181 0 870 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 15444
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 9076
/proc/meminfo: memFree=23151040/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=15576 CPUtime=222.3 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1303 0 0 0 22230 0 0 0 25 0 1 0 900504950 15949824 1232 33554432000 4194304 4933572 140734467539504 18446744073709551615 4361992 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3894 1232 374 181 0 903 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 15576
[startup+282.301 s]
/proc/loadavg: 1.95 1.99 1.99 3/516 9105
/proc/meminfo: memFree=23224236/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=15576 CPUtime=282.31 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1317 0 0 0 28231 0 0 0 25 0 1 0 900504950 15949824 1246 33554432000 4194304 4933572 140734467539504 18446744073709551615 4328714 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3894 1246 374 181 0 903 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 15576
[startup+342.301 s]
/proc/loadavg: 1.98 1.99 1.99 3/516 9107
/proc/meminfo: memFree=23219928/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=15720 CPUtime=342.3 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1337 0 0 0 34230 0 0 0 25 0 1 0 900504950 16097280 1266 33554432000 4194304 4933572 140734467539504 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3930 1266 374 181 0 939 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 15720
[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/516 9109
/proc/meminfo: memFree=23217888/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=15720 CPUtime=402.31 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1341 0 0 0 40231 0 0 0 25 0 1 0 900504950 16097280 1270 33554432000 4194304 4933572 140734467539504 18446744073709551615 4718516 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3930 1270 374 181 0 939 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 15720
[startup+462.301 s]
/proc/loadavg: 2.14 2.03 2.01 3/516 9110
/proc/meminfo: memFree=23216344/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=15720 CPUtime=462.31 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1347 0 0 0 46231 0 0 0 25 0 1 0 900504950 16097280 1276 33554432000 4194304 4933572 140734467539504 18446744073709551615 4648645 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3930 1276 374 181 0 939 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 15720
[startup+522.301 s]
/proc/loadavg: 2.18 2.06 2.01 3/516 9112
/proc/meminfo: memFree=23215676/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=15720 CPUtime=522.31 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1354 0 0 0 52231 0 0 0 25 0 1 0 900504950 16097280 1283 33554432000 4194304 4933572 140734467539504 18446744073709551615 4664031 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3930 1283 374 181 0 939 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 15720
[startup+582.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/516 9113
/proc/meminfo: memFree=23213780/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=15720 CPUtime=582.31 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1357 0 0 0 58231 0 0 0 25 0 1 0 900504950 16097280 1286 33554432000 4194304 4933572 140734467539504 18446744073709551615 4718572 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3930 1286 374 181 0 939 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 15720
[startup+642.301 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 9121
/proc/meminfo: memFree=23211168/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=15852 CPUtime=882.32 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1365 0 0 0 88232 0 0 0 25 0 1 0 900504950 16232448 1294 33554432000 4194304 4933572 140734467539504 18446744073709551615 4719072 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3963 1294 374 181 0 972 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 15852
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 9123
/proc/meminfo: memFree=23211112/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=15852 CPUtime=942.33 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1365 0 0 0 94233 0 0 0 25 0 1 0 900504950 16232448 1294 33554432000 4194304 4933572 140734467539504 18446744073709551615 4340829 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3963 1294 374 181 0 972 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 15852
[startup+1002.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/516 9125
/proc/meminfo: memFree=23211196/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=15852 CPUtime=1002.33 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1374 0 0 0 100233 0 0 0 25 0 1 0 900504950 16232448 1303 33554432000 4194304 4933572 140734467539504 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3963 1303 374 181 0 972 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 15852
[startup+1062.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/516 9126
/proc/meminfo: memFree=23210884/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=15852 CPUtime=1062.33 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1377 0 0 0 106233 0 0 0 25 0 1 0 900504950 16232448 1306 33554432000 4194304 4933572 140734467539504 18446744073709551615 4632799 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3963 1306 374 181 0 972 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 15852
[startup+1122.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/516 9128
/proc/meminfo: memFree=23210324/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=15852 CPUtime=1122.33 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1377 0 0 0 112233 0 0 0 25 0 1 0 900504950 16232448 1306 33554432000 4194304 4933572 140734467539504 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3963 1306 374 181 0 972 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 15852
[startup+1182.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/516 9129
/proc/meminfo: memFree=23209276/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=15852 CPUtime=1182.33 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1377 0 0 0 118233 0 0 0 25 0 1 0 900504950 16232448 1306 33554432000 4194304 4933572 140734467539504 18446744073709551615 4717024 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3963 1306 374 181 0 972 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 15852
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/516 9131
/proc/meminfo: memFree=23208972/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=15852 CPUtime=1242.34 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1377 0 0 0 124234 0 0 0 25 0 1 0 900504950 16232448 1306 33554432000 4194304 4933572 140734467539504 18446744073709551615 4649701 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3963 1306 374 181 0 972 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 15852
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 9133
/proc/meminfo: memFree=23208304/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=15852 CPUtime=1302.26 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1380 0 0 0 130226 0 0 0 25 0 1 0 900504950 16232448 1309 33554432000 4194304 4933572 140734467539504 18446744073709551615 4631794 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3963 1309 374 181 0 972 0
Current children cumulated CPU time (s) 1302.26
Current children cumulated vsize (KiB) 15852
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 9134
/proc/meminfo: memFree=23208972/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=15852 CPUtime=1362.25 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1383 0 0 0 136225 0 0 0 25 0 1 0 900504950 16232448 1312 33554432000 4194304 4933572 140734467539504 18446744073709551615 4648609 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3963 1312 374 181 0 972 0
Current children cumulated CPU time (s) 1362.25
Current children cumulated vsize (KiB) 15852
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 9136
/proc/meminfo: memFree=23208400/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=15852 CPUtime=1422.27 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1388 0 0 0 142227 0 0 0 25 0 1 0 900504950 16232448 1317 33554432000 4194304 4933572 140734467539504 18446744073709551615 4637476 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3963 1317 374 181 0 972 0
Current children cumulated CPU time (s) 1422.27
Current children cumulated vsize (KiB) 15852
[startup+1482.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/516 9137
/proc/meminfo: memFree=23207840/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=15920 CPUtime=1482.25 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1398 0 0 0 148225 0 0 0 25 0 1 0 900504950 16302080 1327 33554432000 4194304 4933572 140734467539504 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3980 1327 374 181 0 989 0
Current children cumulated CPU time (s) 1482.25
Current children cumulated vsize (KiB) 15920
[startup+1542.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/516 9139
/proc/meminfo: memFree=23207040/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=15920 CPUtime=1542.26 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1411 0 0 0 154226 0 0 0 25 0 1 0 900504950 16302080 1340 33554432000 4194304 4933572 140734467539504 18446744073709551615 4429716 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3980 1340 374 181 0 989 0
Current children cumulated CPU time (s) 1542.26
Current children cumulated vsize (KiB) 15920
[startup+1602.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/516 9141
/proc/meminfo: memFree=23207084/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=15920 CPUtime=1602.26 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1413 0 0 0 160226 0 0 0 25 0 1 0 900504950 16302080 1342 33554432000 4194304 4933572 140734467539504 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3980 1342 374 181 0 989 0
Current children cumulated CPU time (s) 1602.26
Current children cumulated vsize (KiB) 15920
[startup+1662.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/516 9142
/proc/meminfo: memFree=23208256/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=15920 CPUtime=1662.26 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1413 0 0 0 166226 0 0 0 25 0 1 0 900504950 16302080 1342 33554432000 4194304 4933572 140734467539504 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3980 1342 374 181 0 989 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 15920
[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/516 9144
/proc/meminfo: memFree=23207456/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=15920 CPUtime=1722.26 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1413 0 0 0 172226 0 0 0 25 0 1 0 900504950 16302080 1342 33554432000 4194304 4933572 140734467539504 18446744073709551615 4648645 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3980 1342 374 181 0 989 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 15920
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/516 9145
/proc/meminfo: memFree=23206768/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=15920 CPUtime=1782.26 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1413 0 0 0 178226 0 0 0 25 0 1 0 900504950 16302080 1342 33554432000 4194304 4933572 140734467539504 18446744073709551615 4330095 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3980 1342 374 181 0 989 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 15920
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.01 2.03 2.00 3/516 9146
/proc/meminfo: memFree=23207496/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=15920 CPUtime=1800.07 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1413 0 0 0 180007 0 0 0 25 0 1 0 900504950 16302080 1342 33554432000 4194304 4933572 140734467539504 18446744073709551615 4649369 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3980 1342 374 181 0 989 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 15920
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.01 2.03 2.00 3/516 9146
/proc/meminfo: memFree=23207496/32950928 swapFree=58671692/67111528
[pid=9069] ppid=9067 vsize=15920 CPUtime=1800.07 cores=0,2,4,6
/proc/9069/stat : 9069 (clasp) R 9067 9069 8237 0 -1 4202496 1413 0 0 0 180007 0 0 0 25 0 1 0 900504950 16302080 1342 33554432000 4194304 4933572 140734467539504 18446744073709551615 4649369 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9069/statm: 3980 1342 374 181 0 989 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 15920
Child status: 10
Real time (s): 1800.12
CPU time (s): 1800.09
CPU user time (s): 1800.09
CPU system time (s): 0.004999
CPU usage (%): 99.9983
Max. virtual memory (cumulated for all children) (KiB): 15920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.09
system time used= 0.004999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1424
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= 2787
runsolver used 9.58054 second user time and 19.9 second system time
The end