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-3478927-1307442203/watcher-3478927-1307442203 -o /tmp/evaluation-result-3478927-1307442203/solver-3478927-1307442203 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3478927-1307442203.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: 2.00 2.01 2.00 2/477 23679
/proc/meminfo: memFree=20694532/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=288988 CPUtime=0.01 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 488 0 0 0 1 0 0 0 24 0 1 0 836636338 295923712 441 33554432000 4194304 5714214 140733698032320 18446744073709551615 4336999 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23679/statm: 72247 441 215 372 0 284 0
[startup+0.099953 s]
/proc/loadavg: 2.00 2.01 2.00 2/477 23679
/proc/meminfo: memFree=20694532/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=293264 CPUtime=0.09 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 1913 0 0 0 9 0 0 0 24 0 1 0 836636338 300302336 1833 33554432000 4194304 5714214 140733698032320 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23679/statm: 73316 1833 556 372 0 1353 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 293264
[startup+0.100964 s]
/proc/loadavg: 2.00 2.01 2.00 2/477 23679
/proc/meminfo: memFree=20694532/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=293396 CPUtime=0.09 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 1928 0 0 0 9 0 0 0 24 0 1 0 836636338 300437504 1848 33554432000 4194304 5714214 140733698032320 18446744073709551615 4968261 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23679/statm: 73349 1848 560 372 0 1386 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 293396
[startup+0.304549 s]
/proc/loadavg: 2.00 2.01 2.00 2/477 23679
/proc/meminfo: memFree=20694532/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=302980 CPUtime=0.29 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 5173 0 0 0 29 0 0 0 25 0 1 0 836636338 310251520 5028 33554432000 4194304 5714214 140733698032320 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23679/statm: 75745 5029 1368 372 0 3782 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 302980
[startup+1.44871 s]
/proc/loadavg: 2.00 2.01 2.00 2/477 23679
/proc/meminfo: memFree=20694532/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=357416 CPUtime=1.44 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 23364 0 0 0 142 2 0 0 25 0 1 0 836636338 365993984 22320 33554432000 4194304 5714214 140733698032320 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23679/statm: 89354 22320 5971 372 0 17391 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 357416
[startup+1.5007 s]
/proc/loadavg: 2.00 2.01 2.00 2/477 23679
/proc/meminfo: memFree=20694532/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=359380 CPUtime=1.49 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 24076 0 0 0 147 2 0 0 25 0 1 0 836636338 368005120 23032 33554432000 4194304 5714214 140733698032320 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23679/statm: 89845 23033 6154 372 0 17882 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 359380
[startup+3.10042 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 23680
/proc/meminfo: memFree=20560488/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=432868 CPUtime=3.1 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 48254 0 0 0 305 5 0 0 25 0 1 0 836636338 443256832 46185 33554432000 4194304 5714214 140733698032320 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23679/statm: 108217 46185 12446 372 0 36254 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 432868
[startup+6.30087 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 23681
/proc/meminfo: memFree=20470136/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=567884 CPUtime=6.29 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 95810 0 0 0 618 11 0 0 25 0 1 0 836636338 581513216 91692 33554432000 4194304 5714214 140733698032320 18446744073709551615 4223098 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23679/statm: 141971 91692 24861 372 0 70008 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 567884
[startup+12.7007 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 23681
/proc/meminfo: memFree=20200728/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=844212 CPUtime=12.69 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 190223 0 0 0 1248 21 0 0 25 0 1 0 836636338 864473088 182008 33554432000 4194304 5714214 140733698032320 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23679/statm: 211053 182008 50974 372 0 139090 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 844212
[startup+25.5005 s]
/proc/loadavg: 2.07 2.03 2.00 3/478 23681
/proc/meminfo: memFree=19136420/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1605244 CPUtime=25.49 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 485067 0 0 0 2494 55 0 0 25 0 1 0 836636338 1643769856 389361 33554432000 4194304 5714214 140733698032320 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23679/statm: 401311 389361 180 372 0 400936 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1605244
[startup+51.1009 s]
/proc/loadavg: 2.04 2.03 2.00 3/475 23685
/proc/meminfo: memFree=19269024/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1605244 CPUtime=51.09 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 485086 0 0 0 5044 65 0 0 25 0 1 0 836636338 1643769856 389380 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319266 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23679/statm: 401311 389380 180 372 0 400936 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1605244
[startup+102.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/478 23712
/proc/meminfo: memFree=19183268/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1605244 CPUtime=102.3 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 485088 0 0 0 10153 77 0 0 25 0 1 0 836636338 1643769856 389382 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23679/statm: 401311 389382 180 372 0 400936 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1605244
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 23715
/proc/meminfo: memFree=19140732/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1605244 CPUtime=162.29 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 485165 0 0 0 16125 104 0 0 25 0 1 0 836636338 1643769856 389459 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23679/statm: 401311 389459 180 372 0 400936 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1605244
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 23716
/proc/meminfo: memFree=19106944/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1605244 CPUtime=222.3 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 485241 0 0 0 22095 135 0 0 25 0 1 0 836636338 1643769856 389535 33554432000 4194304 5714214 140733698032320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23679/statm: 401311 389535 180 372 0 400936 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1605244
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 23718
/proc/meminfo: memFree=19096508/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1605244 CPUtime=282.29 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 485275 0 0 0 28071 158 0 0 25 0 1 0 836636338 1643769856 389569 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 401311 389569 180 372 0 400936 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1605244
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 23719
/proc/meminfo: memFree=19084464/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1605244 CPUtime=342.29 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 485487 0 0 0 34060 169 0 0 25 0 1 0 836636338 1643769856 389781 33554432000 4194304 5714214 140733698032320 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 401311 389781 180 372 0 400936 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1605244
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 23721
/proc/meminfo: memFree=19073296/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1605244 CPUtime=402.29 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 485707 0 0 0 40049 180 0 0 25 0 1 0 836636338 1643769856 390001 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 401311 390001 180 372 0 400936 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1605244
[startup+462.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/478 23723
/proc/meminfo: memFree=19059256/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1605244 CPUtime=462.29 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 486731 0 0 0 46034 195 0 0 25 0 1 0 836636338 1643769856 391025 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 401311 391025 180 372 0 400936 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 1605244
[startup+522.301 s]
/proc/loadavg: 2.16 2.06 2.02 3/478 23724
/proc/meminfo: memFree=19017696/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1634408 CPUtime=522.3 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 493863 0 0 0 52023 207 0 0 25 0 1 0 836636338 1673633792 398157 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319254 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 408602 398157 180 372 0 408227 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1634408
[startup+582.301 s]
/proc/loadavg: 2.09 2.06 2.02 3/478 23726
/proc/meminfo: memFree=18969812/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1674384 CPUtime=582.3 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 503590 0 0 0 58002 228 0 0 25 0 1 0 836636338 1714569216 407884 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 418596 407884 180 372 0 418221 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1674384
[startup+642.318 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23732
/proc/meminfo: memFree=18775700/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1822000 CPUtime=822.3 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 539845 0 0 0 81947 283 0 0 25 0 1 0 836636338 1865728000 444139 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 455500 444139 180 372 0 455125 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 1822000
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23734
/proc/meminfo: memFree=18744300/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1852396 CPUtime=882.3 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 547048 0 0 0 87939 291 0 0 25 0 1 0 836636338 1896853504 451342 33554432000 4194304 5714214 140733698032320 18446744073709551615 4305219 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 463132 451343 180 372 0 462757 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 1852396
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 23735
/proc/meminfo: memFree=18710288/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1886244 CPUtime=942.3 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 555280 0 0 0 93926 304 0 0 25 0 1 0 836636338 1931513856 459574 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 471561 459574 180 372 0 471186 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 1886244
[startup+1002.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/478 23737
/proc/meminfo: memFree=18683124/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1912924 CPUtime=1002.31 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 561860 0 0 0 99916 315 0 0 25 0 1 0 836636338 1958834176 466154 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 478231 466154 180 372 0 477856 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1912924
[startup+1062.3 s]
/proc/loadavg: 2.20 2.06 2.02 3/478 23739
/proc/meminfo: memFree=18651860/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1943740 CPUtime=1062.3 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 569425 0 0 0 105904 326 0 0 25 0 1 0 836636338 1990389760 473719 33554432000 4194304 5714214 140733698032320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 485935 473719 180 372 0 485560 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 1943740
[startup+1122.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/478 23740
/proc/meminfo: memFree=18614652/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1980308 CPUtime=1122.3 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 578506 0 0 0 111892 338 0 0 25 0 1 0 836636338 2027835392 482800 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 495077 482800 180 372 0 494702 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 1980308
[startup+1182.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/478 23742
/proc/meminfo: memFree=18586004/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=2006600 CPUtime=1182.32 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 584961 0 0 0 117884 348 0 0 25 0 1 0 836636338 2054758400 489255 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 501650 489255 180 372 0 501275 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2006600
[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/478 23743
/proc/meminfo: memFree=18552760/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=2039504 CPUtime=1242.31 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 592978 0 0 0 123870 361 0 0 25 0 1 0 836636338 2088452096 497272 33554432000 4194304 5714214 140733698032320 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 509876 497272 180 372 0 509501 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 2039504
[startup+1302.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/478 23745
/proc/meminfo: memFree=18528448/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=2064028 CPUtime=1302.33 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 598837 0 0 0 129856 377 0 0 25 0 1 0 836636338 2113564672 503131 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 516007 503131 180 372 0 515632 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2064028
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23747
/proc/meminfo: memFree=18498796/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=2094352 CPUtime=1362.31 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 606255 0 0 0 135839 392 0 0 25 0 1 0 836636338 2144616448 510549 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 523588 510549 180 372 0 523213 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 2094352
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23748
/proc/meminfo: memFree=18471872/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=2121720 CPUtime=1422.31 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 613020 0 0 0 141826 405 0 0 25 0 1 0 836636338 2172641280 517314 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 530430 517314 180 372 0 530055 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 2121720
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 23750
/proc/meminfo: memFree=18442332/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=2150204 CPUtime=1482.32 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 620009 0 0 0 147811 421 0 0 25 0 1 0 836636338 2201808896 524303 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 537551 524303 180 372 0 537176 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 2150204
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 23751
/proc/meminfo: memFree=18402276/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=2177532 CPUtime=1542.31 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 626261 0 0 0 153793 438 0 0 25 0 1 0 836636338 2229792768 530555 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 544383 530555 180 372 0 544008 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 2177532
[startup+1602.3 s]
/proc/loadavg: 2.22 2.06 2.02 3/478 23753
/proc/meminfo: memFree=18351296/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=2207612 CPUtime=1602.32 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 633757 0 0 0 159781 451 0 0 25 0 1 0 836636338 2260594688 538051 33554432000 4194304 5714214 140733698032320 18446744073709551615 4310968 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 551903 538051 180 372 0 551528 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 2207612
[startup+1662.3 s]
/proc/loadavg: 2.18 2.08 2.02 3/478 23755
/proc/meminfo: memFree=18304896/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=2234968 CPUtime=1662.32 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 640593 0 0 0 165768 464 0 0 25 0 1 0 836636338 2288607232 544887 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319397 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 558742 544887 180 372 0 558367 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 2234968
[startup+1722.3 s]
/proc/loadavg: 2.06 2.06 2.02 3/478 23756
/proc/meminfo: memFree=18262604/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=2257260 CPUtime=1722.32 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 646125 0 0 0 171752 480 0 0 25 0 1 0 836636338 2311434240 550419 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 564315 550419 180 372 0 563940 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 2257260
[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/478 23758
/proc/meminfo: memFree=18213864/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=2280240 CPUtime=1782.32 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 651801 0 0 0 177738 494 0 0 25 0 1 0 836636338 2334965760 556095 33554432000 4194304 5714214 140733698032320 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 570060 556095 180 372 0 569685 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 2280240
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.04 2.01 3/478 23758
/proc/meminfo: memFree=18206424/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=2286628 CPUtime=1800.04 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 653345 0 0 0 179507 497 0 0 25 0 1 0 836636338 2341507072 557639 33554432000 4194304 5714214 140733698032320 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 571657 557639 180 372 0 571282 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2286628
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.11
CPU time (s): 1800.14
CPU user time (s): 1795.08
CPU system time (s): 5.06023
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2286628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.08
system time used= 5.06023
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 653345
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= 7
involuntary context switches= 19173
runsolver used 8.31774 second user time and 19.51 second system time
The end