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-3726948-1338651472/watcher-3726948-1338651472 -o /tmp/evaluation-result-3726948-1338651472/solver-3726948-1338651472 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3726948-1338651472.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: 1.12 1.66 1.87 3/173 6078
/proc/meminfo: memFree=26364752/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=6928 CPUtime=0 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) R 6076 6078 4479 0 -1 4202496 401 0 0 0 0 0 0 0 20 0 1 0 331272681 7094272 353 33554432000 4194304 5964350 140733732224112 140737093060376 4344327 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 1732 353 167 433 0 437 0
[startup+0.0118079 s]
/proc/loadavg: 1.12 1.66 1.87 3/173 6078
/proc/meminfo: memFree=26364752/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) R 6076 6078 4479 0 -1 4202496 479 0 0 0 0 0 0 0 20 0 1 0 331272681 7405568 431 33554432000 4194304 5964350 140733732224112 140737093060376 4344688 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 1808 431 190 433 0 513 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7232
[startup+0.100195 s]
/proc/loadavg: 1.12 1.66 1.87 3/173 6078
/proc/meminfo: memFree=26364752/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=9932 CPUtime=0.09 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) R 6076 6078 4479 0 -1 4202496 1513 0 0 0 9 0 0 0 20 0 1 0 331272681 10170368 1432 33554432000 4194304 5964350 140733732224112 140737093060376 4344688 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 2483 1432 534 433 0 1188 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9932
[startup+0.300204 s]
/proc/loadavg: 1.12 1.66 1.87 3/173 6078
/proc/meminfo: memFree=26364752/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=91048 CPUtime=0.29 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 5459 0 0 0 28 1 0 0 20 0 2 0 331272681 93233152 4285 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 22762 4285 182 433 0 22326 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 91048
[startup+0.700143 s]
/proc/loadavg: 1.12 1.66 1.87 3/173 6078
/proc/meminfo: memFree=26364752/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=91048 CPUtime=0.69 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 6049 0 0 0 68 1 0 0 20 0 2 0 331272681 93233152 4875 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 22762 4875 183 433 0 22326 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 91048
[startup+1.50017 s]
/proc/loadavg: 1.19 1.66 1.87 3/178 6090
/proc/meminfo: memFree=26312932/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=91048 CPUtime=1.49 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 7063 0 0 0 148 1 0 0 20 0 2 0 331272681 93233152 5889 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 22762 5889 183 433 0 22326 0
[pid=6078/tid=6080] ppid=6076 vsize=91048 CPUtime=1.26 cores=1,3,5,7
/proc/6078/task/6080/stat : 6080 (wbo1.72) R 6076 6078 4479 0 -1 4202560 3593 0 0 0 125 1 0 0 20 0 2 0 331272704 93233152 5889 33554432000 4194304 5964350 140733732224112 139659733710648 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 91048
[startup+3.10019 s]
/proc/loadavg: 1.19 1.66 1.87 3/179 6091
/proc/meminfo: memFree=26247832/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=91048 CPUtime=3.09 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 8766 0 0 0 307 2 0 0 20 0 2 0 331272681 93233152 7592 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 22762 7592 183 433 0 22326 0
[pid=6078/tid=6080] ppid=6076 vsize=91048 CPUtime=2.86 cores=1,3,5,7
/proc/6078/task/6080/stat : 6080 (wbo1.72) R 6076 6078 4479 0 -1 4202560 5296 0 0 0 284 2 0 0 20 0 2 0 331272704 93233152 7592 33554432000 4194304 5964350 140733732224112 139659733710840 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 91048
[startup+6.3002 s]
/proc/loadavg: 1.19 1.66 1.87 3/179 6091
/proc/meminfo: memFree=26224932/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=91048 CPUtime=6.29 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 11617 0 0 0 626 3 0 0 20 0 2 0 331272681 93233152 10443 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 22762 10443 183 433 0 22326 0
[pid=6078/tid=6080] ppid=6076 vsize=91048 CPUtime=6.06 cores=1,3,5,7
/proc/6078/task/6080/stat : 6080 (wbo1.72) R 6076 6078 4479 0 -1 4202560 8147 0 0 0 603 3 0 0 20 0 2 0 331272704 93233152 10443 33554432000 4194304 5964350 140733732224112 139659733710776 4400462 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 91048
[startup+12.7002 s]
/proc/loadavg: 1.32 1.67 1.87 3/179 6091
/proc/meminfo: memFree=26187080/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=91048 CPUtime=12.69 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 16184 0 0 0 1264 5 0 0 20 0 2 0 331272681 93233152 15010 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 22762 15010 183 433 0 22326 0
[pid=6078/tid=6080] ppid=6076 vsize=91048 CPUtime=12.46 cores=1,3,5,7
/proc/6078/task/6080/stat : 6080 (wbo1.72) R 6076 6078 4479 0 -1 4202560 12714 0 0 0 1241 5 0 0 20 0 2 0 331272704 93233152 15010 33554432000 4194304 5964350 140733732224112 139659733710840 5136340 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 91048
[startup+25.5003 s]
/proc/loadavg: 1.42 1.68 1.87 3/179 6091
/proc/meminfo: memFree=26126472/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=157668 CPUtime=25.48 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 22249 0 0 0 2540 8 0 0 20 0 2 0 331272681 161452032 21392 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 39417 21392 183 433 0 38981 0
[pid=6078/tid=6080] ppid=6076 vsize=157668 CPUtime=25.25 cores=1,3,5,7
/proc/6078/task/6080/stat : 6080 (wbo1.72) R 6076 6078 4479 0 -1 4202560 18779 0 0 0 2517 8 0 0 20 0 2 0 331272704 161452032 21392 33554432000 4194304 5964350 140733732224112 139659733710840 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 157668
[startup+51.1003 s]
/proc/loadavg: 1.62 1.71 1.87 3/179 6091
/proc/meminfo: memFree=26047064/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=157668 CPUtime=51.05 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 28124 0 0 0 5094 11 0 0 20 0 2 0 331272681 161452032 27243 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 39417 27243 183 433 0 38981 0
[pid=6078/tid=6080] ppid=6076 vsize=157668 CPUtime=50.83 cores=1,3,5,7
/proc/6078/task/6080/stat : 6080 (wbo1.72) R 6076 6078 4479 0 -1 4202560 24654 0 0 0 5072 11 0 0 20 0 2 0 331272704 161452032 27243 33554432000 4194304 5964350 140733732224112 139659733710840 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 157668
[startup+102.307 s]
/proc/loadavg: 1.85 1.75 1.88 3/179 6091
/proc/meminfo: memFree=25922592/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=158208 CPUtime=102.25 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 35087 0 0 0 10209 16 0 0 20 0 2 0 331272681 162004992 34397 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 39552 34397 183 433 0 39116 0
[pid=6078/tid=6080] ppid=6076 vsize=158208 CPUtime=102.04 cores=1,3,5,7
/proc/6078/task/6080/stat : 6080 (wbo1.72) R 6076 6078 4479 0 -1 4202560 31617 0 0 0 10187 17 0 0 20 0 2 0 331272704 162004992 34397 33554432000 4194304 5964350 140733732224112 139659733710840 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 158208
[startup+162.3 s]
/proc/loadavg: 1.94 1.80 1.89 3/180 6095
/proc/meminfo: memFree=25798892/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=223744 CPUtime=162.23 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 44493 0 0 0 16200 23 0 0 20 0 2 0 331272681 229113856 43803 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 55936 43803 183 433 0 55500 0
[pid=6078/tid=6080] ppid=6076 vsize=223744 CPUtime=162.03 cores=1,3,5,7
/proc/6078/task/6080/stat : 6080 (wbo1.72) R 6076 6078 4479 0 -1 4202560 41023 0 0 0 16178 25 0 0 20 0 2 0 331272704 229113856 43803 33554432000 4194304 5964350 140733732224112 139659733710888 4399858 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 223744
[startup+222.3 s]
/proc/loadavg: 1.98 1.83 1.89 3/179 6095
/proc/meminfo: memFree=25692472/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=224552 CPUtime=222.23 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 51396 0 0 0 22193 30 0 0 20 0 2 0 331272681 229941248 50706 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 56138 50706 183 433 0 55702 0
[pid=6078/tid=6080] ppid=6076 vsize=224552 CPUtime=222.04 cores=1,3,5,7
/proc/6078/task/6080/stat : 6080 (wbo1.72) R 6076 6078 4479 0 -1 4202560 47926 0 0 0 22171 33 0 0 20 0 2 0 331272704 229941248 50706 33554432000 4194304 5964350 140733732224112 139659733710648 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 224552
[startup+282.3 s]
/proc/loadavg: 1.99 1.86 1.90 3/179 6095
/proc/meminfo: memFree=25603840/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=290088 CPUtime=282.22 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 56125 0 0 0 28188 34 0 0 20 0 2 0 331272681 297050112 55435 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 72522 55435 183 433 0 72086 0
[pid=6078/tid=6080] ppid=6076 vsize=290088 CPUtime=282.04 cores=1,3,5,7
/proc/6078/task/6080/stat : 6080 (wbo1.72) R 6076 6078 4479 0 -1 4202560 52655 0 0 0 28166 38 0 0 20 0 2 0 331272704 297050112 55435 33554432000 4194304 5964350 140733732224112 139659733710648 4399989 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 290088
[startup+342.3 s]
/proc/loadavg: 1.99 1.88 1.90 3/179 6095
/proc/meminfo: memFree=25487492/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=290088 CPUtime=342.19 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 67553 0 0 0 34175 44 0 0 20 0 2 0 331272681 297050112 66951 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 72522 66951 183 433 0 72086 0
[pid=6078/tid=6080] ppid=6076 vsize=290088 CPUtime=342.03 cores=1,3,5,7
/proc/6078/task/6080/stat : 6080 (wbo1.72) R 6076 6078 4479 0 -1 4202560 64083 0 0 0 34153 50 0 0 20 0 2 0 331272704 297050112 66951 33554432000 4194304 5964350 140733732224112 139659733710840 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 290088
[startup+402.3 s]
/proc/loadavg: 1.99 1.90 1.91 3/179 6095
/proc/meminfo: memFree=25393460/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=356840 CPUtime=402.14 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 75599 0 0 0 40160 54 0 0 20 0 2 0 331272681 365404160 75161 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 89210 75161 183 433 0 88774 0
[pid=6078/tid=6080] ppid=6076 vsize=356840 CPUtime=401.98 cores=1,3,5,7
/proc/6078/task/6080/stat : 6080 (wbo1.72) R 6076 6078 4479 0 -1 4202560 72129 0 0 0 40138 60 0 0 20 0 2 0 331272704 365404160 75161 33554432000 4194304 5964350 140733732224112 139659733710648 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 356840
[startup+462.3 s]
/proc/loadavg: 1.99 1.92 1.91 3/179 6096
/proc/meminfo: memFree=25338916/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=356840 CPUtime=462.1 cores=1,3,5,7
################
# More data... #
################
/proc/6078/task/6080/stat : 6080 (wbo1.72) R 6076 6078 4479 0 -1 4202560 123943 0 0 0 130050 144 0 0 20 0 2 0 331272704 568598528 127294 33554432000 4194304 5964350 140733732224112 139659733710888 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 555272
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/180 6105
/proc/meminfo: memFree=24727724/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=555272 CPUtime=1361.9 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 132520 0 0 0 136057 133 0 0 20 0 2 0 331272681 568598528 132401 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 138818 132401 183 433 0 138382 0
[pid=6078/tid=6080] ppid=6076 vsize=555272 CPUtime=1361.94 cores=1,3,5,7
/proc/6078/task/6080/stat : 6080 (wbo1.72) R 6076 6078 4479 0 -1 4202560 129050 0 0 0 136041 153 0 0 20 0 2 0 331272704 568598528 132401 33554432000 4194304 5964350 140733732224112 139659733710840 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 555272
[startup+1422.31 s]
/proc/loadavg: 2.04 1.99 1.92 3/180 6128
/proc/meminfo: memFree=24705292/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=620808 CPUtime=1421.9 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 137856 0 0 0 142047 143 0 0 20 0 2 0 331272681 635707392 137737 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 155202 137737 183 433 0 154766 0
[pid=6078/tid=6080] ppid=6076 vsize=620808 CPUtime=1421.94 cores=1,3,5,7
/proc/6078/task/6080/stat : 6080 (wbo1.72) R 6076 6078 4479 0 -1 4202560 134386 0 0 0 142030 164 0 0 20 0 2 0 331272704 635707392 137737 33554432000 4194304 5964350 140733732224112 139659733710840 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 620808
[startup+1482.3 s]
/proc/loadavg: 2.01 1.99 1.92 3/179 6128
/proc/meminfo: memFree=24683300/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=620808 CPUtime=1481.87 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 143096 0 0 0 148037 150 0 0 20 0 2 0 331272681 635707392 142977 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 155202 142977 183 433 0 154766 0
[pid=6078/tid=6080] ppid=6076 vsize=620808 CPUtime=1481.94 cores=1,3,5,7
/proc/6078/task/6080/stat : 6080 (wbo1.72) R 6076 6078 4479 0 -1 4202560 139626 0 0 0 148021 173 0 0 20 0 2 0 331272704 635707392 142977 33554432000 4194304 5964350 140733732224112 139659733710648 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 620808
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/179 6128
/proc/meminfo: memFree=24664700/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=620808 CPUtime=1541.87 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 147289 0 0 0 154029 158 0 0 20 0 2 0 331272681 635707392 147170 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 155202 147170 183 433 0 154766 0
[pid=6078/tid=6080] ppid=6076 vsize=620808 CPUtime=1541.94 cores=1,3,5,7
/proc/6078/task/6080/stat : 6080 (wbo1.72) R 6076 6078 4479 0 -1 4202560 143819 0 0 0 154013 181 0 0 20 0 2 0 331272704 635707392 147170 33554432000 4194304 5964350 140733732224112 139659733710888 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 620808
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/179 6128
/proc/meminfo: memFree=24647836/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=620808 CPUtime=1601.86 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 151372 0 0 0 160022 164 0 0 20 0 2 0 331272681 635707392 151253 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 155202 151253 183 433 0 154766 0
[pid=6078/tid=6080] ppid=6076 vsize=620808 CPUtime=1601.95 cores=1,3,5,7
/proc/6078/task/6080/stat : 6080 (wbo1.72) R 6076 6078 4479 0 -1 4202560 147902 0 0 0 160006 189 0 0 20 0 2 0 331272704 635707392 151253 33554432000 4194304 5964350 140733732224112 139659733710648 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 620808
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/178 6128
/proc/meminfo: memFree=24630484/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=686344 CPUtime=1661.85 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 155413 0 0 0 166015 170 0 0 20 0 2 0 331272681 702816256 155294 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 171586 155294 183 433 0 171150 0
[pid=6078/tid=6080] ppid=6076 vsize=686344 CPUtime=1661.95 cores=1,3,5,7
/proc/6078/task/6080/stat : 6080 (wbo1.72) R 6076 6078 4479 0 -1 4202560 151943 0 0 0 166000 195 0 0 20 0 2 0 331272704 702816256 155294 33554432000 4194304 5964350 140733732224112 139659733710840 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 686344
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/179 6129
/proc/meminfo: memFree=24615352/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=686344 CPUtime=1721.84 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 159064 0 0 0 172009 175 0 0 20 0 2 0 331272681 702816256 158945 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 171586 158945 183 433 0 171150 0
[pid=6078/tid=6080] ppid=6076 vsize=686344 CPUtime=1721.95 cores=1,3,5,7
/proc/6078/task/6080/stat : 6080 (wbo1.72) R 6076 6078 4479 0 -1 4202560 155594 0 0 0 171993 202 0 0 20 0 2 0 331272704 702816256 158945 33554432000 4194304 5964350 140733732224112 139659733710648 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 686344
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/179 6129
/proc/meminfo: memFree=24605432/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=686344 CPUtime=1781.84 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 161223 0 0 0 178005 179 0 0 20 0 2 0 331272681 702816256 161104 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 171586 161104 183 433 0 171150 0
[pid=6078/tid=6080] ppid=6076 vsize=686344 CPUtime=1781.95 cores=1,3,5,7
/proc/6078/task/6080/stat : 6080 (wbo1.72) R 6076 6078 4479 0 -1 4202560 157753 0 0 0 177989 206 0 0 20 0 2 0 331272704 702816256 161104 33554432000 4194304 5964350 140733732224112 139659733710648 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 686344
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 1.99 1.92 3/179 6129
/proc/meminfo: memFree=24605556/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=686344 CPUtime=1791.44 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 161241 0 0 0 178965 179 0 0 20 0 2 0 331272681 702816256 161122 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 171586 161122 183 433 0 171150 0
[pid=6078/tid=6080] ppid=6076 vsize=686344 CPUtime=1791.56 cores=1,3,5,7
/proc/6078/task/6080/stat : 6080 (wbo1.72) R 6076 6078 4479 0 -1 4202560 157771 0 0 0 178950 206 0 0 20 0 2 0 331272704 702816256 161122 33554432000 4194304 5964350 140733732224112 139659733710648 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 686344
[startup+1795.1 s]
/proc/loadavg: 2.00 1.99 1.92 3/179 6129
/proc/meminfo: memFree=24605308/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=686344 CPUtime=1794.64 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 161258 0 0 0 179285 179 0 0 20 0 2 0 331272681 702816256 161139 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 171586 161139 183 433 0 171150 0
[pid=6078/tid=6080] ppid=6076 vsize=686344 CPUtime=1794.76 cores=1,3,5,7
/proc/6078/task/6080/stat : 6080 (wbo1.72) R 6076 6078 4479 0 -1 4202560 157788 0 0 0 179270 206 0 0 20 0 2 0 331272704 702816256 161139 33554432000 4194304 5964350 140733732224112 139659733710648 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 686344
[startup+1798.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/179 6129
/proc/meminfo: memFree=24605184/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=686344 CPUtime=1797.83 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 161277 0 0 0 179604 179 0 0 20 0 2 0 331272681 702816256 161158 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 171586 161158 183 433 0 171150 0
[pid=6078/tid=6080] ppid=6076 vsize=686344 CPUtime=1797.95 cores=1,3,5,7
/proc/6078/task/6080/stat : 6080 (wbo1.72) R 6076 6078 4479 0 -1 4202560 157807 0 0 0 179589 206 0 0 20 0 2 0 331272704 702816256 161158 33554432000 4194304 5964350 140733732224112 139659733710648 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 686344
[startup+1799.1 s]
/proc/loadavg: 2.00 1.99 1.92 3/179 6129
/proc/meminfo: memFree=24605184/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=686344 CPUtime=1798.63 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 161288 0 0 0 179684 179 0 0 20 0 2 0 331272681 702816256 161169 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 171586 161169 183 433 0 171150 0
[pid=6078/tid=6080] ppid=6076 vsize=686344 CPUtime=1798.75 cores=1,3,5,7
/proc/6078/task/6080/stat : 6080 (wbo1.72) R 6076 6078 4479 0 -1 4202560 157818 0 0 0 179669 206 0 0 20 0 2 0 331272704 702816256 161169 33554432000 4194304 5964350 140733732224112 139659733710648 4399964 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (KiB) 686344
[startup+1799.5 s]
/proc/loadavg: 2.00 1.99 1.92 3/179 6129
/proc/meminfo: memFree=24605184/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=686344 CPUtime=1799.04 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 161292 0 0 0 179725 179 0 0 20 0 2 0 331272681 702816256 161173 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 171586 161173 183 433 0 171150 0
[pid=6078/tid=6080] ppid=6076 vsize=686344 CPUtime=1799.16 cores=1,3,5,7
/proc/6078/task/6080/stat : 6080 (wbo1.72) R 6076 6078 4479 0 -1 4202560 157822 0 0 0 179710 206 0 0 20 0 2 0 331272704 702816256 161173 33554432000 4194304 5964350 140733732224112 139659733710648 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.04
Current children cumulated vsize (KiB) 686344
[startup+1799.9 s]
/proc/loadavg: 2.00 1.99 1.92 3/179 6129
/proc/meminfo: memFree=24605184/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=686344 CPUtime=1799.43 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 161310 0 0 0 179764 179 0 0 20 0 2 0 331272681 702816256 161191 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 171586 161191 183 433 0 171150 0
[pid=6078/tid=6080] ppid=6076 vsize=686344 CPUtime=1799.55 cores=1,3,5,7
/proc/6078/task/6080/stat : 6080 (wbo1.72) R 6076 6078 4479 0 -1 4202560 157840 0 0 0 179749 206 0 0 20 0 2 0 331272704 702816256 161191 33554432000 4194304 5964350 140733732224112 139659733710648 4399835 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (KiB) 686344
[startup+1800 s]
/proc/loadavg: 2.00 1.99 1.92 3/179 6129
/proc/meminfo: memFree=24605184/32873648 swapFree=6864/6864
[pid=6078] ppid=6076 vsize=686344 CPUtime=1799.53 cores=1,3,5,7
/proc/6078/stat : 6078 (wbo1.72) S 6076 6078 4479 0 -1 4202496 161311 0 0 0 179774 179 0 0 20 0 2 0 331272681 702816256 161192 33554432000 4194304 5964350 140733732224112 140733732223632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6078/statm: 171586 161192 183 433 0 171150 0
[pid=6078/tid=6080] ppid=6076 vsize=686344 CPUtime=1799.65 cores=1,3,5,7
/proc/6078/task/6080/stat : 6080 (wbo1.72) R 6076 6078 4479 0 -1 4202560 157841 0 0 0 179759 206 0 0 20 0 2 0 331272704 702816256 161192 33554432000 4194304 5964350 140733732224112 139659733710648 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (KiB) 686344
Child status: 255
Real time (s): 1800.02
CPU time (s): 1799.92
CPU user time (s): 1797.83
CPU system time (s): 2.09168
CPU usage (%): 99.9946
Max. virtual memory (cumulated for all children) (KiB): 686344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.83
system time used= 2.09168
maximum resident set size= 644792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161317
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= 205
involuntary context switches= 1845
runsolver used 2.67159 second user time and 7.15391 second system time
The end