runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3727938-1338667845/watcher-3727938-1338667845 -o /tmp/evaluation-result-3727938-1338667845/solver-3727938-1338667845 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727938-1338667845.opb
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: 1.86 2.48 3.22 3/180 26309
/proc/meminfo: memFree=28216512/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=84104 CPUtime=0 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 877 0 0 0 0 0 0 0 20 0 2 0 332909914 86122496 817 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 21026 817 177 433 0 20590 0
[pid=26309/tid=26310] ppid=26307 vsize=84104 CPUtime=0 cores=0,2,4,6
/proc/26309/task/26310/stat : 26310 (wbo1.72) R 26307 26309 25363 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 2 0 332909915 86122496 817 33554432000 4194304 5964350 140734597574112 140735117242904 4303358 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[startup+0.010081 s]
/proc/loadavg: 1.86 2.48 3.22 3/180 26309
/proc/meminfo: memFree=28216512/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=84104 CPUtime=0 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 998 0 0 0 0 0 0 0 20 0 2 0 332909914 86122496 938 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 21026 938 184 433 0 20590 0
[pid=26309/tid=26310] ppid=26307 vsize=84104 CPUtime=0 cores=0,2,4,6
/proc/26309/task/26310/stat : 26310 (wbo1.72) R 26307 26309 25363 0 -1 4202560 170 0 0 0 0 0 0 0 20 0 2 0 332909915 86122496 938 33554432000 4194304 5964350 140734597574112 140735117242904 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 84104
[startup+0.100324 s]
/proc/loadavg: 1.86 2.48 3.22 3/180 26309
/proc/meminfo: memFree=28216512/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=84104 CPUtime=0.09 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 1329 0 0 0 9 0 0 0 20 0 2 0 332909914 86122496 1269 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 21026 1269 186 433 0 20590 0
[pid=26309/tid=26310] ppid=26307 vsize=84104 CPUtime=0.08 cores=0,2,4,6
/proc/26309/task/26310/stat : 26310 (wbo1.72) R 26307 26309 25363 0 -1 4202560 501 0 0 0 8 0 0 0 20 0 2 0 332909915 86122496 1269 33554432000 4194304 5964350 140734597574112 140735117242904 4389030 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84104
[startup+0.300245 s]
/proc/loadavg: 1.86 2.48 3.22 3/180 26309
/proc/meminfo: memFree=28216512/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=84104 CPUtime=0.29 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 1691 0 0 0 29 0 0 0 20 0 2 0 332909914 86122496 1631 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 21026 1631 186 433 0 20590 0
[pid=26309/tid=26310] ppid=26307 vsize=84104 CPUtime=0.28 cores=0,2,4,6
/proc/26309/task/26310/stat : 26310 (wbo1.72) R 26307 26309 25363 0 -1 4202560 863 0 0 0 28 0 0 0 20 0 2 0 332909915 86122496 1631 33554432000 4194304 5964350 140734597574112 140735117242904 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84104
[startup+0.700314 s]
/proc/loadavg: 1.86 2.48 3.22 3/180 26309
/proc/meminfo: memFree=28216512/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=84248 CPUtime=0.69 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 2351 0 0 0 69 0 0 0 20 0 2 0 332909914 86269952 2291 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 21062 2291 186 433 0 20626 0
[pid=26309/tid=26310] ppid=26307 vsize=84248 CPUtime=0.68 cores=0,2,4,6
/proc/26309/task/26310/stat : 26310 (wbo1.72) R 26307 26309 25363 0 -1 4202560 1523 0 0 0 68 0 0 0 20 0 2 0 332909915 86269952 2291 33554432000 4194304 5964350 140734597574112 140254581929496 4379329 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84248
[startup+1.50025 s]
/proc/loadavg: 1.86 2.48 3.22 3/182 26311
/proc/meminfo: memFree=28202484/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=84248 CPUtime=1.49 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 2662 0 0 0 149 0 0 0 20 0 2 0 332909914 86269952 2602 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 21062 2602 186 433 0 20626 0
[pid=26309/tid=26310] ppid=26307 vsize=84248 CPUtime=1.47 cores=0,2,4,6
/proc/26309/task/26310/stat : 26310 (wbo1.72) R 26307 26309 25363 0 -1 4202560 1834 0 0 0 147 0 0 0 20 0 2 0 332909915 86269952 2602 33554432000 4194304 5964350 140734597574112 140254581929784 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84248
[startup+3.10025 s]
/proc/loadavg: 1.87 2.48 3.21 3/182 26311
/proc/meminfo: memFree=28198920/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=84320 CPUtime=3.09 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 3474 0 0 0 309 0 0 0 20 0 2 0 332909914 86343680 3414 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 21080 3414 186 433 0 20644 0
[pid=26309/tid=26310] ppid=26307 vsize=84320 CPUtime=3.07 cores=0,2,4,6
/proc/26309/task/26310/stat : 26310 (wbo1.72) R 26307 26309 25363 0 -1 4202560 2646 0 0 0 307 0 0 0 20 0 2 0 332909915 86343680 3414 33554432000 4194304 5964350 140734597574112 140254581929784 4400745 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84320
[startup+6.30023 s]
/proc/loadavg: 1.87 2.48 3.21 3/182 26311
/proc/meminfo: memFree=28185156/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=84428 CPUtime=6.28 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 5046 0 0 0 628 0 0 0 20 0 2 0 332909914 86454272 4986 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 21107 4986 186 433 0 20671 0
[pid=26309/tid=26310] ppid=26307 vsize=84428 CPUtime=6.26 cores=0,2,4,6
/proc/26309/task/26310/stat : 26310 (wbo1.72) R 26307 26309 25363 0 -1 4202560 4218 0 0 0 626 0 0 0 20 0 2 0 332909915 86454272 4986 33554432000 4194304 5964350 140734597574112 140254581929496 4400011 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84428
[startup+12.7003 s]
/proc/loadavg: 1.97 2.48 3.20 3/182 26311
/proc/meminfo: memFree=28159888/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=87828 CPUtime=12.69 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 8701 0 0 0 1267 2 0 0 20 0 2 0 332909914 89935872 8641 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 21957 8641 186 433 0 21521 0
[pid=26309/tid=26310] ppid=26307 vsize=87828 CPUtime=12.65 cores=0,2,4,6
/proc/26309/task/26310/stat : 26310 (wbo1.72) R 26307 26309 25363 0 -1 4202560 7873 0 0 0 1263 2 0 0 20 0 2 0 332909915 89935872 8641 33554432000 4194304 5964350 140734597574112 140254581930024 4378928 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 87828
[startup+25.5003 s]
/proc/loadavg: 1.97 2.46 3.19 3/181 26311
/proc/meminfo: memFree=28140552/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=88440 CPUtime=25.49 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 10393 0 0 0 2546 3 0 0 20 0 2 0 332909914 90562560 10333 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 22110 10333 186 433 0 21674 0
[pid=26309/tid=26310] ppid=26307 vsize=88440 CPUtime=25.41 cores=0,2,4,6
/proc/26309/task/26310/stat : 26310 (wbo1.72) R 26307 26309 25363 0 -1 4202560 9565 0 0 0 2538 3 0 0 20 0 2 0 332909915 90562560 10333 33554432000 4194304 5964350 140734597574112 140254581929976 4399911 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 88440
[startup+51.1003 s]
/proc/loadavg: 2.06 2.44 3.16 3/181 26311
/proc/meminfo: memFree=28100584/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=91268 CPUtime=51.08 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 15166 0 0 0 5103 5 0 0 20 0 2 0 332909914 93458432 15106 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 22817 15106 186 433 0 22381 0
[pid=26309/tid=26310] ppid=26307 vsize=91268 CPUtime=50.95 cores=0,2,4,6
/proc/26309/task/26310/stat : 26310 (wbo1.72) R 26307 26309 25363 0 -1 4202560 14338 0 0 0 5090 5 0 0 20 0 2 0 332909915 93458432 15106 33554432000 4194304 5964350 140734597574112 140254581930024 4399930 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 91268
[startup+102.307 s]
/proc/loadavg: 2.02 2.36 3.09 3/181 26311
/proc/meminfo: memFree=28014708/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=160720 CPUtime=102.25 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 22790 0 0 0 10215 10 0 0 20 0 2 0 332909914 164577280 23441 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 40180 23441 186 433 0 39744 0
[pid=26309/tid=26310] ppid=26307 vsize=160720 CPUtime=101.99 cores=0,2,4,6
/proc/26309/task/26310/stat : 26310 (wbo1.72) R 26307 26309 25363 0 -1 4202560 21962 0 0 0 10188 11 0 0 20 0 2 0 332909915 164577280 23441 33554432000 4194304 5964350 140734597574112 140254581930024 4399998 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 160720
[startup+162.3 s]
/proc/loadavg: 2.01 2.29 3.02 3/181 26311
/proc/meminfo: memFree=27931400/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=163816 CPUtime=162.23 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 31592 0 0 0 16206 17 0 0 20 0 2 0 332909914 167747584 32243 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 40954 32243 186 433 0 40518 0
[pid=26309/tid=26310] ppid=26307 vsize=163816 CPUtime=161.83 cores=0,2,4,6
/proc/26309/task/26310/stat : 26310 (wbo1.72) R 26307 26309 25363 0 -1 4202560 30764 0 0 0 16164 19 0 0 20 0 2 0 332909915 167747584 32243 33554432000 4194304 5964350 140734597574112 140254581929496 4403584 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 163816
[startup+222.3 s]
/proc/loadavg: 2.00 2.24 2.96 3/181 26311
/proc/meminfo: memFree=27888428/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=236872 CPUtime=222.2 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 42646 0 0 0 22196 24 0 0 20 0 2 0 332909914 242556928 43295 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 59218 43295 186 433 0 58782 0
[pid=26309/tid=26310] ppid=26307 vsize=236872 CPUtime=221.65 cores=0,2,4,6
/proc/26309/task/26310/stat : 26310 (wbo1.72) R 26307 26309 25363 0 -1 4202560 41818 0 0 0 22138 27 0 0 20 0 2 0 332909915 242556928 43295 33554432000 4194304 5964350 140734597574112 140254581929976 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 236872
[startup+282.3 s]
/proc/loadavg: 2.07 2.21 2.90 3/181 26311
/proc/meminfo: memFree=27820936/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=240624 CPUtime=282.16 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 49556 0 0 0 28186 30 0 0 20 0 2 0 332909914 246398976 50207 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 60156 50207 186 433 0 59720 0
[pid=26309/tid=26310] ppid=26307 vsize=240624 CPUtime=281.48 cores=0,2,4,6
/proc/26309/task/26310/stat : 26310 (wbo1.72) R 26307 26309 25363 0 -1 4202560 48728 0 0 0 28114 34 0 0 20 0 2 0 332909915 246398976 50207 33554432000 4194304 5964350 140734597574112 140254581929976 4379168 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 240624
[startup+342.3 s]
/proc/loadavg: 2.02 2.17 2.84 3/181 26312
/proc/meminfo: memFree=27771624/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=243340 CPUtime=342.16 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 53384 0 0 0 34182 34 0 0 20 0 2 0 332909914 249180160 54035 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 60835 54035 186 433 0 60399 0
[pid=26309/tid=26310] ppid=26307 vsize=243340 CPUtime=341.32 cores=0,2,4,6
/proc/26309/task/26310/stat : 26310 (wbo1.72) R 26307 26309 25363 0 -1 4202560 52556 0 0 0 34093 39 0 0 20 0 2 0 332909915 249180160 54035 33554432000 4194304 5964350 140734597574112 140254581929976 4379216 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 243340
[startup+402.3 s]
/proc/loadavg: 2.01 2.14 2.79 3/181 26312
/proc/meminfo: memFree=27729768/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=310316 CPUtime=402.14 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 58887 0 0 0 40176 38 0 0 20 0 2 0 332909914 317763584 59538 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
################
# More data... #
################
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.20 3/181 26323
/proc/meminfo: memFree=27224356/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=588800 CPUtime=1541.85 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 127219 0 0 0 154077 108 0 0 20 0 2 0 332909914 602931200 127956 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 147200 127956 186 433 0 146764 0
[pid=26309/tid=26310] ppid=26307 vsize=588800 CPUtime=1538.14 cores=0,2,4,6
/proc/26309/task/26310/stat : 26310 (wbo1.72) R 26307 26309 25363 0 -1 4202560 126391 0 0 0 153683 131 0 0 20 0 2 0 332909915 602931200 127956 33554432000 4194304 5964350 140734597574112 140254581929496 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 588800
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.19 3/181 26323
/proc/meminfo: memFree=27204764/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=588800 CPUtime=1601.84 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 129426 0 0 0 160073 111 0 0 20 0 2 0 332909914 602931200 130163 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 147200 130163 186 433 0 146764 0
[pid=26309/tid=26310] ppid=26307 vsize=588800 CPUtime=1597.98 cores=0,2,4,6
/proc/26309/task/26310/stat : 26310 (wbo1.72) R 26307 26309 25363 0 -1 4202560 128598 0 0 0 159663 135 0 0 20 0 2 0 332909915 602931200 130163 33554432000 4194304 5964350 140734597574112 140254581929976 4399846 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 588800
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.17 3/181 26323
/proc/meminfo: memFree=27202896/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=589160 CPUtime=1661.83 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 129502 0 0 0 166072 111 0 0 20 0 2 0 332909914 603299840 130235 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 147290 130235 186 433 0 146854 0
[pid=26309/tid=26310] ppid=26307 vsize=589160 CPUtime=1657.83 cores=0,2,4,6
/proc/26309/task/26310/stat : 26310 (wbo1.72) R 26307 26309 25363 0 -1 4202560 128674 0 0 0 165647 136 0 0 20 0 2 0 332909915 603299840 130235 33554432000 4194304 5964350 140734597574112 140254581930024 4399944 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 589160
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.16 3/181 26323
/proc/meminfo: memFree=27150248/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=590636 CPUtime=1721.78 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 135082 0 0 0 172061 117 0 0 20 0 2 0 332909914 604811264 135784 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 147659 135784 186 433 0 147223 0
[pid=26309/tid=26310] ppid=26307 vsize=590636 CPUtime=1717.63 cores=0,2,4,6
/proc/26309/task/26310/stat : 26310 (wbo1.72) R 26307 26309 25363 0 -1 4202560 134254 0 0 0 171620 143 0 0 20 0 2 0 332909915 604811264 135784 33554432000 4194304 5964350 140734597574112 140254581929496 4400342 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 590636
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.15 3/182 26326
/proc/meminfo: memFree=27146948/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=590708 CPUtime=1781.77 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 135586 0 0 0 178059 118 0 0 20 0 2 0 332909914 604884992 136285 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 147677 136285 186 433 0 147241 0
[pid=26309/tid=26310] ppid=26307 vsize=590708 CPUtime=1777.48 cores=0,2,4,6
/proc/26309/task/26310/stat : 26310 (wbo1.72) R 26307 26309 25363 0 -1 4202560 134758 0 0 0 177604 144 0 0 20 0 2 0 332909915 604884992 136285 33554432000 4194304 5964350 140734597574112 140254581930024 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 590708
############
# WARNING:
# current cumulated CPU time (1795.15 s) is less than in the last sample (1799.37 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (4.22009 s) to the 'lost time'.
[startup+1799.9 s]
/proc/loadavg: 2.06 2.02 2.15 3/178 26342
/proc/meminfo: memFree=27683832/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=590708 CPUtime=1799.37 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 135586 0 0 0 179819 118 0 0 20 0 2 0 332909914 604884992 136285 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 147677 136285 186 433 0 147241 0
[pid=26309/tid=26310] ppid=26307 vsize=590708 CPUtime=1795.03 cores=0,2,4,6
/proc/26309/task/26310/stat : 26310 (wbo1.72) R 26307 26309 25363 0 -1 4202560 134758 0 0 0 179358 145 0 0 20 0 2 0 332909915 604884992 136285 33554432000 4194304 5964350 140734597574112 140254581930024 4399962 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.37
Current children cumulated vsize (KiB) 590708
[startup+1800 s]
/proc/loadavg: 2.06 2.02 2.15 3/178 26342
/proc/meminfo: memFree=27683832/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=0 CPUtime=1795.15 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) R 26307 26309 25363 0 -1 4203524 135589 0 0 0 179369 146 0 0 20 0 1 0 332909914 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.07 2.02 2.16 3/182 26326
/proc/meminfo: memFree=27147196/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=590708 CPUtime=1791.38 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 135586 0 0 0 179020 118 0 0 20 0 2 0 332909914 604884992 136285 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 147677 136285 186 433 0 147241 0
[pid=26309/tid=26310] ppid=26307 vsize=590708 CPUtime=1787.06 cores=0,2,4,6
/proc/26309/task/26310/stat : 26310 (wbo1.72) R 26307 26309 25363 0 -1 4202560 134758 0 0 0 178561 145 0 0 20 0 2 0 332909915 604884992 136285 33554432000 4194304 5964350 140734597574112 140254581930024 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (KiB) 590708
[startup+1795.1 s]
/proc/loadavg: 2.07 2.02 2.15 3/182 26326
/proc/meminfo: memFree=27147196/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=590708 CPUtime=1794.58 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 135586 0 0 0 179340 118 0 0 20 0 2 0 332909914 604884992 136285 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 147677 136285 186 433 0 147241 0
[pid=26309/tid=26310] ppid=26307 vsize=590708 CPUtime=1790.25 cores=0,2,4,6
/proc/26309/task/26310/stat : 26310 (wbo1.72) R 26307 26309 25363 0 -1 4202560 134758 0 0 0 178880 145 0 0 20 0 2 0 332909915 604884992 136285 33554432000 4194304 5964350 140734597574112 140254581930024 4389121 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (KiB) 590708
[startup+1798.3 s]
/proc/loadavg: 2.06 2.02 2.15 3/182 26326
/proc/meminfo: memFree=27147196/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=590708 CPUtime=1797.77 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 135586 0 0 0 179659 118 0 0 20 0 2 0 332909914 604884992 136285 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 147677 136285 186 433 0 147241 0
[pid=26309/tid=26310] ppid=26307 vsize=590708 CPUtime=1793.43 cores=0,2,4,6
/proc/26309/task/26310/stat : 26310 (wbo1.72) R 26307 26309 25363 0 -1 4202560 134758 0 0 0 179198 145 0 0 20 0 2 0 332909915 604884992 136285 33554432000 4194304 5964350 140734597574112 140254581930024 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.77
Current children cumulated vsize (KiB) 590708
[startup+1799.1 s]
/proc/loadavg: 2.06 2.02 2.15 3/182 26326
/proc/meminfo: memFree=27147196/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=590708 CPUtime=1798.57 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 135586 0 0 0 179739 118 0 0 20 0 2 0 332909914 604884992 136285 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 147677 136285 186 433 0 147241 0
[pid=26309/tid=26310] ppid=26307 vsize=590708 CPUtime=1794.23 cores=0,2,4,6
/proc/26309/task/26310/stat : 26310 (wbo1.72) R 26307 26309 25363 0 -1 4202560 134758 0 0 0 179278 145 0 0 20 0 2 0 332909915 604884992 136285 33554432000 4194304 5964350 140734597574112 140254581930024 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.57
Current children cumulated vsize (KiB) 590708
[startup+1799.5 s]
/proc/loadavg: 2.06 2.02 2.15 3/178 26342
/proc/meminfo: memFree=27683832/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=590708 CPUtime=1798.98 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 135586 0 0 0 179780 118 0 0 20 0 2 0 332909914 604884992 136285 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 147677 136285 186 433 0 147241 0
[pid=26309/tid=26310] ppid=26307 vsize=590708 CPUtime=1794.64 cores=0,2,4,6
/proc/26309/task/26310/stat : 26310 (wbo1.72) R 26307 26309 25363 0 -1 4202560 134758 0 0 0 179319 145 0 0 20 0 2 0 332909915 604884992 136285 33554432000 4194304 5964350 140734597574112 140254581930024 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.98
Current children cumulated vsize (KiB) 590708
[startup+1799.9 s]
/proc/loadavg: 2.06 2.02 2.15 3/178 26342
/proc/meminfo: memFree=27683832/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=590708 CPUtime=1799.37 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) S 26307 26309 25363 0 -1 4202496 135586 0 0 0 179819 118 0 0 20 0 2 0 332909914 604884992 136285 33554432000 4194304 5964350 140734597574112 140734597573632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 147677 136285 186 433 0 147241 0
[pid=26309/tid=26310] ppid=26307 vsize=590708 CPUtime=1795.03 cores=0,2,4,6
/proc/26309/task/26310/stat : 26310 (wbo1.72) R 26307 26309 25363 0 -1 4202560 134758 0 0 0 179358 145 0 0 20 0 2 0 332909915 604884992 136285 33554432000 4194304 5964350 140734597574112 140254581930024 4399962 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.37
Current children cumulated vsize (KiB) 590708
[startup+1800 s]
/proc/loadavg: 2.06 2.02 2.15 3/178 26342
/proc/meminfo: memFree=27683832/32873844 swapFree=7124/7124
[pid=26309] ppid=26307 vsize=0 CPUtime=1795.15 cores=0,2,4,6
/proc/26309/stat : 26309 (wbo1.72) R 26307 26309 25363 0 -1 4203524 135589 0 0 0 179369 146 0 0 20 0 1 0 332909914 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26309/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 0
Child status: 255
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 4.22009
# lost CPU user time (s): 4.5
# lost CPU system time (s): -0.28
Real time (s): 1800.01
CPU time (s): 1799.38
CPU user time (s): 1798.19
CPU system time (s): 1.18778
CPU usage (%): 99.9651
Max. virtual memory (cumulated for all children) (KiB): 590708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.69
system time used= 1.46778
maximum resident set size= 545152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135589
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= 232
involuntary context switches= 1950
runsolver used 5.50116 second user time and 19.0571 second system time
The end