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-3726599-1338658844/watcher-3726599-1338658844 -o /tmp/evaluation-result-3726599-1338658844/solver-3726599-1338658844 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726599-1338658844.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: 2.12 2.06 2.01 3/178 31248
/proc/meminfo: memFree=27636464/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=4868 CPUtime=0 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) R 31246 31248 27854 0 -1 4202496 458 0 0 0 0 0 0 0 20 0 1 0 332008772 4984832 411 33554432000 4194304 5964478 140735603231040 140736163230952 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 1217 411 169 433 0 483 0
[startup+0.104569 s]
/proc/loadavg: 2.12 2.06 2.01 3/178 31248
/proc/meminfo: memFree=27636464/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=91068 CPUtime=0.09 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 3532 0 0 0 9 0 0 0 20 0 2 0 332008772 93253632 3154 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 22767 3157 176 433 0 22331 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 91068
[startup+0.200335 s]
/proc/loadavg: 2.12 2.06 2.01 3/178 31248
/proc/meminfo: memFree=27636464/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=90960 CPUtime=0.19 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 4750 0 0 0 19 0 0 0 20 0 2 0 332008772 93143040 4067 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 22740 4067 187 433 0 22304 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 90960
[startup+0.300323 s]
/proc/loadavg: 2.12 2.06 2.01 3/178 31248
/proc/meminfo: memFree=27636464/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=90960 CPUtime=0.29 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 4760 0 0 0 29 0 0 0 20 0 2 0 332008772 93143040 4077 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 22740 4077 187 433 0 22304 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 90960
[startup+0.700237 s]
/proc/loadavg: 2.12 2.06 2.01 3/178 31248
/proc/meminfo: memFree=27636464/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=90960 CPUtime=0.68 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 5010 0 0 0 68 0 0 0 20 0 2 0 332008772 93143040 4327 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 22740 4328 187 433 0 22304 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 90960
[startup+1.50026 s]
/proc/loadavg: 2.12 2.06 2.01 3/180 31250
/proc/meminfo: memFree=27619196/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=90960 CPUtime=1.49 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 5451 0 0 0 148 1 0 0 20 0 2 0 332008772 93143040 4768 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 22740 4768 187 433 0 22304 0
[pid=31248/tid=31250] ppid=31246 vsize=90960 CPUtime=1.38 cores=0,2,4,6
/proc/31248/task/31250/stat : 31250 (pwbo2.02) R 31246 31248 27854 0 -1 4202560 2776 0 0 0 138 0 0 0 20 0 2 0 332008782 93143040 4768 33554432000 4194304 5964478 140735603231040 140569721587752 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 90960
[startup+3.10028 s]
/proc/loadavg: 2.11 2.06 2.00 3/180 31250
/proc/meminfo: memFree=27615972/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=90960 CPUtime=3.09 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 6252 0 0 0 308 1 0 0 20 0 2 0 332008772 93143040 5569 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 22740 5569 187 433 0 22304 0
[pid=31248/tid=31250] ppid=31246 vsize=90960 CPUtime=2.98 cores=0,2,4,6
/proc/31248/task/31250/stat : 31250 (pwbo2.02) R 31246 31248 27854 0 -1 4202560 3577 0 0 0 298 0 0 0 20 0 2 0 332008782 93143040 5569 33554432000 4194304 5964478 140735603231040 140569721587512 4222314 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 90960
[startup+6.30027 s]
/proc/loadavg: 2.11 2.06 2.00 3/180 31250
/proc/meminfo: memFree=27610888/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=90960 CPUtime=6.28 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 6945 0 0 0 627 1 0 0 20 0 2 0 332008772 93143040 6262 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 22740 6262 187 433 0 22304 0
[pid=31248/tid=31250] ppid=31246 vsize=90960 CPUtime=6.17 cores=0,2,4,6
/proc/31248/task/31250/stat : 31250 (pwbo2.02) R 31246 31248 27854 0 -1 4202560 4270 0 0 0 616 1 0 0 20 0 2 0 332008782 93143040 6262 33554432000 4194304 5964478 140735603231040 140569721587512 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 90960
[startup+12.7003 s]
/proc/loadavg: 2.10 2.06 2.00 3/180 31250
/proc/meminfo: memFree=27603180/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=90960 CPUtime=12.69 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 8396 0 0 0 1267 2 0 0 20 0 2 0 332008772 93143040 7713 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 22740 7713 187 433 0 22304 0
[pid=31248/tid=31250] ppid=31246 vsize=90960 CPUtime=12.55 cores=0,2,4,6
/proc/31248/task/31250/stat : 31250 (pwbo2.02) R 31246 31248 27854 0 -1 4202560 5721 0 0 0 1254 1 0 0 20 0 2 0 332008782 93143040 7713 33554432000 4194304 5964478 140735603231040 140569721587512 4400033 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 90960
[startup+25.5004 s]
/proc/loadavg: 2.08 2.06 2.00 3/179 31250
/proc/meminfo: memFree=27589820/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=91444 CPUtime=25.48 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 10932 0 0 0 2545 3 0 0 20 0 2 0 332008772 93638656 10249 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 22861 10249 187 433 0 22425 0
[pid=31248/tid=31250] ppid=31246 vsize=91444 CPUtime=25.32 cores=0,2,4,6
/proc/31248/task/31250/stat : 31250 (pwbo2.02) R 31246 31248 27854 0 -1 4202560 8257 0 0 0 2529 3 0 0 20 0 2 0 332008782 93638656 10249 33554432000 4194304 5964478 140735603231040 140569721587704 4403290 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 91444
[startup+51.1004 s]
/proc/loadavg: 2.05 2.05 2.00 3/178 31250
/proc/meminfo: memFree=27562500/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=92044 CPUtime=51.08 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 15998 0 0 0 5102 6 0 0 20 0 2 0 332008772 94253056 15315 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 23011 15316 187 433 0 22575 0
[pid=31248/tid=31250] ppid=31246 vsize=92044 CPUtime=50.86 cores=0,2,4,6
/proc/31248/task/31250/stat : 31250 (pwbo2.02) R 31246 31248 27854 0 -1 4202560 13324 0 0 0 5081 5 0 0 20 0 2 0 332008782 94253056 15316 33554432000 4194304 5964478 140735603231040 140569721587752 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 92044
[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 31251
/proc/meminfo: memFree=27541808/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=157580 CPUtime=102.28 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 20606 0 0 0 10221 7 0 0 20 0 2 0 332008772 161361920 19923 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 39395 19923 187 433 0 38959 0
[pid=31248/tid=31250] ppid=31246 vsize=157580 CPUtime=101.93 cores=0,2,4,6
/proc/31248/task/31250/stat : 31250 (pwbo2.02) R 31246 31248 27854 0 -1 4202560 17931 0 0 0 10185 8 0 0 20 0 2 0 332008782 161361920 19923 33554432000 4194304 5964478 140735603231040 140569721587752 4400024 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 157580
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 31251
/proc/meminfo: memFree=27517500/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=157580 CPUtime=162.26 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 26552 0 0 0 16216 10 0 0 20 0 2 0 332008772 161361920 25869 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 39395 25869 187 433 0 38959 0
[pid=31248/tid=31250] ppid=31246 vsize=157580 CPUtime=161.77 cores=0,2,4,6
/proc/31248/task/31250/stat : 31250 (pwbo2.02) R 31246 31248 27854 0 -1 4202560 23877 0 0 0 16165 12 0 0 20 0 2 0 332008782 161361920 25869 33554432000 4194304 5964478 140735603231040 140569721587704 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 157580
[startup+222.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 31251
/proc/meminfo: memFree=27489260/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=158120 CPUtime=222.25 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 33163 0 0 0 22210 15 0 0 20 0 2 0 332008772 161914880 32502 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 39530 32502 187 433 0 39094 0
[pid=31248/tid=31250] ppid=31246 vsize=158120 CPUtime=221.62 cores=0,2,4,6
/proc/31248/task/31250/stat : 31250 (pwbo2.02) R 31246 31248 27854 0 -1 4202560 30488 0 0 0 22145 17 0 0 20 0 2 0 332008782 161914880 32502 33554432000 4194304 5964478 140735603231040 140569721587704 4399938 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 158120
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 31251
/proc/meminfo: memFree=27466596/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=223656 CPUtime=282.2 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 38636 0 0 0 28200 20 0 0 20 0 2 0 332008772 229023744 38002 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 55914 38002 187 433 0 55478 0
[pid=31248/tid=31250] ppid=31246 vsize=223656 CPUtime=281.42 cores=0,2,4,6
/proc/31248/task/31250/stat : 31250 (pwbo2.02) R 31246 31248 27854 0 -1 4202560 35961 0 0 0 28119 23 0 0 20 0 2 0 332008782 229023744 38002 33554432000 4194304 5964478 140735603231040 140569721587720 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 223656
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 31251
/proc/meminfo: memFree=27431688/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=223656 CPUtime=342.18 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 42755 0 0 0 34195 23 0 0 20 0 2 0 332008772 229023744 42626 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 55914 42626 187 433 0 55478 0
[pid=31248/tid=31250] ppid=31246 vsize=223656 CPUtime=341.27 cores=0,2,4,6
/proc/31248/task/31250/stat : 31250 (pwbo2.02) R 31246 31248 27854 0 -1 4202560 40080 0 0 0 34099 28 0 0 20 0 2 0 332008782 229023744 42626 33554432000 4194304 5964478 140735603231040 140569721587752 4400018 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 223656
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 31252
/proc/meminfo: memFree=27404632/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=223656 CPUtime=402.17 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 45919 0 0 0 40191 26 0 0 20 0 2 0 332008772 229023744 45790 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 55914 45790 187 433 0 55478 0
[pid=31248/tid=31250] ppid=31246 vsize=223656 CPUtime=401.11 cores=0,2,4,6
/proc/31248/task/31250/stat : 31250 (pwbo2.02) R 31246 31248 27854 0 -1 4202560 43244 0 0 0 40079 32 0 0 20 0 2 0 332008782 229023744 45790 33554432000 4194304 5964478 140735603231040 140569721587704 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 223656
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31252
/proc/meminfo: memFree=27370284/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=223656 CPUtime=462.17 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31323
/proc/meminfo: memFree=27315292/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=488300 CPUtime=1361.93 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 107507 0 0 0 136114 79 0 0 20 0 2 0 332008772 500019200 107805 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 122075 107805 187 433 0 121639 0
[pid=31248/tid=31250] ppid=31246 vsize=488300 CPUtime=1358.57 cores=0,2,4,6
/proc/31248/task/31250/stat : 31250 (pwbo2.02) R 31246 31248 27854 0 -1 4202560 104832 0 0 0 135758 99 0 0 20 0 2 0 332008782 500019200 107805 33554432000 4194304 5964478 140735603231040 140569721587704 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 488300
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31323
/proc/meminfo: memFree=27306984/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=488300 CPUtime=1421.93 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 109256 0 0 0 142112 81 0 0 20 0 2 0 332008772 500019200 109554 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 122075 109554 187 433 0 121639 0
[pid=31248/tid=31250] ppid=31246 vsize=488300 CPUtime=1418.42 cores=0,2,4,6
/proc/31248/task/31250/stat : 31250 (pwbo2.02) R 31246 31248 27854 0 -1 4202560 106581 0 0 0 141741 101 0 0 20 0 2 0 332008782 500019200 109554 33554432000 4194304 5964478 140735603231040 140569721587512 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 488300
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31323
/proc/meminfo: memFree=27291084/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=488300 CPUtime=1481.9 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 111113 0 0 0 148107 83 0 0 20 0 2 0 332008772 500019200 111444 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 122075 111444 187 433 0 121639 0
[pid=31248/tid=31250] ppid=31246 vsize=488300 CPUtime=1478.25 cores=0,2,4,6
/proc/31248/task/31250/stat : 31250 (pwbo2.02) R 31246 31248 27854 0 -1 4202560 108438 0 0 0 147721 104 0 0 20 0 2 0 332008782 500019200 111444 33554432000 4194304 5964478 140735603231040 140569721587752 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 488300
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31323
/proc/meminfo: memFree=27253016/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=488784 CPUtime=1541.9 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 116488 0 0 0 154103 87 0 0 20 0 2 0 332008772 500514816 116818 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 122196 116818 187 433 0 121760 0
[pid=31248/tid=31250] ppid=31246 vsize=488784 CPUtime=1538.11 cores=0,2,4,6
/proc/31248/task/31250/stat : 31250 (pwbo2.02) R 31246 31248 27854 0 -1 4202560 113813 0 0 0 153701 110 0 0 20 0 2 0 332008782 500514816 116818 33554432000 4194304 5964478 140735603231040 140569721587704 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 488784
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31324
/proc/meminfo: memFree=27219592/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=490000 CPUtime=1601.88 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 117505 0 0 0 160100 88 0 0 20 0 2 0 332008772 501760000 117835 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 122500 117835 187 433 0 122064 0
[pid=31248/tid=31250] ppid=31246 vsize=490000 CPUtime=1597.95 cores=0,2,4,6
/proc/31248/task/31250/stat : 31250 (pwbo2.02) R 31246 31248 27854 0 -1 4202560 114830 0 0 0 159683 112 0 0 20 0 2 0 332008782 501760000 117835 33554432000 4194304 5964478 140735603231040 140569721587512 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 490000
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31324
/proc/meminfo: memFree=27199376/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=555536 CPUtime=1661.87 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 119757 0 0 0 166096 91 0 0 20 0 2 0 332008772 568868864 120091 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 138884 120091 187 433 0 138448 0
[pid=31248/tid=31250] ppid=31246 vsize=555536 CPUtime=1657.79 cores=0,2,4,6
/proc/31248/task/31250/stat : 31250 (pwbo2.02) R 31246 31248 27854 0 -1 4202560 117082 0 0 0 165664 115 0 0 20 0 2 0 332008782 568868864 120091 33554432000 4194304 5964478 140735603231040 140569721587752 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 555536
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 31324
/proc/meminfo: memFree=27176488/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=556020 CPUtime=1721.86 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 124024 0 0 0 172090 96 0 0 20 0 2 0 332008772 569364480 124375 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 139005 124375 187 433 0 138569 0
[pid=31248/tid=31250] ppid=31246 vsize=556020 CPUtime=1717.64 cores=0,2,4,6
/proc/31248/task/31250/stat : 31250 (pwbo2.02) R 31246 31248 27854 0 -1 4202560 121349 0 0 0 171643 121 0 0 20 0 2 0 332008782 569364480 124375 33554432000 4194304 5964478 140735603231040 140569721587704 4400519 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 556020
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 31327
/proc/meminfo: memFree=27154160/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=556020 CPUtime=1781.85 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 127867 0 0 0 178085 100 0 0 20 0 2 0 332008772 569364480 128218 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 139005 128218 187 433 0 138569 0
[pid=31248/tid=31250] ppid=31246 vsize=556020 CPUtime=1777.49 cores=0,2,4,6
/proc/31248/task/31250/stat : 31250 (pwbo2.02) R 31246 31248 27854 0 -1 4202560 125192 0 0 0 177622 127 0 0 20 0 2 0 332008782 569364480 128218 33554432000 4194304 5964478 140735603231040 140569721587512 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 556020
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 31327
/proc/meminfo: memFree=27153912/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=556020 CPUtime=1791.55 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 127895 0 0 0 179055 100 0 0 20 0 2 0 332008772 569364480 128246 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 139005 128246 187 433 0 138569 0
[pid=31248/tid=31250] ppid=31246 vsize=556020 CPUtime=1787.17 cores=0,2,4,6
/proc/31248/task/31250/stat : 31250 (pwbo2.02) R 31246 31248 27854 0 -1 4202560 125220 0 0 0 178590 127 0 0 20 0 2 0 332008782 569364480 128246 33554432000 4194304 5964478 140735603231040 140569721587512 4400097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 556020
[startup+1795.2 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 31327
/proc/meminfo: memFree=27153664/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=556020 CPUtime=1794.75 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 127913 0 0 0 179375 100 0 0 20 0 2 0 332008772 569364480 128264 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 139005 128264 187 433 0 138569 0
[pid=31248/tid=31250] ppid=31246 vsize=556020 CPUtime=1790.36 cores=0,2,4,6
/proc/31248/task/31250/stat : 31250 (pwbo2.02) R 31246 31248 27854 0 -1 4202560 125238 0 0 0 178909 127 0 0 20 0 2 0 332008782 569364480 128264 33554432000 4194304 5964478 140735603231040 140569721587512 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.75
Current children cumulated vsize (KiB) 556020
[startup+1798.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 31327
/proc/meminfo: memFree=27152920/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=556020 CPUtime=1797.95 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 127944 0 0 0 179695 100 0 0 20 0 2 0 332008772 569364480 128295 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 139005 128295 187 433 0 138569 0
[pid=31248/tid=31250] ppid=31246 vsize=556020 CPUtime=1793.54 cores=0,2,4,6
/proc/31248/task/31250/stat : 31250 (pwbo2.02) R 31246 31248 27854 0 -1 4202560 125269 0 0 0 179227 127 0 0 20 0 2 0 332008782 569364480 128295 33554432000 4194304 5964478 140735603231040 140569721587512 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 556020
[startup+1799.2 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 31327
/proc/meminfo: memFree=27151928/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=556020 CPUtime=1798.75 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 127958 0 0 0 179775 100 0 0 20 0 2 0 332008772 569364480 128309 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 139005 128309 187 433 0 138569 0
[pid=31248/tid=31250] ppid=31246 vsize=556020 CPUtime=1794.34 cores=0,2,4,6
/proc/31248/task/31250/stat : 31250 (pwbo2.02) R 31246 31248 27854 0 -1 4202560 125283 0 0 0 179307 127 0 0 20 0 2 0 332008782 569364480 128309 33554432000 4194304 5964478 140735603231040 140569721587512 4400044 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.75
Current children cumulated vsize (KiB) 556020
[startup+1799.6 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 31327
/proc/meminfo: memFree=27151680/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=556020 CPUtime=1799.15 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 127959 0 0 0 179815 100 0 0 20 0 2 0 332008772 569364480 128310 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 139005 128310 187 433 0 138569 0
[pid=31248/tid=31250] ppid=31246 vsize=556020 CPUtime=1794.75 cores=0,2,4,6
/proc/31248/task/31250/stat : 31250 (pwbo2.02) R 31246 31248 27854 0 -1 4202560 125284 0 0 0 179348 127 0 0 20 0 2 0 332008782 569364480 128310 33554432000 4194304 5964478 140735603231040 140569721587512 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.15
Current children cumulated vsize (KiB) 556020
[startup+1800 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 31327
/proc/meminfo: memFree=27151680/32873844 swapFree=7628/7628
[pid=31248] ppid=31246 vsize=556020 CPUtime=1799.55 cores=0,2,4,6
/proc/31248/stat : 31248 (pwbo2.02) S 31246 31248 27854 0 -1 4202496 127959 0 0 0 179855 100 0 0 20 0 2 0 332008772 569364480 128310 33554432000 4194304 5964478 140735603231040 140735603230560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31248/statm: 139005 128310 187 433 0 138569 0
[pid=31248/tid=31250] ppid=31246 vsize=556020 CPUtime=1795.14 cores=0,2,4,6
/proc/31248/task/31250/stat : 31250 (pwbo2.02) R 31246 31248 27854 0 -1 4202560 125284 0 0 0 179387 127 0 0 20 0 2 0 332008782 569364480 128310 33554432000 4194304 5964478 140735603231040 140569721587512 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (KiB) 556020
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31248 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=970275
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=292803
# CPU time returned by wait4() is 1795.26
# while last known CPU time is 1799.55
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.55
CPU user time (s): 1798.55
CPU system time (s): 1
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 556020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.97
system time used= 1.2928
maximum resident set size= 513252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127962
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= 211
involuntary context switches= 1988
runsolver used 3.66844 second user time and 8.40872 second system time
The end