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-3478850-1307440404/watcher-3478850-1307440404 -o /tmp/evaluation-result-3478850-1307440404/solver-3478850-1307440404 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3478850-1307440404.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: 1.92 2.00 1.92 3/437 937
/proc/meminfo: memFree=23926812/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=45140 CPUtime=0 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 312 0 0 0 0 0 0 0 23 0 1 0 836456131 46223360 266 33554432000 4194304 5714214 140734324804320 18446744073709551615 5013195 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 11285 266 176 372 0 151 0
[startup+0.0911099 s]
/proc/loadavg: 1.92 2.00 1.92 3/437 937
/proc/meminfo: memFree=23926812/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=49648 CPUtime=0.08 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 1781 0 0 0 8 0 0 0 23 0 1 0 836456131 50839552 1702 33554432000 4194304 5714214 140734324804320 18446744073709551615 4976976 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 12412 1702 522 372 0 1278 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 49648
[startup+0.101119 s]
/proc/loadavg: 1.92 2.00 1.92 3/437 937
/proc/meminfo: memFree=23926812/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=50044 CPUtime=0.09 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 1930 0 0 0 9 0 0 0 23 0 1 0 836456131 51245056 1851 33554432000 4194304 5714214 140734324804320 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 12511 1851 564 372 0 1377 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 50044
[startup+0.301081 s]
/proc/loadavg: 1.92 2.00 1.92 3/437 937
/proc/meminfo: memFree=23926812/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=59380 CPUtime=0.29 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 5077 0 0 0 29 0 0 0 25 0 1 0 836456131 60805120 4933 33554432000 4194304 5714214 140734324804320 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 14845 4933 1352 372 0 3711 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59380
[startup+0.700992 s]
/proc/loadavg: 1.92 2.00 1.92 3/437 937
/proc/meminfo: memFree=23926812/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=78812 CPUtime=0.69 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 11627 0 0 0 68 1 0 0 25 0 1 0 836456131 80703488 11097 33554432000 4194304 5714214 140734324804320 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 19703 11097 2948 372 0 8569 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 78812
[startup+1.50083 s]
/proc/loadavg: 1.92 2.00 1.92 3/438 939
/proc/meminfo: memFree=23879340/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=116168 CPUtime=1.49 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 24213 0 0 0 146 3 0 0 25 0 1 0 836456131 118956032 23170 33554432000 4194304 5714214 140734324804320 18446744073709551615 4315409 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 29042 23171 6222 372 0 17908 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 116168
[startup+3.10052 s]
/proc/loadavg: 1.92 2.00 1.92 3/438 939
/proc/meminfo: memFree=23828376/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=243908 CPUtime=3.09 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 71352 0 0 0 301 8 0 0 18 0 1 0 836456131 249761792 59550 33554432000 4194304 5714214 140734324804320 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 60977 59555 173 372 0 60602 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 243908
[startup+6.30088 s]
/proc/loadavg: 1.93 2.00 1.92 3/438 939
/proc/meminfo: memFree=23665580/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=260584 CPUtime=6.29 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 78017 0 0 0 603 26 0 0 25 0 1 0 836456131 266838016 64309 33554432000 4194304 5714214 140734324804320 18446744073709551615 4305272 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 65146 64309 180 372 0 64771 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 260584
[startup+12.7006 s]
/proc/loadavg: 1.93 2.00 1.92 3/438 939
/proc/meminfo: memFree=23662372/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=260584 CPUtime=12.69 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 78021 0 0 0 1218 51 0 0 25 0 1 0 836456131 266838016 64313 33554432000 4194304 5714214 140734324804320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 65146 64313 180 372 0 64771 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 260584
[startup+25.5011 s]
/proc/loadavg: 1.95 2.00 1.92 3/438 939
/proc/meminfo: memFree=23661520/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=260584 CPUtime=25.49 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 78025 0 0 0 2491 58 0 0 25 0 1 0 836456131 266838016 64317 33554432000 4194304 5714214 140734324804320 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 65146 64317 180 372 0 64771 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 260584
[startup+51.101 s]
/proc/loadavg: 1.97 2.00 1.92 3/438 940
/proc/meminfo: memFree=23661412/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=260584 CPUtime=51.09 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 78032 0 0 0 5038 71 0 0 25 0 1 0 836456131 266838016 64324 33554432000 4194304 5714214 140734324804320 18446744073709551615 4319826 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 65146 64324 180 372 0 64771 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 260584
[startup+102.317 s]
/proc/loadavg: 1.98 2.00 1.92 3/438 941
/proc/meminfo: memFree=23648232/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=273896 CPUtime=102.31 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 81416 0 0 0 10151 80 0 0 25 0 1 0 836456131 280469504 67708 33554432000 4194304 5714214 140734324804320 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 68474 67708 180 372 0 68099 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 273896
[startup+162.301 s]
/proc/loadavg: 2.11 2.03 1.93 3/438 944
/proc/meminfo: memFree=23617444/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=305152 CPUtime=162.3 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 88894 0 0 0 16097 133 0 0 25 0 1 0 836456131 312475648 75186 33554432000 4194304 5714214 140734324804320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 76288 75186 180 372 0 75913 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 305152
[startup+222.301 s]
/proc/loadavg: 2.04 2.02 1.93 3/438 945
/proc/meminfo: memFree=23584040/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=339128 CPUtime=222.3 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 97173 0 0 0 22082 148 0 0 25 0 1 0 836456131 347267072 83465 33554432000 4194304 5714214 140734324804320 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 84782 83465 180 372 0 84407 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 339128
[startup+282.301 s]
/proc/loadavg: 2.08 2.04 1.94 3/438 947
/proc/meminfo: memFree=23563032/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=360076 CPUtime=282.3 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 102225 0 0 0 28071 159 0 0 25 0 1 0 836456131 368717824 88517 33554432000 4194304 5714214 140734324804320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 90019 88517 180 372 0 89644 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 360076
[startup+342.3 s]
/proc/loadavg: 2.06 2.05 1.95 3/438 949
/proc/meminfo: memFree=23521708/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=377832 CPUtime=342.3 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 106359 0 0 0 34066 164 0 0 25 0 1 0 836456131 386899968 92651 33554432000 4194304 5714214 140734324804320 18446744073709551615 4319266 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 94458 92651 180 372 0 94083 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 377832
[startup+402.3 s]
/proc/loadavg: 2.02 2.04 1.95 3/438 950
/proc/meminfo: memFree=23484700/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=397020 CPUtime=402.31 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 111072 0 0 0 40061 170 0 0 25 0 1 0 836456131 406548480 97364 33554432000 4194304 5714214 140734324804320 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 99255 97364 180 372 0 98880 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 397020
[startup+462.3 s]
/proc/loadavg: 1.95 2.01 1.94 3/438 990
/proc/meminfo: memFree=23831856/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=412480 CPUtime=462.31 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 114901 0 0 0 46054 177 0 0 25 0 1 0 836456131 422379520 101193 33554432000 4194304 5714214 140734324804320 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 103120 101193 180 372 0 102745 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 412480
[startup+522.3 s]
/proc/loadavg: 1.98 2.00 1.94 3/438 991
/proc/meminfo: memFree=23821932/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=422440 CPUtime=522.32 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 117355 0 0 0 52050 182 0 0 25 0 1 0 836456131 432578560 103647 33554432000 4194304 5714214 140734324804320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 105610 103647 180 372 0 105235 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 422440
[startup+582.301 s]
/proc/loadavg: 1.99 2.00 1.94 3/438 1047
/proc/meminfo: memFree=23894640/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=430704 CPUtime=582.32 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 119393 0 0 0 58047 185 0 0 25 0 1 0 836456131 441040896 105685 33554432000 4194304 5714214 140734324804320 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 107676 105685 180 372 0 107301 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 430704
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.09 2.04 1.96 3/438 1080
/proc/meminfo: memFree=23744880/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=473064 CPUtime=822.33 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 129544 0 0 0 82029 204 0 0 25 0 1 0 836456131 484417536 115836 33554432000 4194304 5714214 140734324804320 18446744073709551615 4319782 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 118266 115836 180 372 0 117891 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 473064
[startup+882.301 s]
/proc/loadavg: 2.03 2.03 1.96 3/438 1082
/proc/meminfo: memFree=23719156/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=483192 CPUtime=882.33 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 132047 0 0 0 88025 208 0 0 25 0 1 0 836456131 494788608 118339 33554432000 4194304 5714214 140734324804320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 120798 118339 180 372 0 120423 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 483192
[startup+942.301 s]
/proc/loadavg: 2.01 2.02 1.96 3/438 1083
/proc/meminfo: memFree=23689728/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=493584 CPUtime=942.34 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 134617 0 0 0 94021 213 0 0 25 0 1 0 836456131 505430016 120909 33554432000 4194304 5714214 140734324804320 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 123396 120909 180 372 0 123021 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 493584
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/438 1085
/proc/meminfo: memFree=23659208/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=503668 CPUtime=1002.34 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 137064 0 0 0 100015 219 0 0 25 0 1 0 836456131 515756032 123356 33554432000 4194304 5714214 140734324804320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 125917 123356 180 372 0 125542 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 503668
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/438 1087
/proc/meminfo: memFree=23629536/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=520600 CPUtime=1062.34 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 141188 0 0 0 106007 227 0 0 25 0 1 0 836456131 533094400 127480 33554432000 4194304 5714214 140734324804320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 130150 127480 180 372 0 129775 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 520600
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/438 1088
/proc/meminfo: memFree=23614108/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=534872 CPUtime=1122.34 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 144753 0 0 0 111999 235 0 0 25 0 1 0 836456131 547708928 131045 33554432000 4194304 5714214 140734324804320 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 133718 131045 180 372 0 133343 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 534872
[startup+1182.3 s]
/proc/loadavg: 2.05 2.02 1.97 3/438 1090
/proc/meminfo: memFree=23567200/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=552296 CPUtime=1182.35 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 149056 0 0 0 117992 243 0 0 25 0 1 0 836456131 565551104 135348 33554432000 4194304 5714214 140734324804320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 138074 135348 180 372 0 137699 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 552296
[startup+1242.3 s]
/proc/loadavg: 2.18 2.04 1.98 3/438 1092
/proc/meminfo: memFree=23516148/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=570832 CPUtime=1242.35 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 153737 0 0 0 123984 251 0 0 25 0 1 0 836456131 584531968 140029 33554432000 4194304 5714214 140734324804320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 142708 140029 180 372 0 142333 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 570832
[startup+1302.3 s]
/proc/loadavg: 2.14 2.05 1.98 3/438 1093
/proc/meminfo: memFree=23501960/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=585628 CPUtime=1302.35 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 157320 0 0 0 129978 257 0 0 25 0 1 0 836456131 599683072 143612 33554432000 4194304 5714214 140734324804320 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 146407 143612 180 372 0 146032 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 585628
[startup+1362.3 s]
/proc/loadavg: 2.05 2.04 1.98 3/438 1095
/proc/meminfo: memFree=23487156/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=600584 CPUtime=1362.36 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 160436 0 0 0 135974 262 0 0 25 0 1 0 836456131 614998016 146728 33554432000 4194304 5714214 140734324804320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 150146 146728 180 372 0 149771 0
Current children cumulated CPU time (s) 1362.36
Current children cumulated vsize (KiB) 600584
[startup+1422.32 s]
/proc/loadavg: 2.02 2.03 1.98 3/438 1096
/proc/meminfo: memFree=23455000/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=612856 CPUtime=1422.37 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 163569 0 0 0 141968 269 0 0 25 0 1 0 836456131 627564544 149861 33554432000 4194304 5714214 140734324804320 18446744073709551615 4319437 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 153214 149861 180 372 0 152839 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 612856
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/438 1098
/proc/meminfo: memFree=23416132/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=625500 CPUtime=1482.36 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 166669 0 0 0 147961 275 0 0 25 0 1 0 836456131 640512000 152961 33554432000 4194304 5714214 140734324804320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 156375 152961 180 372 0 156000 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 625500
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/438 1100
/proc/meminfo: memFree=23388692/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=634744 CPUtime=1542.36 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 168887 0 0 0 153957 279 0 0 25 0 1 0 836456131 649977856 155179 33554432000 4194304 5714214 140734324804320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 158686 155179 180 372 0 158311 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 634744
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/438 1101
/proc/meminfo: memFree=23371776/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=645288 CPUtime=1602.36 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 171523 0 0 0 159951 285 0 0 25 0 1 0 836456131 660774912 157815 33554432000 4194304 5714214 140734324804320 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 161322 157815 180 372 0 160947 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 645288
[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 1.99 4/438 1103
/proc/meminfo: memFree=23361456/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=654872 CPUtime=1662.37 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 173840 0 0 0 165948 289 0 0 25 0 1 0 836456131 670588928 160132 33554432000 4194304 5714214 140734324804320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 163718 160132 180 372 0 163343 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 654872
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.99 3/438 1104
/proc/meminfo: memFree=23352112/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=663852 CPUtime=1722.37 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 176008 0 0 0 171945 292 0 0 25 0 1 0 836456131 679784448 162300 33554432000 4194304 5714214 140734324804320 18446744073709551615 4319437 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 165963 162300 180 372 0 165588 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 663852
[startup+1782.3 s]
/proc/loadavg: 2.10 2.04 2.00 3/438 1106
/proc/meminfo: memFree=23339672/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=674032 CPUtime=1782.37 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 178469 0 0 0 177940 297 0 0 25 0 1 0 836456131 690208768 164761 33554432000 4194304 5714214 140734324804320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 168508 164761 180 372 0 168133 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 674032
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.15 2.05 2.01 3/438 1106
/proc/meminfo: memFree=23334560/32951124 swapFree=50923800/67111528
[pid=937] ppid=935 vsize=676664 CPUtime=1800.08 cores=1,3,5,7
/proc/937/stat : 937 (wbo1.6) R 935 937 656 0 -1 4202496 179139 0 0 0 179709 299 0 0 25 0 1 0 836456131 692903936 165431 33554432000 4194304 5714214 140734324804320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/937/statm: 169166 165431 180 372 0 168791 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 676664
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.05
CPU time (s): 1800.13
CPU user time (s): 1797.11
CPU system time (s): 3.01954
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 676664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.11
system time used= 3.01954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179139
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= 6
involuntary context switches= 1014
runsolver used 7.36688 second user time and 18.7941 second system time
The end