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-3703458-1338085847/watcher-3703458-1338085847 -o /tmp/evaluation-result-3703458-1338085847/solver-3703458-1338085847 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703458-1338085847.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: 0.98 1.01 1.28 3/174 31116
/proc/meminfo: memFree=31582772/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=4640 CPUtime=0 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) R 31112 31116 31075 0 -1 4202496 488 0 0 0 0 0 0 0 20 0 1 0 274709582 4751360 440 33554432000 4194304 5965102 140735763546112 140733884795480 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 1160 445 170 433 0 712 0
[startup+0.0466051 s]
/proc/loadavg: 0.98 1.01 1.28 3/174 31116
/proc/meminfo: memFree=31582772/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=164244 CPUtime=0.07 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 2138 0 0 0 7 0 0 0 20 0 3 0 274709582 168185856 2014 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 41061 2014 199 433 0 40625 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 164244
[startup+0.100215 s]
/proc/loadavg: 0.98 1.01 1.28 3/174 31116
/proc/meminfo: memFree=31582772/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=164244 CPUtime=0.18 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 3389 0 0 0 18 0 0 0 20 0 3 0 274709582 168185856 2792 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 41061 2792 199 433 0 40625 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 164244
[startup+0.300221 s]
/proc/loadavg: 0.98 1.01 1.28 3/174 31116
/proc/meminfo: memFree=31582772/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=164244 CPUtime=0.57 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 6986 0 0 0 57 0 0 0 20 0 3 0 274709582 168185856 4672 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 41061 4672 200 433 0 40625 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 164244
[startup+0.700215 s]
/proc/loadavg: 0.98 1.01 1.28 3/174 31116
/proc/meminfo: memFree=31582772/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=164244 CPUtime=1.38 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 12067 0 0 0 136 2 0 0 20 0 3 0 274709582 168185856 7424 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 41061 7424 200 433 0 40625 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 164244
[startup+1.50025 s]
/proc/loadavg: 0.98 1.01 1.28 5/182 31124
/proc/meminfo: memFree=31518460/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=164244 CPUtime=2.97 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 19479 0 0 0 293 4 0 0 20 0 3 0 274709582 168185856 10672 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 41061 10672 200 433 0 40625 0
[pid=31116/tid=31123] ppid=31112 vsize=164244 CPUtime=1.46 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 15166 0 0 0 143 3 0 0 20 0 3 0 274709582 168185856 10672 33554432000 4194304 5965102 140735763546112 140278942292504 5139791 0 0 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=164244 CPUtime=1.47 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 3285 0 0 0 147 0 0 0 20 0 3 0 274709582 168185856 10672 33554432000 4194304 5965102 140735763546112 140278931802424 4383069 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 164244
[startup+3.10024 s]
/proc/loadavg: 0.98 1.01 1.28 5/182 31124
/proc/meminfo: memFree=31490932/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=164244 CPUtime=6.14 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 32346 0 0 0 608 6 0 0 20 0 3 0 274709582 168185856 15520 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 41061 15520 200 433 0 40625 0
[pid=31116/tid=31123] ppid=31112 vsize=164244 CPUtime=3.05 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 26271 0 0 0 300 5 0 0 20 0 3 0 274709582 168185856 15520 33554432000 4194304 5965102 140735763546112 140278942292808 18446744073699066235 0 0 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=164244 CPUtime=3.07 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 5047 0 0 0 306 1 0 0 20 0 3 0 274709582 168185856 15520 33554432000 4194304 5965102 140735763546112 140278931802424 4401143 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 164244
[startup+6.30023 s]
/proc/loadavg: 1.22 1.06 1.29 5/182 31124
/proc/meminfo: memFree=31423040/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=164244 CPUtime=12.5 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 51089 0 0 0 1240 10 0 0 20 0 3 0 274709582 168185856 22790 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 41061 22790 200 433 0 40625 0
[pid=31116/tid=31123] ppid=31112 vsize=164244 CPUtime=6.21 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 43570 0 0 0 613 8 0 0 20 0 3 0 274709582 168185856 22790 33554432000 4194304 5965102 140735763546112 140278942292808 18446744073699066235 0 0 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=164244 CPUtime=6.26 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 6491 0 0 0 624 2 0 0 20 0 3 0 274709582 168185856 22790 33554432000 4194304 5965102 140735763546112 140278931802472 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 164244
[startup+12.7002 s]
/proc/loadavg: 1.44 1.11 1.30 5/182 31124
/proc/meminfo: memFree=31323976/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=229820 CPUtime=25.19 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 66866 0 0 0 2504 15 0 0 20 0 3 0 274709582 235335680 35380 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 57455 35380 200 433 0 57019 0
[pid=31116/tid=31123] ppid=31112 vsize=229820 CPUtime=12.54 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 54377 0 0 0 1243 11 0 0 20 0 3 0 274709582 235335680 35380 33554432000 4194304 5965102 140735763546112 140278942292312 5136313 0 0 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=229820 CPUtime=12.64 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 11461 0 0 0 1260 4 0 0 20 0 3 0 274709582 235335680 35380 33554432000 4194304 5965102 140735763546112 140278931802424 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 229820
[startup+25.5002 s]
/proc/loadavg: 2.01 1.25 1.35 5/181 31124
/proc/meminfo: memFree=31203716/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=305216 CPUtime=50.66 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 78415 0 0 0 5047 19 0 0 20 0 3 0 274709582 312541184 46061 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 76304 46061 200 433 0 75868 0
[pid=31116/tid=31123] ppid=31112 vsize=305216 CPUtime=25.23 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 59164 0 0 0 2511 12 0 0 20 0 3 0 274709582 312541184 46061 33554432000 4194304 5965102 140735763546112 140278942292920 4400960 0 0 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=305216 CPUtime=25.41 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 18223 0 0 0 2534 7 0 0 20 0 3 0 274709582 312541184 46061 33554432000 4194304 5965102 140735763546112 140278931802472 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 305216
[startup+51.1003 s]
/proc/loadavg: 2.74 1.49 1.42 5/181 31124
/proc/meminfo: memFree=31061780/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=361156 CPUtime=101.55 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 89073 0 0 0 10133 22 0 0 20 0 3 0 274709582 369823744 60058 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 90289 60058 200 433 0 89853 0
[pid=31116/tid=31123] ppid=31112 vsize=361156 CPUtime=50.61 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 66910 0 0 0 5047 14 0 0 20 0 3 0 274709582 369823744 60058 33554432000 4194304 5965102 140735763546112 140278942292312 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=361156 CPUtime=50.94 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 21135 0 0 0 5086 8 0 0 20 0 3 0 274709582 369823744 60058 33554432000 4194304 5965102 140735763546112 140278931802776 4404732 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 361156
[startup+102.307 s]
/proc/loadavg: 3.45 1.87 1.55 5/182 31125
/proc/meminfo: memFree=30845496/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=426836 CPUtime=203.92 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 102708 0 0 0 20365 27 0 0 20 0 3 0 274709582 437080064 76245 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 106709 76245 200 433 0 106273 0
[pid=31116/tid=31123] ppid=31112 vsize=426836 CPUtime=101.67 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 76332 0 0 0 10149 18 0 0 20 0 3 0 274709582 437080064 76245 33554432000 4194304 5965102 140735763546112 140278942292296 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=426836 CPUtime=102.01 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 25348 0 0 0 10189 12 0 0 20 0 3 0 274709582 437080064 76245 33554432000 4194304 5965102 140735763546112 140278931802424 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 203.92
Current children cumulated vsize (KiB) 426836
[startup+162.3 s]
/proc/loadavg: 3.80 2.26 1.70 5/181 31125
/proc/meminfo: memFree=30664144/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=427424 CPUtime=323.88 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 121068 0 0 0 32354 34 0 0 20 0 3 0 274709582 437682176 95147 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 106856 95147 200 433 0 106420 0
[pid=31116/tid=31123] ppid=31112 vsize=427424 CPUtime=161.49 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 87958 0 0 0 16128 21 0 0 20 0 3 0 274709582 437682176 95147 33554432000 4194304 5965102 140735763546112 140278942292328 4401127 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=427424 CPUtime=161.85 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 32082 0 0 0 16169 16 0 0 20 0 3 0 274709582 437682176 95147 33554432000 4194304 5965102 140735763546112 140278931802456 4401149 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 323.88
Current children cumulated vsize (KiB) 427424
[startup+222.3 s]
/proc/loadavg: 3.92 2.57 1.84 5/180 31125
/proc/meminfo: memFree=30553296/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=492960 CPUtime=443.83 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 125591 0 0 0 44348 35 0 0 20 0 3 0 274709582 504791040 101603 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 123240 101603 200 433 0 122804 0
[pid=31116/tid=31123] ppid=31112 vsize=492960 CPUtime=221.3 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 92475 0 0 0 22107 23 0 0 20 0 3 0 274709582 504791040 101603 33554432000 4194304 5965102 140735763546112 140278942292296 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=492960 CPUtime=221.69 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 32088 0 0 0 22152 17 0 0 20 0 3 0 274709582 504791040 101603 33554432000 4194304 5965102 140735763546112 140278931802456 4400955 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 443.83
Current children cumulated vsize (KiB) 492960
[startup+282.3 s]
/proc/loadavg: 3.97 2.83 1.98 5/181 31126
/proc/meminfo: memFree=30464836/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=558664 CPUtime=563.77 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 135472 0 0 0 56339 38 0 0 20 0 3 0 274709582 572071936 112813 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 139666 112813 200 433 0 139230 0
[pid=31116/tid=31123] ppid=31112 vsize=558664 CPUtime=281.11 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 102306 0 0 0 28084 27 0 0 20 0 3 0 274709582 572071936 112813 33554432000 4194304 5965102 140735763546112 140278942292328 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=558664 CPUtime=281.51 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 32138 0 0 0 28133 18 0 0 20 0 3 0 274709582 572071936 112813 33554432000 4194304 5965102 140735763546112 140278931802184 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 563.77
Current children cumulated vsize (KiB) 558664
[startup+342.3 s]
/proc/loadavg: 3.99 3.04 2.10 5/181 31126
/proc/meminfo: memFree=30399392/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=624504 CPUtime=683.69 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 140082 0 0 0 68327 42 0 0 20 0 3 0 274709582 639492096 117410 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 156126 117410 200 433 0 155690 0
[pid=31116/tid=31123] ppid=31112 vsize=624504 CPUtime=340.95 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 102501 0 0 0 34067 28 0 0 20 0 3 0 274709582 639492096 117410 33554432000 4194304 5965102 140735763546112 140278942292328 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=624504 CPUtime=341.3 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 36553 0 0 0 34107 23 0 0 20 0 3 0 274709582 639492096 117410 33554432000 4194304 5965102 140735763546112 140278931802472 4220678 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 683.69
Current children cumulated vsize (KiB) 624504
[startup+402.3 s]
/proc/loadavg: 3.99 3.21 2.22 5/181 31126
/proc/meminfo: memFree=30298680/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=624692 CPUtime=803.64 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 156546 0 0 0 80315 49 0 0 20 0 3 0 274709582 639684608 136563 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 156173 136563 200 433 0 155737 0
[pid=31116/tid=31123] ppid=31112 vsize=624692 CPUtime=400.76 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 115423 0 0 0 40042 34 0 0 20 0 3 0 274709582 639684608 136563 33554432000 4194304 5965102 140735763546112 140278942292328 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=624692 CPUtime=401.14 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 40095 0 0 0 40088 26 0 0 20 0 3 0 274709582 639684608 136563 33554432000 4194304 5965102 140735763546112 140278931802424 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 803.64
Current children cumulated vsize (KiB) 624692
[startup+462.3 s]
/proc/loadavg: 3.99 3.35 2.33 5/181 31126
/proc/meminfo: memFree=30222600/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=690388 CPUtime=923.62 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 167614 0 0 0 92308 54 0 0 20 0 3 0 274709582 706957312 147467 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 172597 147467 200 433 0 172161 0
[pid=31116/tid=31123] ppid=31112 vsize=690388 CPUtime=460.6 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 117565 0 0 0 46026 34 0 0 20 0 3 0 274709582 706957312 147467 33554432000 4194304 5965102 140735763546112 140278942292296 5135184 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=690388 CPUtime=460.99 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 49021 0 0 0 46067 32 0 0 20 0 3 0 274709582 706957312 147467 33554432000 4194304 5965102 140735763546112 140278931802456 4389386 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 923.62
Current children cumulated vsize (KiB) 690388
[startup+522.3 s]
/proc/loadavg: 4.07 3.48 2.43 5/181 31126
/proc/meminfo: memFree=30210336/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=690388 CPUtime=1043.6 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 167616 0 0 0 104306 54 0 0 20 0 3 0 274709582 706957312 147469 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 172597 147469 200 433 0 172161 0
[pid=31116/tid=31123] ppid=31112 vsize=690388 CPUtime=520.44 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 117566 0 0 0 52009 35 0 0 20 0 3 0 274709582 706957312 147469 33554432000 4194304 5965102 140735763546112 140278942292296 4401114 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=690388 CPUtime=520.83 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 49022 0 0 0 52051 32 0 0 20 0 3 0 274709582 706957312 147469 33554432000 4194304 5965102 140735763546112 140278931802456 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1043.6
Current children cumulated vsize (KiB) 690388
[startup+582.3 s]
/proc/loadavg: 4.02 3.57 2.53 5/182 31130
/proc/meminfo: memFree=30144904/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=690388 CPUtime=1163.57 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 180224 0 0 0 116298 59 0 0 20 0 3 0 274709582 706957312 161679 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 172597 161679 200 433 0 172161 0
[pid=31116/tid=31123] ppid=31112 vsize=690388 CPUtime=580.28 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 130174 0 0 0 57987 41 0 0 20 0 3 0 274709582 706957312 161679 33554432000 4194304 5965102 140735763546112 140278942292328 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=690388 CPUtime=580.67 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 49022 0 0 0 58034 33 0 0 20 0 3 0 274709582 706957312 161679 33554432000 4194304 5965102 140735763546112 140278931802456 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1163.57
Current children cumulated vsize (KiB) 690388
[startup+642.3 s]
/proc/loadavg: 4.01 3.65 2.62 5/181 31130
/proc/meminfo: memFree=30089488/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=690548 CPUtime=1283.56 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 180286 0 0 0 128297 59 0 0 20 0 3 0 274709582 707121152 161741 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 172637 161741 200 433 0 172201 0
[pid=31116/tid=31123] ppid=31112 vsize=690548 CPUtime=640.13 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 130174 0 0 0 63971 42 0 0 20 0 3 0 274709582 707121152 161741 33554432000 4194304 5965102 140735763546112 140278942292328 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=690548 CPUtime=640.52 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 49084 0 0 0 64018 34 0 0 20 0 3 0 274709582 707121152 161741 33554432000 4194304 5965102 140735763546112 140278931802184 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1283.56
Current children cumulated vsize (KiB) 690548
[startup+702.3 s]
/proc/loadavg: 4.00 3.71 2.70 5/181 31130
/proc/meminfo: memFree=30060324/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=690948 CPUtime=1403.53 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 180429 0 0 0 140294 59 0 0 20 0 3 0 274709582 707530752 161884 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 172737 161884 200 433 0 172301 0
[pid=31116/tid=31123] ppid=31112 vsize=690948 CPUtime=699.96 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 130237 0 0 0 69953 43 0 0 20 0 3 0 274709582 707530752 161884 33554432000 4194304 5965102 140735763546112 140278942292328 4401155 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=690948 CPUtime=700.36 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 49164 0 0 0 70001 35 0 0 20 0 3 0 274709582 707530752 161884 33554432000 4194304 5965102 140735763546112 140278931802184 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1403.53
Current children cumulated vsize (KiB) 690948
[startup+762.307 s]
/proc/loadavg: 4.00 3.76 2.78 5/181 31130
/proc/meminfo: memFree=29965168/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=822180 CPUtime=1523.51 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 198764 0 0 0 152282 69 0 0 20 0 3 0 274709582 841912320 182773 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 205545 182773 200 433 0 205109 0
[pid=31116/tid=31123] ppid=31112 vsize=822180 CPUtime=759.8 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 147879 0 0 0 75927 53 0 0 20 0 3 0 274709582 841912320 182773 33554432000 4194304 5965102 140735763546112 140278942292296 4401127 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=822180 CPUtime=760.21 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 49857 0 0 0 75984 37 0 0 20 0 3 0 274709582 841912320 182773 33554432000 4194304 5965102 140735763546112 140278931802424 4382677 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1523.51
Current children cumulated vsize (KiB) 822180
[startup+822.3 s]
/proc/loadavg: 4.00 3.80 2.85 5/181 31130
/proc/meminfo: memFree=29945448/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=822180 CPUtime=1643.48 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 198775 0 0 0 164279 69 0 0 20 0 3 0 274709582 841912320 182784 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 205545 182784 200 433 0 205109 0
[pid=31116/tid=31123] ppid=31112 vsize=822180 CPUtime=819.64 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 147879 0 0 0 81910 54 0 0 20 0 3 0 274709582 841912320 182784 33554432000 4194304 5965102 140735763546112 140278942292296 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=822180 CPUtime=820.04 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 49868 0 0 0 81966 38 0 0 20 0 3 0 274709582 841912320 182784 33554432000 4194304 5965102 140735763546112 140278931802424 4400978 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1643.48
Current children cumulated vsize (KiB) 822180
[startup+882.3 s]
/proc/loadavg: 4.00 3.83 2.92 5/181 31131
/proc/meminfo: memFree=29920424/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=887716 CPUtime=1763.45 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 204915 0 0 0 176272 73 0 0 20 0 3 0 274709582 909021184 189066 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 221929 189066 200 433 0 221493 0
[pid=31116/tid=31123] ppid=31112 vsize=887716 CPUtime=879.48 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 147881 0 0 0 87893 55 0 0 20 0 3 0 274709582 909021184 189066 33554432000 4194304 5965102 140735763546112 140278942292296 4401107 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=887716 CPUtime=879.89 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 56006 0 0 0 87946 43 0 0 20 0 3 0 274709582 909021184 189066 33554432000 4194304 5965102 140735763546112 140278931802424 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763.45
Current children cumulated vsize (KiB) 887716
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.6 s]
/proc/loadavg: 4.00 3.84 2.94 3/177 31132
/proc/meminfo: memFree=30823864/32873844 swapFree=7112/7112
[pid=31116] ppid=31112 vsize=887716 CPUtime=1800.05 cores=0,2,4,6
/proc/31116/stat : 31116 (pwbo2.0) S 31112 31116 31075 0 -1 4202496 204986 0 0 0 179931 74 0 0 20 0 3 0 274709582 909021184 189156 33554432000 4194304 5965102 140735763546112 140735763545632 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31116/statm: 221929 189156 200 433 0 221493 0
[pid=31116/tid=31123] ppid=31112 vsize=887716 CPUtime=897.72 cores=0,2,4,6
/proc/31116/task/31123/stat : 31123 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 147952 0 0 0 89717 55 0 0 20 0 3 0 274709582 909021184 189156 33554432000 4194304 5965102 140735763546112 140278942292296 4401026 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=31116/tid=31124] ppid=31112 vsize=887716 CPUtime=898.14 cores=0,2,4,6
/proc/31116/task/31124/stat : 31124 (pwbo2.0) R 31112 31116 31075 0 -1 4202560 56006 0 0 0 89771 43 0 0 20 0 3 0 274709582 909021184 189156 33554432000 4194304 5965102 140735763546112 140278931802424 4401120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 887716
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31116 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=911132
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=22844
# CPU time returned by wait4() is 1795.93
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.633
CPU time (s): 1800.05
CPU user time (s): 1799.31
CPU system time (s): 0.74
CPU usage (%): 199.865
Max. virtual memory (cumulated for all children) (KiB): 887716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.91
system time used= 1.02284
maximum resident set size= 756632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204988
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= 479
involuntary context switches= 2727
runsolver used 1.23281 second user time and 6.03308 second system time
The end