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-3704205-1338087320/watcher-3704205-1338087320 -o /tmp/evaluation-result-3704205-1338087320/solver-3704205-1338087320 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704205-1338087320.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: 1.93 1.44 1.51 2/177 9106
/proc/meminfo: memFree=31323044/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=4432 CPUtime=0 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) R 9104 9106 9022 0 -1 4202496 587 0 0 0 0 0 0 0 20 0 1 0 274860547 4538368 528 33554432000 4194304 5965102 140735780915344 140734681572520 4296686 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 1108 541 169 433 0 672 0
[startup+0.0804651 s]
/proc/loadavg: 1.93 1.44 1.51 2/177 9106
/proc/meminfo: memFree=31323044/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=83844 CPUtime=0.07 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 1116 0 0 0 7 0 0 0 20 0 2 0 274860547 85856256 1057 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 20961 1057 191 433 0 20525 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 83844
[startup+0.100258 s]
/proc/loadavg: 1.93 1.44 1.51 2/177 9106
/proc/meminfo: memFree=31323044/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=83844 CPUtime=0.09 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 1158 0 0 0 9 0 0 0 20 0 2 0 274860547 85856256 1099 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 20961 1099 191 433 0 20525 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83844
[startup+0.300225 s]
/proc/loadavg: 1.93 1.44 1.51 2/177 9106
/proc/meminfo: memFree=31323044/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=83844 CPUtime=0.29 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 1567 0 0 0 29 0 0 0 20 0 2 0 274860547 85856256 1508 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 20961 1508 191 433 0 20525 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83844
[startup+0.700225 s]
/proc/loadavg: 1.93 1.44 1.51 2/177 9106
/proc/meminfo: memFree=31323044/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=83844 CPUtime=0.68 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 2165 0 0 0 68 0 0 0 20 0 2 0 274860547 85856256 2106 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 20961 2106 191 433 0 20525 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 83844
[startup+1.50025 s]
/proc/loadavg: 1.93 1.44 1.51 3/179 9108
/proc/meminfo: memFree=31313960/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=83988 CPUtime=1.48 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 2878 0 0 0 148 0 0 0 20 0 2 0 274860547 86003712 2819 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 20997 2819 191 433 0 20561 0
[pid=9106/tid=9108] ppid=9104 vsize=83988 CPUtime=1.48 cores=0,2,4,6
/proc/9106/task/9108/stat : 9108 (pwbo2.0) R 9104 9106 9022 0 -1 4202560 2098 0 0 0 148 0 0 0 20 0 2 0 274860548 86003712 2819 33554432000 4194304 5965102 140735780915344 140179412838200 4401155 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 83988
[startup+3.10025 s]
/proc/loadavg: 1.93 1.44 1.51 3/179 9108
/proc/meminfo: memFree=31310612/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=83988 CPUtime=3.08 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 3378 0 0 0 308 0 0 0 20 0 2 0 274860547 86003712 3319 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 20997 3319 191 433 0 20561 0
[pid=9106/tid=9108] ppid=9104 vsize=83988 CPUtime=3.08 cores=0,2,4,6
/proc/9106/task/9108/stat : 9108 (pwbo2.0) R 9104 9106 9022 0 -1 4202560 2598 0 0 0 308 0 0 0 20 0 2 0 274860548 86003712 3319 33554432000 4194304 5965102 140735780915344 140179412838200 4380336 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 83988
[startup+6.30026 s]
/proc/loadavg: 1.93 1.45 1.52 3/179 9108
/proc/meminfo: memFree=31304188/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=84060 CPUtime=6.29 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 4308 0 0 0 628 1 0 0 20 0 2 0 274860547 86077440 4249 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 21015 4249 191 433 0 20579 0
[pid=9106/tid=9108] ppid=9104 vsize=84060 CPUtime=6.28 cores=0,2,4,6
/proc/9106/task/9108/stat : 9108 (pwbo2.0) R 9104 9106 9022 0 -1 4202560 3528 0 0 0 627 1 0 0 20 0 2 0 274860548 86077440 4249 33554432000 4194304 5965102 140735780915344 140179412838392 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84060
[startup+12.7003 s]
/proc/loadavg: 1.94 1.46 1.52 3/179 9108
/proc/meminfo: memFree=31292656/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=84420 CPUtime=12.69 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 5980 0 0 0 1268 1 0 0 20 0 2 0 274860547 86446080 5921 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 21105 5921 191 433 0 20669 0
[pid=9106/tid=9108] ppid=9104 vsize=84420 CPUtime=12.68 cores=0,2,4,6
/proc/9106/task/9108/stat : 9108 (pwbo2.0) R 9104 9106 9022 0 -1 4202560 5200 0 0 0 1266 2 0 0 20 0 2 0 274860548 86446080 5921 33554432000 4194304 5965102 140735780915344 140179412838200 4401849 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) 84420
[startup+25.5003 s]
/proc/loadavg: 1.95 1.49 1.53 3/179 9108
/proc/meminfo: memFree=31276652/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=87156 CPUtime=25.49 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 8798 0 0 0 2547 2 0 0 20 0 2 0 274860547 89247744 8739 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 21789 8739 191 433 0 21353 0
[pid=9106/tid=9108] ppid=9104 vsize=87156 CPUtime=25.48 cores=0,2,4,6
/proc/9106/task/9108/stat : 9108 (pwbo2.0) R 9104 9106 9022 0 -1 4202560 8018 0 0 0 2546 2 0 0 20 0 2 0 274860548 89247744 8739 33554432000 4194304 5965102 140735780915344 140179412838200 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 87156
[startup+51.1003 s]
/proc/loadavg: 1.97 1.53 1.54 3/179 9109
/proc/meminfo: memFree=31259708/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=89080 CPUtime=51.08 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 11806 0 0 0 5105 3 0 0 20 0 2 0 274860547 91217920 11746 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 22270 11746 191 433 0 21834 0
[pid=9106/tid=9108] ppid=9104 vsize=89080 CPUtime=51.08 cores=0,2,4,6
/proc/9106/task/9108/stat : 9108 (pwbo2.0) R 9104 9106 9022 0 -1 4202560 11026 0 0 0 5104 4 0 0 20 0 2 0 274860548 91217920 11746 33554432000 4194304 5965102 140735780915344 140179412838392 4401578 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) 89080
[startup+102.306 s]
/proc/loadavg: 1.98 1.60 1.56 3/179 9187
/proc/meminfo: memFree=31307264/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=92628 CPUtime=102.26 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 17045 0 0 0 10219 7 0 0 20 0 2 0 274860547 94851072 18004 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 23157 18004 191 433 0 22721 0
[pid=9106/tid=9108] ppid=9104 vsize=92628 CPUtime=102.26 cores=0,2,4,6
/proc/9106/task/9108/stat : 9108 (pwbo2.0) R 9104 9106 9022 0 -1 4202560 16265 0 0 0 10217 9 0 0 20 0 2 0 274860548 94851072 18004 33554432000 4194304 5965102 140735780915344 140179412838200 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 92628
[startup+162.3 s]
/proc/loadavg: 1.99 1.67 1.58 3/179 9187
/proc/meminfo: memFree=31245436/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=163268 CPUtime=162.23 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 22059 0 0 0 16213 10 0 0 20 0 2 0 274860547 167186432 23028 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 40817 23028 191 433 0 40381 0
[pid=9106/tid=9108] ppid=9104 vsize=163268 CPUtime=162.25 cores=0,2,4,6
/proc/9106/task/9108/stat : 9108 (pwbo2.0) R 9104 9106 9022 0 -1 4202560 21279 0 0 0 16212 13 0 0 20 0 2 0 274860548 167186432 23028 33554432000 4194304 5965102 140735780915344 140179412838440 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 163268
[startup+222.3 s]
/proc/loadavg: 1.99 1.73 1.61 3/179 9187
/proc/meminfo: memFree=31205524/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=169688 CPUtime=222.21 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 27620 0 0 0 22208 13 0 0 20 0 2 0 274860547 173760512 28584 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 42422 28584 191 433 0 41986 0
[pid=9106/tid=9108] ppid=9104 vsize=169688 CPUtime=222.24 cores=0,2,4,6
/proc/9106/task/9108/stat : 9108 (pwbo2.0) R 9104 9106 9022 0 -1 4202560 26840 0 0 0 22207 17 0 0 20 0 2 0 274860548 173760512 28584 33554432000 4194304 5965102 140735780915344 140179412838392 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 169688
[startup+282.3 s]
/proc/loadavg: 1.99 1.77 1.63 3/180 9190
/proc/meminfo: memFree=31170644/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=172452 CPUtime=282.21 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 31449 0 0 0 28205 16 0 0 20 0 2 0 274860547 176590848 32413 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 43113 32413 191 433 0 42677 0
[pid=9106/tid=9108] ppid=9104 vsize=172452 CPUtime=282.24 cores=0,2,4,6
/proc/9106/task/9108/stat : 9108 (pwbo2.0) R 9104 9106 9022 0 -1 4202560 30669 0 0 0 28203 21 0 0 20 0 2 0 274860548 176590848 32413 33554432000 4194304 5965102 140735780915344 140179412837912 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 172452
[startup+342.3 s]
/proc/loadavg: 2.03 1.83 1.65 3/179 9213
/proc/meminfo: memFree=31141644/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=175540 CPUtime=342.18 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 34439 0 0 0 34199 19 0 0 20 0 2 0 274860547 179752960 35396 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 43885 35396 191 433 0 43449 0
[pid=9106/tid=9108] ppid=9104 vsize=175540 CPUtime=342.23 cores=0,2,4,6
/proc/9106/task/9108/stat : 9108 (pwbo2.0) R 9104 9106 9022 0 -1 4202560 33659 0 0 0 34198 25 0 0 20 0 2 0 274860548 179752960 35396 33554432000 4194304 5965102 140735780915344 140179412838392 4221120 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) 175540
[startup+402.3 s]
/proc/loadavg: 2.01 1.85 1.67 3/180 9214
/proc/meminfo: memFree=31115596/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=177788 CPUtime=402.17 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 38427 0 0 0 40196 21 0 0 20 0 2 0 274860547 182054912 39384 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 44447 39384 191 433 0 44011 0
[pid=9106/tid=9108] ppid=9104 vsize=177788 CPUtime=402.23 cores=0,2,4,6
/proc/9106/task/9108/stat : 9108 (pwbo2.0) R 9104 9106 9022 0 -1 4202560 37647 0 0 0 40195 28 0 0 20 0 2 0 274860548 182054912 39384 33554432000 4194304 5965102 140735780915344 140179412837912 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) 177788
[startup+462.3 s]
/proc/loadavg: 2.00 1.88 1.69 3/179 9214
/proc/meminfo: memFree=31092288/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=244204 CPUtime=462.16 cores=0,2,4,6
################
# More data... #
################
/proc/9106/task/9108/stat : 9108 (pwbo2.0) R 9104 9106 9022 0 -1 4202560 67380 0 0 0 130153 70 0 0 20 0 2 0 274860548 335261696 69101 33554432000 4194304 5965102 140735780915344 140179412838392 4401146 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 327404
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.86 3/179 9220
/proc/meminfo: memFree=30833840/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=327872 CPUtime=1361.97 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 68702 0 0 0 136147 50 0 0 20 0 2 0 274860547 335740928 69640 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 81968 69640 191 433 0 81532 0
[pid=9106/tid=9108] ppid=9104 vsize=327872 CPUtime=1362.21 cores=0,2,4,6
/proc/9106/task/9108/stat : 9108 (pwbo2.0) R 9104 9106 9022 0 -1 4202560 67922 0 0 0 136150 71 0 0 20 0 2 0 274860548 335740928 69640 33554432000 4194304 5965102 140735780915344 140179412838392 4401107 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 327872
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 9220
/proc/meminfo: memFree=30817720/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=328884 CPUtime=1421.96 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 72332 0 0 0 142142 54 0 0 20 0 2 0 274860547 336777216 73270 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 82221 73270 191 433 0 81785 0
[pid=9106/tid=9108] ppid=9104 vsize=328884 CPUtime=1422.22 cores=0,2,4,6
/proc/9106/task/9108/stat : 9108 (pwbo2.0) R 9104 9106 9022 0 -1 4202560 71552 0 0 0 142146 76 0 0 20 0 2 0 274860548 336777216 73270 33554432000 4194304 5965102 140735780915344 140179412838392 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 328884
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/180 9223
/proc/meminfo: memFree=30802056/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=329988 CPUtime=1481.95 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 74537 0 0 0 148139 56 0 0 20 0 2 0 274860547 337907712 75475 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 82497 75475 191 433 0 82061 0
[pid=9106/tid=9108] ppid=9104 vsize=329988 CPUtime=1482.22 cores=0,2,4,6
/proc/9106/task/9108/stat : 9108 (pwbo2.0) R 9104 9106 9022 0 -1 4202560 73757 0 0 0 148143 79 0 0 20 0 2 0 274860548 337907712 75475 33554432000 4194304 5965102 140735780915344 140179412837912 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 329988
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 9223
/proc/meminfo: memFree=30786612/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=330708 CPUtime=1541.94 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 74650 0 0 0 154138 56 0 0 20 0 2 0 274860547 338644992 75588 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 82677 75588 191 433 0 82241 0
[pid=9106/tid=9108] ppid=9104 vsize=330708 CPUtime=1542.22 cores=0,2,4,6
/proc/9106/task/9108/stat : 9108 (pwbo2.0) R 9104 9106 9022 0 -1 4202560 73870 0 0 0 154142 80 0 0 20 0 2 0 274860548 338644992 75588 33554432000 4194304 5965102 140735780915344 140179412838440 4401143 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 330708
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 9224
/proc/meminfo: memFree=30781528/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=332148 CPUtime=1601.93 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 75948 0 0 0 160135 58 0 0 20 0 2 0 274860547 340119552 76886 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 83037 76886 191 433 0 82601 0
[pid=9106/tid=9108] ppid=9104 vsize=332148 CPUtime=1602.22 cores=0,2,4,6
/proc/9106/task/9108/stat : 9108 (pwbo2.0) R 9104 9106 9022 0 -1 4202560 75168 0 0 0 160139 83 0 0 20 0 2 0 274860548 340119552 76886 33554432000 4194304 5965102 140735780915344 140179412838392 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 332148
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 9224
/proc/meminfo: memFree=30747056/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=398792 CPUtime=1661.92 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 79494 0 0 0 166130 62 0 0 20 0 2 0 274860547 408363008 80432 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 99698 80432 191 433 0 99262 0
[pid=9106/tid=9108] ppid=9104 vsize=398792 CPUtime=1662.22 cores=0,2,4,6
/proc/9106/task/9108/stat : 9108 (pwbo2.0) R 9104 9106 9022 0 -1 4202560 78714 0 0 0 166134 88 0 0 20 0 2 0 274860548 408363008 80432 33554432000 4194304 5965102 140735780915344 140179412838392 4401107 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 398792
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 9224
/proc/meminfo: memFree=30731448/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=399552 CPUtime=1721.89 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 81379 0 0 0 172124 65 0 0 20 0 2 0 274860547 409141248 82303 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 99888 82303 191 433 0 99452 0
[pid=9106/tid=9108] ppid=9104 vsize=399552 CPUtime=1722.21 cores=0,2,4,6
/proc/9106/task/9108/stat : 9108 (pwbo2.0) R 9104 9106 9022 0 -1 4202560 80599 0 0 0 172129 92 0 0 20 0 2 0 274860548 409141248 82303 33554432000 4194304 5965102 140735780915344 140179412838392 4401015 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 399552
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 9224
/proc/meminfo: memFree=30731076/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=399552 CPUtime=1781.88 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 81383 0 0 0 178123 65 0 0 20 0 2 0 274860547 409141248 82307 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 99888 82307 191 433 0 99452 0
[pid=9106/tid=9108] ppid=9104 vsize=399552 CPUtime=1782.21 cores=0,2,4,6
/proc/9106/task/9108/stat : 9108 (pwbo2.0) R 9104 9106 9022 0 -1 4202560 80603 0 0 0 178128 93 0 0 20 0 2 0 274860548 409141248 82307 33554432000 4194304 5965102 140735780915344 140179412838392 4404600 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 399552
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 9224
/proc/meminfo: memFree=30731076/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=399552 CPUtime=1791.49 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 81383 0 0 0 179084 65 0 0 20 0 2 0 274860547 409141248 82307 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 99888 82307 191 433 0 99452 0
[pid=9106/tid=9108] ppid=9104 vsize=399552 CPUtime=1791.82 cores=0,2,4,6
/proc/9106/task/9108/stat : 9108 (pwbo2.0) R 9104 9106 9022 0 -1 4202560 80603 0 0 0 179089 93 0 0 20 0 2 0 274860548 409141248 82307 33554432000 4194304 5965102 140735780915344 140179412838392 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (KiB) 399552
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 9224
/proc/meminfo: memFree=30731076/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=399552 CPUtime=1794.69 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 81383 0 0 0 179404 65 0 0 20 0 2 0 274860547 409141248 82307 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 99888 82307 191 433 0 99452 0
[pid=9106/tid=9108] ppid=9104 vsize=399552 CPUtime=1795.02 cores=0,2,4,6
/proc/9106/task/9108/stat : 9108 (pwbo2.0) R 9104 9106 9022 0 -1 4202560 80603 0 0 0 179409 93 0 0 20 0 2 0 274860548 409141248 82307 33554432000 4194304 5965102 140735780915344 140179412838392 5132408 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (KiB) 399552
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 9224
/proc/meminfo: memFree=30731076/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=399552 CPUtime=1797.88 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 81383 0 0 0 179723 65 0 0 20 0 2 0 274860547 409141248 82307 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 99888 82307 191 433 0 99452 0
[pid=9106/tid=9108] ppid=9104 vsize=399552 CPUtime=1798.21 cores=0,2,4,6
/proc/9106/task/9108/stat : 9108 (pwbo2.0) R 9104 9106 9022 0 -1 4202560 80603 0 0 0 179728 93 0 0 20 0 2 0 274860548 409141248 82307 33554432000 4194304 5965102 140735780915344 140179412838392 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 399552
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 9224
/proc/meminfo: memFree=30731076/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=399552 CPUtime=1798.68 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 81383 0 0 0 179803 65 0 0 20 0 2 0 274860547 409141248 82307 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 99888 82307 191 433 0 99452 0
[pid=9106/tid=9108] ppid=9104 vsize=399552 CPUtime=1799.01 cores=0,2,4,6
/proc/9106/task/9108/stat : 9108 (pwbo2.0) R 9104 9106 9022 0 -1 4202560 80603 0 0 0 179808 93 0 0 20 0 2 0 274860548 409141248 82307 33554432000 4194304 5965102 140735780915344 140179412838392 4401556 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.68
Current children cumulated vsize (KiB) 399552
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 9224
/proc/meminfo: memFree=30731076/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=399552 CPUtime=1799.09 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 81383 0 0 0 179844 65 0 0 20 0 2 0 274860547 409141248 82307 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 99888 82307 191 433 0 99452 0
[pid=9106/tid=9108] ppid=9104 vsize=399552 CPUtime=1799.42 cores=0,2,4,6
/proc/9106/task/9108/stat : 9108 (pwbo2.0) R 9104 9106 9022 0 -1 4202560 80603 0 0 0 179849 93 0 0 20 0 2 0 274860548 409141248 82307 33554432000 4194304 5965102 140735780915344 140179412838392 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.09
Current children cumulated vsize (KiB) 399552
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 9224
/proc/meminfo: memFree=30731076/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=399552 CPUtime=1799.48 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 81383 0 0 0 179883 65 0 0 20 0 2 0 274860547 409141248 82307 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 99888 82307 191 433 0 99452 0
[pid=9106/tid=9108] ppid=9104 vsize=399552 CPUtime=1799.81 cores=0,2,4,6
/proc/9106/task/9108/stat : 9108 (pwbo2.0) R 9104 9106 9022 0 -1 4202560 80603 0 0 0 179888 93 0 0 20 0 2 0 274860548 409141248 82307 33554432000 4194304 5965102 140735780915344 140179412838392 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (KiB) 399552
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 9224
/proc/meminfo: memFree=30731076/32873844 swapFree=7108/7108
[pid=9106] ppid=9104 vsize=399552 CPUtime=1799.58 cores=0,2,4,6
/proc/9106/stat : 9106 (pwbo2.0) S 9104 9106 9022 0 -1 4202496 81383 0 0 0 179893 65 0 0 20 0 2 0 274860547 409141248 82307 33554432000 4194304 5965102 140735780915344 140735780914864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9106/statm: 99888 82307 191 433 0 99452 0
[pid=9106/tid=9108] ppid=9104 vsize=399552 CPUtime=1799.91 cores=0,2,4,6
/proc/9106/task/9108/stat : 9108 (pwbo2.0) R 9104 9106 9022 0 -1 4202560 80603 0 0 0 179898 93 0 0 20 0 2 0 274860548 409141248 82307 33554432000 4194304 5965102 140735780915344 140179412838392 4401131 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.58
Current children cumulated vsize (KiB) 399552
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.94
CPU user time (s): 1798.99
CPU system time (s): 0.945856
CPU usage (%): 99.9962
Max. virtual memory (cumulated for all children) (KiB): 399552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 0.945856
maximum resident set size= 329240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81386
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= 132
involuntary context switches= 1886
runsolver used 3.52046 second user time and 9.2416 second system time
The end