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-3726695-1338666023/watcher-3726695-1338666023 -o /tmp/evaluation-result-3726695-1338666023/solver-3726695-1338666023 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726695-1338666023.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: 2.00 2.00 2.13 3/172 32738
/proc/meminfo: memFree=29807320/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=5384 CPUtime=0 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) R 32736 32738 32611 0 -1 4202496 577 0 0 0 0 0 0 0 20 0 1 0 332727754 5513216 529 33554432000 4194304 5964478 140736377960192 140734835669496 5119960 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 1346 531 165 433 0 634 0
[startup+0.041264 s]
/proc/loadavg: 2.00 2.00 2.13 3/172 32738
/proc/meminfo: memFree=29807320/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=9304 CPUtime=0.03 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) R 32736 32738 32611 0 -1 4202496 1580 0 0 0 3 0 0 0 20 0 1 0 332727754 9527296 1532 33554432000 4194304 5964478 140736377960192 140734835669496 4352418 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 2326 1533 280 433 0 1614 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9304
[startup+0.100179 s]
/proc/loadavg: 2.00 2.00 2.13 3/172 32738
/proc/meminfo: memFree=29807320/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=94324 CPUtime=0.09 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 4297 0 0 0 9 0 0 0 20 0 2 0 332727754 96587776 3923 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 23581 3923 177 433 0 23145 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 94324
[startup+0.300153 s]
/proc/loadavg: 2.00 2.00 2.13 3/172 32738
/proc/meminfo: memFree=29807320/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=92452 CPUtime=0.29 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 5394 0 0 0 29 0 0 0 20 0 2 0 332727754 94670848 4595 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 23113 4595 186 433 0 22677 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 92452
[startup+0.70012 s]
/proc/loadavg: 2.00 2.00 2.13 3/172 32738
/proc/meminfo: memFree=29807320/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=92452 CPUtime=0.69 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 5721 0 0 0 69 0 0 0 20 0 2 0 332727754 94670848 4922 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 23113 4922 186 433 0 22677 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92452
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.13 3/180 32751
/proc/meminfo: memFree=29763360/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=92452 CPUtime=1.48 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 6413 0 0 0 148 0 0 0 20 0 2 0 332727754 94670848 5614 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 23113 5614 186 433 0 22677 0
[pid=32738/tid=32750] ppid=32736 vsize=92452 CPUtime=1.39 cores=1,3,5,7
/proc/32738/task/32750/stat : 32750 (pwbo2.02) R 32736 32738 32611 0 -1 4202560 3714 0 0 0 139 0 0 0 20 0 2 0 332727762 94670848 5614 33554432000 4194304 5964478 140736377960192 140097302394920 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 92452
[startup+3.10017 s]
/proc/loadavg: 2.00 2.00 2.13 3/180 32751
/proc/meminfo: memFree=29755772/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=92452 CPUtime=3.09 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 7725 0 0 0 308 1 0 0 20 0 2 0 332727754 94670848 6926 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 23113 6926 186 433 0 22677 0
[pid=32738/tid=32750] ppid=32736 vsize=92452 CPUtime=2.99 cores=1,3,5,7
/proc/32738/task/32750/stat : 32750 (pwbo2.02) R 32736 32738 32611 0 -1 4202560 5026 0 0 0 298 1 0 0 20 0 2 0 332727762 94670848 6926 33554432000 4194304 5964478 140736377960192 140097302394872 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 92452
[startup+6.3002 s]
/proc/loadavg: 2.00 2.00 2.12 3/180 32751
/proc/meminfo: memFree=29744264/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=92452 CPUtime=6.28 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 8587 0 0 0 627 1 0 0 20 0 2 0 332727754 94670848 7788 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 23113 7788 186 433 0 22677 0
[pid=32738/tid=32750] ppid=32736 vsize=92452 CPUtime=6.2 cores=1,3,5,7
/proc/32738/task/32750/stat : 32750 (pwbo2.02) R 32736 32738 32611 0 -1 4202560 5888 0 0 0 618 2 0 0 20 0 2 0 332727762 94670848 7788 33554432000 4194304 5964478 140736377960192 140097302394872 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 92452
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.12 3/180 32751
/proc/meminfo: memFree=29722124/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=92452 CPUtime=12.68 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 11474 0 0 0 1265 3 0 0 20 0 2 0 332727754 94670848 10674 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 23113 10674 186 433 0 22677 0
[pid=32738/tid=32750] ppid=32736 vsize=92452 CPUtime=12.59 cores=1,3,5,7
/proc/32738/task/32750/stat : 32750 (pwbo2.02) R 32736 32738 32611 0 -1 4202560 8775 0 0 0 1256 3 0 0 20 0 2 0 332727762 94670848 10674 33554432000 4194304 5964478 140736377960192 140097302394872 4392812 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 92452
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.12 3/179 32751
/proc/meminfo: memFree=29677912/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=92452 CPUtime=25.47 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 15792 0 0 0 2543 4 0 0 20 0 2 0 332727754 94670848 14984 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 23113 14984 186 433 0 22677 0
[pid=32738/tid=32750] ppid=32736 vsize=92452 CPUtime=25.38 cores=1,3,5,7
/proc/32738/task/32750/stat : 32750 (pwbo2.02) R 32736 32738 32611 0 -1 4202560 13093 0 0 0 2534 4 0 0 20 0 2 0 332727762 94670848 14984 33554432000 4194304 5964478 140736377960192 140097302394872 4389170 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 92452
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.12 3/179 32752
/proc/meminfo: memFree=29628716/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=157988 CPUtime=51.05 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 22671 0 0 0 5098 7 0 0 20 0 2 0 332727754 161779712 21852 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 39497 21852 186 433 0 39061 0
[pid=32738/tid=32750] ppid=32736 vsize=157988 CPUtime=50.97 cores=1,3,5,7
/proc/32738/task/32750/stat : 32750 (pwbo2.02) R 32736 32738 32611 0 -1 4202560 19972 0 0 0 5089 8 0 0 20 0 2 0 332727762 161779712 21852 33554432000 4194304 5964478 140736377960192 140097302394872 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 157988
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.11 3/179 32752
/proc/meminfo: memFree=29537508/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=158712 CPUtime=102.26 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 34943 0 0 0 10213 13 0 0 20 0 2 0 332727754 162521088 34124 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 39678 34124 186 433 0 39242 0
[pid=32738/tid=32750] ppid=32736 vsize=158712 CPUtime=102.18 cores=1,3,5,7
/proc/32738/task/32750/stat : 32750 (pwbo2.02) R 32736 32738 32611 0 -1 4202560 32244 0 0 0 10203 15 0 0 20 0 2 0 332727762 162521088 34124 33554432000 4194304 5964478 140736377960192 140097302394872 4388967 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 158712
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 32752
/proc/meminfo: memFree=29487364/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=224248 CPUtime=162.24 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 37238 0 0 0 16210 14 0 0 20 0 2 0 332727754 229629952 36411 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 56062 36411 186 433 0 55626 0
[pid=32738/tid=32750] ppid=32736 vsize=224248 CPUtime=162.17 cores=1,3,5,7
/proc/32738/task/32750/stat : 32750 (pwbo2.02) R 32736 32738 32611 0 -1 4202560 34540 0 0 0 16200 17 0 0 20 0 2 0 332727762 229629952 36412 33554432000 4194304 5964478 140736377960192 140097302394872 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 224248
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 32752
/proc/meminfo: memFree=29455988/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=224248 CPUtime=222.21 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 41327 0 0 0 22206 15 0 0 20 0 2 0 332727754 229629952 40529 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 56062 40529 186 433 0 55626 0
[pid=32738/tid=32750] ppid=32736 vsize=224248 CPUtime=222.16 cores=1,3,5,7
/proc/32738/task/32750/stat : 32750 (pwbo2.02) R 32736 32738 32611 0 -1 4202560 38628 0 0 0 22197 19 0 0 20 0 2 0 332727762 229629952 40529 33554432000 4194304 5964478 140736377960192 140097302394872 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 224248
[startup+282.3 s]
/proc/loadavg: 2.06 2.02 2.09 3/179 32752
/proc/meminfo: memFree=29396096/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=224608 CPUtime=282.2 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 52051 0 0 0 28200 20 0 0 20 0 2 0 332727754 229998592 51253 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 56152 51253 186 433 0 55716 0
[pid=32738/tid=32750] ppid=32736 vsize=224608 CPUtime=282.16 cores=1,3,5,7
/proc/32738/task/32750/stat : 32750 (pwbo2.02) R 32736 32738 32611 0 -1 4202560 49352 0 0 0 28191 25 0 0 20 0 2 0 332727762 229998592 51253 33554432000 4194304 5964478 140736377960192 140097302394680 4381702 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 224608
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.08 3/179 32753
/proc/meminfo: memFree=29341588/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=224608 CPUtime=342.19 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 52052 0 0 0 34199 20 0 0 20 0 2 0 332727754 229998592 51254 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 56152 51254 186 433 0 55716 0
[pid=32738/tid=32750] ppid=32736 vsize=224608 CPUtime=342.17 cores=1,3,5,7
/proc/32738/task/32750/stat : 32750 (pwbo2.02) R 32736 32738 32611 0 -1 4202560 49353 0 0 0 34191 26 0 0 20 0 2 0 332727762 229998592 51254 33554432000 4194304 5964478 140736377960192 140097302394680 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 224608
[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.07 3/179 32753
/proc/meminfo: memFree=29330260/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=290144 CPUtime=402.18 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 55336 0 0 0 40197 21 0 0 20 0 2 0 332727754 297107456 54539 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 72536 54539 186 433 0 72100 0
[pid=32738/tid=32750] ppid=32736 vsize=290144 CPUtime=402.17 cores=1,3,5,7
/proc/32738/task/32750/stat : 32750 (pwbo2.02) R 32736 32738 32611 0 -1 4202560 52637 0 0 0 40189 28 0 0 20 0 2 0 332727762 297107456 54539 33554432000 4194304 5964478 140736377960192 140097302394872 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 290144
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 32753
/proc/meminfo: memFree=29302532/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=290144 CPUtime=462.17 cores=1,3,5,7
################
# More data... #
################
/proc/32738/task/32750/stat : 32750 (pwbo2.02) R 32736 32738 32611 0 -1 4202560 125022 0 0 0 130141 75 0 0 20 0 2 0 332727762 566095872 127551 33554432000 4194304 5964478 140736377960192 140097302394872 4388967 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 552828
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 317
/proc/meminfo: memFree=28821100/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=618364 CPUtime=1361.97 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 140008 0 0 0 136136 61 0 0 20 0 2 0 332727754 633204736 139842 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 154591 139842 186 433 0 154155 0
[pid=32738/tid=32750] ppid=32736 vsize=618364 CPUtime=1362.16 cores=1,3,5,7
/proc/32738/task/32750/stat : 32750 (pwbo2.02) R 32736 32738 32611 0 -1 4202560 137309 0 0 0 136134 82 0 0 20 0 2 0 332727762 633204736 139842 33554432000 4194304 5964478 140736377960192 140097302394872 4400435 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 618364
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 317
/proc/meminfo: memFree=28778200/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=618364 CPUtime=1421.96 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 150574 0 0 0 142129 67 0 0 20 0 2 0 332727754 633204736 150408 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 154591 150408 186 433 0 154155 0
[pid=32738/tid=32750] ppid=32736 vsize=618364 CPUtime=1422.17 cores=1,3,5,7
/proc/32738/task/32750/stat : 32750 (pwbo2.02) R 32736 32738 32611 0 -1 4202560 147875 0 0 0 142128 89 0 0 20 0 2 0 332727762 633204736 150408 33554432000 4194304 5964478 140736377960192 140097302394872 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 618364
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 317
/proc/meminfo: memFree=28743920/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=683900 CPUtime=1481.95 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 155398 0 0 0 148126 69 0 0 20 0 2 0 332727754 700313600 155232 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 170975 155232 186 433 0 170539 0
[pid=32738/tid=32750] ppid=32736 vsize=683900 CPUtime=1482.17 cores=1,3,5,7
/proc/32738/task/32750/stat : 32750 (pwbo2.02) R 32736 32738 32611 0 -1 4202560 152699 0 0 0 148125 92 0 0 20 0 2 0 332727762 700313600 155232 33554432000 4194304 5964478 140736377960192 140097302394872 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 683900
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 317
/proc/meminfo: memFree=28708560/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=683900 CPUtime=1541.94 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 155409 0 0 0 154125 69 0 0 20 0 2 0 332727754 700313600 155243 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 170975 155243 186 433 0 170539 0
[pid=32738/tid=32750] ppid=32736 vsize=683900 CPUtime=1542.17 cores=1,3,5,7
/proc/32738/task/32750/stat : 32750 (pwbo2.02) R 32736 32738 32611 0 -1 4202560 152710 0 0 0 154124 93 0 0 20 0 2 0 332727762 700313600 155243 33554432000 4194304 5964478 140736377960192 140097302394872 4382271 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 683900
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 318
/proc/meminfo: memFree=28697152/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=683900 CPUtime=1601.93 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 155431 0 0 0 160124 69 0 0 20 0 2 0 332727754 700313600 154862 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 170975 154862 186 433 0 170539 0
[pid=32738/tid=32750] ppid=32736 vsize=683900 CPUtime=1602.17 cores=1,3,5,7
/proc/32738/task/32750/stat : 32750 (pwbo2.02) R 32736 32738 32611 0 -1 4202560 152732 0 0 0 160123 94 0 0 20 0 2 0 332727762 700313600 154862 33554432000 4194304 5964478 140736377960192 140097302394904 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 683900
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 318
/proc/meminfo: memFree=28697028/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=683900 CPUtime=1661.92 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 155433 0 0 0 166123 69 0 0 20 0 2 0 332727754 700313600 154864 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 170975 154864 186 433 0 170539 0
[pid=32738/tid=32750] ppid=32736 vsize=683900 CPUtime=1662.18 cores=1,3,5,7
/proc/32738/task/32750/stat : 32750 (pwbo2.02) R 32736 32738 32611 0 -1 4202560 152734 0 0 0 166123 95 0 0 20 0 2 0 332727762 700313600 154864 33554432000 4194304 5964478 140736377960192 140097302394904 4381601 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 683900
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 318
/proc/meminfo: memFree=28697280/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=683900 CPUtime=1721.91 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 155435 0 0 0 172122 69 0 0 20 0 2 0 332727754 700313600 154866 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 170975 154866 186 433 0 170539 0
[pid=32738/tid=32750] ppid=32736 vsize=683900 CPUtime=1722.18 cores=1,3,5,7
/proc/32738/task/32750/stat : 32750 (pwbo2.02) R 32736 32738 32611 0 -1 4202560 152736 0 0 0 172122 96 0 0 20 0 2 0 332727762 700313600 154866 33554432000 4194304 5964478 140736377960192 140097302394904 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 683900
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 321
/proc/meminfo: memFree=28695576/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=683900 CPUtime=1781.89 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 155456 0 0 0 178120 69 0 0 20 0 2 0 332727754 700313600 154999 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 170975 154999 186 433 0 170539 0
[pid=32738/tid=32750] ppid=32736 vsize=683900 CPUtime=1782.17 cores=1,3,5,7
/proc/32738/task/32750/stat : 32750 (pwbo2.02) R 32736 32738 32611 0 -1 4202560 152757 0 0 0 178120 97 0 0 20 0 2 0 332727762 700313600 154999 33554432000 4194304 5964478 140736377960192 140097302394904 4389164 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 683900
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.14 2.03 2.01 3/180 321
/proc/meminfo: memFree=28688808/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=683900 CPUtime=1791.49 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 155464 0 0 0 179080 69 0 0 20 0 2 0 332727754 700313600 155032 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 170975 155032 186 433 0 170539 0
[pid=32738/tid=32750] ppid=32736 vsize=683900 CPUtime=1791.77 cores=1,3,5,7
/proc/32738/task/32750/stat : 32750 (pwbo2.02) R 32736 32738 32611 0 -1 4202560 152765 0 0 0 179080 97 0 0 20 0 2 0 332727762 700313600 155032 33554432000 4194304 5964478 140736377960192 140097302394904 4400078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (KiB) 683900
[startup+1795.1 s]
/proc/loadavg: 2.13 2.03 2.01 3/180 321
/proc/meminfo: memFree=28686516/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=683900 CPUtime=1794.69 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 155464 0 0 0 179400 69 0 0 20 0 2 0 332727754 700313600 155032 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 170975 155032 186 433 0 170539 0
[pid=32738/tid=32750] ppid=32736 vsize=683900 CPUtime=1794.98 cores=1,3,5,7
/proc/32738/task/32750/stat : 32750 (pwbo2.02) R 32736 32738 32611 0 -1 4202560 152765 0 0 0 179401 97 0 0 20 0 2 0 332727762 700313600 155032 33554432000 4194304 5964478 140736377960192 140097302394904 4400056 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (KiB) 683900
[startup+1798.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/180 321
/proc/meminfo: memFree=28685152/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=683900 CPUtime=1797.88 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 155464 0 0 0 179719 69 0 0 20 0 2 0 332727754 700313600 155032 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 170975 155032 186 433 0 170539 0
[pid=32738/tid=32750] ppid=32736 vsize=683900 CPUtime=1798.17 cores=1,3,5,7
/proc/32738/task/32750/stat : 32750 (pwbo2.02) R 32736 32738 32611 0 -1 4202560 152765 0 0 0 179720 97 0 0 20 0 2 0 332727762 700313600 155032 33554432000 4194304 5964478 140736377960192 140097302394904 4381601 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 683900
[startup+1799.1 s]
/proc/loadavg: 2.12 2.03 2.01 3/180 321
/proc/meminfo: memFree=28684656/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=683900 CPUtime=1798.68 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 155464 0 0 0 179799 69 0 0 20 0 2 0 332727754 700313600 155032 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 170975 155032 186 433 0 170539 0
[pid=32738/tid=32750] ppid=32736 vsize=683900 CPUtime=1798.97 cores=1,3,5,7
/proc/32738/task/32750/stat : 32750 (pwbo2.02) R 32736 32738 32611 0 -1 4202560 152765 0 0 0 179800 97 0 0 20 0 2 0 332727762 700313600 155032 33554432000 4194304 5964478 140736377960192 140097302394904 4391188 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.68
Current children cumulated vsize (KiB) 683900
[startup+1799.5 s]
/proc/loadavg: 2.12 2.03 2.01 3/180 321
/proc/meminfo: memFree=28683912/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=683900 CPUtime=1799.09 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 155464 0 0 0 179840 69 0 0 20 0 2 0 332727754 700313600 155032 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 170975 155032 186 433 0 170539 0
[pid=32738/tid=32750] ppid=32736 vsize=683900 CPUtime=1799.38 cores=1,3,5,7
/proc/32738/task/32750/stat : 32750 (pwbo2.02) R 32736 32738 32611 0 -1 4202560 152765 0 0 0 179841 97 0 0 20 0 2 0 332727762 700313600 155032 33554432000 4194304 5964478 140736377960192 140097302394904 4381664 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.09
Current children cumulated vsize (KiB) 683900
[startup+1799.9 s]
/proc/loadavg: 2.12 2.03 2.01 3/180 321
/proc/meminfo: memFree=28683912/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=683900 CPUtime=1799.48 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 155464 0 0 0 179879 69 0 0 20 0 2 0 332727754 700313600 155032 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 170975 155032 186 433 0 170539 0
[pid=32738/tid=32750] ppid=32736 vsize=683900 CPUtime=1799.77 cores=1,3,5,7
/proc/32738/task/32750/stat : 32750 (pwbo2.02) R 32736 32738 32611 0 -1 4202560 152765 0 0 0 179880 97 0 0 20 0 2 0 332727762 700313600 155032 33554432000 4194304 5964478 140736377960192 140097302394904 4400091 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (KiB) 683900
[startup+1800 s]
/proc/loadavg: 2.12 2.03 2.01 3/180 321
/proc/meminfo: memFree=28683912/32873648 swapFree=7116/7116
[pid=32738] ppid=32736 vsize=683900 CPUtime=1799.58 cores=1,3,5,7
/proc/32738/stat : 32738 (pwbo2.02) S 32736 32738 32611 0 -1 4202496 155464 0 0 0 179889 69 0 0 20 0 2 0 332727754 700313600 155032 33554432000 4194304 5964478 140736377960192 140736377959712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32738/statm: 170975 155032 186 433 0 170539 0
[pid=32738/tid=32750] ppid=32736 vsize=683900 CPUtime=1799.87 cores=1,3,5,7
/proc/32738/task/32750/stat : 32750 (pwbo2.02) R 32736 32738 32611 0 -1 4202560 152765 0 0 0 179890 97 0 0 20 0 2 0 332727762 700313600 155032 33554432000 4194304 5964478 140736377960192 140097302394904 4381677 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.58
Current children cumulated vsize (KiB) 683900
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.98
CPU user time (s): 1798.99
CPU system time (s): 0.989849
CPU usage (%): 99.9982
Max. virtual memory (cumulated for all children) (KiB): 683900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 0.989849
maximum resident set size= 621060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155467
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= 204
involuntary context switches= 1856
runsolver used 2.68859 second user time and 7.13492 second system time
The end