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-3726673-1338667515/watcher-3726673-1338667515 -o /tmp/evaluation-result-3726673-1338667515/solver-3726673-1338667515 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726673-1338667515.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 27555
/proc/meminfo: memFree=31790616/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=4120 CPUtime=0 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) R 27553 27555 27471 0 -1 4202496 488 0 0 0 0 0 0 0 20 0 1 0 332876426 4218880 440 33554432000 4194304 5964478 140733397495264 140734404354120 4344768 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 1030 441 166 433 0 538 0
[startup+0.059064 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 27555
/proc/meminfo: memFree=31790616/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=85260 CPUtime=0.05 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 1769 0 0 0 5 0 0 0 20 0 2 0 332876426 87306240 1665 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 21315 1665 186 433 0 20879 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85260
[startup+0.100182 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 27555
/proc/meminfo: memFree=31790616/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=85260 CPUtime=0.09 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 1829 0 0 0 9 0 0 0 20 0 2 0 332876426 87306240 1725 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 21315 1725 186 433 0 20879 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85260
[startup+0.300116 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 27555
/proc/meminfo: memFree=31790616/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=85260 CPUtime=0.29 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 2084 0 0 0 29 0 0 0 20 0 2 0 332876426 87306240 1980 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 21315 1980 186 433 0 20879 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85260
[startup+0.700113 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 27555
/proc/meminfo: memFree=31790616/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=85260 CPUtime=0.69 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 2600 0 0 0 69 0 0 0 20 0 2 0 332876426 87306240 2496 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 21315 2496 186 433 0 20879 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85260
[startup+1.50021 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 27557
/proc/meminfo: memFree=31779844/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=85260 CPUtime=1.48 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 3379 0 0 0 148 0 0 0 20 0 2 0 332876426 87306240 3275 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 21315 3275 186 433 0 20879 0
[pid=27555/tid=27557] ppid=27553 vsize=85260 CPUtime=1.46 cores=1,3,5,7
/proc/27555/task/27557/stat : 27557 (pwbo2.02) R 27553 27555 27471 0 -1 4202560 2228 0 0 0 146 0 0 0 20 0 2 0 332876428 87306240 3275 33554432000 4194304 5964478 140733397495264 140084046833464 4400504 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 85260
[startup+3.10021 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 27557
/proc/meminfo: memFree=31772636/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=85404 CPUtime=3.08 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 3905 0 0 0 308 0 0 0 20 0 2 0 332876426 87453696 3801 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 21351 3801 186 433 0 20915 0
[pid=27555/tid=27557] ppid=27553 vsize=85404 CPUtime=3.05 cores=1,3,5,7
/proc/27555/task/27557/stat : 27557 (pwbo2.02) R 27553 27555 27471 0 -1 4202560 2754 0 0 0 305 0 0 0 20 0 2 0 332876428 87453696 3801 33554432000 4194304 5964478 140733397495264 140084046833656 4400432 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 85404
[startup+6.30026 s]
/proc/loadavg: 1.93 1.98 1.99 2/173 27583
/proc/meminfo: memFree=31795940/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=85404 CPUtime=6.29 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 4579 0 0 0 628 1 0 0 20 0 2 0 332876426 87453696 4475 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 21351 4475 186 433 0 20915 0
[pid=27555/tid=27557] ppid=27553 vsize=85404 CPUtime=6.24 cores=1,3,5,7
/proc/27555/task/27557/stat : 27557 (pwbo2.02) R 27553 27555 27471 0 -1 4202560 3428 0 0 0 623 1 0 0 20 0 2 0 332876428 87453696 4475 33554432000 4194304 5964478 140733397495264 140084046833464 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85404
[startup+12.7003 s]
/proc/loadavg: 1.94 1.98 1.99 3/179 27635
/proc/meminfo: memFree=31777836/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=85476 CPUtime=12.68 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 5924 0 0 0 1267 1 0 0 20 0 2 0 332876426 87527424 5820 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 21369 5820 186 433 0 20933 0
[pid=27555/tid=27557] ppid=27553 vsize=85476 CPUtime=12.63 cores=1,3,5,7
/proc/27555/task/27557/stat : 27557 (pwbo2.02) R 27553 27555 27471 0 -1 4202560 4773 0 0 0 1262 1 0 0 20 0 2 0 332876428 87527424 5820 33554432000 4194304 5964478 140733397495264 140084046833464 4381560 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 85476
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 27635
/proc/meminfo: memFree=31744760/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=85476 CPUtime=25.47 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 8116 0 0 0 2545 2 0 0 20 0 2 0 332876426 87527424 8012 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 21369 8012 186 433 0 20933 0
[pid=27555/tid=27557] ppid=27553 vsize=85476 CPUtime=25.39 cores=1,3,5,7
/proc/27555/task/27557/stat : 27557 (pwbo2.02) R 27553 27555 27471 0 -1 4202560 6965 0 0 0 2537 2 0 0 20 0 2 0 332876428 87527424 8012 33554432000 4194304 5964478 140733397495264 140084046833704 4400087 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 85476
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 27636
/proc/meminfo: memFree=31707104/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=85728 CPUtime=51.06 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 11161 0 0 0 5103 3 0 0 20 0 2 0 332876426 87785472 11565 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 21432 11565 186 433 0 20996 0
[pid=27555/tid=27557] ppid=27553 vsize=85728 CPUtime=50.91 cores=1,3,5,7
/proc/27555/task/27557/stat : 27557 (pwbo2.02) R 27553 27555 27471 0 -1 4202560 10010 0 0 0 5088 3 0 0 20 0 2 0 332876428 87785472 11565 33554432000 4194304 5964478 140733397495264 140084046833464 4400103 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 85728
[startup+102.307 s]
/proc/loadavg: 1.42 1.83 1.94 2/172 27660
/proc/meminfo: memFree=31754516/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=88192 CPUtime=102.26 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 14418 0 0 0 10221 5 0 0 20 0 2 0 332876426 90308608 14994 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 22048 14994 186 433 0 21612 0
[pid=27555/tid=27557] ppid=27553 vsize=88192 CPUtime=101.98 cores=1,3,5,7
/proc/27555/task/27557/stat : 27557 (pwbo2.02) R 27553 27555 27471 0 -1 4202560 13267 0 0 0 10193 5 0 0 20 0 2 0 332876428 90308608 14994 33554432000 4194304 5964478 140733397495264 140084046833656 4400115 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 88192
[startup+162.3 s]
/proc/loadavg: 1.15 1.68 1.88 2/172 27660
/proc/meminfo: memFree=31735408/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=156464 CPUtime=162.23 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 19162 0 0 0 16216 7 0 0 20 0 2 0 332876426 160219136 19778 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 39116 19778 186 433 0 38680 0
[pid=27555/tid=27557] ppid=27553 vsize=156464 CPUtime=161.81 cores=1,3,5,7
/proc/27555/task/27557/stat : 27557 (pwbo2.02) R 27553 27555 27471 0 -1 4202560 18011 0 0 0 16172 9 0 0 20 0 2 0 332876428 160219136 19778 33554432000 4194304 5964478 140733397495264 140084046833464 4381720 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 156464
[startup+222.3 s]
/proc/loadavg: 1.10 1.56 1.83 2/172 27660
/proc/meminfo: memFree=31726036/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=159800 CPUtime=222.22 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 21450 0 0 0 22214 8 0 0 20 0 2 0 332876426 163635200 22074 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 39950 22074 186 433 0 39514 0
[pid=27555/tid=27557] ppid=27553 vsize=159800 CPUtime=221.65 cores=1,3,5,7
/proc/27555/task/27557/stat : 27557 (pwbo2.02) R 27553 27555 27471 0 -1 4202560 20299 0 0 0 22154 11 0 0 20 0 2 0 332876428 163635200 22074 33554432000 4194304 5964478 140733397495264 140084046833704 4400087 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 159800
[startup+282.3 s]
/proc/loadavg: 1.03 1.46 1.77 2/172 27660
/proc/meminfo: memFree=31715928/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=161240 CPUtime=282.21 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 23986 0 0 0 28210 11 0 0 20 0 2 0 332876426 165109760 24615 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 40310 24615 186 433 0 39874 0
[pid=27555/tid=27557] ppid=27553 vsize=161240 CPUtime=281.5 cores=1,3,5,7
/proc/27555/task/27557/stat : 27557 (pwbo2.02) R 27553 27555 27471 0 -1 4202560 22835 0 0 0 28135 15 0 0 20 0 2 0 332876428 165109760 24615 33554432000 4194304 5964478 140733397495264 140084046833656 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 161240
[startup+342.3 s]
/proc/loadavg: 1.01 1.37 1.72 2/173 27663
/proc/meminfo: memFree=31707720/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=162428 CPUtime=342.18 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 25968 0 0 0 34205 13 0 0 20 0 2 0 332876426 166326272 26623 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 40607 26623 186 433 0 40171 0
[pid=27555/tid=27557] ppid=27553 vsize=162428 CPUtime=341.34 cores=1,3,5,7
/proc/27555/task/27557/stat : 27557 (pwbo2.02) R 27553 27555 27471 0 -1 4202560 24817 0 0 0 34116 18 0 0 20 0 2 0 332876428 166326272 26623 33554432000 4194304 5964478 140733397495264 140084046833704 4400067 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 162428
[startup+402.3 s]
/proc/loadavg: 1.00 1.31 1.68 2/172 27664
/proc/meminfo: memFree=31696316/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=164804 CPUtime=402.18 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 28280 0 0 0 40202 16 0 0 20 0 2 0 332876426 168759296 29442 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 41201 29442 186 433 0 40765 0
[pid=27555/tid=27557] ppid=27553 vsize=164804 CPUtime=401.18 cores=1,3,5,7
/proc/27555/task/27557/stat : 27557 (pwbo2.02) R 27553 27555 27471 0 -1 4202560 27129 0 0 0 40097 21 0 0 20 0 2 0 332876428 168759296 29442 33554432000 4194304 5964478 140733397495264 140084046833464 4400103 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 164804
[startup+462.3 s]
/proc/loadavg: 1.00 1.24 1.63 2/172 27664
/proc/meminfo: memFree=31677140/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=165776 CPUtime=462.16 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.20 2/172 27671
/proc/meminfo: memFree=31538148/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=316756 CPUtime=1421.96 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 67595 0 0 0 142145 51 0 0 20 0 2 0 332876426 324358144 68930 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 79189 68930 186 433 0 78753 0
[pid=27555/tid=27557] ppid=27553 vsize=316756 CPUtime=1418.5 cores=1,3,5,7
/proc/27555/task/27557/stat : 27557 (pwbo2.02) R 27553 27555 27471 0 -1 4202560 66444 0 0 0 141778 72 0 0 20 0 2 0 332876428 324358144 68930 33554432000 4194304 5964478 140733397495264 140084046833464 4400115 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 316756
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.18 2/172 27671
/proc/meminfo: memFree=31528892/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=317908 CPUtime=1481.94 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 69838 0 0 0 148141 53 0 0 20 0 2 0 332876426 325537792 71262 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 79477 71262 186 433 0 79041 0
[pid=27555/tid=27557] ppid=27553 vsize=317908 CPUtime=1478.33 cores=1,3,5,7
/proc/27555/task/27557/stat : 27557 (pwbo2.02) R 27553 27555 27471 0 -1 4202560 68687 0 0 0 147758 75 0 0 20 0 2 0 332876428 325537792 71262 33554432000 4194304 5964478 140733397495264 140084046833656 4400087 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 317908
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/173 27674
/proc/meminfo: memFree=31514376/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=319564 CPUtime=1541.93 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 73387 0 0 0 154135 58 0 0 20 0 2 0 332876426 327233536 74811 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 79891 74811 186 433 0 79455 0
[pid=27555/tid=27557] ppid=27553 vsize=319564 CPUtime=1538.18 cores=1,3,5,7
/proc/27555/task/27557/stat : 27557 (pwbo2.02) R 27553 27555 27471 0 -1 4202560 72236 0 0 0 153737 81 0 0 20 0 2 0 332876428 327233536 74811 33554432000 4194304 5964478 140733397495264 140084046833464 4400519 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 319564
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/172 27675
/proc/meminfo: memFree=31513144/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=320716 CPUtime=1601.92 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 73646 0 0 0 160134 58 0 0 20 0 2 0 332876426 328413184 75070 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 80179 75070 186 433 0 79743 0
[pid=27555/tid=27557] ppid=27553 vsize=320716 CPUtime=1598.02 cores=1,3,5,7
/proc/27555/task/27557/stat : 27557 (pwbo2.02) R 27553 27555 27471 0 -1 4202560 72495 0 0 0 159720 82 0 0 20 0 2 0 332876428 328413184 75070 33554432000 4194304 5964478 140733397495264 140084046833704 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 320716
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/172 27675
/proc/meminfo: memFree=31498668/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=387240 CPUtime=1661.9 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 77322 0 0 0 166129 61 0 0 20 0 2 0 332876426 396533760 78767 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 96810 78767 186 433 0 96374 0
[pid=27555/tid=27557] ppid=27553 vsize=387240 CPUtime=1657.85 cores=1,3,5,7
/proc/27555/task/27557/stat : 27557 (pwbo2.02) R 27553 27555 27471 0 -1 4202560 76171 0 0 0 165700 85 0 0 20 0 2 0 332876428 396533760 78767 33554432000 4194304 5964478 140733397495264 140084046833464 4400432 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 387240
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/172 27675
/proc/meminfo: memFree=31497056/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=388212 CPUtime=1721.89 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 77721 0 0 0 172128 61 0 0 20 0 2 0 332876426 397529088 79166 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 97053 79166 186 433 0 96617 0
[pid=27555/tid=27557] ppid=27553 vsize=388212 CPUtime=1717.7 cores=1,3,5,7
/proc/27555/task/27557/stat : 27557 (pwbo2.02) R 27553 27555 27471 0 -1 4202560 76570 0 0 0 171683 87 0 0 20 0 2 0 332876428 397529088 79166 33554432000 4194304 5964478 140733397495264 140084046833704 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 388212
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/172 27675
/proc/meminfo: memFree=31491476/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=388644 CPUtime=1781.88 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 79074 0 0 0 178126 62 0 0 20 0 2 0 332876426 397971456 80519 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 97161 80519 186 433 0 96725 0
[pid=27555/tid=27557] ppid=27553 vsize=388644 CPUtime=1777.55 cores=1,3,5,7
/proc/27555/task/27557/stat : 27557 (pwbo2.02) R 27553 27555 27471 0 -1 4202560 77923 0 0 0 177666 89 0 0 20 0 2 0 332876428 397971456 80519 33554432000 4194304 5964478 140733397495264 140084046833464 4403343 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 388644
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.12 2/172 27675
/proc/meminfo: memFree=31491476/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=388644 CPUtime=1791.48 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 79101 0 0 0 179086 62 0 0 20 0 2 0 332876426 397971456 80546 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 97161 80546 186 433 0 96725 0
[pid=27555/tid=27557] ppid=27553 vsize=388644 CPUtime=1787.13 cores=1,3,5,7
/proc/27555/task/27557/stat : 27557 (pwbo2.02) R 27553 27555 27471 0 -1 4202560 77950 0 0 0 178624 89 0 0 20 0 2 0 332876428 397971456 80546 33554432000 4194304 5964478 140733397495264 140084046833464 4388309 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1791.48
Current children cumulated vsize (KiB) 388644
[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.12 2/172 27675
/proc/meminfo: memFree=31490980/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=388932 CPUtime=1794.68 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 79234 0 0 0 179406 62 0 0 20 0 2 0 332876426 398266368 80679 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 97233 80679 186 433 0 96797 0
[pid=27555/tid=27557] ppid=27553 vsize=388932 CPUtime=1790.32 cores=1,3,5,7
/proc/27555/task/27557/stat : 27557 (pwbo2.02) R 27553 27555 27471 0 -1 4202560 78083 0 0 0 178943 89 0 0 20 0 2 0 332876428 398266368 80679 33554432000 4194304 5964478 140733397495264 140084046833464 4382280 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1794.68
Current children cumulated vsize (KiB) 388932
[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/172 27675
/proc/meminfo: memFree=31490732/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=389364 CPUtime=1797.88 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 79324 0 0 0 179726 62 0 0 20 0 2 0 332876426 398708736 80769 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 97341 80769 186 433 0 96905 0
[pid=27555/tid=27557] ppid=27553 vsize=389364 CPUtime=1793.51 cores=1,3,5,7
/proc/27555/task/27557/stat : 27557 (pwbo2.02) R 27553 27555 27471 0 -1 4202560 78173 0 0 0 179262 89 0 0 20 0 2 0 332876428 398708736 80769 33554432000 4194304 5964478 140733397495264 140084046833464 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 389364
[startup+1799.1 s]
/proc/loadavg: 1.00 1.00 1.12 2/172 27675
/proc/meminfo: memFree=31490732/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=389364 CPUtime=1798.68 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 79330 0 0 0 179806 62 0 0 20 0 2 0 332876426 398708736 80775 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 97341 80775 186 433 0 96905 0
[pid=27555/tid=27557] ppid=27553 vsize=389364 CPUtime=1794.3 cores=1,3,5,7
/proc/27555/task/27557/stat : 27557 (pwbo2.02) R 27553 27555 27471 0 -1 4202560 78179 0 0 0 179341 89 0 0 20 0 2 0 332876428 398708736 80775 33554432000 4194304 5964478 140733397495264 140084046833464 4400432 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.68
Current children cumulated vsize (KiB) 389364
[startup+1799.5 s]
/proc/loadavg: 1.00 1.00 1.12 2/172 27675
/proc/meminfo: memFree=31490484/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=389364 CPUtime=1799.08 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 79330 0 0 0 179846 62 0 0 20 0 2 0 332876426 398708736 80775 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 97341 80775 186 433 0 96905 0
[pid=27555/tid=27557] ppid=27553 vsize=389364 CPUtime=1794.71 cores=1,3,5,7
/proc/27555/task/27557/stat : 27557 (pwbo2.02) R 27553 27555 27471 0 -1 4202560 78179 0 0 0 179382 89 0 0 20 0 2 0 332876428 398708736 80775 33554432000 4194304 5964478 140733397495264 140084046833464 4400069 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.08
Current children cumulated vsize (KiB) 389364
[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.12 2/172 27675
/proc/meminfo: memFree=31490484/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=389364 CPUtime=1799.48 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 79330 0 0 0 179886 62 0 0 20 0 2 0 332876426 398708736 80775 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 97341 80775 186 433 0 96905 0
[pid=27555/tid=27557] ppid=27553 vsize=389364 CPUtime=1795.1 cores=1,3,5,7
/proc/27555/task/27557/stat : 27557 (pwbo2.02) R 27553 27555 27471 0 -1 4202560 78179 0 0 0 179421 89 0 0 20 0 2 0 332876428 398708736 80775 33554432000 4194304 5964478 140733397495264 140084046833464 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (KiB) 389364
[startup+1800 s]
/proc/loadavg: 1.00 1.00 1.12 2/172 27675
/proc/meminfo: memFree=31490484/32873844 swapFree=7116/7116
[pid=27555] ppid=27553 vsize=389364 CPUtime=1799.58 cores=1,3,5,7
/proc/27555/stat : 27555 (pwbo2.02) S 27553 27555 27471 0 -1 4202496 79330 0 0 0 179896 62 0 0 20 0 2 0 332876426 398708736 80775 33554432000 4194304 5964478 140733397495264 140733397494784 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27555/statm: 97341 80775 186 433 0 96905 0
[pid=27555/tid=27557] ppid=27553 vsize=389364 CPUtime=1795.2 cores=1,3,5,7
/proc/27555/task/27557/stat : 27557 (pwbo2.02) R 27553 27555 27471 0 -1 4202560 78179 0 0 0 179431 89 0 0 20 0 2 0 332876428 398708736 80775 33554432000 4194304 5964478 140733397495264 140084046833464 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.58
Current children cumulated vsize (KiB) 389364
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27555 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=334219
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=906862
# CPU time returned by wait4() is 1795.24
# while last known CPU time is 1799.58
#
# 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.58
CPU user time (s): 1798.96
CPU system time (s): 0.62
CPU usage (%): 99.9762
Max. virtual memory (cumulated for all children) (KiB): 389364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.33
system time used= 0.906862
maximum resident set size= 323112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79333
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= 139
involuntary context switches= 2568
runsolver used 3.05454 second user time and 8.58869 second system time
The end