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-3712480-1338197500/watcher-3712480-1338197500 -o /tmp/evaluation-result-3712480-1338197500/solver-3712480-1338197500 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712480-1338197500.wbo
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: 4.00 3.99 3.91 4/180 23339
/proc/meminfo: memFree=30330372/32873844 swapFree=7112/7112
[pid=23339] ppid=23337 vsize=4460 CPUtime=0 cores=0,2,4,6
/proc/23339/stat : 23339 (pwbo2.01) R 23337 23339 22874 0 -1 4202496 431 0 0 0 0 0 0 0 20 0 1 0 285875287 4567040 383 33554432000 4194304 5964478 140736553169408 140736450218824 4361359 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/23339/statm: 1115 383 169 433 0 656 0
[startup+0.0246581 s]
/proc/loadavg: 4.00 3.99 3.91 4/180 23339
/proc/meminfo: memFree=30330372/32873844 swapFree=7112/7112
[pid=23339] ppid=23337 vsize=164136 CPUtime=0.03 cores=0,2,4,6
/proc/23339/stat : 23339 (pwbo2.01) S 23337 23339 22874 0 -1 4202496 1733 0 0 0 3 0 0 0 20 0 3 0 285875287 168075264 1639 33554432000 4194304 5964478 140736553169408 140736553168928 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23339/statm: 41034 1639 196 433 0 40598 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 164136
[startup+0.100165 s]
/proc/loadavg: 4.00 3.99 3.91 4/180 23339
/proc/meminfo: memFree=30330372/32873844 swapFree=7112/7112
[pid=23339] ppid=23337 vsize=163772 CPUtime=0.17 cores=0,2,4,6
/proc/23339/stat : 23339 (pwbo2.01) S 23337 23339 22874 0 -1 4202496 2618 0 0 0 17 0 0 0 20 0 3 0 285875287 167702528 2153 33554432000 4194304 5964478 140736553169408 140736553168928 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23339/statm: 40943 2153 198 433 0 40507 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 163772
[startup+0.300127 s]
/proc/loadavg: 4.00 3.99 3.91 4/180 23339
/proc/meminfo: memFree=30330372/32873844 swapFree=7112/7112
[pid=23339] ppid=23337 vsize=163772 CPUtime=0.57 cores=0,2,4,6
/proc/23339/stat : 23339 (pwbo2.01) S 23337 23339 22874 0 -1 4202496 3773 0 0 0 57 0 0 0 20 0 3 0 285875287 167702528 2908 33554432000 4194304 5964478 140736553169408 140736553168928 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23339/statm: 40943 2908 198 433 0 40507 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 163772
[startup+0.70015 s]
/proc/loadavg: 4.00 3.99 3.91 4/180 23339
/proc/meminfo: memFree=30330372/32873844 swapFree=7112/7112
[pid=23339] ppid=23337 vsize=163772 CPUtime=1.38 cores=0,2,4,6
/proc/23339/stat : 23339 (pwbo2.01) S 23337 23339 22874 0 -1 4202496 4861 0 0 0 137 1 0 0 20 0 3 0 285875287 167702528 3713 33554432000 4194304 5964478 140736553169408 140736553168928 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23339/statm: 40943 3713 198 433 0 40507 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 163772
[startup+1.50026 s]
/proc/loadavg: 4.00 3.99 3.91 5/183 23342
/proc/meminfo: memFree=30312260/32873844 swapFree=7112/7112
[pid=23339] ppid=23337 vsize=163772 CPUtime=2.97 cores=0,2,4,6
/proc/23339/stat : 23339 (pwbo2.01) S 23337 23339 22874 0 -1 4202496 6019 0 0 0 296 1 0 0 20 0 3 0 285875287 167702528 4640 33554432000 4194304 5964478 140736553169408 140736553168928 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23339/statm: 40943 4640 198 433 0 40507 0
[pid=23339/tid=23341] ppid=23337 vsize=163772 CPUtime=1.47 cores=0,2,4,6
/proc/23339/task/23341/stat : 23341 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 2333 0 0 0 147 0 0 0 20 0 3 0 285875288 167702528 4640 33554432000 4194304 5964478 140736553169408 140350320248824 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=23339/tid=23342] ppid=23337 vsize=163772 CPUtime=1.47 cores=0,2,4,6
/proc/23339/task/23342/stat : 23342 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 2663 0 0 0 147 0 0 0 20 0 3 0 285875288 167702528 4640 33554432000 4194304 5964478 140736553169408 140350309759272 4407819 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) 163772
[startup+3.10028 s]
/proc/loadavg: 4.00 3.99 3.91 5/183 23342
/proc/meminfo: memFree=30304680/32873844 swapFree=7112/7112
[pid=23339] ppid=23337 vsize=164172 CPUtime=6.17 cores=0,2,4,6
/proc/23339/stat : 23339 (pwbo2.01) S 23337 23339 22874 0 -1 4202496 8707 0 0 0 613 4 0 0 20 0 3 0 285875287 168112128 7194 33554432000 4194304 5964478 140736553169408 140736553168928 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23339/statm: 41043 7194 198 433 0 40607 0
[pid=23339/tid=23341] ppid=23337 vsize=164172 CPUtime=3.07 cores=0,2,4,6
/proc/23339/task/23341/stat : 23341 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 3676 0 0 0 305 2 0 0 20 0 3 0 285875288 168112128 7194 33554432000 4194304 5964478 140736553169408 140350320248824 4392789 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=23339/tid=23342] ppid=23337 vsize=164172 CPUtime=3.06 cores=0,2,4,6
/proc/23339/task/23342/stat : 23342 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 4008 0 0 0 304 2 0 0 20 0 3 0 285875288 168112128 7194 33554432000 4194304 5964478 140736553169408 140350309759280 4400053 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164172
[startup+6.30032 s]
/proc/loadavg: 4.00 3.99 3.91 5/183 23342
/proc/meminfo: memFree=30282412/32873844 swapFree=7112/7112
[pid=23339] ppid=23337 vsize=164584 CPUtime=12.57 cores=0,2,4,6
/proc/23339/stat : 23339 (pwbo2.01) S 23337 23339 22874 0 -1 4202496 13890 0 0 0 1247 10 0 0 20 0 3 0 285875287 168534016 12315 33554432000 4194304 5964478 140736553169408 140736553168928 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23339/statm: 41146 12315 198 433 0 40710 0
[pid=23339/tid=23341] ppid=23337 vsize=164584 CPUtime=6.25 cores=0,2,4,6
/proc/23339/task/23341/stat : 23341 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 7520 0 0 0 621 4 0 0 20 0 3 0 285875288 168534016 12315 33554432000 4194304 5964478 140736553169408 140350320248824 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23339/tid=23342] ppid=23337 vsize=164584 CPUtime=6.25 cores=0,2,4,6
/proc/23339/task/23342/stat : 23342 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 5347 0 0 0 620 5 0 0 20 0 3 0 285875288 168534016 12315 33554432000 4194304 5964478 140736553169408 140350309759336 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 164584
[startup+12.7003 s]
/proc/loadavg: 4.00 3.99 3.91 5/183 23342
/proc/meminfo: memFree=30203836/32873844 swapFree=7112/7112
[pid=23339] ppid=23337 vsize=165416 CPUtime=25.36 cores=0,2,4,6
/proc/23339/stat : 23339 (pwbo2.01) S 23337 23339 22874 0 -1 4202496 29946 0 0 0 2508 28 0 0 20 0 3 0 285875287 169385984 28371 33554432000 4194304 5964478 140736553169408 140736553168928 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23339/statm: 41354 28371 198 433 0 40918 0
[pid=23339/tid=23341] ppid=23337 vsize=165416 CPUtime=12.64 cores=0,2,4,6
/proc/23339/task/23341/stat : 23341 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 16246 0 0 0 1253 11 0 0 20 0 3 0 285875288 169385984 28371 33554432000 4194304 5964478 140736553169408 140350320248824 4400073 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23339/tid=23342] ppid=23337 vsize=165416 CPUtime=12.64 cores=0,2,4,6
/proc/23339/task/23342/stat : 23342 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 12677 0 0 0 1249 15 0 0 20 0 3 0 285875288 169385984 28371 33554432000 4194304 5964478 140736553169408 140350309759288 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 165416
[startup+25.5003 s]
/proc/loadavg: 4.00 3.99 3.91 5/183 23342
/proc/meminfo: memFree=30085880/32873844 swapFree=7112/7112
[pid=23339] ppid=23337 vsize=298460 CPUtime=50.94 cores=0,2,4,6
/proc/23339/stat : 23339 (pwbo2.01) S 23337 23339 22874 0 -1 4202496 52125 0 0 0 5058 36 0 0 20 0 3 0 285875287 305623040 50550 33554432000 4194304 5964478 140736553169408 140736553168928 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23339/statm: 74615 50550 198 433 0 74179 0
[pid=23339/tid=23341] ppid=23337 vsize=298460 CPUtime=25.4 cores=0,2,4,6
/proc/23339/task/23341/stat : 23341 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 26373 0 0 0 2524 16 0 0 20 0 3 0 285875288 305623040 50550 33554432000 4194304 5964478 140736553169408 140350320248824 4409611 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23339/tid=23342] ppid=23337 vsize=298460 CPUtime=25.4 cores=0,2,4,6
/proc/23339/task/23342/stat : 23342 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 24729 0 0 0 2520 20 0 0 20 0 3 0 285875288 305623040 50552 33554432000 4194304 5964478 140736553169408 140350309759288 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 298460
[startup+51.1003 s]
/proc/loadavg: 4.00 3.99 3.91 5/183 23342
/proc/meminfo: memFree=29889928/32873844 swapFree=7112/7112
[pid=23339] ppid=23337 vsize=430880 CPUtime=102.14 cores=0,2,4,6
/proc/23339/stat : 23339 (pwbo2.01) S 23337 23339 22874 0 -1 4202496 87261 0 0 0 10153 61 0 0 20 0 3 0 285875287 441221120 85686 33554432000 4194304 5964478 140736553169408 140736553168928 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23339/statm: 107720 85686 198 433 0 107284 0
[pid=23339/tid=23341] ppid=23337 vsize=430880 CPUtime=50.94 cores=0,2,4,6
/proc/23339/task/23341/stat : 23341 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 46588 0 0 0 5065 29 0 0 20 0 3 0 285875288 441221120 85686 33554432000 4194304 5964478 140736553169408 140350320248824 4400062 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23339/tid=23342] ppid=23337 vsize=430880 CPUtime=50.94 cores=0,2,4,6
/proc/23339/task/23342/stat : 23342 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 39650 0 0 0 5063 31 0 0 20 0 3 0 285875288 441221120 85686 33554432000 4194304 5964478 140736553169408 140350309759288 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 430880
[startup+102.307 s]
/proc/loadavg: 4.00 3.99 3.91 5/183 23342
/proc/meminfo: memFree=29613080/32873844 swapFree=7112/7112
[pid=23339] ppid=23337 vsize=564284 CPUtime=204.53 cores=0,2,4,6
/proc/23339/stat : 23339 (pwbo2.01) S 23337 23339 22874 0 -1 4202496 131112 0 0 0 20364 89 0 0 20 0 3 0 285875287 577826816 129537 33554432000 4194304 5964478 140736553169408 140736553168928 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23339/statm: 141071 129537 198 433 0 140635 0
[pid=23339/tid=23341] ppid=23337 vsize=564284 CPUtime=102.01 cores=0,2,4,6
/proc/23339/task/23341/stat : 23341 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 63718 0 0 0 10163 38 0 0 20 0 3 0 285875288 577826816 129537 33554432000 4194304 5964478 140736553169408 140350320248824 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23339/tid=23342] ppid=23337 vsize=564284 CPUtime=102.01 cores=0,2,4,6
/proc/23339/task/23342/stat : 23342 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 66371 0 0 0 10149 52 0 0 20 0 3 0 285875288 577826816 129537 33554432000 4194304 5964478 140736553169408 140350309759392 4400474 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.53
Current children cumulated vsize (KiB) 564284
[startup+162.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/183 23342
/proc/meminfo: memFree=29293808/32873844 swapFree=7112/7112
[pid=23339] ppid=23337 vsize=828872 CPUtime=324.5 cores=0,2,4,6
/proc/23339/stat : 23339 (pwbo2.01) S 23337 23339 22874 0 -1 4202496 188461 0 0 0 32322 128 0 0 20 0 3 0 285875287 848764928 186886 33554432000 4194304 5964478 140736553169408 140736553168928 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23339/statm: 207218 186886 198 433 0 206782 0
[pid=23339/tid=23341] ppid=23337 vsize=828872 CPUtime=161.85 cores=0,2,4,6
/proc/23339/task/23341/stat : 23341 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 107599 0 0 0 16118 67 0 0 20 0 3 0 285875288 848764928 186886 33554432000 4194304 5964478 140736553169408 140350320248824 4399994 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23339/tid=23342] ppid=23337 vsize=828872 CPUtime=161.85 cores=0,2,4,6
/proc/23339/task/23342/stat : 23342 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 79839 0 0 0 16121 64 0 0 20 0 3 0 285875288 848764928 186886 33554432000 4194304 5964478 140736553169408 140350309759288 4388313 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.5
Current children cumulated vsize (KiB) 828872
[startup+222.3 s]
/proc/loadavg: 4.03 4.00 3.91 5/183 23342
/proc/meminfo: memFree=29135736/32873844 swapFree=7112/7112
[pid=23339] ppid=23337 vsize=895884 CPUtime=444.47 cores=0,2,4,6
/proc/23339/stat : 23339 (pwbo2.01) S 23337 23339 22874 0 -1 4202496 201818 0 0 0 44312 135 0 0 20 0 3 0 285875287 917385216 200243 33554432000 4194304 5964478 140736553169408 140736553168928 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23339/statm: 223971 200243 198 433 0 223535 0
[pid=23339/tid=23341] ppid=23337 vsize=895884 CPUtime=221.7 cores=0,2,4,6
/proc/23339/task/23341/stat : 23341 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 114277 0 0 0 22098 72 0 0 20 0 3 0 285875288 917385216 200243 33554432000 4194304 5964478 140736553169408 140350320248824 4381585 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23339/tid=23342] ppid=23337 vsize=895884 CPUtime=221.7 cores=0,2,4,6
/proc/23339/task/23342/stat : 23342 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 86518 0 0 0 22102 68 0 0 20 0 3 0 285875288 917385216 200243 33554432000 4194304 5964478 140736553169408 140350309759288 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.47
Current children cumulated vsize (KiB) 895884
[startup+282.3 s]
/proc/loadavg: 4.01 4.00 3.91 5/183 23342
/proc/meminfo: memFree=29105756/32873844 swapFree=7112/7112
[pid=23339] ppid=23337 vsize=962180 CPUtime=564.46 cores=0,2,4,6
/proc/23339/stat : 23339 (pwbo2.01) S 23337 23339 22874 0 -1 4202496 208520 0 0 0 56304 142 0 0 20 0 3 0 285875287 985272320 206945 33554432000 4194304 5964478 140736553169408 140736553168928 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23339/statm: 240545 206945 198 433 0 240109 0
[pid=23339/tid=23341] ppid=23337 vsize=962180 CPUtime=281.54 cores=0,2,4,6
/proc/23339/task/23341/stat : 23341 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 115143 0 0 0 28080 74 0 0 20 0 3 0 285875288 985272320 206945 33554432000 4194304 5964478 140736553169408 140350320248824 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23339/tid=23342] ppid=23337 vsize=962180 CPUtime=281.54 cores=0,2,4,6
/proc/23339/task/23342/stat : 23342 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 92354 0 0 0 28079 75 0 0 20 0 3 0 285875288 985272320 206945 33554432000 4194304 5964478 140736553169408 140350309759288 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.46
Current children cumulated vsize (KiB) 962180
[startup+342.3 s]
/proc/loadavg: 4.09 4.03 3.93 5/183 23343
/proc/meminfo: memFree=28854312/32873844 swapFree=7112/7112
[pid=23339] ppid=23337 vsize=1094984 CPUtime=684.44 cores=0,2,4,6
/proc/23339/stat : 23339 (pwbo2.01) S 23337 23339 22874 0 -1 4202496 248974 0 0 0 68268 176 0 0 20 0 3 0 285875287 1121263616 247399 33554432000 4194304 5964478 140736553169408 140736553168928 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23339/statm: 273746 247399 198 433 0 273310 0
[pid=23339/tid=23341] ppid=23337 vsize=1094984 CPUtime=341.39 cores=0,2,4,6
/proc/23339/task/23341/stat : 23341 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 141629 0 0 0 34045 94 0 0 20 0 3 0 285875288 1121263616 247399 33554432000 4194304 5964478 140736553169408 140350320248824 4400040 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23339/tid=23342] ppid=23337 vsize=1094984 CPUtime=341.39 cores=0,2,4,6
/proc/23339/task/23342/stat : 23342 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 106322 0 0 0 34048 91 0 0 20 0 3 0 285875288 1121263616 247399 33554432000 4194304 5964478 140736553169408 140350309759288 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.44
Current children cumulated vsize (KiB) 1094984
[startup+402.3 s]
/proc/loadavg: 4.07 4.03 3.93 5/183 23343
/proc/meminfo: memFree=28729224/32873844 swapFree=7112/7112
[pid=23339] ppid=23337 vsize=1226412 CPUtime=804.42 cores=0,2,4,6
/proc/23339/stat : 23339 (pwbo2.01) S 23337 23339 22874 0 -1 4202496 280155 0 0 0 80236 206 0 0 20 0 3 0 285875287 1255845888 278580 33554432000 4194304 5964478 140736553169408 140736553168928 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23339/statm: 306603 278580 198 433 0 306167 0
[pid=23339/tid=23341] ppid=23337 vsize=1226412 CPUtime=401.24 cores=0,2,4,6
/proc/23339/task/23341/stat : 23341 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 167992 0 0 0 40003 121 0 0 20 0 3 0 285875288 1255845888 278580 33554432000 4194304 5964478 140736553169408 140350320248824 4400099 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23339/tid=23342] ppid=23337 vsize=1226412 CPUtime=401.24 cores=0,2,4,6
/proc/23339/task/23342/stat : 23342 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 111140 0 0 0 40028 96 0 0 20 0 3 0 285875288 1255845888 278580 33554432000 4194304 5964478 140736553169408 140350309759048 4388212 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.42
Current children cumulated vsize (KiB) 1226412
[startup+462.3 s]
/proc/loadavg: 4.07 4.04 3.94 5/183 23343
/proc/meminfo: memFree=28535316/32873844 swapFree=7112/7112
[pid=23339] ppid=23337 vsize=1357984 CPUtime=924.39 cores=0,2,4,6
/proc/23339/stat : 23339 (pwbo2.01) S 23337 23339 22874 0 -1 4202496 328279 0 0 0 92184 255 0 0 20 0 3 0 285875287 1390575616 326704 33554432000 4194304 5964478 140736553169408 140736553168928 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23339/statm: 339496 326704 198 433 0 339060 0
[pid=23339/tid=23341] ppid=23337 vsize=1357984 CPUtime=461.08 cores=0,2,4,6
/proc/23339/task/23341/stat : 23341 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 193415 0 0 0 45966 142 0 0 20 0 3 0 285875288 1390575616 326704 33554432000 4194304 5964478 140736553169408 140350320248824 4399916 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23339/tid=23342] ppid=23337 vsize=1357984 CPUtime=461.08 cores=0,2,4,6
/proc/23339/task/23342/stat : 23342 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 133841 0 0 0 45984 124 0 0 20 0 3 0 285875288 1390575616 326704 33554432000 4194304 5964478 140736553169408 140350309759288 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.39
Current children cumulated vsize (KiB) 1357984
[startup+522.3 s]
/proc/loadavg: 4.02 4.03 3.94 5/184 23346
/proc/meminfo: memFree=28428448/32873844 swapFree=7112/7112
[pid=23339] ppid=23337 vsize=1491276 CPUtime=1044.38 cores=0,2,4,6
/proc/23339/stat : 23339 (pwbo2.01) S 23337 23339 22874 0 -1 4202496 354951 0 0 0 104156 282 0 0 20 0 3 0 285875287 1527066624 353376 33554432000 4194304 5964478 140736553169408 140736553168928 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23339/statm: 372819 353376 198 433 0 372383 0
[pid=23339/tid=23341] ppid=23337 vsize=1491276 CPUtime=520.93 cores=0,2,4,6
/proc/23339/task/23341/stat : 23341 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 219981 0 0 0 51923 170 0 0 20 0 3 0 285875288 1527066624 353376 33554432000 4194304 5964478 140736553169408 140350320248824 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23339/tid=23342] ppid=23337 vsize=1491276 CPUtime=520.93 cores=0,2,4,6
/proc/23339/task/23342/stat : 23342 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 133947 0 0 0 51968 125 0 0 20 0 3 0 285875288 1527066624 353376 33554432000 4194304 5964478 140736553169408 140350309759392 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.38
Current children cumulated vsize (KiB) 1491276
[startup+582.3 s]
/proc/loadavg: 4.01 4.02 3.94 5/183 23387
/proc/meminfo: memFree=29748684/32873844 swapFree=7112/7112
[pid=23339] ppid=23337 vsize=1491964 CPUtime=1164.34 cores=0,2,4,6
/proc/23339/stat : 23339 (pwbo2.01) S 23337 23339 22874 0 -1 4202496 356654 0 0 0 116149 285 0 0 20 0 3 0 285875287 1527771136 354319 33554432000 4194304 5964478 140736553169408 140736553168928 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23339/statm: 372991 354319 198 433 0 372555 0
[pid=23339/tid=23341] ppid=23337 vsize=1491964 CPUtime=580.76 cores=0,2,4,6
/proc/23339/task/23341/stat : 23341 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 221535 0 0 0 57902 174 0 0 20 0 3 0 285875288 1527771136 354319 33554432000 4194304 5964478 140736553169408 140350320248736 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23339/tid=23342] ppid=23337 vsize=1491964 CPUtime=580.77 cores=0,2,4,6
/proc/23339/task/23342/stat : 23342 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 134096 0 0 0 57950 127 0 0 20 0 3 0 285875288 1527771136 354319 33554432000 4194304 5964478 140736553169408 140350309759200 4400051 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.34
Current children cumulated vsize (KiB) 1491964
[startup+642.3 s]
/proc/loadavg: 4.00 4.02 3.94 5/183 23388
/proc/meminfo: memFree=29504060/32873844 swapFree=7112/7112
[pid=23339] ppid=23337 vsize=1492108 CPUtime=1284.29 cores=0,2,4,6
/proc/23339/stat : 23339 (pwbo2.01) S 23337 23339 22874 0 -1 4202496 356763 0 0 0 128144 285 0 0 20 0 3 0 285875287 1527918592 354447 33554432000 4194304 5964478 140736553169408 140736553168928 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23339/statm: 373027 354447 198 433 0 372591 0
[pid=23339/tid=23341] ppid=23337 vsize=1492108 CPUtime=640.58 cores=0,2,4,6
/proc/23339/task/23341/stat : 23341 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 221596 0 0 0 63883 175 0 0 20 0 3 0 285875288 1527918592 354447 33554432000 4194304 5964478 140736553169408 140350320248736 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23339/tid=23342] ppid=23337 vsize=1492108 CPUtime=640.61 cores=0,2,4,6
/proc/23339/task/23342/stat : 23342 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 134144 0 0 0 63933 128 0 0 20 0 3 0 285875288 1527918592 354447 33554432000 4194304 5964478 140736553169408 140350309759048 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.29
Current children cumulated vsize (KiB) 1492108
[startup+702.3 s]
/proc/loadavg: 4.00 4.01 3.94 5/183 23388
/proc/meminfo: memFree=29269728/32873844 swapFree=7112/7112
[pid=23339] ppid=23337 vsize=1624144 CPUtime=1404.2 cores=0,2,4,6
/proc/23339/stat : 23339 (pwbo2.01) S 23337 23339 22874 0 -1 4202496 379541 0 0 0 140123 297 0 0 20 0 3 0 285875287 1663123456 377591 33554432000 4194304 5964478 140736553169408 140736553168928 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23339/statm: 406036 377591 198 433 0 405600 0
[pid=23339/tid=23341] ppid=23337 vsize=1624144 CPUtime=700.39 cores=0,2,4,6
/proc/23339/task/23341/stat : 23341 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 221634 0 0 0 69863 176 0 0 20 0 3 0 285875288 1663123456 377591 33554432000 4194304 5964478 140736553169408 140350320248736 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23339/tid=23342] ppid=23337 vsize=1624144 CPUtime=700.43 cores=0,2,4,6
/proc/23339/task/23342/stat : 23342 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 156884 0 0 0 69902 141 0 0 20 0 3 0 285875288 1663123456 377591 33554432000 4194304 5964478 140736553169408 140350309759288 4400040 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.2
Current children cumulated vsize (KiB) 1624144
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.94 5/183 23388
/proc/meminfo: memFree=29179112/32873844 swapFree=7112/7112
[pid=23339] ppid=23337 vsize=1624384 CPUtime=1524.16 cores=0,2,4,6
/proc/23339/stat : 23339 (pwbo2.01) S 23337 23339 22874 0 -1 4202496 379610 0 0 0 152118 298 0 0 20 0 3 0 285875287 1663369216 377679 33554432000 4194304 5964478 140736553169408 140736553168928 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23339/statm: 406096 377679 198 433 0 405660 0
[pid=23339/tid=23341] ppid=23337 vsize=1624384 CPUtime=760.2 cores=0,2,4,6
/proc/23339/task/23341/stat : 23341 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 221699 0 0 0 75843 177 0 0 20 0 3 0 285875288 1663369216 377679 33554432000 4194304 5964478 140736553169408 140350320248632 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23339/tid=23342] ppid=23337 vsize=1624384 CPUtime=760.28 cores=0,2,4,6
/proc/23339/task/23342/stat : 23342 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 156888 0 0 0 75886 142 0 0 20 0 3 0 285875288 1663369216 377679 33554432000 4194304 5964478 140736553169408 140350309759288 4400073 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.16
Current children cumulated vsize (KiB) 1624384
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/183 23388
/proc/meminfo: memFree=29071508/32873844 swapFree=7112/7112
[pid=23339] ppid=23337 vsize=1625024 CPUtime=1644.07 cores=0,2,4,6
/proc/23339/stat : 23339 (pwbo2.01) S 23337 23339 22874 0 -1 4202496 385893 0 0 0 164106 301 0 0 20 0 3 0 285875287 1664024576 383971 33554432000 4194304 5964478 140736553169408 140736553168928 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23339/statm: 406256 383971 198 433 0 405820 0
[pid=23339/tid=23341] ppid=23337 vsize=1625024 CPUtime=819.99 cores=0,2,4,6
/proc/23339/task/23341/stat : 23341 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 221758 0 0 0 81821 178 0 0 20 0 3 0 285875288 1664024576 383971 33554432000 4194304 5964478 140736553169408 140350320248632 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23339/tid=23342] ppid=23337 vsize=1625024 CPUtime=820.12 cores=0,2,4,6
/proc/23339/task/23342/stat : 23342 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 163112 0 0 0 81866 146 0 0 20 0 3 0 285875288 1664024576 383971 33554432000 4194304 5964478 140736553169408 140350309759288 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.07
Current children cumulated vsize (KiB) 1625024
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/183 23388
/proc/meminfo: memFree=29037560/32873844 swapFree=7112/7112
[pid=23339] ppid=23337 vsize=1690776 CPUtime=1764.01 cores=0,2,4,6
/proc/23339/stat : 23339 (pwbo2.01) S 23337 23339 22874 0 -1 4202496 394148 0 0 0 176096 305 0 0 20 0 3 0 285875287 1731354624 392194 33554432000 4194304 5964478 140736553169408 140736553168928 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23339/statm: 422694 392194 198 433 0 422258 0
[pid=23339/tid=23341] ppid=23337 vsize=1690776 CPUtime=879.83 cores=0,2,4,6
/proc/23339/task/23341/stat : 23341 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 221777 0 0 0 87804 179 0 0 20 0 3 0 285875288 1731354624 392194 33554432000 4194304 5964478 140736553169408 140350320248632 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23339/tid=23342] ppid=23337 vsize=1690776 CPUtime=879.92 cores=0,2,4,6
/proc/23339/task/23342/stat : 23342 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 171348 0 0 0 87841 151 0 0 20 0 3 0 285875288 1731354624 392194 33554432000 4194304 5964478 140736553169408 140350309759288 4400081 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.01
Current children cumulated vsize (KiB) 1690776
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.4 s]
/proc/loadavg: 4.00 4.00 3.94 5/183 23389
/proc/meminfo: memFree=29023764/32873844 swapFree=7112/7112
[pid=23339] ppid=23337 vsize=1690776 CPUtime=1800.19 cores=0,2,4,6
/proc/23339/stat : 23339 (pwbo2.01) S 23337 23339 22874 0 -1 4202496 397563 0 0 0 179712 307 0 0 20 0 3 0 285875287 1731354624 395599 33554432000 4194304 5964478 140736553169408 140736553168928 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23339/statm: 422694 395599 198 433 0 422258 0
[pid=23339/tid=23341] ppid=23337 vsize=1690776 CPUtime=897.89 cores=0,2,4,6
/proc/23339/task/23341/stat : 23341 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 225176 0 0 0 89608 181 0 0 20 0 3 0 285875288 1731354624 395599 33554432000 4194304 5964478 140736553169408 140350320248824 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23339/tid=23342] ppid=23337 vsize=1690776 CPUtime=897.97 cores=0,2,4,6
/proc/23339/task/23342/stat : 23342 (pwbo2.01) R 23337 23339 22874 0 -1 4202560 171364 0 0 0 89646 151 0 0 20 0 3 0 285875288 1731354624 395599 33554432000 4194304 5964478 140736553169408 140350309759288 4400062 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 1690776
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 23339 and gives
# childrusage.ru_utime.tv_sec=1792
# childrusage.ru_utime.tv_usec=556489
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=411481
# CPU time returned by wait4() is 1795.97
# while last known CPU time is 1800.19
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.483
CPU time (s): 1800.19
CPU user time (s): 1797.12
CPU system time (s): 3.07
CPU usage (%): 199.914
Max. virtual memory (cumulated for all children) (KiB): 1690776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.56
system time used= 3.41148
maximum resident set size= 1582400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 397564
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= 920
involuntary context switches= 1998
runsolver used 1.84272 second user time and 5.07323 second system time
The end