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-3479418-1307448945/watcher-3479418-1307448945 -o /tmp/evaluation-result-3479418-1307448945/solver-3479418-1307448945 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3479418-1307448945.opb
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: 0.95 1.39 1.69 2/415 31528
/proc/meminfo: memFree=26044100/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=53964 CPUtime=0.01 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 1210 0 0 0 1 0 0 0 19 0 1 0 312504040 55259136 1163 33554432000 4194304 5714214 140734267123264 18446744073709551615 4228183 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 13491 1163 202 372 0 1112 0
[startup+0.0472839 s]
/proc/loadavg: 0.95 1.39 1.69 2/415 31528
/proc/meminfo: memFree=26044100/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=54096 CPUtime=0.04 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 1376 0 0 0 4 0 0 0 19 0 1 0 312504040 55394304 1329 33554432000 4194304 5714214 140734267123264 18446744073709551615 4967686 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 13524 1329 321 372 0 1145 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 54096
[startup+0.100282 s]
/proc/loadavg: 0.95 1.39 1.69 2/415 31528
/proc/meminfo: memFree=26044100/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=54636 CPUtime=0.09 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 1692 0 0 0 9 0 0 0 19 0 1 0 312504040 55947264 1645 33554432000 4194304 5714214 140734267123264 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 13659 1645 516 372 0 1280 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 54636
[startup+0.300245 s]
/proc/loadavg: 0.95 1.39 1.69 2/415 31528
/proc/meminfo: memFree=26044100/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=56396 CPUtime=0.29 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 2870 0 0 0 29 0 0 0 20 0 1 0 312504040 57749504 2823 33554432000 4194304 5714214 140734267123264 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 14099 2823 1249 372 0 1720 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56396
[startup+0.70017 s]
/proc/loadavg: 0.95 1.39 1.69 2/415 31528
/proc/meminfo: memFree=26044100/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=60040 CPUtime=0.69 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 5223 0 0 0 69 0 0 0 21 0 1 0 312504040 61480960 5176 33554432000 4194304 5714214 140734267123264 18446744073709551615 4228051 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 15010 5176 2715 372 0 2631 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 60040
[startup+1.50103 s]
/proc/loadavg: 0.95 1.39 1.69 3/416 31529
/proc/meminfo: memFree=26028888/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=67220 CPUtime=1.49 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 9928 0 0 0 149 0 0 0 23 0 1 0 312504040 68833280 9881 33554432000 4194304 5714214 140734267123264 18446744073709551615 4972976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 16805 9881 5649 372 0 4426 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67220
[startup+3.10074 s]
/proc/loadavg: 0.95 1.39 1.69 3/416 31529
/proc/meminfo: memFree=26015000/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=81032 CPUtime=3.09 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 19269 0 0 0 308 1 0 0 25 0 1 0 312504040 82976768 19189 33554432000 4194304 5714214 140734267123264 18446744073709551615 4223168 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 20258 19189 11547 372 0 7879 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 81032
[startup+6.30118 s]
/proc/loadavg: 1.19 1.43 1.70 3/416 31529
/proc/meminfo: memFree=25971360/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=65172 CPUtime=6.29 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 29643 0 0 0 627 2 0 0 25 0 1 0 312504040 66736128 15835 33554432000 4194304 5714214 140734267123264 18446744073709551615 4345903 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 16293 15835 175 372 0 15918 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 65172
[startup+12.701 s]
/proc/loadavg: 1.26 1.44 1.70 3/416 31529
/proc/meminfo: memFree=25954640/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=68084 CPUtime=12.69 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 31618 0 0 0 1263 6 0 0 25 0 1 0 312504040 69718016 16705 33554432000 4194304 5714214 140734267123264 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 17021 16705 180 372 0 16646 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 68084
[startup+25.5007 s]
/proc/loadavg: 1.42 1.47 1.71 3/416 31530
/proc/meminfo: memFree=25887992/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=116232 CPUtime=25.49 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 43533 0 0 0 2525 24 0 0 25 0 1 0 312504040 119021568 28620 33554432000 4194304 5714214 140734267123264 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 29058 28620 180 372 0 28683 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 116232
[startup+51.1012 s]
/proc/loadavg: 1.62 1.51 1.71 3/416 31530
/proc/meminfo: memFree=25860152/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=115268 CPUtime=51.09 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 43563 0 0 0 5066 43 0 0 25 0 1 0 312504040 118034432 28487 33554432000 4194304 5714214 140734267123264 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 28817 28487 180 372 0 28442 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 115268
[startup+102.316 s]
/proc/loadavg: 1.83 1.58 1.73 3/416 31532
/proc/meminfo: memFree=25752048/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=182248 CPUtime=102.31 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 60313 0 0 0 10154 77 0 0 25 0 1 0 312504040 186621952 45237 33554432000 4194304 5714214 140734267123264 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 45562 45237 180 372 0 45187 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 182248
[startup+162.3 s]
/proc/loadavg: 1.94 1.65 1.74 3/416 31533
/proc/meminfo: memFree=25576564/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=311728 CPUtime=162.3 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 92576 0 0 0 16118 112 0 0 25 0 1 0 312504040 319209472 77500 33554432000 4194304 5714214 140734267123264 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 77932 77500 180 372 0 77557 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 311728
[startup+222.301 s]
/proc/loadavg: 2.01 1.73 1.76 3/416 31535
/proc/meminfo: memFree=25439764/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=448500 CPUtime=222.29 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 126629 0 0 0 22093 136 0 0 25 0 1 0 312504040 459264000 111553 33554432000 4194304 5714214 140734267123264 18446744073709551615 4311876 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 112125 111553 180 372 0 111750 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 448500
[startup+282.301 s]
/proc/loadavg: 2.00 1.78 1.77 3/416 31536
/proc/meminfo: memFree=25320368/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=568808 CPUtime=282.3 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 156567 0 0 0 28070 160 0 0 25 0 1 0 312504040 582459392 141491 33554432000 4194304 5714214 140734267123264 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 142202 141491 180 372 0 141827 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 568808
[startup+342.3 s]
/proc/loadavg: 2.09 1.84 1.79 3/416 31538
/proc/meminfo: memFree=25245348/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=609128 CPUtime=342.3 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 166587 0 0 0 34049 181 0 0 25 0 1 0 312504040 623747072 151511 33554432000 4194304 5714214 140734267123264 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 152282 151511 180 372 0 151907 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 609128
[startup+402.301 s]
/proc/loadavg: 2.07 1.88 1.81 3/416 31540
/proc/meminfo: memFree=25199700/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=609128 CPUtime=402.3 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 166588 0 0 0 40023 207 0 0 25 0 1 0 312504040 623747072 151512 33554432000 4194304 5714214 140734267123264 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 152282 151512 180 372 0 151907 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 609128
[startup+462.3 s]
/proc/loadavg: 2.02 1.90 1.82 3/416 31541
/proc/meminfo: memFree=25165216/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=609128 CPUtime=462.3 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 166613 0 0 0 45995 235 0 0 25 0 1 0 312504040 623747072 151537 33554432000 4194304 5714214 140734267123264 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 152282 151537 180 372 0 151907 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 609128
[startup+522.301 s]
/proc/loadavg: 2.01 1.92 1.83 3/416 31543
/proc/meminfo: memFree=25131592/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=620252 CPUtime=522.3 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 169409 0 0 0 51972 258 0 0 25 0 1 0 312504040 635138048 154333 33554432000 4194304 5714214 140734267123264 18446744073709551615 4310639 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 155063 154333 180 372 0 154688 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 620252
[startup+582.301 s]
/proc/loadavg: 2.00 1.93 1.83 3/416 31544
/proc/meminfo: memFree=25053832/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=666836 CPUtime=582.3 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 180955 0 0 0 57945 285 0 0 25 0 1 0 312504040 682840064 165879 33554432000 4194304 5714214 140734267123264 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 166709 165879 180 372 0 166334 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 666836
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.02 1.97 1.86 3/416 31551
/proc/meminfo: memFree=24846088/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=739996 CPUtime=822.31 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 199111 0 0 0 81854 377 0 0 25 0 1 0 312504040 757755904 184035 33554432000 4194304 5714214 140734267123264 18446744073709551615 4311911 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 184999 184035 180 372 0 184624 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 739996
[startup+882.301 s]
/proc/loadavg: 2.00 1.97 1.87 3/416 31552
/proc/meminfo: memFree=24793632/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=762128 CPUtime=882.31 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 204623 0 0 0 87827 404 0 0 25 0 1 0 312504040 780419072 189547 33554432000 4194304 5714214 140734267123264 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 190532 189547 180 372 0 190157 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 762128
[startup+942.301 s]
/proc/loadavg: 2.06 1.99 1.88 3/416 31554
/proc/meminfo: memFree=24774648/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=762128 CPUtime=942.31 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 204627 0 0 0 93805 426 0 0 25 0 1 0 312504040 780419072 189551 33554432000 4194304 5714214 140734267123264 18446744073709551615 4311894 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 190532 189551 180 372 0 190157 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 762128
[startup+1002.3 s]
/proc/loadavg: 2.02 1.99 1.88 3/416 31556
/proc/meminfo: memFree=24748476/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=762128 CPUtime=1002.31 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 204632 0 0 0 99789 442 0 0 25 0 1 0 312504040 780419072 189556 33554432000 4194304 5714214 140734267123264 18446744073709551615 4319375 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 190532 189556 180 372 0 190157 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 762128
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/416 31557
/proc/meminfo: memFree=24653232/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=835116 CPUtime=1062.31 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 222837 0 0 0 105769 462 0 0 25 0 1 0 312504040 855158784 207761 33554432000 4194304 5714214 140734267123264 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 208779 207761 180 372 0 208404 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 835116
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/416 31559
/proc/meminfo: memFree=24465232/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=998608 CPUtime=1122.32 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 263657 0 0 0 111745 487 0 0 25 0 1 0 312504040 1022574592 248581 33554432000 4194304 5714214 140734267123264 18446744073709551615 4311706 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 249652 248581 180 372 0 249277 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 998608
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/416 31560
/proc/meminfo: memFree=24310968/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=1136172 CPUtime=1182.31 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 298010 0 0 0 117719 512 0 0 25 0 1 0 312504040 1163440128 282934 33554432000 4194304 5714214 140734267123264 18446744073709551615 4329449 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 284043 282934 180 372 0 283668 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1136172
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/416 31562
/proc/meminfo: memFree=24135872/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=1278472 CPUtime=1242.31 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 333565 0 0 0 123702 529 0 0 25 0 1 0 312504040 1309155328 318489 33554432000 4194304 5714214 140734267123264 18446744073709551615 4311824 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 319618 318489 180 372 0 319243 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1278472
[startup+1302.3 s]
/proc/loadavg: 2.13 2.02 1.92 3/416 31564
/proc/meminfo: memFree=23967592/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=1422332 CPUtime=1302.33 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 369411 0 0 0 129688 545 0 0 25 0 1 0 312504040 1456467968 354335 33554432000 4194304 5714214 140734267123264 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 355583 354335 180 372 0 355208 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1422332
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 1.92 3/416 31565
/proc/meminfo: memFree=23938688/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=1431564 CPUtime=1362.32 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 371634 0 0 0 135668 564 0 0 25 0 1 0 312504040 1465921536 356558 33554432000 4194304 5714214 140734267123264 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 357891 356558 180 372 0 357516 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1431564
[startup+1422.32 s]
/proc/loadavg: 2.02 2.01 1.92 3/416 31567
/proc/meminfo: memFree=23909040/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=1431564 CPUtime=1422.34 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 371634 0 0 0 141655 579 0 0 25 0 1 0 312504040 1465921536 356558 33554432000 4194304 5714214 140734267123264 18446744073709551615 4311876 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 357891 356558 180 372 0 357516 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1431564
[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 1.93 3/416 31568
/proc/meminfo: memFree=23878404/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=1431564 CPUtime=1482.32 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 371635 0 0 0 147632 600 0 0 25 0 1 0 312504040 1465921536 356559 33554432000 4194304 5714214 140734267123264 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 357891 356559 180 372 0 357516 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1431564
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/416 31570
/proc/meminfo: memFree=23841444/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=1431564 CPUtime=1542.32 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 371646 0 0 0 153619 613 0 0 25 0 1 0 312504040 1465921536 356570 33554432000 4194304 5714214 140734267123264 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 357891 356570 180 372 0 357516 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 1431564
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/416 31572
/proc/meminfo: memFree=23823824/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=1431564 CPUtime=1602.33 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 371660 0 0 0 159605 628 0 0 25 0 1 0 312504040 1465921536 356584 33554432000 4194304 5714214 140734267123264 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 357891 356584 180 372 0 357516 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1431564
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/416 31573
/proc/meminfo: memFree=23784748/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=1431564 CPUtime=1662.33 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 371684 0 0 0 165591 642 0 0 25 0 1 0 312504040 1465921536 356608 33554432000 4194304 5714214 140734267123264 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 357891 356608 180 372 0 357516 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1431564
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/416 31575
/proc/meminfo: memFree=23694960/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=1509552 CPUtime=1722.33 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 391072 0 0 0 171580 653 0 0 25 0 1 0 312504040 1545781248 375996 33554432000 4194304 5714214 140734267123264 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 377388 375996 180 372 0 377013 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1509552
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/416 31576
/proc/meminfo: memFree=23565112/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=1607680 CPUtime=1782.33 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 415519 0 0 0 177569 664 0 0 25 0 1 0 312504040 1646264320 400443 33554432000 4194304 5714214 140734267123264 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 401920 400443 180 372 0 401545 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1607680
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 2/414 31578
/proc/meminfo: memFree=24427792/32950928 swapFree=52006644/67111528
[pid=31528] ppid=31526 vsize=1623836 CPUtime=1800.04 cores=1,3,5,7
/proc/31528/stat : 31528 (wbo1.6) R 31526 31528 31170 0 -1 4202496 419585 0 0 0 179336 668 0 0 25 0 1 0 312504040 1662808064 404509 33554432000 4194304 5714214 140734267123264 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31528/statm: 405959 404509 180 372 0 405584 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1623836
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.08
CPU time (s): 1800.12
CPU user time (s): 1793.37
CPU system time (s): 6.75197
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1623836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.37
system time used= 6.75197
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 419585
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= 4
involuntary context switches= 2797
runsolver used 6.92295 second user time and 17.5803 second system time
The end