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-3705761-1338087509/watcher-3705761-1338087509 -o /tmp/evaluation-result-3705761-1338087509/solver-3705761-1338087509 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705761-1338087509.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.97 1.50 1.64 3/177 17935
/proc/meminfo: memFree=27188836/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=83936 CPUtime=0 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 969 0 0 0 0 0 0 0 20 0 2 0 274879447 85950464 913 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 20984 914 194 432 0 20549 0
[pid=17935/tid=17936] ppid=17933 vsize=83936 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 167 0 0 0 0 0 0 0 20 0 2 0 274879447 85950464 914 33554432000 4194304 5963574 140736095041376 140737306666296 4394802 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[startup+0.041526 s]
/proc/loadavg: 1.97 1.50 1.64 3/177 17935
/proc/meminfo: memFree=27188836/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=83936 CPUtime=0.03 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 1122 0 0 0 3 0 0 0 20 0 2 0 274879447 85950464 1066 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 20984 1066 197 432 0 20549 0
[pid=17935/tid=17936] ppid=17933 vsize=83936 CPUtime=0.02 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 319 0 0 0 2 0 0 0 20 0 2 0 274879447 85950464 1066 33554432000 4194304 5963574 140736095041376 140737306666296 5178411 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 83936
[startup+0.100288 s]
/proc/loadavg: 1.97 1.50 1.64 3/177 17935
/proc/meminfo: memFree=27188836/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=83936 CPUtime=0.09 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 1314 0 0 0 9 0 0 0 20 0 2 0 274879447 85950464 1258 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 20984 1258 197 432 0 20549 0
[pid=17935/tid=17936] ppid=17933 vsize=83936 CPUtime=0.08 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 511 0 0 0 8 0 0 0 20 0 2 0 274879447 85950464 1258 33554432000 4194304 5963574 140736095041376 140737306666296 5135572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83936
[startup+0.300249 s]
/proc/loadavg: 1.97 1.50 1.64 3/177 17935
/proc/meminfo: memFree=27188836/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=83936 CPUtime=0.29 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 1771 0 0 0 29 0 0 0 20 0 2 0 274879447 85950464 1715 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 20984 1715 197 432 0 20549 0
[pid=17935/tid=17936] ppid=17933 vsize=83936 CPUtime=0.28 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 968 0 0 0 28 0 0 0 20 0 2 0 274879447 85950464 1715 33554432000 4194304 5963574 140736095041376 139709898696504 4399614 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83936
[startup+0.700251 s]
/proc/loadavg: 1.97 1.50 1.64 3/177 17935
/proc/meminfo: memFree=27188836/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=83936 CPUtime=0.69 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 2460 0 0 0 69 0 0 0 20 0 2 0 274879447 85950464 2404 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 20984 2404 197 432 0 20549 0
[pid=17935/tid=17936] ppid=17933 vsize=83936 CPUtime=0.68 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 1657 0 0 0 68 0 0 0 20 0 2 0 274879447 85950464 2404 33554432000 4194304 5963574 140736095041376 139709898696504 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83936
[startup+1.50025 s]
/proc/loadavg: 1.97 1.51 1.64 3/179 17937
/proc/meminfo: memFree=27178888/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=84080 CPUtime=1.49 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 3006 0 0 0 149 0 0 0 20 0 2 0 274879447 86097920 2950 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 21020 2950 197 432 0 20585 0
[pid=17935/tid=17936] ppid=17933 vsize=84080 CPUtime=1.48 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 2203 0 0 0 148 0 0 0 20 0 2 0 274879447 86097920 2950 33554432000 4194304 5963574 140736095041376 139709898696504 5138270 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84080
[startup+3.10025 s]
/proc/loadavg: 1.97 1.51 1.64 3/179 17937
/proc/meminfo: memFree=27173184/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=84152 CPUtime=3.08 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 3793 0 0 0 308 0 0 0 20 0 2 0 274879447 86171648 3737 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 21038 3737 197 432 0 20603 0
[pid=17935/tid=17936] ppid=17933 vsize=84152 CPUtime=3.08 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 2990 0 0 0 308 0 0 0 20 0 2 0 274879447 86171648 3737 33554432000 4194304 5963574 140736095041376 139709898696216 5135572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 84152
[startup+6.30025 s]
/proc/loadavg: 1.97 1.52 1.64 3/179 17937
/proc/meminfo: memFree=27155716/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=84260 CPUtime=6.29 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 6342 0 0 0 628 1 0 0 20 0 2 0 274879447 86282240 6286 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 21065 6286 197 432 0 20630 0
[pid=17935/tid=17936] ppid=17933 vsize=84260 CPUtime=6.28 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 5539 0 0 0 626 2 0 0 20 0 2 0 274879447 86282240 6286 33554432000 4194304 5963574 140736095041376 139709898696504 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84260
[startup+12.7003 s]
/proc/loadavg: 1.97 1.52 1.64 3/179 17937
/proc/meminfo: memFree=27140960/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=84420 CPUtime=12.69 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 8720 0 0 0 1267 2 0 0 20 0 2 0 274879447 86446080 8664 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 21105 8664 197 432 0 20670 0
[pid=17935/tid=17936] ppid=17933 vsize=84420 CPUtime=12.69 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 7917 0 0 0 1266 3 0 0 20 0 2 0 274879447 86446080 8664 33554432000 4194304 5963574 140736095041376 139709898696504 5135572 0 0 4096 16387 0 0 0 -1 2 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.98 1.55 1.65 3/179 17988
/proc/meminfo: memFree=27182176/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=84948 CPUtime=25.49 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 12592 0 0 0 2546 3 0 0 20 0 2 0 274879447 86986752 12536 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 21237 12536 197 432 0 20802 0
[pid=17935/tid=17936] ppid=17933 vsize=84948 CPUtime=25.48 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 11789 0 0 0 2544 4 0 0 20 0 2 0 274879447 86986752 12536 33554432000 4194304 5963574 140736095041376 139709898696504 4399542 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 84948
[startup+51.1003 s]
/proc/loadavg: 1.98 1.58 1.66 3/179 17988
/proc/meminfo: memFree=27102724/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=150628 CPUtime=51.07 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 20630 0 0 0 5101 6 0 0 20 0 2 0 274879447 154243072 20593 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 37657 20593 197 432 0 37222 0
[pid=17935/tid=17936] ppid=17933 vsize=150628 CPUtime=51.06 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 19827 0 0 0 5099 7 0 0 20 0 2 0 274879447 154243072 20593 33554432000 4194304 5963574 140736095041376 139709898696504 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 150628
[startup+102.306 s]
/proc/loadavg: 2.05 1.66 1.68 3/180 17992
/proc/meminfo: memFree=27002980/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=155020 CPUtime=102.25 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 33034 0 0 0 10214 11 0 0 20 0 2 0 274879447 158740480 33288 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 38755 33288 197 432 0 38320 0
[pid=17935/tid=17936] ppid=17933 vsize=155020 CPUtime=102.25 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 32231 0 0 0 10212 13 0 0 20 0 2 0 274879447 158740480 33288 33554432000 4194304 5963574 140736095041376 139709898696504 4399574 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 155020
[startup+162.3 s]
/proc/loadavg: 2.02 1.72 1.69 3/180 18168
/proc/meminfo: memFree=27054028/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=228564 CPUtime=162.23 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 40399 0 0 0 16209 14 0 0 20 0 2 0 274879447 234049536 40639 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 57141 40639 197 432 0 56706 0
[pid=17935/tid=17936] ppid=17933 vsize=228564 CPUtime=162.24 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 39596 0 0 0 16207 17 0 0 20 0 2 0 274879447 234049536 40639 33554432000 4194304 5963574 140736095041376 139709898696504 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 228564
[startup+222.3 s]
/proc/loadavg: 2.11 1.80 1.72 3/179 18270
/proc/meminfo: memFree=26992224/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=231748 CPUtime=222.2 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 49755 0 0 0 22199 21 0 0 20 0 2 0 274879447 237309952 50092 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 57937 50092 197 432 0 57502 0
[pid=17935/tid=17936] ppid=17933 vsize=231748 CPUtime=222.22 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 48952 0 0 0 22197 25 0 0 20 0 2 0 274879447 237309952 50092 33554432000 4194304 5963574 140736095041376 139709898696504 4399511 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 231748
[startup+282.3 s]
/proc/loadavg: 2.12 1.85 1.74 3/179 18423
/proc/meminfo: memFree=26910424/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=304196 CPUtime=282.15 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 57093 0 0 0 28192 23 0 0 20 0 2 0 274879447 311496704 57633 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 76049 57633 197 432 0 75614 0
[pid=17935/tid=17936] ppid=17933 vsize=304196 CPUtime=282.17 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 56290 0 0 0 28189 28 0 0 20 0 2 0 274879447 311496704 57633 33554432000 4194304 5963574 140736095041376 139709898696696 5135572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 304196
[startup+342.3 s]
/proc/loadavg: 2.15 1.90 1.76 3/179 18423
/proc/meminfo: memFree=26811684/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=307472 CPUtime=342.14 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 64703 0 0 0 34185 29 0 0 20 0 2 0 274879447 314851328 65741 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 76868 65741 197 432 0 76433 0
[pid=17935/tid=17936] ppid=17933 vsize=307472 CPUtime=342.17 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 63900 0 0 0 34182 35 0 0 20 0 2 0 274879447 314851328 65741 33554432000 4194304 5963574 140736095041376 139709898696504 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 307472
[startup+402.3 s]
/proc/loadavg: 2.05 1.92 1.77 3/179 18424
/proc/meminfo: memFree=26707180/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=309732 CPUtime=402.13 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 70254 0 0 0 40179 34 0 0 20 0 2 0 274879447 317165568 71292 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
################
# More data... #
################
/proc/17935/statm: 131915 117551 197 432 0 131480 0
[pid=17935/tid=17936] ppid=17933 vsize=527660 CPUtime=942.11 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 115677 0 0 0 94129 82 0 0 20 0 2 0 274879447 540323840 117551 33554432000 4194304 5963574 140736095041376 139709898696504 4399462 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 527660
[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.86 3/179 18429
/proc/meminfo: memFree=26245468/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=528308 CPUtime=1001.97 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 119809 0 0 0 100126 71 0 0 20 0 2 0 274879447 540987392 120918 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 132077 120918 197 432 0 131642 0
[pid=17935/tid=17936] ppid=17933 vsize=528308 CPUtime=1002.09 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 119006 0 0 0 100122 87 0 0 20 0 2 0 274879447 540987392 120918 33554432000 4194304 5963574 140736095041376 139709898696216 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 528308
[startup+1062.3 s]
/proc/loadavg: 2.06 1.99 1.87 3/179 18429
/proc/meminfo: memFree=26200936/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=528780 CPUtime=1061.93 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 123182 0 0 0 106119 74 0 0 20 0 2 0 274879447 541470720 124328 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 132195 124328 197 432 0 131760 0
[pid=17935/tid=17936] ppid=17933 vsize=528780 CPUtime=1062.05 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 122379 0 0 0 106114 91 0 0 20 0 2 0 274879447 541470720 124328 33554432000 4194304 5963574 140736095041376 139709898696696 4399574 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 528780
[startup+1122.3 s]
/proc/loadavg: 2.02 1.99 1.87 3/179 18429
/proc/meminfo: memFree=26050188/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=596268 CPUtime=1121.9 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 126167 0 0 0 112113 77 0 0 20 0 2 0 274879447 610578432 127322 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 149067 127322 197 432 0 148632 0
[pid=17935/tid=17936] ppid=17933 vsize=596268 CPUtime=1122.04 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 125364 0 0 0 112109 95 0 0 20 0 2 0 274879447 610578432 127322 33554432000 4194304 5963574 140736095041376 139709898696696 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 596268
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/179 18429
/proc/meminfo: memFree=25882168/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=597164 CPUtime=1181.89 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 138048 0 0 0 118106 83 0 0 20 0 2 0 274879447 611495936 139203 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 149291 139203 197 432 0 148856 0
[pid=17935/tid=17936] ppid=17933 vsize=597164 CPUtime=1182.04 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 137245 0 0 0 118103 101 0 0 20 0 2 0 274879447 611495936 139203 33554432000 4194304 5963574 140736095041376 139709898696696 4399937 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 597164
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/179 18429
/proc/meminfo: memFree=25764244/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=597164 CPUtime=1241.88 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 140902 0 0 0 124102 86 0 0 20 0 2 0 274879447 611495936 142057 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 149291 142057 197 432 0 148856 0
[pid=17935/tid=17936] ppid=17933 vsize=597164 CPUtime=1242.04 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 140099 0 0 0 124099 105 0 0 20 0 2 0 274879447 611495936 142057 33554432000 4194304 5963574 140736095041376 139709898696216 4381555 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 597164
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/180 18433
/proc/meminfo: memFree=25674220/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=598712 CPUtime=1301.87 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 141985 0 0 0 130100 87 0 0 20 0 2 0 274879447 613081088 143140 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 149678 143140 197 432 0 149243 0
[pid=17935/tid=17936] ppid=17933 vsize=598712 CPUtime=1302.04 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 141182 0 0 0 130097 107 0 0 20 0 2 0 274879447 613081088 143140 33554432000 4194304 5963574 140736095041376 139709898696504 4399505 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 598712
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/179 18433
/proc/meminfo: memFree=25578280/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=666620 CPUtime=1361.86 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 143455 0 0 0 136098 88 0 0 20 0 2 0 274879447 682618880 144610 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 166655 144610 197 432 0 166220 0
[pid=17935/tid=17936] ppid=17933 vsize=666620 CPUtime=1362.03 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 142652 0 0 0 136094 109 0 0 20 0 2 0 274879447 682618880 144610 33554432000 4194304 5963574 140736095041376 139709898696504 4381137 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 666620
[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.90 3/179 18433
/proc/meminfo: memFree=25467080/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=667016 CPUtime=1421.86 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 147451 0 0 0 142094 92 0 0 20 0 2 0 274879447 683024384 148606 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 166754 148606 197 432 0 166319 0
[pid=17935/tid=17936] ppid=17933 vsize=667016 CPUtime=1422.04 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 146648 0 0 0 142090 114 0 0 20 0 2 0 274879447 683024384 148606 33554432000 4194304 5963574 140736095041376 139709898696216 4399603 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 667016
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 18433
/proc/meminfo: memFree=25354392/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=667884 CPUtime=1481.84 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 149990 0 0 0 148090 94 0 0 20 0 2 0 274879447 683913216 151145 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 166971 151145 197 432 0 166536 0
[pid=17935/tid=17936] ppid=17933 vsize=667884 CPUtime=1482.03 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 149187 0 0 0 148086 117 0 0 20 0 2 0 274879447 683913216 151145 33554432000 4194304 5963574 140736095041376 139709898696216 4381548 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 667884
Solver just ended. Dumping a history of the last processes samples
[startup+1484.7 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 18433
/proc/meminfo: memFree=25352904/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=667884 CPUtime=1484.24 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 149990 0 0 0 148330 94 0 0 20 0 2 0 274879447 683913216 151145 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 166971 151145 197 432 0 166536 0
[pid=17935/tid=17936] ppid=17933 vsize=667884 CPUtime=1484.43 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 149187 0 0 0 148326 117 0 0 20 0 2 0 274879447 683913216 151145 33554432000 4194304 5963574 140736095041376 139709898696216 5142420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1484.24
Current children cumulated vsize (KiB) 667884
[startup+1487.9 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 18433
/proc/meminfo: memFree=25347820/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=667884 CPUtime=1487.44 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 149990 0 0 0 148650 94 0 0 20 0 2 0 274879447 683913216 151145 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 166971 151145 197 432 0 166536 0
[pid=17935/tid=17936] ppid=17933 vsize=667884 CPUtime=1487.63 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 149187 0 0 0 148646 117 0 0 20 0 2 0 274879447 683913216 151145 33554432000 4194304 5963574 140736095041376 139709898696216 4399511 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1487.44
Current children cumulated vsize (KiB) 667884
[startup+1491.1 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 18433
/proc/meminfo: memFree=25343340/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=667380 CPUtime=1490.64 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 149990 0 0 0 148970 94 0 0 20 0 2 0 274879447 683397120 151047 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 166845 151047 197 432 0 166410 0
[pid=17935/tid=17936] ppid=17933 vsize=667380 CPUtime=1490.83 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 149187 0 0 0 148966 117 0 0 20 0 2 0 274879447 683397120 151047 33554432000 4194304 5963574 140736095041376 139709898697240 5121619 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1490.64
Current children cumulated vsize (KiB) 667380
[startup+1491.9 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 18433
/proc/meminfo: memFree=25342100/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=667380 CPUtime=1491.44 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 149990 0 0 0 149050 94 0 0 20 0 2 0 274879447 683397120 151047 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 166845 151047 197 432 0 166410 0
[pid=17935/tid=17936] ppid=17933 vsize=667380 CPUtime=1491.63 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 149187 0 0 0 149046 117 0 0 20 0 2 0 274879447 683397120 151047 33554432000 4194304 5963574 140736095041376 139709898697656 5121391 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1491.44
Current children cumulated vsize (KiB) 667380
[startup+1492.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 18433
/proc/meminfo: memFree=25342100/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=608224 CPUtime=1491.84 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) S 17933 17935 16852 0 -1 4202496 149990 0 0 0 149090 94 0 0 20 0 2 0 274879447 622821376 138909 33554432000 4194304 5963574 140736095041376 140736095040896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 152056 138909 197 432 0 151621 0
[pid=17935/tid=17936] ppid=17933 vsize=608224 CPUtime=1492.03 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (wbo1.7) R 17933 17935 16852 0 -1 4202560 149187 0 0 0 149086 117 0 0 20 0 2 0 274879447 622821376 138909 33554432000 4194304 5963574 140736095041376 139709898697656 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1491.84
Current children cumulated vsize (KiB) 608224
[startup+1492.5 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 18433
/proc/meminfo: memFree=25342100/32873844 swapFree=6088/6088
[pid=17935] ppid=17933 vsize=0 CPUtime=1492.24 cores=0,2,4,6
/proc/17935/stat : 17935 (wbo1.7) R 17933 17935 16852 0 -1 4203524 149991 0 0 0 149106 118 0 0 20 0 1 0 274879447 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17935/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1492.24
Current children cumulated vsize (KiB) 0
Child status: 255
Real time (s): 1492.5
CPU time (s): 1492.26
CPU user time (s): 1491.07
CPU system time (s): 1.18782
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 667884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1491.07
system time used= 1.18782
maximum resident set size= 604580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149991
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= 214
involuntary context switches= 1676
runsolver used 2.37864 second user time and 5.76912 second system time
The end