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 /var/tmp/evaluation-result-3500768-1307998070/watcher-3500768-1307998070 -o /var/tmp/evaluation-result-3500768-1307998070/solver-3500768-1307998070 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500768-1307998070.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: 3.85 3.90 3.77 3/179 20000
/proc/meminfo: memFree=24487844/32950928 swapFree=67054844/67111528
[pid=20000] ppid=19998 vsize=3636 CPUtime=0 cores=0,2,4,6
/proc/20000/stat : 20000 (pwbo1.1) R 19998 20000 17705 0 -1 4202496 494 0 0 0 0 0 0 0 25 0 1 0 990037705 3723264 447 33554432000 4194304 5714118 140735475486464 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/20000/statm: 909 447 166 372 0 350 0
[startup+0.0883869 s]
/proc/loadavg: 3.85 3.90 3.77 3/179 20000
/proc/meminfo: memFree=24487844/32950928 swapFree=67054844/67111528
[pid=20000] ppid=19998 vsize=144572 CPUtime=0.1 cores=0,2,4,6
/proc/20000/stat : 20000 (pwbo1.1) S 19998 20000 17705 0 -1 4202496 3946 0 0 0 9 1 0 0 18 0 3 0 990037705 148041728 3715 33554432000 4194304 5714118 140735475486464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20000/statm: 36143 3718 178 372 0 35768 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 144572
[startup+0.100385 s]
/proc/loadavg: 3.85 3.90 3.77 3/179 20000
/proc/meminfo: memFree=24487844/32950928 swapFree=67054844/67111528
[pid=20000] ppid=19998 vsize=144572 CPUtime=0.12 cores=0,2,4,6
/proc/20000/stat : 20000 (pwbo1.1) S 19998 20000 17705 0 -1 4202496 4380 0 0 0 11 1 0 0 18 0 3 0 990037705 148041728 4149 33554432000 4194304 5714118 140735475486464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20000/statm: 36143 4149 179 372 0 35768 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 144572
[startup+0.300344 s]
/proc/loadavg: 3.85 3.90 3.77 3/179 20000
/proc/meminfo: memFree=24487844/32950928 swapFree=67054844/67111528
[pid=20000] ppid=19998 vsize=144572 CPUtime=0.52 cores=0,2,4,6
/proc/20000/stat : 20000 (pwbo1.1) S 19998 20000 17705 0 -1 4202496 9454 0 0 0 44 8 0 0 18 0 3 0 990037705 148041728 9223 33554432000 4194304 5714118 140735475486464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20000/statm: 36143 9223 179 372 0 35768 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 144572
[startup+0.700269 s]
/proc/loadavg: 3.85 3.90 3.77 3/179 20000
/proc/meminfo: memFree=24487844/32950928 swapFree=67054844/67111528
[pid=20000] ppid=19998 vsize=144572 CPUtime=1.32 cores=0,2,4,6
/proc/20000/stat : 20000 (pwbo1.1) S 19998 20000 17705 0 -1 4202496 12353 0 0 0 121 11 0 0 18 0 3 0 990037705 148041728 12122 33554432000 4194304 5714118 140735475486464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20000/statm: 36143 12122 179 372 0 35768 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 144572
[startup+1.50112 s]
/proc/loadavg: 3.85 3.90 3.77 5/182 20003
/proc/meminfo: memFree=24428204/32950928 swapFree=67054844/67111528
[pid=20000] ppid=19998 vsize=144572 CPUtime=2.92 cores=0,2,4,6
/proc/20000/stat : 20000 (pwbo1.1) S 19998 20000 17705 0 -1 4202496 17272 0 0 0 275 17 0 0 18 0 3 0 990037705 148041728 17041 33554432000 4194304 5714118 140735475486464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20000/statm: 36143 17041 179 372 0 35768 0
[pid=20000/tid=20002] ppid=19998 vsize=144572 CPUtime=1.43 cores=0,2,4,6
/proc/20000/task/20002/stat : 20002 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 10835 0 0 0 130 13 0 0 18 0 3 0 990037711 148041728 17041 33554432000 4194304 5714118 140735475486464 18446744073709551615 4964882 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20000/tid=20003] ppid=19998 vsize=144572 CPUtime=1.42 cores=0,2,4,6
/proc/20000/task/20003/stat : 20003 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 3480 0 0 0 139 3 0 0 23 0 3 0 990037711 148041728 17041 33554432000 4194304 5714118 140735475486464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 144572
[startup+3.10082 s]
/proc/loadavg: 3.85 3.90 3.77 5/182 20003
/proc/meminfo: memFree=24400304/32950928 swapFree=67054844/67111528
[pid=20000] ppid=19998 vsize=144572 CPUtime=6.12 cores=0,2,4,6
/proc/20000/stat : 20000 (pwbo1.1) S 19998 20000 17705 0 -1 4202496 23585 0 0 0 585 27 0 0 18 0 3 0 990037705 148041728 23290 33554432000 4194304 5714118 140735475486464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20000/statm: 36143 23290 179 372 0 35768 0
[pid=20000/tid=20002] ppid=19998 vsize=144572 CPUtime=3.02 cores=0,2,4,6
/proc/20000/task/20002/stat : 20002 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 14608 0 0 0 282 20 0 0 18 0 3 0 990037711 148041728 23290 33554432000 4194304 5714118 140735475486464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20000/tid=20003] ppid=19998 vsize=144572 CPUtime=3.02 cores=0,2,4,6
/proc/20000/task/20003/stat : 20003 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 6020 0 0 0 296 6 0 0 25 0 3 0 990037711 148041728 23290 33554432000 4194304 5714118 140735475486464 18446744073709551615 4323034 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 144572
[startup+6.30122 s]
/proc/loadavg: 3.86 3.90 3.77 5/182 20003
/proc/meminfo: memFree=24368004/32950928 swapFree=67054844/67111528
[pid=20000] ppid=19998 vsize=144572 CPUtime=12.52 cores=0,2,4,6
/proc/20000/stat : 20000 (pwbo1.1) S 19998 20000 17705 0 -1 4202496 26225 0 0 0 1218 34 0 0 18 0 3 0 990037705 148041728 25930 33554432000 4194304 5714118 140735475486464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20000/statm: 36143 25930 179 372 0 35768 0
[pid=20000/tid=20002] ppid=19998 vsize=144572 CPUtime=6.22 cores=0,2,4,6
/proc/20000/task/20002/stat : 20002 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 16118 0 0 0 596 26 0 0 25 0 3 0 990037711 148041728 25930 33554432000 4194304 5714118 140735475486464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20000/tid=20003] ppid=19998 vsize=144572 CPUtime=6.23 cores=0,2,4,6
/proc/20000/task/20003/stat : 20003 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 7150 0 0 0 616 7 0 0 25 0 3 0 990037711 148041728 25930 33554432000 4194304 5714118 140735475486464 18446744073709551615 4322968 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 144572
[startup+12.701 s]
/proc/loadavg: 3.87 3.90 3.77 5/182 20003
/proc/meminfo: memFree=24324392/32950928 swapFree=67054844/67111528
[pid=20000] ppid=19998 vsize=210252 CPUtime=25.32 cores=0,2,4,6
/proc/20000/stat : 20000 (pwbo1.1) S 19998 20000 17705 0 -1 4202496 33705 0 0 0 2483 49 0 0 18 0 3 0 990037705 215298048 33410 33554432000 4194304 5714118 140735475486464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20000/statm: 52563 33410 180 372 0 52188 0
[pid=20000/tid=20002] ppid=19998 vsize=210252 CPUtime=12.62 cores=0,2,4,6
/proc/20000/task/20002/stat : 20002 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 19051 0 0 0 1225 37 0 0 22 0 3 0 990037711 215298048 33410 33554432000 4194304 5714118 140735475486464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20000/tid=20003] ppid=19998 vsize=210252 CPUtime=12.63 cores=0,2,4,6
/proc/20000/task/20003/stat : 20003 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 11697 0 0 0 1252 11 0 0 25 0 3 0 990037711 215298048 33410 33554432000 4194304 5714118 140735475486464 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 210252
[startup+25.5006 s]
/proc/loadavg: 3.90 3.91 3.78 5/182 20004
/proc/meminfo: memFree=24308056/32950928 swapFree=67054844/67111528
[pid=20000] ppid=19998 vsize=210252 CPUtime=50.92 cores=0,2,4,6
/proc/20000/stat : 20000 (pwbo1.1) S 19998 20000 17705 0 -1 4202496 35173 0 0 0 5031 61 0 0 18 0 3 0 990037705 215298048 34878 33554432000 4194304 5714118 140735475486464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20000/statm: 52563 34878 180 372 0 52188 0
[pid=20000/tid=20002] ppid=19998 vsize=210252 CPUtime=25.42 cores=0,2,4,6
/proc/20000/task/20002/stat : 20002 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 20330 0 0 0 2495 47 0 0 25 0 3 0 990037711 215298048 34878 33554432000 4194304 5714118 140735475486464 18446744073709551615 4319206 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20000/tid=20003] ppid=19998 vsize=210252 CPUtime=25.43 cores=0,2,4,6
/proc/20000/task/20003/stat : 20003 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 11886 0 0 0 2530 13 0 0 25 0 3 0 990037711 215298048 34878 33554432000 4194304 5714118 140735475486464 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 210252
[startup+51.1008 s]
/proc/loadavg: 3.93 3.91 3.78 5/182 20004
/proc/meminfo: memFree=24270536/32950928 swapFree=67054844/67111528
[pid=20000] ppid=19998 vsize=210252 CPUtime=102.12 cores=0,2,4,6
/proc/20000/stat : 20000 (pwbo1.1) S 19998 20000 17705 0 -1 4202496 41114 0 0 0 10118 94 0 0 18 0 3 0 990037705 215298048 40740 33554432000 4194304 5714118 140735475486464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20000/statm: 52563 40740 180 372 0 52188 0
[pid=20000/tid=20002] ppid=19998 vsize=210252 CPUtime=51.02 cores=0,2,4,6
/proc/20000/task/20002/stat : 20002 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 23860 0 0 0 5026 76 0 0 25 0 3 0 990037711 215298048 40740 33554432000 4194304 5714118 140735475486464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20000/tid=20003] ppid=19998 vsize=210252 CPUtime=51.02 cores=0,2,4,6
/proc/20000/task/20003/stat : 20003 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 14297 0 0 0 5085 17 0 0 25 0 3 0 990037711 215298048 40740 33554432000 4194304 5714118 140735475486464 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 210252
[startup+102.306 s]
/proc/loadavg: 3.97 3.92 3.79 5/182 20006
/proc/meminfo: memFree=24211456/32950928 swapFree=67054844/67111528
[pid=20000] ppid=19998 vsize=275860 CPUtime=204.53 cores=0,2,4,6
/proc/20000/stat : 20000 (pwbo1.1) S 19998 20000 17705 0 -1 4202496 51982 0 0 0 20305 148 0 0 18 0 3 0 990037705 282480640 51608 33554432000 4194304 5714118 140735475486464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20000/statm: 68965 51608 180 372 0 68590 0
[pid=20000/tid=20002] ppid=19998 vsize=275860 CPUtime=102.23 cores=0,2,4,6
/proc/20000/task/20002/stat : 20002 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 30123 0 0 0 10100 123 0 0 25 0 3 0 990037711 282480640 51608 33554432000 4194304 5714118 140735475486464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20000/tid=20003] ppid=19998 vsize=275860 CPUtime=102.23 cores=0,2,4,6
/proc/20000/task/20003/stat : 20003 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 18902 0 0 0 10198 25 0 0 25 0 3 0 990037711 282480640 51608 33554432000 4194304 5714118 140735475486464 18446744073709551615 4323015 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.53
Current children cumulated vsize (KiB) 275860
[startup+162.301 s]
/proc/loadavg: 3.99 3.94 3.80 5/182 20007
/proc/meminfo: memFree=24175816/32950928 swapFree=67054844/67111528
[pid=20000] ppid=19998 vsize=275860 CPUtime=324.52 cores=0,2,4,6
/proc/20000/stat : 20000 (pwbo1.1) S 19998 20000 17705 0 -1 4202496 56164 0 0 0 32270 182 0 0 18 0 3 0 990037705 282480640 55790 33554432000 4194304 5714118 140735475486464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20000/statm: 68965 55790 180 372 0 68590 0
[pid=20000/tid=20002] ppid=19998 vsize=275860 CPUtime=162.22 cores=0,2,4,6
/proc/20000/task/20002/stat : 20002 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 30496 0 0 0 16073 149 0 0 25 0 3 0 990037711 282480640 55790 33554432000 4194304 5714118 140735475486464 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20000/tid=20003] ppid=19998 vsize=275860 CPUtime=162.23 cores=0,2,4,6
/proc/20000/task/20003/stat : 20003 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 22711 0 0 0 16191 32 0 0 25 0 3 0 990037711 282480640 55790 33554432000 4194304 5714118 140735475486464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 324.52
Current children cumulated vsize (KiB) 275860
[startup+222.301 s]
/proc/loadavg: 3.99 3.94 3.81 5/182 20009
/proc/meminfo: memFree=24097144/32950928 swapFree=67054844/67111528
[pid=20000] ppid=19998 vsize=341720 CPUtime=444.53 cores=0,2,4,6
/proc/20000/stat : 20000 (pwbo1.1) S 19998 20000 17705 0 -1 4202496 65198 0 0 0 44209 244 0 0 18 0 3 0 990037705 349921280 64785 33554432000 4194304 5714118 140735475486464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20000/statm: 85430 64785 180 372 0 85055 0
[pid=20000/tid=20002] ppid=19998 vsize=341720 CPUtime=222.23 cores=0,2,4,6
/proc/20000/task/20002/stat : 20002 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 39459 0 0 0 22019 204 0 0 25 0 3 0 990037711 349921280 64785 33554432000 4194304 5714118 140735475486464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20000/tid=20003] ppid=19998 vsize=341720 CPUtime=222.23 cores=0,2,4,6
/proc/20000/task/20003/stat : 20003 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 22782 0 0 0 22184 39 0 0 25 0 3 0 990037711 349921280 64785 33554432000 4194304 5714118 140735475486464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 444.53
Current children cumulated vsize (KiB) 341720
[startup+282.3 s]
/proc/loadavg: 3.99 3.95 3.82 5/182 20010
/proc/meminfo: memFree=24018344/32950928 swapFree=67054844/67111528
[pid=20000] ppid=19998 vsize=341396 CPUtime=564.53 cores=0,2,4,6
/proc/20000/stat : 20000 (pwbo1.1) S 19998 20000 17705 0 -1 4202496 73369 0 0 0 56144 309 0 0 18 0 3 0 990037705 349589504 72857 33554432000 4194304 5714118 140735475486464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20000/statm: 85349 72857 180 372 0 84974 0
[pid=20000/tid=20002] ppid=19998 vsize=341396 CPUtime=282.23 cores=0,2,4,6
/proc/20000/task/20002/stat : 20002 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 46633 0 0 0 27964 259 0 0 25 0 3 0 990037711 349589504 72857 33554432000 4194304 5714118 140735475486464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20000/tid=20003] ppid=19998 vsize=341396 CPUtime=282.23 cores=0,2,4,6
/proc/20000/task/20003/stat : 20003 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 23779 0 0 0 28174 49 0 0 25 0 3 0 990037711 349589504 72857 33554432000 4194304 5714118 140735475486464 18446744073709551615 4319192 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 564.53
Current children cumulated vsize (KiB) 341396
[startup+342.301 s]
/proc/loadavg: 3.99 3.96 3.83 5/182 20012
/proc/meminfo: memFree=23995464/32950928 swapFree=67054844/67111528
[pid=20000] ppid=19998 vsize=341396 CPUtime=684.53 cores=0,2,4,6
/proc/20000/stat : 20000 (pwbo1.1) S 19998 20000 17705 0 -1 4202496 75654 0 0 0 68109 344 0 0 18 0 3 0 990037705 349589504 75142 33554432000 4194304 5714118 140735475486464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20000/statm: 85349 75142 180 372 0 84974 0
[pid=20000/tid=20002] ppid=19998 vsize=341396 CPUtime=342.23 cores=0,2,4,6
/proc/20000/task/20002/stat : 20002 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 46661 0 0 0 33937 286 0 0 25 0 3 0 990037711 349589504 75142 33554432000 4194304 5714118 140735475486464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20000/tid=20003] ppid=19998 vsize=341396 CPUtime=342.23 cores=0,2,4,6
/proc/20000/task/20003/stat : 20003 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 26036 0 0 0 34166 57 0 0 25 0 3 0 990037711 349589504 75142 33554432000 4194304 5714118 140735475486464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.53
Current children cumulated vsize (KiB) 341396
[startup+402.301 s]
/proc/loadavg: 3.99 3.96 3.83 5/182 20014
/proc/meminfo: memFree=23961420/32950928 swapFree=67054844/67111528
[pid=20000] ppid=19998 vsize=341504 CPUtime=804.54 cores=0,2,4,6
/proc/20000/stat : 20000 (pwbo1.1) S 19998 20000 17705 0 -1 4202496 78130 0 0 0 80078 376 0 0 18 0 3 0 990037705 349700096 77618 33554432000 4194304 5714118 140735475486464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20000/statm: 85376 77618 180 372 0 85001 0
[pid=20000/tid=20002] ppid=19998 vsize=341504 CPUtime=402.24 cores=0,2,4,6
/proc/20000/task/20002/stat : 20002 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 46719 0 0 0 39915 309 0 0 25 0 3 0 990037711 349700096 77618 33554432000 4194304 5714118 140735475486464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20000/tid=20003] ppid=19998 vsize=341504 CPUtime=402.24 cores=0,2,4,6
/proc/20000/task/20003/stat : 20003 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 28454 0 0 0 40157 67 0 0 25 0 3 0 990037711 349700096 77618 33554432000 4194304 5714118 140735475486464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.54
Current children cumulated vsize (KiB) 341504
[startup+462.301 s]
/proc/loadavg: 3.99 3.97 3.84 5/182 20015
/proc/meminfo: memFree=23928624/32950928 swapFree=67054844/67111528
[pid=20000] ppid=19998 vsize=341504 CPUtime=924.55 cores=0,2,4,6
/proc/20000/stat : 20000 (pwbo1.1) S 19998 20000 17705 0 -1 4202496 80991 0 0 0 92041 414 0 0 18 0 3 0 990037705 349700096 80479 33554432000 4194304 5714118 140735475486464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20000/statm: 85376 80479 180 372 0 85001 0
[pid=20000/tid=20002] ppid=19998 vsize=341504 CPUtime=462.24 cores=0,2,4,6
/proc/20000/task/20002/stat : 20002 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 46836 0 0 0 45888 336 0 0 25 0 3 0 990037711 349700096 80479 33554432000 4194304 5714118 140735475486464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20000/tid=20003] ppid=19998 vsize=341504 CPUtime=462.23 cores=0,2,4,6
/proc/20000/task/20003/stat : 20003 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 31198 0 0 0 46146 77 0 0 25 0 3 0 990037711 349700096 80479 33554432000 4194304 5714118 140735475486464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.55
Current children cumulated vsize (KiB) 341504
[startup+522.3 s]
/proc/loadavg: 3.99 3.97 3.85 5/182 20017
/proc/meminfo: memFree=23919028/32950928 swapFree=67054844/67111528
[pid=20000] ppid=19998 vsize=341504 CPUtime=1044.55 cores=0,2,4,6
/proc/20000/stat : 20000 (pwbo1.1) S 19998 20000 17705 0 -1 4202496 81160 0 0 0 104005 450 0 0 18 0 3 0 990037705 349700096 80648 33554432000 4194304 5714118 140735475486464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20000/statm: 85376 80648 180 372 0 85001 0
[pid=20000/tid=20002] ppid=19998 vsize=341504 CPUtime=522.24 cores=0,2,4,6
/proc/20000/task/20002/stat : 20002 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 46836 0 0 0 51858 366 0 0 25 0 3 0 990037711 349700096 80648 33554432000 4194304 5714118 140735475486464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20000/tid=20003] ppid=19998 vsize=341504 CPUtime=522.23 cores=0,2,4,6
/proc/20000/task/20003/stat : 20003 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 31367 0 0 0 52140 83 0 0 25 0 3 0 990037711 349700096 80648 33554432000 4194304 5714118 140735475486464 18446744073709551615 4323002 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.55
Current children cumulated vsize (KiB) 341504
[startup+582.301 s]
/proc/loadavg: 3.99 3.97 3.85 5/182 20018
/proc/meminfo: memFree=23910656/32950928 swapFree=67054844/67111528
[pid=20000] ppid=19998 vsize=341504 CPUtime=1164.55 cores=0,2,4,6
/proc/20000/stat : 20000 (pwbo1.1) S 19998 20000 17705 0 -1 4202496 81360 0 0 0 115973 482 0 0 18 0 3 0 990037705 349700096 80848 33554432000 4194304 5714118 140735475486464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20000/statm: 85376 80848 180 372 0 85001 0
[pid=20000/tid=20002] ppid=19998 vsize=341504 CPUtime=582.24 cores=0,2,4,6
/proc/20000/task/20002/stat : 20002 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 46836 0 0 0 57832 392 0 0 25 0 3 0 990037711 349700096 80848 33554432000 4194304 5714118 140735475486464 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20000/tid=20003] ppid=19998 vsize=341504 CPUtime=582.24 cores=0,2,4,6
/proc/20000/task/20003/stat : 20003 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 31567 0 0 0 58135 89 0 0 25 0 3 0 990037711 349700096 80848 33554432000 4194304 5714118 140735475486464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1164.55
Current children cumulated vsize (KiB) 341504
[startup+642.301 s]
/proc/loadavg: 3.99 3.97 3.86 5/182 20020
/proc/meminfo: memFree=23873920/32950928 swapFree=67054844/67111528
[pid=20000] ppid=19998 vsize=407040 CPUtime=1284.56 cores=0,2,4,6
/proc/20000/stat : 20000 (pwbo1.1) S 19998 20000 17705 0 -1 4202496 84182 0 0 0 127934 522 0 0 18 0 3 0 990037705 416808960 83670 33554432000 4194304 5714118 140735475486464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20000/statm: 101760 83670 180 372 0 101385 0
[pid=20000/tid=20002] ppid=19998 vsize=407040 CPUtime=642.25 cores=0,2,4,6
/proc/20000/task/20002/stat : 20002 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 46836 0 0 0 63801 424 0 0 25 0 3 0 990037711 416808960 83670 33554432000 4194304 5714118 140735475486464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20000/tid=20003] ppid=19998 vsize=407040 CPUtime=642.24 cores=0,2,4,6
/proc/20000/task/20003/stat : 20003 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 34389 0 0 0 64127 97 0 0 25 0 3 0 990037711 416808960 83670 33554432000 4194304 5714118 140735475486464 18446744073709551615 4319301 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1284.56
Current children cumulated vsize (KiB) 407040
[startup+702.301 s]
/proc/loadavg: 4.04 3.99 3.87 5/182 20022
/proc/meminfo: memFree=23871156/32950928 swapFree=67054844/67111528
[pid=20000] ppid=19998 vsize=341504 CPUtime=1404.56 cores=0,2,4,6
/proc/20000/stat : 20000 (pwbo1.1) S 19998 20000 17705 0 -1 4202496 84218 0 0 0 139906 550 0 0 18 0 3 0 990037705 349700096 78770 33554432000 4194304 5714118 140735475486464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20000/statm: 85376 78770 180 372 0 85001 0
[pid=20000/tid=20002] ppid=19998 vsize=341504 CPUtime=702.25 cores=0,2,4,6
/proc/20000/task/20002/stat : 20002 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 46836 0 0 0 69780 445 0 0 25 0 3 0 990037711 349700096 78770 33554432000 4194304 5714118 140735475486464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20000/tid=20003] ppid=19998 vsize=341504 CPUtime=702.25 cores=0,2,4,6
/proc/20000/task/20003/stat : 20003 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 34425 0 0 0 70120 105 0 0 25 0 3 0 990037711 349700096 78770 33554432000 4194304 5714118 140735475486464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.56
Current children cumulated vsize (KiB) 341504
[startup+762.306 s]
/proc/loadavg: 4.01 3.99 3.87 5/182 20023
/proc/meminfo: memFree=23866016/32950928 swapFree=67054844/67111528
[pid=20000] ppid=19998 vsize=341504 CPUtime=1524.58 cores=0,2,4,6
/proc/20000/stat : 20000 (pwbo1.1) S 19998 20000 17705 0 -1 4202496 84310 0 0 0 151877 581 0 0 18 0 3 0 990037705 349700096 78862 33554432000 4194304 5714118 140735475486464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20000/statm: 85376 78862 180 372 0 85001 0
[pid=20000/tid=20002] ppid=19998 vsize=341504 CPUtime=762.25 cores=0,2,4,6
/proc/20000/task/20002/stat : 20002 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 46928 0 0 0 75759 466 0 0 25 0 3 0 990037711 349700096 78862 33554432000 4194304 5714118 140735475486464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20000/tid=20003] ppid=19998 vsize=341504 CPUtime=762.25 cores=0,2,4,6
/proc/20000/task/20003/stat : 20003 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 34425 0 0 0 76111 114 0 0 25 0 3 0 990037711 349700096 78862 33554432000 4194304 5714118 140735475486464 18446744073709551615 4323034 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.58
Current children cumulated vsize (KiB) 341504
[startup+822.301 s]
/proc/loadavg: 4.00 3.99 3.88 5/182 20034
/proc/meminfo: memFree=23790356/32950928 swapFree=67054844/67111528
[pid=20000] ppid=19998 vsize=407040 CPUtime=1644.56 cores=0,2,4,6
/proc/20000/stat : 20000 (pwbo1.1) S 19998 20000 17705 0 -1 4202496 99299 0 0 0 163775 681 0 0 18 0 3 0 990037705 416808960 93851 33554432000 4194304 5714118 140735475486464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20000/statm: 101760 93851 180 372 0 101385 0
[pid=20000/tid=20002] ppid=19998 vsize=407040 CPUtime=822.25 cores=0,2,4,6
/proc/20000/task/20002/stat : 20002 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 61915 0 0 0 81667 558 0 0 25 0 3 0 990037711 416808960 93851 33554432000 4194304 5714118 140735475486464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20000/tid=20003] ppid=19998 vsize=407040 CPUtime=822.25 cores=0,2,4,6
/proc/20000/task/20003/stat : 20003 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 34427 0 0 0 82102 123 0 0 25 0 3 0 990037711 416808960 93851 33554432000 4194304 5714118 140735475486464 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.56
Current children cumulated vsize (KiB) 407040
[startup+882.301 s]
/proc/loadavg: 4.00 3.99 3.89 5/182 20035
/proc/meminfo: memFree=23780516/32950928 swapFree=67054844/67111528
[pid=20000] ppid=19998 vsize=407040 CPUtime=1764.57 cores=0,2,4,6
/proc/20000/stat : 20000 (pwbo1.1) S 19998 20000 17705 0 -1 4202496 100341 0 0 0 175738 719 0 0 18 0 3 0 990037705 416808960 94893 33554432000 4194304 5714118 140735475486464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20000/statm: 101760 94893 180 372 0 101385 0
[pid=20000/tid=20002] ppid=19998 vsize=407040 CPUtime=882.25 cores=0,2,4,6
/proc/20000/task/20002/stat : 20002 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 61915 0 0 0 87638 587 0 0 25 0 3 0 990037711 416808960 94893 33554432000 4194304 5714118 140735475486464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20000/tid=20003] ppid=19998 vsize=407040 CPUtime=882.24 cores=0,2,4,6
/proc/20000/task/20003/stat : 20003 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 35469 0 0 0 88093 131 0 0 25 0 3 0 990037711 416808960 94893 33554432000 4194304 5714118 140735475486464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.57
Current children cumulated vsize (KiB) 407040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.101 s]
/proc/loadavg: 3.84 3.95 3.88 3/174 20061
/proc/meminfo: memFree=24135792/32950928 swapFree=67054844/67111528
[pid=20000] ppid=19998 vsize=407040 CPUtime=1800.18 cores=0,2,4,6
/proc/20000/stat : 20000 (pwbo1.1) S 19998 20000 17705 0 -1 4202496 100364 0 0 0 179286 732 0 0 18 0 3 0 990037705 416808960 94916 33554432000 4194304 5714118 140735475486464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20000/statm: 101760 94916 180 372 0 101385 0
[pid=20000/tid=20002] ppid=19998 vsize=407040 CPUtime=900.05 cores=0,2,4,6
/proc/20000/task/20002/stat : 20002 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 61915 0 0 0 89409 596 0 0 25 0 3 0 990037711 416808960 94916 33554432000 4194304 5714118 140735475486464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20000/tid=20003] ppid=19998 vsize=407040 CPUtime=900.05 cores=0,2,4,6
/proc/20000/task/20003/stat : 20003 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 35492 0 0 0 89870 135 0 0 25 0 3 0 990037711 416808960 94916 33554432000 4194304 5714118 140735475486464 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 407040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.101 s]
/proc/loadavg: 3.84 3.95 3.88 3/174 20061
/proc/meminfo: memFree=24135792/32950928 swapFree=67054844/67111528
[pid=20000] ppid=19998 vsize=407040 CPUtime=1800.18 cores=0,2,4,6
/proc/20000/stat : 20000 (pwbo1.1) S 19998 20000 17705 0 -1 4202496 100364 0 0 0 179286 732 0 0 18 0 3 0 990037705 416808960 94916 33554432000 4194304 5714118 140735475486464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/20000/statm: 101760 94916 180 372 0 101385 0
[pid=20000/tid=20002] ppid=19998 vsize=407040 CPUtime=900.05 cores=0,2,4,6
/proc/20000/task/20002/stat : 20002 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 61915 0 0 0 89409 596 0 0 25 0 3 0 990037711 416808960 94916 33554432000 4194304 5714118 140735475486464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=20000/tid=20003] ppid=19998 vsize=407040 CPUtime=900.05 cores=0,2,4,6
/proc/20000/task/20003/stat : 20003 (pwbo1.1) R 19998 20000 17705 0 -1 4202560 35492 0 0 0 89870 135 0 0 25 0 3 0 990037711 416808960 94916 33554432000 4194304 5714118 140735475486464 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 407040
Child status: 0
Real time (s): 900.129
CPU time (s): 1800.22
CPU user time (s): 1792.88
CPU system time (s): 7.34288
CPU usage (%): 199.996
Max. virtual memory (cumulated for all children) (KiB): 407040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.88
system time used= 7.34288
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100369
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= 281
involuntary context switches= 12437
runsolver used 1.56276 second user time and 3.12752 second system time
The end