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-3712953-1338199997/watcher-3712953-1338199997 -o /tmp/evaluation-result-3712953-1338199997/solver-3712953-1338199997 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3712953-1338199997.wbo
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.02 2.01 1.98 3/174 12580
/proc/meminfo: memFree=28856896/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=4396 CPUtime=0 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) R 12578 12580 12215 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 286124767 4501504 556 33554432000 4194304 5964318 140735028125696 140733856626056 4395310 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 1099 556 167 433 0 634 0
[startup+0.0335769 s]
/proc/loadavg: 2.02 2.01 1.98 3/174 12580
/proc/meminfo: memFree=28856896/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=85772 CPUtime=0.02 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 2069 0 0 0 2 0 0 0 20 0 2 0 286124767 87830528 1884 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 21443 1884 192 433 0 21007 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 85772
[startup+0.100191 s]
/proc/loadavg: 2.02 2.01 1.98 3/174 12580
/proc/meminfo: memFree=28856896/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=85772 CPUtime=0.09 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 2245 0 0 0 9 0 0 0 20 0 2 0 286124767 87830528 2060 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 21443 2060 194 433 0 21007 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85772
[startup+0.300116 s]
/proc/loadavg: 2.02 2.01 1.98 3/174 12580
/proc/meminfo: memFree=28856896/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=85772 CPUtime=0.28 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 2621 0 0 0 28 0 0 0 20 0 2 0 286124767 87830528 2436 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 21443 2436 194 433 0 21007 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 85772
[startup+0.700112 s]
/proc/loadavg: 2.02 2.01 1.98 3/174 12580
/proc/meminfo: memFree=28856896/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=85772 CPUtime=0.69 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 3295 0 0 0 68 1 0 0 20 0 2 0 286124767 87830528 3110 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 21443 3110 194 433 0 21007 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85772
[startup+1.50026 s]
/proc/loadavg: 2.02 2.01 1.98 3/179 12588
/proc/meminfo: memFree=28828632/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=85772 CPUtime=1.49 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 4593 0 0 0 148 1 0 0 20 0 2 0 286124767 87830528 4408 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 21443 4408 194 433 0 21007 0
[pid=12580/tid=12587] ppid=12578 vsize=85772 CPUtime=1.46 cores=1,3,5,7
/proc/12580/task/12587/stat : 12587 (wbo1.71) R 12578 12580 12215 0 -1 4202560 3357 0 0 0 145 1 0 0 20 0 2 0 286124769 87830528 4408 33554432000 4194304 5964318 140735028125696 139997454235688 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85772
[startup+3.10025 s]
/proc/loadavg: 2.02 2.01 1.98 3/179 12588
/proc/meminfo: memFree=28813852/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=85772 CPUtime=3.09 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 6974 0 0 0 307 2 0 0 20 0 2 0 286124767 87830528 6789 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 21443 6789 194 433 0 21007 0
[pid=12580/tid=12587] ppid=12578 vsize=85772 CPUtime=3.06 cores=1,3,5,7
/proc/12580/task/12587/stat : 12587 (wbo1.71) R 12578 12580 12215 0 -1 4202560 5738 0 0 0 304 2 0 0 20 0 2 0 286124769 87830528 6789 33554432000 4194304 5964318 140735028125696 139997454235448 4399991 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85772
[startup+6.30027 s]
/proc/loadavg: 2.02 2.01 1.98 3/179 12588
/proc/meminfo: memFree=28783720/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=85772 CPUtime=6.28 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 8543 0 0 0 626 2 0 0 20 0 2 0 286124767 87830528 8358 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 21443 8358 194 433 0 21007 0
[pid=12580/tid=12587] ppid=12578 vsize=85772 CPUtime=6.25 cores=1,3,5,7
/proc/12580/task/12587/stat : 12587 (wbo1.71) R 12578 12580 12215 0 -1 4202560 7307 0 0 0 623 2 0 0 20 0 2 0 286124769 87830528 8358 33554432000 4194304 5964318 140735028125696 139997454235640 4399971 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 85772
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 1.98 3/179 12588
/proc/meminfo: memFree=28761364/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=85772 CPUtime=12.68 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 12010 0 0 0 1265 3 0 0 20 0 2 0 286124767 87830528 11825 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 21443 11825 194 433 0 21007 0
[pid=12580/tid=12587] ppid=12578 vsize=85772 CPUtime=12.64 cores=1,3,5,7
/proc/12580/task/12587/stat : 12587 (wbo1.71) R 12578 12580 12215 0 -1 4202560 10774 0 0 0 1261 3 0 0 20 0 2 0 286124769 87830528 11825 33554432000 4194304 5964318 140735028125696 139997454235640 4400446 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 85772
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 1.98 3/179 12588
/proc/meminfo: memFree=28711640/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=85772 CPUtime=25.48 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 17617 0 0 0 2542 6 0 0 20 0 2 0 286124767 87830528 17425 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 21443 17425 194 433 0 21007 0
[pid=12580/tid=12587] ppid=12578 vsize=85772 CPUtime=25.4 cores=1,3,5,7
/proc/12580/task/12587/stat : 12587 (wbo1.71) R 12578 12580 12215 0 -1 4202560 16381 0 0 0 2534 6 0 0 20 0 2 0 286124769 87830528 17425 33554432000 4194304 5964318 140735028125696 139997454235640 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85772
[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 1.98 3/179 12588
/proc/meminfo: memFree=28616172/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=151632 CPUtime=51.07 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 29283 0 0 0 5096 11 0 0 20 0 2 0 286124767 155271168 29081 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 37908 29081 194 433 0 37472 0
[pid=12580/tid=12587] ppid=12578 vsize=151632 CPUtime=50.92 cores=1,3,5,7
/proc/12580/task/12587/stat : 12587 (wbo1.71) R 12578 12580 12215 0 -1 4202560 28047 0 0 0 5081 11 0 0 20 0 2 0 286124769 155271168 29081 33554432000 4194304 5964318 140735028125696 139997454235448 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 151632
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 12588
/proc/meminfo: memFree=28343736/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=282864 CPUtime=102.26 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 66225 0 0 0 10203 23 0 0 20 0 2 0 286124767 289652736 66018 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 70716 66018 194 433 0 70280 0
[pid=12580/tid=12587] ppid=12578 vsize=282864 CPUtime=101.99 cores=1,3,5,7
/proc/12580/task/12587/stat : 12587 (wbo1.71) R 12578 12580 12215 0 -1 4202560 64989 0 0 0 10175 24 0 0 20 0 2 0 286124769 289652736 66018 33554432000 4194304 5964318 140735028125696 139997454235640 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 282864
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 12589
/proc/meminfo: memFree=28114816/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=348640 CPUtime=162.25 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 81836 0 0 0 16196 29 0 0 20 0 2 0 286124767 357007360 81629 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 87160 81629 194 433 0 86724 0
[pid=12580/tid=12587] ppid=12578 vsize=348640 CPUtime=161.83 cores=1,3,5,7
/proc/12580/task/12587/stat : 12587 (wbo1.71) R 12578 12580 12215 0 -1 4202560 80600 0 0 0 16153 30 0 0 20 0 2 0 286124769 357007360 81629 33554432000 4194304 5964318 140735028125696 139997454235640 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 348640
[startup+222.3 s]
/proc/loadavg: 2.12 2.03 1.99 3/179 12589
/proc/meminfo: memFree=28083432/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=414176 CPUtime=222.22 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 84489 0 0 0 22192 30 0 0 20 0 2 0 286124767 424116224 84275 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 103544 84275 194 433 0 103108 0
[pid=12580/tid=12587] ppid=12578 vsize=414176 CPUtime=221.66 cores=1,3,5,7
/proc/12580/task/12587/stat : 12587 (wbo1.71) R 12578 12580 12215 0 -1 4202560 83253 0 0 0 22134 32 0 0 20 0 2 0 286124769 424116224 84275 33554432000 4194304 5964318 140735028125696 139997454235640 4388989 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 414176
[startup+282.3 s]
/proc/loadavg: 2.04 2.02 1.99 3/179 12589
/proc/meminfo: memFree=28047872/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=414176 CPUtime=282.2 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 84518 0 0 0 28190 30 0 0 20 0 2 0 286124767 424116224 84327 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 103544 84327 194 433 0 103108 0
[pid=12580/tid=12587] ppid=12578 vsize=414176 CPUtime=281.49 cores=1,3,5,7
/proc/12580/task/12587/stat : 12587 (wbo1.71) R 12578 12580 12215 0 -1 4202560 83282 0 0 0 28116 33 0 0 20 0 2 0 286124769 424116224 84327 33554432000 4194304 5964318 140735028125696 139997454235640 4399991 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 414176
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/179 12589
/proc/meminfo: memFree=27952244/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=479712 CPUtime=342.16 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 108519 0 0 0 34177 39 0 0 20 0 2 0 286124767 491225088 108303 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 119928 108303 194 433 0 119492 0
[pid=12580/tid=12587] ppid=12578 vsize=479712 CPUtime=341.31 cores=1,3,5,7
/proc/12580/task/12587/stat : 12587 (wbo1.71) R 12578 12580 12215 0 -1 4202560 107283 0 0 0 34088 43 0 0 20 0 2 0 286124769 491225088 108303 33554432000 4194304 5964318 140735028125696 139997454235640 4399991 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 479712
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/179 12589
/proc/meminfo: memFree=27952152/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=479712 CPUtime=402.15 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 108521 0 0 0 40176 39 0 0 20 0 2 0 286124767 491225088 108305 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 119928 108305 194 433 0 119492 0
[pid=12580/tid=12587] ppid=12578 vsize=479712 CPUtime=401.16 cores=1,3,5,7
/proc/12580/task/12587/stat : 12587 (wbo1.71) R 12578 12580 12215 0 -1 4202560 107285 0 0 0 40072 44 0 0 20 0 2 0 286124769 491225088 108305 33554432000 4194304 5964318 140735028125696 139997454235640 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 479712
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/179 12592
/proc/meminfo: memFree=27849508/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=545248 CPUtime=462.14 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12600
/proc/meminfo: memFree=26919548/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=742216 CPUtime=1421.96 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 181111 0 0 0 142128 68 0 0 20 0 2 0 286124767 760029184 181430 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 185554 181430 194 433 0 185118 0
[pid=12580/tid=12587] ppid=12578 vsize=742216 CPUtime=1418.51 cores=1,3,5,7
/proc/12580/task/12587/stat : 12587 (wbo1.71) R 12578 12580 12215 0 -1 4202560 179875 0 0 0 141762 89 0 0 20 0 2 0 286124769 760029184 181430 33554432000 4194304 5964318 140735028125696 139997454235672 4399879 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 742216
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12600
/proc/meminfo: memFree=26919796/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=742216 CPUtime=1481.94 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 181111 0 0 0 148126 68 0 0 20 0 2 0 286124767 760029184 181430 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 185554 181430 194 433 0 185118 0
[pid=12580/tid=12587] ppid=12578 vsize=742216 CPUtime=1478.35 cores=1,3,5,7
/proc/12580/task/12587/stat : 12587 (wbo1.71) R 12578 12580 12215 0 -1 4202560 179875 0 0 0 147745 90 0 0 20 0 2 0 286124769 760029184 181430 33554432000 4194304 5964318 140735028125696 139997454235672 4381864 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 742216
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12600
/proc/meminfo: memFree=26912356/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=807752 CPUtime=1541.94 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 183015 0 0 0 154125 69 0 0 20 0 2 0 286124767 827138048 183334 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 201938 183334 194 433 0 201502 0
[pid=12580/tid=12587] ppid=12578 vsize=807752 CPUtime=1538.2 cores=1,3,5,7
/proc/12580/task/12587/stat : 12587 (wbo1.71) R 12578 12580 12215 0 -1 4202560 181779 0 0 0 153728 92 0 0 20 0 2 0 286124769 827138048 183334 33554432000 4194304 5964318 140735028125696 139997454235640 4381864 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 807752
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12600
/proc/meminfo: memFree=26912040/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=807752 CPUtime=1601.91 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 183046 0 0 0 160122 69 0 0 20 0 2 0 286124767 827138048 183387 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 201938 183387 194 433 0 201502 0
[pid=12580/tid=12587] ppid=12578 vsize=807752 CPUtime=1598.03 cores=1,3,5,7
/proc/12580/task/12587/stat : 12587 (wbo1.71) R 12578 12580 12215 0 -1 4202560 181810 0 0 0 159710 93 0 0 20 0 2 0 286124769 827138048 183387 33554432000 4194304 5964318 140735028125696 139997454235640 4399973 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 807752
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 12603
/proc/meminfo: memFree=26912096/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=807752 CPUtime=1661.89 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 183075 0 0 0 166120 69 0 0 20 0 2 0 286124767 827138048 183421 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 201938 183421 194 433 0 201502 0
[pid=12580/tid=12587] ppid=12578 vsize=807752 CPUtime=1657.85 cores=1,3,5,7
/proc/12580/task/12587/stat : 12587 (wbo1.71) R 12578 12580 12215 0 -1 4202560 181839 0 0 0 165691 94 0 0 20 0 2 0 286124769 827138048 183421 33554432000 4194304 5964318 140735028125696 139997454235640 4381900 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 807752
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 12604
/proc/meminfo: memFree=26858412/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=808292 CPUtime=1721.89 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 196472 0 0 0 172114 75 0 0 20 0 2 0 286124767 827691008 196818 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 202073 196818 194 433 0 201637 0
[pid=12580/tid=12587] ppid=12578 vsize=808292 CPUtime=1717.7 cores=1,3,5,7
/proc/12580/task/12587/stat : 12587 (wbo1.71) R 12578 12580 12215 0 -1 4202560 195236 0 0 0 171669 101 0 0 20 0 2 0 286124769 827691008 196818 33554432000 4194304 5964318 140735028125696 139997454235640 4399982 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 808292
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12604
/proc/meminfo: memFree=26858040/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=808292 CPUtime=1781.88 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 196480 0 0 0 178113 75 0 0 20 0 2 0 286124767 827691008 196826 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 202073 196826 194 433 0 201637 0
[pid=12580/tid=12587] ppid=12578 vsize=808292 CPUtime=1777.55 cores=1,3,5,7
/proc/12580/task/12587/stat : 12587 (wbo1.71) R 12578 12580 12215 0 -1 4202560 195244 0 0 0 177653 102 0 0 20 0 2 0 286124769 827691008 196826 33554432000 4194304 5964318 140735028125696 139997454235640 4381855 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 808292
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12604
/proc/meminfo: memFree=26858412/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=808292 CPUtime=1791.48 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 196480 0 0 0 179073 75 0 0 20 0 2 0 286124767 827691008 196826 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 202073 196826 194 433 0 201637 0
[pid=12580/tid=12587] ppid=12578 vsize=808292 CPUtime=1787.13 cores=1,3,5,7
/proc/12580/task/12587/stat : 12587 (wbo1.71) R 12578 12580 12215 0 -1 4202560 195244 0 0 0 178611 102 0 0 20 0 2 0 286124769 827691008 196826 33554432000 4194304 5964318 140735028125696 139997454235640 4400019 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.48
Current children cumulated vsize (KiB) 808292
[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12604
/proc/meminfo: memFree=26858412/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=808292 CPUtime=1794.68 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 196480 0 0 0 179393 75 0 0 20 0 2 0 286124767 827691008 196826 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 202073 196826 194 433 0 201637 0
[pid=12580/tid=12587] ppid=12578 vsize=808292 CPUtime=1790.32 cores=1,3,5,7
/proc/12580/task/12587/stat : 12587 (wbo1.71) R 12578 12580 12215 0 -1 4202560 195244 0 0 0 178930 102 0 0 20 0 2 0 286124769 827691008 196826 33554432000 4194304 5964318 140735028125696 139997454235640 4400019 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.68
Current children cumulated vsize (KiB) 808292
[startup+1798.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12604
/proc/meminfo: memFree=26858412/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=808292 CPUtime=1797.87 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 196480 0 0 0 179712 75 0 0 20 0 2 0 286124767 827691008 196826 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 202073 196826 194 433 0 201637 0
[pid=12580/tid=12587] ppid=12578 vsize=808292 CPUtime=1793.51 cores=1,3,5,7
/proc/12580/task/12587/stat : 12587 (wbo1.71) R 12578 12580 12215 0 -1 4202560 195244 0 0 0 179249 102 0 0 20 0 2 0 286124769 827691008 196826 33554432000 4194304 5964318 140735028125696 139997454235640 4399971 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 808292
[startup+1799.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12604
/proc/meminfo: memFree=26858412/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=808292 CPUtime=1798.67 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 196480 0 0 0 179792 75 0 0 20 0 2 0 286124767 827691008 196826 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 202073 196826 194 433 0 201637 0
[pid=12580/tid=12587] ppid=12578 vsize=808292 CPUtime=1794.31 cores=1,3,5,7
/proc/12580/task/12587/stat : 12587 (wbo1.71) R 12578 12580 12215 0 -1 4202560 195244 0 0 0 179329 102 0 0 20 0 2 0 286124769 827691008 196826 33554432000 4194304 5964318 140735028125696 139997454235640 4400019 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (KiB) 808292
[startup+1799.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12604
/proc/meminfo: memFree=26858412/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=808292 CPUtime=1799.08 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 196480 0 0 0 179833 75 0 0 20 0 2 0 286124767 827691008 196826 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 202073 196826 194 433 0 201637 0
[pid=12580/tid=12587] ppid=12578 vsize=808292 CPUtime=1794.71 cores=1,3,5,7
/proc/12580/task/12587/stat : 12587 (wbo1.71) R 12578 12580 12215 0 -1 4202560 195244 0 0 0 179369 102 0 0 20 0 2 0 286124769 827691008 196826 33554432000 4194304 5964318 140735028125696 139997454235640 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.08
Current children cumulated vsize (KiB) 808292
[startup+1799.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12604
/proc/meminfo: memFree=26858412/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=808292 CPUtime=1799.47 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 196481 0 0 0 179872 75 0 0 20 0 2 0 286124767 827691008 196827 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 202073 196827 194 433 0 201637 0
[pid=12580/tid=12587] ppid=12578 vsize=808292 CPUtime=1795.1 cores=1,3,5,7
/proc/12580/task/12587/stat : 12587 (wbo1.71) R 12578 12580 12215 0 -1 4202560 195245 0 0 0 179408 102 0 0 20 0 2 0 286124769 827691008 196827 33554432000 4194304 5964318 140735028125696 139997454235640 4399971 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 808292
[startup+1800 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12604
/proc/meminfo: memFree=26858412/32873844 swapFree=7116/7116
[pid=12580] ppid=12578 vsize=808292 CPUtime=1799.57 cores=1,3,5,7
/proc/12580/stat : 12580 (wbo1.71) S 12578 12580 12215 0 -1 4202496 196481 0 0 0 179882 75 0 0 20 0 2 0 286124767 827691008 196827 33554432000 4194304 5964318 140735028125696 140735028125216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12580/statm: 202073 196827 194 433 0 201637 0
[pid=12580/tid=12587] ppid=12578 vsize=808292 CPUtime=1795.2 cores=1,3,5,7
/proc/12580/task/12587/stat : 12587 (wbo1.71) R 12578 12580 12215 0 -1 4202560 195245 0 0 0 179418 102 0 0 20 0 2 0 286124769 827691008 196827 33554432000 4194304 5964318 140735028125696 139997454235640 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (KiB) 808292
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12580 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=198240
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=39841
# CPU time returned by wait4() is 1795.24
# while last known CPU time is 1799.57
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.57
CPU user time (s): 1798.82
CPU system time (s): 0.75
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 808292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.2
system time used= 1.03984
maximum resident set size= 787320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196484
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= 258
involuntary context switches= 1914
runsolver used 3.38549 second user time and 10.0865 second system time
The end