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-3726042-1338656229/watcher-3726042-1338656229 -o /tmp/evaluation-result-3726042-1338656229/solver-3726042-1338656229 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726042-1338656229.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: 4.05 4.00 3.92 4/180 24173
/proc/meminfo: memFree=27999828/32873844 swapFree=7112/7112
[pid=24173] ppid=24171 vsize=162364 CPUtime=0 cores=1,3,5,7
/proc/24173/stat : 24173 (pwbo2.02) S 24171 24173 21777 0 -1 4202496 808 0 0 0 0 0 0 0 20 0 3 0 331748274 166260736 758 33554432000 4194304 5964478 140734009276096 140734009275616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24173/statm: 40591 758 189 433 0 40155 0
[pid=24173/tid=24174] ppid=24171 vsize=162364 CPUtime=0 cores=1,3,5,7
/proc/24173/task/24174/stat : 24174 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 3 0 331748274 166260736 759 33554432000 4194304 5964478 140734009276096 140736918268696 5143404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24173/tid=24175] ppid=24171 vsize=162364 CPUtime=0 cores=1,3,5,7
/proc/24173/task/24175/stat : 24175 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 3 0 331748274 166260736 759 33554432000 4194304 5964478 140734009276096 140736918268696 5136490 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[startup+0.0906991 s]
/proc/loadavg: 4.05 4.00 3.92 4/180 24173
/proc/meminfo: memFree=27999828/32873844 swapFree=7112/7112
[pid=24173] ppid=24171 vsize=162364 CPUtime=0.17 cores=1,3,5,7
/proc/24173/stat : 24173 (pwbo2.02) S 24171 24173 21777 0 -1 4202496 1133 0 0 0 17 0 0 0 20 0 3 0 331748274 166260736 1083 33554432000 4194304 5964478 140734009276096 140734009275616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24173/statm: 40591 1083 191 433 0 40155 0
[pid=24173/tid=24174] ppid=24171 vsize=162364 CPUtime=0.07 cores=1,3,5,7
/proc/24173/task/24174/stat : 24174 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 224 0 0 0 7 0 0 0 20 0 3 0 331748274 166260736 1083 33554432000 4194304 5964478 140734009276096 139656919946776 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24173/tid=24175] ppid=24171 vsize=162364 CPUtime=0.07 cores=1,3,5,7
/proc/24173/task/24175/stat : 24175 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 159 0 0 0 7 0 0 0 20 0 3 0 331748274 166260736 1083 33554432000 4194304 5964478 140734009276096 139656909457240 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 162364
[startup+0.100318 s]
/proc/loadavg: 4.05 4.00 3.92 4/180 24173
/proc/meminfo: memFree=27999828/32873844 swapFree=7112/7112
[pid=24173] ppid=24171 vsize=162364 CPUtime=0.19 cores=1,3,5,7
/proc/24173/stat : 24173 (pwbo2.02) S 24171 24173 21777 0 -1 4202496 1165 0 0 0 19 0 0 0 20 0 3 0 331748274 166260736 1115 33554432000 4194304 5964478 140734009276096 140734009275616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24173/statm: 40591 1115 191 433 0 40155 0
[pid=24173/tid=24174] ppid=24171 vsize=162364 CPUtime=0.08 cores=1,3,5,7
/proc/24173/task/24174/stat : 24174 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 243 0 0 0 8 0 0 0 20 0 3 0 331748274 166260736 1115 33554432000 4194304 5964478 140734009276096 139656919946776 4389172 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24173/tid=24175] ppid=24171 vsize=162364 CPUtime=0.08 cores=1,3,5,7
/proc/24173/task/24175/stat : 24175 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 172 0 0 0 8 0 0 0 20 0 3 0 331748274 166260736 1116 33554432000 4194304 5964478 140734009276096 139656909457240 4399969 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 162364
[startup+0.30027 s]
/proc/loadavg: 4.05 4.00 3.92 4/180 24173
/proc/meminfo: memFree=27999828/32873844 swapFree=7112/7112
[pid=24173] ppid=24171 vsize=162364 CPUtime=0.58 cores=1,3,5,7
/proc/24173/stat : 24173 (pwbo2.02) S 24171 24173 21777 0 -1 4202496 1752 0 0 0 58 0 0 0 20 0 3 0 331748274 166260736 1702 33554432000 4194304 5964478 140734009276096 140734009275616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24173/statm: 40591 1702 191 433 0 40155 0
[pid=24173/tid=24174] ppid=24171 vsize=162364 CPUtime=0.28 cores=1,3,5,7
/proc/24173/task/24174/stat : 24174 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 582 0 0 0 28 0 0 0 20 0 3 0 331748274 166260736 1702 33554432000 4194304 5964478 140734009276096 139656919946776 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24173/tid=24175] ppid=24171 vsize=162364 CPUtime=0.28 cores=1,3,5,7
/proc/24173/task/24175/stat : 24175 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 420 0 0 0 28 0 0 0 20 0 3 0 331748274 166260736 1702 33554432000 4194304 5964478 140734009276096 139656909457240 4222240 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 162364
[startup+0.700293 s]
/proc/loadavg: 4.05 4.00 3.92 4/180 24173
/proc/meminfo: memFree=27999828/32873844 swapFree=7112/7112
[pid=24173] ppid=24171 vsize=162652 CPUtime=1.38 cores=1,3,5,7
/proc/24173/stat : 24173 (pwbo2.02) S 24171 24173 21777 0 -1 4202496 2362 0 0 0 138 0 0 0 20 0 3 0 331748274 166555648 2312 33554432000 4194304 5964478 140734009276096 140734009275616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24173/statm: 40663 2312 191 433 0 40227 0
[pid=24173/tid=24174] ppid=24171 vsize=162652 CPUtime=0.68 cores=1,3,5,7
/proc/24173/task/24174/stat : 24174 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 971 0 0 0 68 0 0 0 20 0 3 0 331748274 166555648 2312 33554432000 4194304 5964478 140734009276096 139656919947064 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24173/tid=24175] ppid=24171 vsize=162652 CPUtime=0.68 cores=1,3,5,7
/proc/24173/task/24175/stat : 24175 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 641 0 0 0 68 0 0 0 20 0 3 0 331748274 166555648 2312 33554432000 4194304 5964478 140734009276096 139656909457656 4400422 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 162652
[startup+1.50028 s]
/proc/loadavg: 4.05 4.00 3.92 5/183 24176
/proc/meminfo: memFree=27990412/32873844 swapFree=7112/7112
[pid=24173] ppid=24171 vsize=162652 CPUtime=2.98 cores=1,3,5,7
/proc/24173/stat : 24173 (pwbo2.02) S 24171 24173 21777 0 -1 4202496 3026 0 0 0 298 0 0 0 20 0 3 0 331748274 166555648 2976 33554432000 4194304 5964478 140734009276096 140734009275616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24173/statm: 40663 2976 191 433 0 40227 0
[pid=24173/tid=24174] ppid=24171 vsize=162652 CPUtime=1.48 cores=1,3,5,7
/proc/24173/task/24174/stat : 24174 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 1459 0 0 0 148 0 0 0 20 0 3 0 331748274 166555648 2976 33554432000 4194304 5964478 140734009276096 139656919947256 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24173/tid=24175] ppid=24171 vsize=162652 CPUtime=1.48 cores=1,3,5,7
/proc/24173/task/24175/stat : 24175 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 817 0 0 0 148 0 0 0 20 0 3 0 331748274 166555648 2976 33554432000 4194304 5964478 140734009276096 139656909457240 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 162652
[startup+3.10032 s]
/proc/loadavg: 4.05 4.00 3.92 5/183 24176
/proc/meminfo: memFree=27986568/32873844 swapFree=7112/7112
[pid=24173] ppid=24171 vsize=162796 CPUtime=6.18 cores=1,3,5,7
/proc/24173/stat : 24173 (pwbo2.02) S 24171 24173 21777 0 -1 4202496 4530 0 0 0 617 1 0 0 20 0 3 0 331748274 166703104 4480 33554432000 4194304 5964478 140734009276096 140734009275616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24173/statm: 40699 4480 191 433 0 40263 0
[pid=24173/tid=24174] ppid=24171 vsize=162796 CPUtime=3.07 cores=1,3,5,7
/proc/24173/task/24174/stat : 24174 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 2479 0 0 0 306 1 0 0 20 0 3 0 331748274 166703104 4480 33554432000 4194304 5964478 140734009276096 139656919947256 4379311 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24173/tid=24175] ppid=24171 vsize=162796 CPUtime=3.07 cores=1,3,5,7
/proc/24173/task/24175/stat : 24175 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 1301 0 0 0 307 0 0 0 20 0 3 0 331748274 166703104 4480 33554432000 4194304 5964478 140734009276096 139656909457240 4400809 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 162796
[startup+6.3003 s]
/proc/loadavg: 4.05 4.00 3.92 5/183 24176
/proc/meminfo: memFree=27976896/32873844 swapFree=7112/7112
[pid=24173] ppid=24171 vsize=163300 CPUtime=12.58 cores=1,3,5,7
/proc/24173/stat : 24173 (pwbo2.02) S 24171 24173 21777 0 -1 4202496 6121 0 0 0 1256 2 0 0 20 0 3 0 331748274 167219200 6071 33554432000 4194304 5964478 140734009276096 140734009275616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24173/statm: 40825 6071 191 433 0 40389 0
[pid=24173/tid=24174] ppid=24171 vsize=163300 CPUtime=6.26 cores=1,3,5,7
/proc/24173/task/24174/stat : 24174 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 3593 0 0 0 625 1 0 0 20 0 3 0 331748274 167219200 6071 33554432000 4194304 5964478 140734009276096 139656919946776 4379152 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24173/tid=24175] ppid=24171 vsize=163300 CPUtime=6.27 cores=1,3,5,7
/proc/24173/task/24175/stat : 24175 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 1778 0 0 0 627 0 0 0 20 0 3 0 331748274 167219200 6071 33554432000 4194304 5964478 140734009276096 139656909457240 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 163300
[startup+12.7003 s]
/proc/loadavg: 4.04 4.00 3.92 5/183 24176
/proc/meminfo: memFree=27965116/32873844 swapFree=7112/7112
[pid=24173] ppid=24171 vsize=165852 CPUtime=25.38 cores=1,3,5,7
/proc/24173/stat : 24173 (pwbo2.02) S 24171 24173 21777 0 -1 4202496 8625 0 0 0 2535 3 0 0 20 0 3 0 331748274 169832448 8575 33554432000 4194304 5964478 140734009276096 140734009275616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24173/statm: 41463 8575 191 433 0 41027 0
[pid=24173/tid=24174] ppid=24171 vsize=165852 CPUtime=12.65 cores=1,3,5,7
/proc/24173/task/24174/stat : 24174 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 5336 0 0 0 1263 2 0 0 20 0 3 0 331748274 169832448 8575 33554432000 4194304 5964478 140734009276096 139656919947064 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24173/tid=24175] ppid=24171 vsize=165852 CPUtime=12.65 cores=1,3,5,7
/proc/24173/task/24175/stat : 24175 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 2539 0 0 0 1264 1 0 0 20 0 3 0 331748274 169832448 8575 33554432000 4194304 5964478 140734009276096 139656909457528 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 165852
[startup+25.5004 s]
/proc/loadavg: 4.03 4.00 3.92 5/183 24176
/proc/meminfo: memFree=27950740/32873844 swapFree=7112/7112
[pid=24173] ppid=24171 vsize=167892 CPUtime=50.98 cores=1,3,5,7
/proc/24173/stat : 24173 (pwbo2.02) S 24171 24173 21777 0 -1 4202496 12259 0 0 0 5091 7 0 0 20 0 3 0 331748274 171921408 12209 33554432000 4194304 5964478 140734009276096 140734009275616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24173/statm: 41973 12209 191 433 0 41537 0
[pid=24173/tid=24174] ppid=24171 vsize=167892 CPUtime=25.42 cores=1,3,5,7
/proc/24173/task/24174/stat : 24174 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 8114 0 0 0 2537 5 0 0 20 0 3 0 331748274 171921408 12209 33554432000 4194304 5964478 140734009276096 139656919946776 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24173/tid=24175] ppid=24171 vsize=167892 CPUtime=25.42 cores=1,3,5,7
/proc/24173/task/24175/stat : 24175 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 3395 0 0 0 2541 1 0 0 20 0 3 0 331748274 171921408 12209 33554432000 4194304 5964478 140734009276096 139656909457768 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 167892
[startup+51.1004 s]
/proc/loadavg: 4.02 4.00 3.92 5/183 24176
/proc/meminfo: memFree=27928296/32873844 swapFree=7112/7112
[pid=24173] ppid=24171 vsize=171372 CPUtime=102.17 cores=1,3,5,7
/proc/24173/stat : 24173 (pwbo2.02) S 24171 24173 21777 0 -1 4202496 17356 0 0 0 10201 16 0 0 20 0 3 0 331748274 175484928 17306 33554432000 4194304 5964478 140734009276096 140734009275616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24173/statm: 42843 17306 191 433 0 42407 0
[pid=24173/tid=24174] ppid=24171 vsize=171372 CPUtime=50.95 cores=1,3,5,7
/proc/24173/task/24174/stat : 24174 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 12211 0 0 0 5082 13 0 0 20 0 3 0 331748274 175484928 17306 33554432000 4194304 5964478 140734009276096 139656919947304 4378996 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24173/tid=24175] ppid=24171 vsize=171372 CPUtime=50.95 cores=1,3,5,7
/proc/24173/task/24175/stat : 24175 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 4395 0 0 0 5093 2 0 0 20 0 3 0 331748274 175484928 17306 33554432000 4194304 5964478 140734009276096 139656909457768 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 171372
[startup+102.307 s]
/proc/loadavg: 3.92 3.97 3.91 5/183 24217
/proc/meminfo: memFree=28127572/32873844 swapFree=7112/7112
[pid=24173] ppid=24171 vsize=242172 CPUtime=204.55 cores=1,3,5,7
/proc/24173/stat : 24173 (pwbo2.02) S 24171 24173 21777 0 -1 4202496 24223 0 0 0 20419 36 0 0 20 0 3 0 331748274 247984128 24194 33554432000 4194304 5964478 140734009276096 140734009275616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24173/statm: 60543 24194 191 433 0 60107 0
[pid=24173/tid=24174] ppid=24171 vsize=242172 CPUtime=101.99 cores=1,3,5,7
/proc/24173/task/24174/stat : 24174 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 17987 0 0 0 10167 32 0 0 20 0 3 0 331748274 247984128 24194 33554432000 4194304 5964478 140734009276096 139656919946776 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24173/tid=24175] ppid=24171 vsize=242172 CPUtime=102.02 cores=1,3,5,7
/proc/24173/task/24175/stat : 24175 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 5486 0 0 0 10197 5 0 0 20 0 3 0 331748274 247984128 24194 33554432000 4194304 5964478 140734009276096 139656909457768 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.55
Current children cumulated vsize (KiB) 242172
[startup+162.3 s]
/proc/loadavg: 3.97 3.97 3.91 5/183 24217
/proc/meminfo: memFree=28034508/32873844 swapFree=7112/7112
[pid=24173] ppid=24171 vsize=245736 CPUtime=324.5 cores=1,3,5,7
/proc/24173/stat : 24173 (pwbo2.02) S 24171 24173 21777 0 -1 4202496 31456 0 0 0 32397 53 0 0 20 0 3 0 331748274 251633664 32926 33554432000 4194304 5964478 140734009276096 140734009275616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24173/statm: 61434 32926 191 433 0 60998 0
[pid=24173/tid=24174] ppid=24171 vsize=245736 CPUtime=161.83 cores=1,3,5,7
/proc/24173/task/24174/stat : 24174 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 24251 0 0 0 16134 49 0 0 20 0 3 0 331748274 251633664 32926 33554432000 4194304 5964478 140734009276096 139656919946776 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24173/tid=24175] ppid=24171 vsize=245736 CPUtime=161.86 cores=1,3,5,7
/proc/24173/task/24175/stat : 24175 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 6455 0 0 0 16179 7 0 0 20 0 3 0 331748274 251633664 32926 33554432000 4194304 5964478 140734009276096 139656909457768 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.5
Current children cumulated vsize (KiB) 245736
[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/184 24220
/proc/meminfo: memFree=27982760/32873844 swapFree=7112/7112
[pid=24173] ppid=24171 vsize=247016 CPUtime=444.48 cores=1,3,5,7
/proc/24173/stat : 24173 (pwbo2.02) S 24171 24173 21777 0 -1 4202496 35301 0 0 0 44385 63 0 0 20 0 3 0 331748274 252944384 36771 33554432000 4194304 5964478 140734009276096 140734009275616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24173/statm: 61754 36771 191 433 0 61318 0
[pid=24173/tid=24174] ppid=24171 vsize=247016 CPUtime=221.67 cores=1,3,5,7
/proc/24173/task/24174/stat : 24174 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 27823 0 0 0 22108 59 0 0 20 0 3 0 331748274 252944384 36771 33554432000 4194304 5964478 140734009276096 139656919946776 4399946 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24173/tid=24175] ppid=24171 vsize=247016 CPUtime=221.7 cores=1,3,5,7
/proc/24173/task/24175/stat : 24175 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 6728 0 0 0 22161 9 0 0 20 0 3 0 331748274 252944384 36771 33554432000 4194304 5964478 140734009276096 139656909457528 4379296 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.48
Current children cumulated vsize (KiB) 247016
################
# More data... #
################
[pid=24173/tid=24175] ppid=24171 vsize=250196 CPUtime=281.55 cores=1,3,5,7
/proc/24173/task/24175/stat : 24175 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 7729 0 0 0 28143 12 0 0 20 0 3 0 331748274 256200704 43286 33554432000 4194304 5964478 140734009276096 139656909457768 4399938 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 564.47
Current children cumulated vsize (KiB) 250196
[startup+342.3 s]
/proc/loadavg: 4.07 3.99 3.91 5/183 24244
/proc/meminfo: memFree=27869644/32873844 swapFree=7112/7112
[pid=24173] ppid=24171 vsize=318688 CPUtime=684.41 cores=1,3,5,7
/proc/24173/stat : 24173 (pwbo2.02) S 24171 24173 21777 0 -1 4202496 46140 0 0 0 68352 89 0 0 20 0 3 0 331748274 326336512 47251 33554432000 4194304 5964478 140734009276096 140734009275616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24173/statm: 79672 47251 191 433 0 79236 0
[pid=24173/tid=24174] ppid=24171 vsize=318688 CPUtime=341.32 cores=1,3,5,7
/proc/24173/task/24174/stat : 24174 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 36995 0 0 0 34048 84 0 0 20 0 3 0 331748274 326336512 47251 33554432000 4194304 5964478 140734009276096 139656919946776 4400018 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24173/tid=24175] ppid=24171 vsize=318688 CPUtime=341.39 cores=1,3,5,7
/proc/24173/task/24175/stat : 24175 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 8395 0 0 0 34125 14 0 0 20 0 3 0 331748274 326336512 47251 33554432000 4194304 5964478 140734009276096 139656909457752 4400825 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 684.41
Current children cumulated vsize (KiB) 318688
[startup+402.3 s]
/proc/loadavg: 4.07 4.00 3.92 5/183 24244
/proc/meminfo: memFree=27831972/32873844 swapFree=7112/7112
[pid=24173] ppid=24171 vsize=321256 CPUtime=804.39 cores=1,3,5,7
/proc/24173/stat : 24173 (pwbo2.02) S 24171 24173 21777 0 -1 4202496 48884 0 0 0 80343 96 0 0 20 0 3 0 331748274 328966144 49995 33554432000 4194304 5964478 140734009276096 140734009275616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24173/statm: 80314 49995 191 433 0 79878 0
[pid=24173/tid=24174] ppid=24171 vsize=321256 CPUtime=401.16 cores=1,3,5,7
/proc/24173/task/24174/stat : 24174 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 39480 0 0 0 40024 92 0 0 20 0 3 0 331748274 328966144 49995 33554432000 4194304 5964478 140734009276096 139656919946776 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24173/tid=24175] ppid=24171 vsize=321256 CPUtime=401.24 cores=1,3,5,7
/proc/24173/task/24175/stat : 24175 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 8654 0 0 0 40108 16 0 0 20 0 3 0 331748274 328966144 49995 33554432000 4194304 5964478 140734009276096 139656909457768 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 804.39
Current children cumulated vsize (KiB) 321256
[startup+462.3 s]
/proc/loadavg: 4.02 4.00 3.92 5/183 24244
/proc/meminfo: memFree=27791148/32873844 swapFree=7112/7112
[pid=24173] ppid=24171 vsize=323748 CPUtime=924.38 cores=1,3,5,7
/proc/24173/stat : 24173 (pwbo2.02) S 24171 24173 21777 0 -1 4202496 54049 0 0 0 92328 110 0 0 20 0 3 0 331748274 331517952 55160 33554432000 4194304 5964478 140734009276096 140734009275616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24173/statm: 80937 55160 191 433 0 80501 0
[pid=24173/tid=24174] ppid=24171 vsize=323748 CPUtime=461 cores=1,3,5,7
/proc/24173/task/24174/stat : 24174 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 43893 0 0 0 45996 104 0 0 20 0 3 0 331748274 331517952 55160 33554432000 4194304 5964478 140734009276096 139656919947304 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24173/tid=24175] ppid=24171 vsize=323748 CPUtime=461.08 cores=1,3,5,7
/proc/24173/task/24175/stat : 24175 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 9406 0 0 0 46090 18 0 0 20 0 3 0 331748274 331517952 55160 33554432000 4194304 5964478 140734009276096 139656909457240 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 924.38
Current children cumulated vsize (KiB) 323748
[startup+522.3 s]
/proc/loadavg: 4.01 4.00 3.92 5/183 24244
/proc/meminfo: memFree=27752664/32873844 swapFree=7112/7112
[pid=24173] ppid=24171 vsize=325196 CPUtime=1044.36 cores=1,3,5,7
/proc/24173/stat : 24173 (pwbo2.02) S 24171 24173 21777 0 -1 4202496 57515 0 0 0 104316 120 0 0 20 0 3 0 331748274 333000704 58626 33554432000 4194304 5964478 140734009276096 140734009275616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24173/statm: 81299 58626 191 433 0 80863 0
[pid=24173/tid=24174] ppid=24171 vsize=325196 CPUtime=520.84 cores=1,3,5,7
/proc/24173/task/24174/stat : 24174 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 47221 0 0 0 51969 115 0 0 20 0 3 0 331748274 333000704 58626 33554432000 4194304 5964478 140734009276096 139656919947304 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24173/tid=24175] ppid=24171 vsize=325196 CPUtime=520.93 cores=1,3,5,7
/proc/24173/task/24175/stat : 24175 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 9544 0 0 0 52074 19 0 0 20 0 3 0 331748274 333000704 58626 33554432000 4194304 5964478 140734009276096 139656909457768 4400628 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1044.36
Current children cumulated vsize (KiB) 325196
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 24244
/proc/meminfo: memFree=27724816/32873844 swapFree=7112/7112
[pid=24173] ppid=24171 vsize=326660 CPUtime=1164.33 cores=1,3,5,7
/proc/24173/stat : 24173 (pwbo2.02) S 24171 24173 21777 0 -1 4202496 60974 0 0 0 116305 128 0 0 20 0 3 0 331748274 334499840 62079 33554432000 4194304 5964478 140734009276096 140734009275616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24173/statm: 81665 62079 191 433 0 81229 0
[pid=24173/tid=24174] ppid=24171 vsize=326660 CPUtime=580.68 cores=1,3,5,7
/proc/24173/task/24174/stat : 24174 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 50108 0 0 0 57946 122 0 0 20 0 3 0 331748274 334499840 62079 33554432000 4194304 5964478 140734009276096 139656919947256 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24173/tid=24175] ppid=24171 vsize=326660 CPUtime=580.77 cores=1,3,5,7
/proc/24173/task/24175/stat : 24175 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 10116 0 0 0 58056 21 0 0 20 0 3 0 331748274 334499840 62079 33554432000 4194304 5964478 140734009276096 139656909457768 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1164.33
Current children cumulated vsize (KiB) 326660
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/183 24245
/proc/meminfo: memFree=27693580/32873844 swapFree=7112/7112
[pid=24173] ppid=24171 vsize=327684 CPUtime=1284.3 cores=1,3,5,7
/proc/24173/stat : 24173 (pwbo2.02) S 24171 24173 21777 0 -1 4202496 63697 0 0 0 128295 135 0 0 20 0 3 0 331748274 335548416 64786 33554432000 4194304 5964478 140734009276096 140734009275616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24173/statm: 81921 64786 191 433 0 81485 0
[pid=24173/tid=24174] ppid=24171 vsize=327684 CPUtime=640.5 cores=1,3,5,7
/proc/24173/task/24174/stat : 24174 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 52150 0 0 0 63921 129 0 0 20 0 3 0 331748274 335548416 64786 33554432000 4194304 5964478 140734009276096 139656919947304 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24173/tid=24175] ppid=24171 vsize=327684 CPUtime=640.63 cores=1,3,5,7
/proc/24173/task/24175/stat : 24175 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 10797 0 0 0 64040 23 0 0 20 0 3 0 331748274 335548416 64786 33554432000 4194304 5964478 140734009276096 139656909457240 4431883 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1284.3
Current children cumulated vsize (KiB) 327684
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/183 24245
/proc/meminfo: memFree=27669956/32873844 swapFree=7112/7112
[pid=24173] ppid=24171 vsize=394608 CPUtime=1404.27 cores=1,3,5,7
/proc/24173/stat : 24173 (pwbo2.02) S 24171 24173 21777 0 -1 4202496 68246 0 0 0 140280 147 0 0 20 0 3 0 331748274 404078592 69334 33554432000 4194304 5964478 140734009276096 140734009275616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24173/statm: 98652 69334 191 433 0 98216 0
[pid=24173/tid=24174] ppid=24171 vsize=394608 CPUtime=700.34 cores=1,3,5,7
/proc/24173/task/24174/stat : 24174 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 56498 0 0 0 69893 141 0 0 20 0 3 0 331748274 404078592 69334 33554432000 4194304 5964478 140734009276096 139656919946776 4400401 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24173/tid=24175] ppid=24171 vsize=394608 CPUtime=700.46 cores=1,3,5,7
/proc/24173/task/24175/stat : 24175 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 10998 0 0 0 70021 25 0 0 20 0 3 0 331748274 404078592 69334 33554432000 4194304 5964478 140734009276096 139656909457768 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1404.27
Current children cumulated vsize (KiB) 394608
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.92 5/183 24245
/proc/meminfo: memFree=27642012/32873844 swapFree=7112/7112
[pid=24173] ppid=24171 vsize=397044 CPUtime=1524.26 cores=1,3,5,7
/proc/24173/stat : 24173 (pwbo2.02) S 24171 24173 21777 0 -1 4202496 70371 0 0 0 152274 152 0 0 20 0 3 0 331748274 406573056 71463 33554432000 4194304 5964478 140734009276096 140734009275616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24173/statm: 99261 71463 191 433 0 98825 0
[pid=24173/tid=24174] ppid=24171 vsize=397044 CPUtime=760.19 cores=1,3,5,7
/proc/24173/task/24174/stat : 24174 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 58273 0 0 0 75872 147 0 0 20 0 3 0 331748274 406573056 71463 33554432000 4194304 5964478 140734009276096 139656919947304 4400628 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24173/tid=24175] ppid=24171 vsize=397044 CPUtime=760.31 cores=1,3,5,7
/proc/24173/task/24175/stat : 24175 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 11348 0 0 0 76005 26 0 0 20 0 3 0 331748274 406573056 71463 33554432000 4194304 5964478 140734009276096 139656909457768 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1524.26
Current children cumulated vsize (KiB) 397044
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/184 24248
/proc/meminfo: memFree=27618704/32873844 swapFree=7112/7112
[pid=24173] ppid=24171 vsize=397444 CPUtime=1644.23 cores=1,3,5,7
/proc/24173/stat : 24173 (pwbo2.02) S 24171 24173 21777 0 -1 4202496 73522 0 0 0 164262 161 0 0 20 0 3 0 331748274 406982656 74614 33554432000 4194304 5964478 140734009276096 140734009275616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24173/statm: 99361 74614 191 433 0 98925 0
[pid=24173/tid=24174] ppid=24171 vsize=397444 CPUtime=820.02 cores=1,3,5,7
/proc/24173/task/24174/stat : 24174 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 61403 0 0 0 81845 157 0 0 20 0 3 0 331748274 406982656 74614 33554432000 4194304 5964478 140734009276096 139656919946776 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24173/tid=24175] ppid=24171 vsize=397444 CPUtime=820.15 cores=1,3,5,7
/proc/24173/task/24175/stat : 24175 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 11369 0 0 0 81988 27 0 0 20 0 3 0 331748274 406982656 74614 33554432000 4194304 5964478 140734009276096 139656909457768 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1644.23
Current children cumulated vsize (KiB) 397444
[startup+882.3 s]
/proc/loadavg: 4.03 4.01 3.93 5/183 24248
/proc/meminfo: memFree=27589188/32873844 swapFree=7112/7112
[pid=24173] ppid=24171 vsize=399160 CPUtime=1764.21 cores=1,3,5,7
/proc/24173/stat : 24173 (pwbo2.02) S 24171 24173 21777 0 -1 4202496 77889 0 0 0 176247 174 0 0 20 0 3 0 331748274 408739840 78981 33554432000 4194304 5964478 140734009276096 140734009275616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24173/statm: 99790 78981 191 433 0 99354 0
[pid=24173/tid=24174] ppid=24171 vsize=399160 CPUtime=879.86 cores=1,3,5,7
/proc/24173/task/24174/stat : 24174 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 65616 0 0 0 87815 171 0 0 20 0 3 0 331748274 408739840 78981 33554432000 4194304 5964478 140734009276096 139656919946776 4400010 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24173/tid=24175] ppid=24171 vsize=399160 CPUtime=880 cores=1,3,5,7
/proc/24173/task/24175/stat : 24175 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 11523 0 0 0 87972 28 0 0 20 0 3 0 331748274 408739840 78981 33554432000 4194304 5964478 140734009276096 139656909457528 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1764.21
Current children cumulated vsize (KiB) 399160
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.201 s]
/proc/loadavg: 4.02 4.01 3.93 5/183 24249
/proc/meminfo: memFree=27587948/32873844 swapFree=7112/7112
[pid=24173] ppid=24171 vsize=399760 CPUtime=1800.02 cores=1,3,5,7
/proc/24173/stat : 24173 (pwbo2.02) S 24171 24173 21777 0 -1 4202496 78153 0 0 0 179828 174 0 0 20 0 3 0 331748274 409354240 79245 33554432000 4194304 5964478 140734009276096 140734009275616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24173/statm: 99940 79245 191 433 0 99504 0
[pid=24173/tid=24174] ppid=24171 vsize=399760 CPUtime=897.72 cores=1,3,5,7
/proc/24173/task/24174/stat : 24174 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 65699 0 0 0 89601 171 0 0 20 0 3 0 331748274 409354240 79245 33554432000 4194304 5964478 140734009276096 139656919946776 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24173/tid=24175] ppid=24171 vsize=399760 CPUtime=897.86 cores=1,3,5,7
/proc/24173/task/24175/stat : 24175 (pwbo2.02) R 24171 24173 21777 0 -1 4202560 11704 0 0 0 89758 28 0 0 20 0 3 0 331748274 409354240 79245 33554432000 4194304 5964478 140734009276096 139656909457768 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 399760
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 24173 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=608330
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=21692
# CPU time returned by wait4() is 1795.63
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.221
CPU time (s): 1800.02
CPU user time (s): 1798.28
CPU system time (s): 1.74
CPU usage (%): 199.953
Max. virtual memory (cumulated for all children) (KiB): 399760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.61
system time used= 2.02169
maximum resident set size= 316988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78155
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= 167
involuntary context switches= 1849
runsolver used 2.26166 second user time and 5.68413 second system time
The end