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-3727042-1338651646/watcher-3727042-1338651646 -o /tmp/evaluation-result-3727042-1338651646/solver-3727042-1338651646 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727042-1338651646.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 1.96 1.86 3/178 1520
/proc/meminfo: memFree=25431028/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=8788 CPUtime=0 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) R 1518 1520 32340 0 -1 4202496 337 0 0 0 0 0 0 0 20 0 1 0 331291868 8998912 290 33554432000 4194304 5964350 140734923851840 140734923849720 5139081 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 2197 290 167 433 0 382 0
[startup+0.0811851 s]
/proc/loadavg: 2.00 1.96 1.86 3/178 1520
/proc/meminfo: memFree=25431028/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=15220 CPUtime=0.07 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) R 1518 1520 32340 0 -1 4202496 2212 0 0 0 7 0 0 0 20 0 1 0 331291868 15585280 2132 33554432000 4194304 5964350 140734923851840 140734923849720 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 3805 2133 434 433 0 1990 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15220
[startup+0.100306 s]
/proc/loadavg: 2.00 1.96 1.86 3/178 1520
/proc/meminfo: memFree=25431028/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=17028 CPUtime=0.09 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) R 1518 1520 32340 0 -1 4202496 2641 0 0 0 9 0 0 0 20 0 1 0 331291868 17436672 2561 33554432000 4194304 5964350 140734923851840 140734923849720 4344688 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 4257 2561 505 433 0 2442 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17028
[startup+0.300274 s]
/proc/loadavg: 2.00 1.96 1.86 3/178 1520
/proc/meminfo: memFree=25431028/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=34528 CPUtime=0.29 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) R 1518 1520 32340 0 -1 4202496 7394 0 0 0 28 1 0 0 20 0 1 0 331291868 35356672 6966 33554432000 4194304 5964350 140734923851840 140734923849720 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 8632 6966 1191 433 0 6817 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34528
[startup+0.700177 s]
/proc/loadavg: 2.00 1.96 1.86 3/178 1520
/proc/meminfo: memFree=25431028/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=119588 CPUtime=0.69 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) S 1518 1520 32340 0 -1 4202496 25165 0 0 0 65 4 0 0 20 0 2 0 331291868 122458112 21121 33554432000 4194304 5964350 140734923851840 140734923851360 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 29897 21121 185 433 0 29461 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 119588
[startup+1.50034 s]
/proc/loadavg: 2.00 1.96 1.86 3/180 1522
/proc/meminfo: memFree=25346312/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=119588 CPUtime=1.49 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) S 1518 1520 32340 0 -1 4202496 25167 0 0 0 145 4 0 0 20 0 2 0 331291868 122458112 21123 33554432000 4194304 5964350 140734923851840 140734923851360 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 29897 21123 187 433 0 29461 0
[pid=1520/tid=1522] ppid=1518 vsize=119588 CPUtime=1.08 cores=1,3,5,7
/proc/1520/task/1522/stat : 1522 (wbo1.72) R 1518 1520 32340 0 -1 4202560 14903 0 0 0 105 3 0 0 20 0 2 0 331291909 122458112 21123 33554432000 4194304 5964350 140734923851840 140577427340392 4399835 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 119588
[startup+3.10033 s]
/proc/loadavg: 2.00 1.96 1.86 3/180 1522
/proc/meminfo: memFree=25345932/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=119588 CPUtime=3.09 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) S 1518 1520 32340 0 -1 4202496 25167 0 0 0 305 4 0 0 20 0 2 0 331291868 122458112 21123 33554432000 4194304 5964350 140734923851840 140734923851360 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 29897 21123 187 433 0 29461 0
[pid=1520/tid=1522] ppid=1518 vsize=119588 CPUtime=2.68 cores=1,3,5,7
/proc/1520/task/1522/stat : 1522 (wbo1.72) R 1518 1520 32340 0 -1 4202560 14903 0 0 0 265 3 0 0 20 0 2 0 331291909 122458112 21123 33554432000 4194304 5964350 140734923851840 140577427340392 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 119588
[startup+6.30033 s]
/proc/loadavg: 2.00 1.96 1.86 3/180 1522
/proc/meminfo: memFree=25344084/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=119588 CPUtime=6.29 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) S 1518 1520 32340 0 -1 4202496 25181 0 0 0 625 4 0 0 20 0 2 0 331291868 122458112 21137 33554432000 4194304 5964350 140734923851840 140734923851360 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 29897 21137 187 433 0 29461 0
[pid=1520/tid=1522] ppid=1518 vsize=119588 CPUtime=5.87 cores=1,3,5,7
/proc/1520/task/1522/stat : 1522 (wbo1.72) R 1518 1520 32340 0 -1 4202560 14917 0 0 0 584 3 0 0 20 0 2 0 331291909 122458112 21137 33554432000 4194304 5964350 140734923851840 140577427339256 4399998 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 119588
[startup+12.7003 s]
/proc/loadavg: 2.00 1.96 1.86 3/179 1522
/proc/meminfo: memFree=25340216/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=119588 CPUtime=12.69 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) S 1518 1520 32340 0 -1 4202496 25518 0 0 0 1264 5 0 0 20 0 2 0 331291868 122458112 21474 33554432000 4194304 5964350 140734923851840 140734923851360 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 29897 21474 187 433 0 29461 0
[pid=1520/tid=1522] ppid=1518 vsize=119588 CPUtime=12.24 cores=1,3,5,7
/proc/1520/task/1522/stat : 1522 (wbo1.72) R 1518 1520 32340 0 -1 4202560 15254 0 0 0 1221 3 0 0 20 0 2 0 331291909 122458112 21474 33554432000 4194304 5964350 140734923851840 140577427338776 4399774 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 119588
[startup+25.5003 s]
/proc/loadavg: 2.00 1.97 1.86 3/179 1523
/proc/meminfo: memFree=25329404/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=119588 CPUtime=25.48 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) S 1518 1520 32340 0 -1 4202496 26172 0 0 0 2543 5 0 0 20 0 2 0 331291868 122458112 22128 33554432000 4194304 5964350 140734923851840 140734923851360 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 29897 22128 187 433 0 29461 0
[pid=1520/tid=1522] ppid=1518 vsize=119588 CPUtime=25.01 cores=1,3,5,7
/proc/1520/task/1522/stat : 1522 (wbo1.72) R 1518 1520 32340 0 -1 4202560 15908 0 0 0 2498 3 0 0 20 0 2 0 331291909 122458112 22128 33554432000 4194304 5964350 140734923851840 140577427339256 4392838 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 119588
[startup+51.1003 s]
/proc/loadavg: 2.00 1.97 1.86 3/179 1523
/proc/meminfo: memFree=25315732/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=119588 CPUtime=51.07 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) S 1518 1520 32340 0 -1 4202496 27119 0 0 0 5101 6 0 0 20 0 2 0 331291868 122458112 23817 33554432000 4194304 5964350 140734923851840 140734923851360 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 29897 23817 187 433 0 29461 0
[pid=1520/tid=1522] ppid=1518 vsize=119588 CPUtime=50.54 cores=1,3,5,7
/proc/1520/task/1522/stat : 1522 (wbo1.72) R 1518 1520 32340 0 -1 4202560 16855 0 0 0 5049 5 0 0 20 0 2 0 331291909 122458112 23817 33554432000 4194304 5964350 140734923851840 140577427339064 4399774 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 119588
[startup+102.307 s]
/proc/loadavg: 2.00 1.97 1.87 3/179 1523
/proc/meminfo: memFree=25309432/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=119588 CPUtime=102.27 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) S 1518 1520 32340 0 -1 4202496 28625 0 0 0 10218 9 0 0 20 0 2 0 331291868 122458112 25389 33554432000 4194304 5964350 140734923851840 140734923851360 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 29897 25389 187 433 0 29461 0
[pid=1520/tid=1522] ppid=1518 vsize=119588 CPUtime=101.6 cores=1,3,5,7
/proc/1520/task/1522/stat : 1522 (wbo1.72) R 1518 1520 32340 0 -1 4202560 18361 0 0 0 10152 8 0 0 20 0 2 0 331291909 122458112 25389 33554432000 4194304 5964350 140734923851840 140577427339304 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 119588
[startup+162.3 s]
/proc/loadavg: 2.00 1.97 1.88 3/179 1523
/proc/meminfo: memFree=25288320/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=185124 CPUtime=162.25 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) S 1518 1520 32340 0 -1 4202496 30348 0 0 0 16215 10 0 0 20 0 2 0 331291868 189566976 27112 33554432000 4194304 5964350 140734923851840 140734923851360 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 46281 27112 187 433 0 45845 0
[pid=1520/tid=1522] ppid=1518 vsize=185124 CPUtime=161.44 cores=1,3,5,7
/proc/1520/task/1522/stat : 1522 (wbo1.72) R 1518 1520 32340 0 -1 4202560 20084 0 0 0 16134 10 0 0 20 0 2 0 331291909 189566976 27112 33554432000 4194304 5964350 140734923851840 140577427339064 4399835 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 185124
[startup+222.3 s]
/proc/loadavg: 2.00 1.97 1.88 3/179 1523
/proc/meminfo: memFree=25268480/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=185124 CPUtime=222.24 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) S 1518 1520 32340 0 -1 4202496 31862 0 0 0 22212 12 0 0 20 0 2 0 331291868 189566976 28626 33554432000 4194304 5964350 140734923851840 140734923851360 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 46281 28626 187 433 0 45845 0
[pid=1520/tid=1522] ppid=1518 vsize=185124 CPUtime=221.29 cores=1,3,5,7
/proc/1520/task/1522/stat : 1522 (wbo1.72) R 1518 1520 32340 0 -1 4202560 21598 0 0 0 22116 13 0 0 20 0 2 0 331291909 189566976 28626 33554432000 4194304 5964350 140734923851840 140577427339256 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 185124
[startup+282.3 s]
/proc/loadavg: 2.00 1.97 1.89 3/179 1523
/proc/meminfo: memFree=25262996/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=185124 CPUtime=282.22 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) S 1518 1520 32340 0 -1 4202496 32887 0 0 0 28209 13 0 0 20 0 2 0 331291868 189566976 29752 33554432000 4194304 5964350 140734923851840 140734923851360 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 46281 29752 187 433 0 45845 0
[pid=1520/tid=1522] ppid=1518 vsize=185124 CPUtime=281.13 cores=1,3,5,7
/proc/1520/task/1522/stat : 1522 (wbo1.72) R 1518 1520 32340 0 -1 4202560 22623 0 0 0 28097 16 0 0 20 0 2 0 331291909 189566976 29752 33554432000 4194304 5964350 140734923851840 140577427339256 4399835 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 185124
[startup+342.3 s]
/proc/loadavg: 2.00 1.97 1.89 3/179 1524
/proc/meminfo: memFree=25258804/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=185124 CPUtime=342.21 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) S 1518 1520 32340 0 -1 4202496 33901 0 0 0 34206 15 0 0 20 0 2 0 331291868 189566976 30766 33554432000 4194304 5964350 140734923851840 140734923851360 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 46281 30766 187 433 0 45845 0
[pid=1520/tid=1522] ppid=1518 vsize=185124 CPUtime=340.97 cores=1,3,5,7
/proc/1520/task/1522/stat : 1522 (wbo1.72) R 1518 1520 32340 0 -1 4202560 23637 0 0 0 34078 19 0 0 20 0 2 0 331291909 189566976 30766 33554432000 4194304 5964350 140734923851840 140577427339304 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 185124
[startup+402.3 s]
/proc/loadavg: 2.00 1.97 1.90 3/179 1524
/proc/meminfo: memFree=25248692/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=185124 CPUtime=402.2 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) S 1518 1520 32340 0 -1 4202496 35109 0 0 0 40203 17 0 0 20 0 2 0 331291868 189566976 31973 33554432000 4194304 5964350 140734923851840 140734923851360 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 46281 31973 187 433 0 45845 0
[pid=1520/tid=1522] ppid=1518 vsize=185124 CPUtime=400.82 cores=1,3,5,7
/proc/1520/task/1522/stat : 1522 (wbo1.72) R 1518 1520 32340 0 -1 4202560 24845 0 0 0 40060 22 0 0 20 0 2 0 331291909 189566976 31973 33554432000 4194304 5964350 140734923851840 140577427339256 4403263 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 185124
[startup+462.3 s]
/proc/loadavg: 2.00 1.97 1.90 3/179 1524
/proc/meminfo: memFree=25242972/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=185124 CPUtime=462.19 cores=1,3,5,7
################
# More data... #
################
[startup+762.307 s]
/proc/loadavg: 2.01 1.99 1.91 3/179 1528
/proc/meminfo: memFree=25168856/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=185124 CPUtime=762.14 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) S 1518 1520 32340 0 -1 4202496 41269 0 0 0 76188 26 0 0 20 0 2 0 331291868 189566976 38473 33554432000 4194304 5964350 140734923851840 140734923851360 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 46281 38473 187 433 0 45845 0
[pid=1520/tid=1522] ppid=1518 vsize=185124 CPUtime=759.89 cores=1,3,5,7
/proc/1520/task/1522/stat : 1522 (wbo1.72) R 1518 1520 32340 0 -1 4202560 31005 0 0 0 75953 36 0 0 20 0 2 0 331291909 189566976 38473 33554432000 4194304 5964350 140734923851840 140577427339304 4392792 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 762.14
Current children cumulated vsize (KiB) 185124
[startup+822.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 1528
/proc/meminfo: memFree=25165044/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=185124 CPUtime=822.12 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) S 1518 1520 32340 0 -1 4202496 42260 0 0 0 82185 27 0 0 20 0 2 0 331291868 189566976 39464 33554432000 4194304 5964350 140734923851840 140734923851360 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 46281 39464 187 433 0 45845 0
[pid=1520/tid=1522] ppid=1518 vsize=185124 CPUtime=819.73 cores=1,3,5,7
/proc/1520/task/1522/stat : 1522 (wbo1.72) R 1518 1520 32340 0 -1 4202560 31996 0 0 0 81935 38 0 0 20 0 2 0 331291909 189566976 39464 33554432000 4194304 5964350 140734923851840 140577427339256 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 185124
[startup+882.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 1528
/proc/meminfo: memFree=25159840/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=185124 CPUtime=882.11 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) S 1518 1520 32340 0 -1 4202496 43442 0 0 0 88182 29 0 0 20 0 2 0 331291868 189566976 40646 33554432000 4194304 5964350 140734923851840 140734923851360 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 46281 40646 187 433 0 45845 0
[pid=1520/tid=1522] ppid=1518 vsize=185124 CPUtime=879.58 cores=1,3,5,7
/proc/1520/task/1522/stat : 1522 (wbo1.72) R 1518 1520 32340 0 -1 4202560 33178 0 0 0 87918 40 0 0 20 0 2 0 331291909 189566976 40646 33554432000 4194304 5964350 140734923851840 140577427339304 4399793 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 185124
[startup+942.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 1529
/proc/meminfo: memFree=25138200/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=187556 CPUtime=942.11 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) S 1518 1520 32340 0 -1 4202496 44087 0 0 0 94181 30 0 0 20 0 2 0 331291868 192057344 41802 33554432000 4194304 5964350 140734923851840 140734923851360 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 46889 41802 187 433 0 46453 0
[pid=1520/tid=1522] ppid=1518 vsize=187556 CPUtime=939.42 cores=1,3,5,7
/proc/1520/task/1522/stat : 1522 (wbo1.72) R 1518 1520 32340 0 -1 4202560 33823 0 0 0 93900 42 0 0 20 0 2 0 331291909 192057344 41802 33554432000 4194304 5964350 140734923851840 140577427339256 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 187556
[startup+1002.3 s]
/proc/loadavg: 2.03 2.00 1.92 3/179 1529
/proc/meminfo: memFree=25124044/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=187556 CPUtime=1002.09 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) S 1518 1520 32340 0 -1 4202496 45340 0 0 0 100178 31 0 0 20 0 2 0 331291868 192057344 43083 33554432000 4194304 5964350 140734923851840 140734923851360 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 46889 43083 187 433 0 46453 0
[pid=1520/tid=1522] ppid=1518 vsize=187556 CPUtime=999.26 cores=1,3,5,7
/proc/1520/task/1522/stat : 1522 (wbo1.72) R 1518 1520 32340 0 -1 4202560 35076 0 0 0 99882 44 0 0 20 0 2 0 331291909 192057344 43083 33554432000 4194304 5964350 140734923851840 140577427339064 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 187556
[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/179 1529
/proc/meminfo: memFree=25119808/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=253092 CPUtime=1062.09 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) S 1518 1520 32340 0 -1 4202496 46375 0 0 0 106177 32 0 0 20 0 2 0 331291868 259166208 44118 33554432000 4194304 5964350 140734923851840 140734923851360 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 63273 44118 187 433 0 62837 0
[pid=1520/tid=1522] ppid=1518 vsize=253092 CPUtime=1059.11 cores=1,3,5,7
/proc/1520/task/1522/stat : 1522 (wbo1.72) R 1518 1520 32340 0 -1 4202560 36111 0 0 0 105865 46 0 0 20 0 2 0 331291909 259166208 44118 33554432000 4194304 5964350 140734923851840 140577427339256 4399835 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 253092
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 1576
/proc/meminfo: memFree=24100352/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=253092 CPUtime=1122.07 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) S 1518 1520 32340 0 -1 4202496 47363 0 0 0 112175 32 0 0 20 0 2 0 331291868 259166208 45149 33554432000 4194304 5964350 140734923851840 140734923851360 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 63273 45149 187 433 0 62837 0
[pid=1520/tid=1522] ppid=1518 vsize=253092 CPUtime=1118.95 cores=1,3,5,7
/proc/1520/task/1522/stat : 1522 (wbo1.72) R 1518 1520 32340 0 -1 4202560 37099 0 0 0 111847 48 0 0 20 0 2 0 331291909 259166208 45149 33554432000 4194304 5964350 140734923851840 140577427339304 4388059 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 253092
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 1579
/proc/meminfo: memFree=23036308/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=253092 CPUtime=1182.07 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) S 1518 1520 32340 0 -1 4202496 48250 0 0 0 118173 34 0 0 20 0 2 0 331291868 259166208 46036 33554432000 4194304 5964350 140734923851840 140734923851360 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 63273 46036 187 433 0 62837 0
[pid=1520/tid=1522] ppid=1518 vsize=253092 CPUtime=1178.8 cores=1,3,5,7
/proc/1520/task/1522/stat : 1522 (wbo1.72) R 1518 1520 32340 0 -1 4202560 37986 0 0 0 117831 49 0 0 20 0 2 0 331291909 259166208 46036 33554432000 4194304 5964350 140734923851840 140577427339256 4400506 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 253092
[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/180 1606
/proc/meminfo: memFree=22185924/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=253092 CPUtime=1242.05 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) S 1518 1520 32340 0 -1 4202496 49118 0 0 0 124171 34 0 0 20 0 2 0 331291868 259166208 46904 33554432000 4194304 5964350 140734923851840 140734923851360 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 63273 46904 187 433 0 62837 0
[pid=1520/tid=1522] ppid=1518 vsize=253092 CPUtime=1238.65 cores=1,3,5,7
/proc/1520/task/1522/stat : 1522 (wbo1.72) R 1518 1520 32340 0 -1 4202560 38854 0 0 0 123815 50 0 0 20 0 2 0 331291909 259166208 46904 33554432000 4194304 5964350 140734923851840 140577427339256 4392838 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 253092
Solver just ended. Dumping a history of the last processes samples
[startup+1243.1 s]
/proc/loadavg: 2.07 2.02 1.93 3/180 1606
/proc/meminfo: memFree=22171912/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=253092 CPUtime=1242.85 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) S 1518 1520 32340 0 -1 4202496 49130 0 0 0 124251 34 0 0 20 0 2 0 331291868 259166208 46916 33554432000 4194304 5964350 140734923851840 140734923851360 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 63273 46916 187 433 0 62837 0
[pid=1520/tid=1522] ppid=1518 vsize=253092 CPUtime=1239.44 cores=1,3,5,7
/proc/1520/task/1522/stat : 1522 (wbo1.72) R 1518 1520 32340 0 -1 4202560 38866 0 0 0 123894 50 0 0 20 0 2 0 331291909 259166208 46916 33554432000 4194304 5964350 140734923851840 140577427339256 4399835 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.85
Current children cumulated vsize (KiB) 253092
[startup+1244.7 s]
/proc/loadavg: 2.07 2.02 1.93 3/180 1606
/proc/meminfo: memFree=22158396/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=253092 CPUtime=1244.45 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) S 1518 1520 32340 0 -1 4202496 49145 0 0 0 124411 34 0 0 20 0 2 0 331291868 259166208 46931 33554432000 4194304 5964350 140734923851840 140734923851360 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 63273 46931 187 433 0 62837 0
[pid=1520/tid=1522] ppid=1518 vsize=253092 CPUtime=1241.04 cores=1,3,5,7
/proc/1520/task/1522/stat : 1522 (wbo1.72) R 1518 1520 32340 0 -1 4202560 38881 0 0 0 124054 50 0 0 20 0 2 0 331291909 259166208 46931 33554432000 4194304 5964350 140734923851840 140577427339256 4392838 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1244.45
Current children cumulated vsize (KiB) 253092
[startup+1245.1 s]
/proc/loadavg: 2.07 2.02 1.93 3/180 1606
/proc/meminfo: memFree=22144880/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=253092 CPUtime=1244.86 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) S 1518 1520 32340 0 -1 4202496 49151 0 0 0 124452 34 0 0 20 0 2 0 331291868 259166208 46937 33554432000 4194304 5964350 140734923851840 140734923851360 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 63273 46937 187 433 0 62837 0
[pid=1520/tid=1522] ppid=1518 vsize=253092 CPUtime=1241.44 cores=1,3,5,7
/proc/1520/task/1522/stat : 1522 (wbo1.72) R 1518 1520 32340 0 -1 4202560 38887 0 0 0 124094 50 0 0 20 0 2 0 331291909 259166208 46937 33554432000 4194304 5964350 140734923851840 140577427339304 4399774 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1244.86
Current children cumulated vsize (KiB) 253092
[startup+1245.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/180 1606
/proc/meminfo: memFree=22144880/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=253092 CPUtime=1245.05 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) S 1518 1520 32340 0 -1 4202496 49154 0 0 0 124471 34 0 0 20 0 2 0 331291868 259166208 46940 33554432000 4194304 5964350 140734923851840 140734923851360 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 63273 46940 187 433 0 62837 0
[pid=1520/tid=1522] ppid=1518 vsize=253092 CPUtime=1241.64 cores=1,3,5,7
/proc/1520/task/1522/stat : 1522 (wbo1.72) R 1518 1520 32340 0 -1 4202560 38890 0 0 0 124114 50 0 0 20 0 2 0 331291909 259166208 46940 33554432000 4194304 5964350 140734923851840 140577427339304 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1245.05
Current children cumulated vsize (KiB) 253092
[startup+1245.4 s]
/proc/loadavg: 2.07 2.02 1.93 3/180 1606
/proc/meminfo: memFree=22144880/32873648 swapFree=6852/6852
[pid=1520] ppid=1518 vsize=253092 CPUtime=1245.15 cores=1,3,5,7
/proc/1520/stat : 1520 (wbo1.72) S 1518 1520 32340 0 -1 4202496 49243 0 0 0 124481 34 0 0 20 0 2 0 331291868 259166208 47029 33554432000 4194304 5964350 140734923851840 140734923851360 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1520/statm: 63273 47029 187 433 0 62837 0
[pid=1520/tid=1522] ppid=1518 vsize=253092 CPUtime=1241.74 cores=1,3,5,7
/proc/1520/task/1522/stat : 1522 (wbo1.72) R 1518 1520 32340 0 -1 4202560 38979 0 0 0 124124 50 0 0 20 0 2 0 331291909 259166208 47029 33554432000 4194304 5964350 140734923851840 140577427339304 4407083 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1245.15
Current children cumulated vsize (KiB) 253092
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1520 and gives
# childrusage.ru_utime.tv_sec=1241
# childrusage.ru_utime.tv_usec=631243
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=526919
# CPU time returned by wait4() is 1242.16
# while last known CPU time is 1245.15
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1245.41
CPU time (s): 1245.15
CPU user time (s): 1244.81
CPU system time (s): 0.34
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 253092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1241.63
system time used= 0.526919
maximum resident set size= 188136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49248
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= 61
involuntary context switches= 1286
runsolver used 2.44463 second user time and 5.39018 second system time
The end