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-3703633-1338091905/watcher-3703633-1338091905 -o /tmp/evaluation-result-3703633-1338091905/solver-3703633-1338091905 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703633-1338091905.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.92 3.98 3.91 4/178 4690
/proc/meminfo: memFree=30103516/32873648 swapFree=7368/7368
[pid=4690] ppid=4688 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/4690/stat : 4690 (runsolver) D 4688 4690 3829 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 1 0 275314567 12095488 50 33554432000 4194304 5436572 140737142296944 140737142293240 4883175 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/4690/statm: 2953 50 31 304 0 2645 0
[startup+0.0730731 s]
/proc/loadavg: 3.92 3.98 3.91 4/178 4690
/proc/meminfo: memFree=30103516/32873648 swapFree=7368/7368
[pid=4690] ppid=4688 vsize=12284 CPUtime=0.05 cores=0,2,4,6
/proc/4690/stat : 4690 (pwbo2.0) R 4688 4690 3829 0 -1 4202496 2121 0 0 0 5 0 0 0 20 0 1 0 275314567 12578816 2008 33554432000 4194304 5965102 140735627297456 140735627295432 5137146 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 3071 2009 373 433 0 2156 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12284
[startup+0.100348 s]
/proc/loadavg: 3.92 3.98 3.91 4/178 4690
/proc/meminfo: memFree=30103516/32873648 swapFree=7368/7368
[pid=4690] ppid=4688 vsize=14716 CPUtime=0.08 cores=0,2,4,6
/proc/4690/stat : 4690 (pwbo2.0) R 4688 4690 3829 0 -1 4202496 2828 0 0 0 8 0 0 0 20 0 1 0 275314567 15069184 2715 33554432000 4194304 5965102 140735627297456 140735627295432 5137146 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 3679 2715 465 433 0 2764 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14716
[startup+0.300167 s]
/proc/loadavg: 3.92 3.98 3.91 4/178 4690
/proc/meminfo: memFree=30103516/32873648 swapFree=7368/7368
[pid=4690] ppid=4688 vsize=185116 CPUtime=0.41 cores=0,2,4,6
/proc/4690/stat : 4690 (pwbo2.0) S 4688 4690 3829 0 -1 4202496 16819 0 0 0 32 9 0 0 20 0 3 0 275314567 189558784 15772 33554432000 4194304 5965102 140735627297456 140735627296976 4547341 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 46279 15772 203 433 0 45843 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 185116
[startup+0.700182 s]
/proc/loadavg: 3.92 3.98 3.91 4/178 4690
/proc/meminfo: memFree=30103516/32873648 swapFree=7368/7368
[pid=4690] ppid=4688 vsize=185116 CPUtime=1.22 cores=0,2,4,6
/proc/4690/stat : 4690 (pwbo2.0) S 4688 4690 3829 0 -1 4202496 16940 0 0 0 112 10 0 0 20 0 3 0 275314567 189558784 15893 33554432000 4194304 5965102 140735627297456 140735627296976 4547341 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 46279 15893 204 433 0 45843 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 185116
[startup+1.5003 s]
/proc/loadavg: 3.92 3.98 3.91 5/181 4693
/proc/meminfo: memFree=30039012/32873648 swapFree=7368/7368
[pid=4690] ppid=4688 vsize=185116 CPUtime=2.81 cores=0,2,4,6
/proc/4690/stat : 4690 (pwbo2.0) S 4688 4690 3829 0 -1 4202496 16999 0 0 0 271 10 0 0 20 0 3 0 275314567 189558784 15952 33554432000 4194304 5965102 140735627297456 140735627296976 4547341 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 46279 15952 205 433 0 45843 0
[pid=4690/tid=4692] ppid=4688 vsize=185116 CPUtime=1.32 cores=0,2,4,6
/proc/4690/task/4692/stat : 4692 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 5209 0 0 0 125 7 0 0 20 0 3 0 275314582 189558784 15952 33554432000 4194304 5965102 140735627297456 140315485092376 4445775 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4690/tid=4693] ppid=4688 vsize=185116 CPUtime=1.34 cores=0,2,4,6
/proc/4690/task/4693/stat : 4693 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 7067 0 0 0 131 3 0 0 20 0 3 0 275314582 189558784 15952 33554432000 4194304 5965102 140735627297456 140315474602104 4400972 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 185116
[startup+3.1003 s]
/proc/loadavg: 3.92 3.98 3.91 5/181 4693
/proc/meminfo: memFree=30034796/32873648 swapFree=7368/7368
[pid=4690] ppid=4688 vsize=185116 CPUtime=6.01 cores=0,2,4,6
/proc/4690/stat : 4690 (pwbo2.0) S 4688 4690 3829 0 -1 4202496 17164 0 0 0 591 10 0 0 20 0 3 0 275314567 189558784 16117 33554432000 4194304 5965102 140735627297456 140735627296976 4547341 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 46279 16117 205 433 0 45843 0
[pid=4690/tid=4692] ppid=4688 vsize=185116 CPUtime=2.92 cores=0,2,4,6
/proc/4690/task/4692/stat : 4692 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 5341 0 0 0 285 7 0 0 20 0 3 0 275314582 189558784 16117 33554432000 4194304 5965102 140735627297456 140315485092376 5131498 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4690/tid=4693] ppid=4688 vsize=185116 CPUtime=2.94 cores=0,2,4,6
/proc/4690/task/4693/stat : 4693 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 7100 0 0 0 291 3 0 0 20 0 3 0 275314582 189558784 16117 33554432000 4194304 5965102 140735627297456 140315474602296 4404383 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 185116
[startup+6.30034 s]
/proc/loadavg: 3.93 3.98 3.91 5/181 4693
/proc/meminfo: memFree=30024260/32873648 swapFree=7368/7368
[pid=4690] ppid=4688 vsize=185116 CPUtime=12.4 cores=0,2,4,6
/proc/4690/stat : 4690 (pwbo2.0) S 4688 4690 3829 0 -1 4202496 17700 0 0 0 1230 10 0 0 20 0 3 0 275314567 189558784 16653 33554432000 4194304 5965102 140735627297456 140735627296976 4547341 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 46279 16653 205 433 0 45843 0
[pid=4690/tid=4692] ppid=4688 vsize=185116 CPUtime=6.12 cores=0,2,4,6
/proc/4690/task/4692/stat : 4692 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 5720 0 0 0 605 7 0 0 20 0 3 0 275314582 189558784 16653 33554432000 4194304 5965102 140735627297456 140315485092376 5131557 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4690/tid=4693] ppid=4688 vsize=185116 CPUtime=6.14 cores=0,2,4,6
/proc/4690/task/4693/stat : 4693 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 7257 0 0 0 611 3 0 0 20 0 3 0 275314582 189558784 16653 33554432000 4194304 5965102 140735627297456 140315474602232 4400955 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 185116
[startup+12.7003 s]
/proc/loadavg: 3.93 3.98 3.91 5/181 4693
/proc/meminfo: memFree=29985332/32873648 swapFree=7368/7368
[pid=4690] ppid=4688 vsize=185116 CPUtime=25.21 cores=0,2,4,6
/proc/4690/stat : 4690 (pwbo2.0) S 4688 4690 3829 0 -1 4202496 22283 0 0 0 2508 13 0 0 20 0 3 0 275314567 189558784 20043 33554432000 4194304 5965102 140735627297456 140735627296976 4547341 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 46279 20043 205 433 0 45843 0
[pid=4690/tid=4692] ppid=4688 vsize=185116 CPUtime=12.52 cores=0,2,4,6
/proc/4690/task/4692/stat : 4692 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 8126 0 0 0 1244 8 0 0 20 0 3 0 275314582 189558784 20043 33554432000 4194304 5965102 140735627297456 140315485092152 5131650 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4690/tid=4693] ppid=4688 vsize=185116 CPUtime=12.54 cores=0,2,4,6
/proc/4690/task/4693/stat : 4693 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 9434 0 0 0 1249 5 0 0 20 0 3 0 275314582 189558784 20043 33554432000 4194304 5965102 140735627297456 140315474602296 4404383 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 185116
[startup+25.5004 s]
/proc/loadavg: 3.95 3.98 3.91 5/181 4693
/proc/meminfo: memFree=29921208/32873648 swapFree=7368/7368
[pid=4690] ppid=4688 vsize=185116 CPUtime=50.8 cores=0,2,4,6
/proc/4690/stat : 4690 (pwbo2.0) S 4688 4690 3829 0 -1 4202496 37420 0 0 0 5061 19 0 0 20 0 3 0 275314567 189558784 30072 33554432000 4194304 5965102 140735627297456 140735627296976 4547341 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 46279 30072 206 433 0 45843 0
[pid=4690/tid=4692] ppid=4688 vsize=185116 CPUtime=25.32 cores=0,2,4,6
/proc/4690/task/4692/stat : 4692 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 15214 0 0 0 2522 10 0 0 20 0 3 0 275314582 189558784 30072 33554432000 4194304 5965102 140735627297456 140315485092152 5131557 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4690/tid=4693] ppid=4688 vsize=185116 CPUtime=25.33 cores=0,2,4,6
/proc/4690/task/4693/stat : 4693 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 17483 0 0 0 2524 9 0 0 20 0 3 0 275314582 189558784 30072 33554432000 4194304 5965102 140735627297456 140315474602344 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 185116
[startup+51.1003 s]
/proc/loadavg: 3.96 3.98 3.91 5/181 4693
/proc/meminfo: memFree=29790216/32873648 swapFree=7368/7368
[pid=4690] ppid=4688 vsize=317272 CPUtime=101.99 cores=0,2,4,6
/proc/4690/stat : 4690 (pwbo2.0) S 4688 4690 3829 0 -1 4202496 65588 0 0 0 10168 31 0 0 20 0 3 0 275314567 324886528 52094 33554432000 4194304 5965102 140735627297456 140735627296976 4547341 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 79318 52094 206 433 0 78882 0
[pid=4690/tid=4692] ppid=4688 vsize=317272 CPUtime=50.92 cores=0,2,4,6
/proc/4690/task/4692/stat : 4692 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 29845 0 0 0 5078 14 0 0 20 0 3 0 275314582 324886528 52094 33554432000 4194304 5965102 140735627297456 140315485091880 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4690/tid=4693] ppid=4688 vsize=317272 CPUtime=50.93 cores=0,2,4,6
/proc/4690/task/4693/stat : 4693 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 31020 0 0 0 5075 18 0 0 20 0 3 0 275314582 324886528 52094 33554432000 4194304 5965102 140735627297456 140315474602296 4401131 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 101.99
Current children cumulated vsize (KiB) 317272
[startup+102.306 s]
/proc/loadavg: 4.02 4.00 3.92 5/181 4693
/proc/meminfo: memFree=29548212/32873648 swapFree=7368/7368
[pid=4690] ppid=4688 vsize=450240 CPUtime=204.39 cores=0,2,4,6
/proc/4690/stat : 4690 (pwbo2.0) S 4688 4690 3829 0 -1 4202496 98421 0 0 0 20384 55 0 0 20 0 3 0 275314567 461045760 84927 33554432000 4194304 5965102 140735627297456 140735627296976 4547341 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 112560 84927 206 433 0 112124 0
[pid=4690/tid=4692] ppid=4688 vsize=450240 CPUtime=102.13 cores=0,2,4,6
/proc/4690/task/4692/stat : 4692 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 40164 0 0 0 10192 21 0 0 20 0 3 0 275314582 461045760 84927 33554432000 4194304 5965102 140735627297456 140315485091640 4401096 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4690/tid=4693] ppid=4688 vsize=450240 CPUtime=102.14 cores=0,2,4,6
/proc/4690/task/4693/stat : 4693 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 53534 0 0 0 10178 36 0 0 20 0 3 0 275314582 461045760 84927 33554432000 4194304 5965102 140735627297456 140315474602296 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 204.39
Current children cumulated vsize (KiB) 450240
[startup+162.3 s]
/proc/loadavg: 4.01 4.00 3.92 5/181 4694
/proc/meminfo: memFree=29326652/32873648 swapFree=7368/7368
[pid=4690] ppid=4688 vsize=582252 CPUtime=324.36 cores=0,2,4,6
/proc/4690/stat : 4690 (pwbo2.0) S 4688 4690 3829 0 -1 4202496 127520 0 0 0 32361 75 0 0 20 0 3 0 275314567 596226048 114023 33554432000 4194304 5965102 140735627297456 140735627296976 4547341 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 145563 114023 206 433 0 145127 0
[pid=4690/tid=4692] ppid=4688 vsize=582252 CPUtime=162.13 cores=0,2,4,6
/proc/4690/task/4692/stat : 4692 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 48972 0 0 0 16185 28 0 0 20 0 3 0 275314582 596226048 114023 33554432000 4194304 5965102 140735627297456 140315485091640 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4690/tid=4693] ppid=4688 vsize=582252 CPUtime=162.14 cores=0,2,4,6
/proc/4690/task/4693/stat : 4693 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 73825 0 0 0 16163 51 0 0 20 0 3 0 275314582 596226048 114023 33554432000 4194304 5965102 140735627297456 140315474602296 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 324.36
Current children cumulated vsize (KiB) 582252
[startup+222.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 4694
/proc/meminfo: memFree=29284644/32873648 swapFree=7368/7368
[pid=4690] ppid=4688 vsize=582520 CPUtime=444.33 cores=0,2,4,6
/proc/4690/stat : 4690 (pwbo2.0) S 4688 4690 3829 0 -1 4202496 131732 0 0 0 44354 79 0 0 20 0 3 0 275314567 596500480 119123 33554432000 4194304 5965102 140735627297456 140735627296976 4547341 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 145630 119123 206 433 0 145194 0
[pid=4690/tid=4692] ppid=4688 vsize=582520 CPUtime=222.12 cores=0,2,4,6
/proc/4690/task/4692/stat : 4692 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 53127 0 0 0 22178 34 0 0 20 0 3 0 275314582 596500480 119123 33554432000 4194304 5965102 140735627297456 140315485091640 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4690/tid=4693] ppid=4688 vsize=582520 CPUtime=222.14 cores=0,2,4,6
/proc/4690/task/4693/stat : 4693 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 73882 0 0 0 22162 52 0 0 20 0 3 0 275314582 596500480 119123 33554432000 4194304 5965102 140735627297456 140315474602056 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 444.33
Current children cumulated vsize (KiB) 582520
[startup+282.3 s]
/proc/loadavg: 4.07 4.02 3.93 5/181 4694
/proc/meminfo: memFree=29211948/32873648 swapFree=7368/7368
[pid=4690] ppid=4688 vsize=582804 CPUtime=564.28 cores=0,2,4,6
/proc/4690/stat : 4690 (pwbo2.0) S 4688 4690 3829 0 -1 4202496 145343 0 0 0 56337 91 0 0 20 0 3 0 275314567 596791296 132805 33554432000 4194304 5965102 140735627297456 140735627296976 4547341 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 145701 132805 206 433 0 145265 0
[pid=4690/tid=4692] ppid=4688 vsize=582804 CPUtime=282.12 cores=0,2,4,6
/proc/4690/task/4692/stat : 4692 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 57255 0 0 0 28174 38 0 0 20 0 3 0 275314582 596791296 132805 33554432000 4194304 5965102 140735627297456 140315485091640 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4690/tid=4693] ppid=4688 vsize=582804 CPUtime=282.1 cores=0,2,4,6
/proc/4690/task/4693/stat : 4693 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 83365 0 0 0 28149 61 0 0 20 0 3 0 275314582 596791296 132805 33554432000 4194304 5965102 140735627297456 140315474602296 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 564.28
Current children cumulated vsize (KiB) 582804
[startup+342.3 s]
/proc/loadavg: 4.02 4.01 3.93 5/181 4694
/proc/meminfo: memFree=29000680/32873648 swapFree=7368/7368
[pid=4690] ppid=4688 vsize=712520 CPUtime=684.22 cores=0,2,4,6
/proc/4690/stat : 4690 (pwbo2.0) S 4688 4690 3829 0 -1 4202496 169538 0 0 0 68315 107 0 0 20 0 3 0 275314567 729620480 156632 33554432000 4194304 5965102 140735627297456 140735627296976 4547341 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 178130 156632 206 433 0 177694 0
[pid=4690/tid=4692] ppid=4688 vsize=712520 CPUtime=342.13 cores=0,2,4,6
/proc/4690/task/4692/stat : 4692 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 58424 0 0 0 34174 39 0 0 20 0 3 0 275314582 729620480 156632 33554432000 4194304 5965102 140735627297456 140315485092792 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4690/tid=4693] ppid=4688 vsize=712520 CPUtime=342.07 cores=0,2,4,6
/proc/4690/task/4693/stat : 4693 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 106391 0 0 0 34128 79 0 0 20 0 3 0 275314582 729620480 156632 33554432000 4194304 5965102 140735627297456 140315474602296 4401118 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 684.22
Current children cumulated vsize (KiB) 712520
[startup+402.3 s]
/proc/loadavg: 4.01 4.00 3.93 5/181 4694
/proc/meminfo: memFree=28827672/32873648 swapFree=7368/7368
[pid=4690] ppid=4688 vsize=779132 CPUtime=804.17 cores=0,2,4,6
/proc/4690/stat : 4690 (pwbo2.0) S 4688 4690 3829 0 -1 4202496 191605 0 0 0 80290 127 0 0 20 0 3 0 275314567 797831168 178754 33554432000 4194304 5965102 140735627297456 140735627296976 4547341 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 194783 178754 206 433 0 194347 0
[pid=4690/tid=4692] ppid=4688 vsize=779132 CPUtime=402.11 cores=0,2,4,6
/proc/4690/task/4692/stat : 4692 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 58486 0 0 0 40171 40 0 0 20 0 3 0 275314582 797831168 178754 33554432000 4194304 5965102 140735627297456 140315485092792 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4690/tid=4693] ppid=4688 vsize=779132 CPUtime=402.06 cores=0,2,4,6
/proc/4690/task/4693/stat : 4693 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 128396 0 0 0 40107 99 0 0 20 0 3 0 275314582 797831168 178754 33554432000 4194304 5965102 140735627297456 140315474602296 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 804.17
Current children cumulated vsize (KiB) 779132
[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 4695
/proc/meminfo: memFree=28661788/32873648 swapFree=7368/7368
[pid=4690] ppid=4688 vsize=845088 CPUtime=924.11 cores=0,2,4,6
/proc/4690/stat : 4690 (pwbo2.0) S 4688 4690 3829 0 -1 4202496 210413 0 0 0 92268 143 0 0 20 0 3 0 275314567 865370112 195037 33554432000 4194304 5965102 140735627297456 140735627296976 4547341 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 211272 195037 206 433 0 210836 0
[pid=4690/tid=4692] ppid=4688 vsize=845088 CPUtime=462.09 cores=0,2,4,6
/proc/4690/task/4692/stat : 4692 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 58551 0 0 0 46168 41 0 0 20 0 3 0 275314582 865370112 195037 33554432000 4194304 5965102 140735627297456 140315485092680 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4690/tid=4693] ppid=4688 vsize=845088 CPUtime=462.04 cores=0,2,4,6
/proc/4690/task/4693/stat : 4693 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 147139 0 0 0 46088 116 0 0 20 0 3 0 275314582 865370112 195037 33554432000 4194304 5965102 140735627297456 140315474602296 4401155 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 924.11
Current children cumulated vsize (KiB) 845088
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 4698
/proc/meminfo: memFree=28488648/32873648 swapFree=7368/7368
[pid=4690] ppid=4688 vsize=910760 CPUtime=1044.08 cores=0,2,4,6
/proc/4690/stat : 4690 (pwbo2.0) S 4688 4690 3829 0 -1 4202496 230142 0 0 0 104249 159 0 0 20 0 3 0 275314567 932618240 215426 33554432000 4194304 5965102 140735627297456 140735627296976 4547341 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 227690 215426 206 433 0 227254 0
[pid=4690/tid=4692] ppid=4688 vsize=910760 CPUtime=522.09 cores=0,2,4,6
/proc/4690/task/4692/stat : 4692 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 58560 0 0 0 52168 41 0 0 20 0 3 0 275314582 932618240 215426 33554432000 4194304 5965102 140735627297456 140315485092680 4401096 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4690/tid=4693] ppid=4688 vsize=910760 CPUtime=522.04 cores=0,2,4,6
/proc/4690/task/4693/stat : 4693 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 166859 0 0 0 52072 132 0 0 20 0 3 0 275314582 932618240 215426 33554432000 4194304 5965102 140735627297456 140315474602296 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1044.08
Current children cumulated vsize (KiB) 910760
[startup+582.3 s]
/proc/loadavg: 4.04 4.01 3.93 5/181 4698
/proc/meminfo: memFree=28337032/32873648 swapFree=7368/7368
[pid=4690] ppid=4688 vsize=976296 CPUtime=1164.07 cores=0,2,4,6
/proc/4690/stat : 4690 (pwbo2.0) S 4688 4690 3829 0 -1 4202496 246704 0 0 0 116236 171 0 0 20 0 3 0 275314567 999727104 231988 33554432000 4194304 5965102 140735627297456 140735627296976 4547341 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 244074 231988 206 433 0 243638 0
[pid=4690/tid=4692] ppid=4688 vsize=976296 CPUtime=582.1 cores=0,2,4,6
/proc/4690/task/4692/stat : 4692 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 61329 0 0 0 58167 43 0 0 20 0 3 0 275314582 999727104 231988 33554432000 4194304 5965102 140735627297456 140315485092680 4401109 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4690/tid=4693] ppid=4688 vsize=976296 CPUtime=582.04 cores=0,2,4,6
/proc/4690/task/4693/stat : 4693 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 180652 0 0 0 58060 144 0 0 20 0 3 0 275314582 999727104 231988 33554432000 4194304 5965102 140735627297456 140315474602296 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1164.07
Current children cumulated vsize (KiB) 976296
[startup+642.3 s]
/proc/loadavg: 4.01 4.01 3.93 5/181 4698
/proc/meminfo: memFree=28244956/32873648 swapFree=7368/7368
[pid=4690] ppid=4688 vsize=1041964 CPUtime=1284.07 cores=0,2,4,6
/proc/4690/stat : 4690 (pwbo2.0) S 4688 4690 3829 0 -1 4202496 250361 0 0 0 128233 174 0 0 20 0 3 0 275314567 1066971136 235644 33554432000 4194304 5965102 140735627297456 140735627296976 4547341 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 260491 235644 206 433 0 260055 0
[pid=4690/tid=4692] ppid=4688 vsize=1041964 CPUtime=642.11 cores=0,2,4,6
/proc/4690/task/4692/stat : 4692 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 64955 0 0 0 64164 47 0 0 20 0 3 0 275314582 1066971136 235644 33554432000 4194304 5965102 140735627297456 140315485091704 4401475 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4690/tid=4693] ppid=4688 vsize=1041964 CPUtime=642.05 cores=0,2,4,6
/proc/4690/task/4693/stat : 4693 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 180683 0 0 0 64060 145 0 0 20 0 3 0 275314582 1066971136 235644 33554432000 4194304 5965102 140735627297456 140315474602056 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1284.07
Current children cumulated vsize (KiB) 1041964
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 4698
/proc/meminfo: memFree=28144540/32873648 swapFree=7368/7368
[pid=4690] ppid=4688 vsize=1042096 CPUtime=1404.04 cores=0,2,4,6
/proc/4690/stat : 4690 (pwbo2.0) S 4688 4690 3829 0 -1 4202496 255251 0 0 0 140226 178 0 0 20 0 3 0 275314567 1067106304 240529 33554432000 4194304 5965102 140735627297456 140735627296976 4547341 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 260524 240529 206 433 0 260088 0
[pid=4690/tid=4692] ppid=4688 vsize=1042096 CPUtime=702.1 cores=0,2,4,6
/proc/4690/task/4692/stat : 4692 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 69810 0 0 0 70158 52 0 0 20 0 3 0 275314582 1067106304 240529 33554432000 4194304 5965102 140735627297456 140315485091832 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4690/tid=4693] ppid=4688 vsize=1042096 CPUtime=702.04 cores=0,2,4,6
/proc/4690/task/4693/stat : 4693 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 180718 0 0 0 70058 146 0 0 20 0 3 0 275314582 1067106304 240529 33554432000 4194304 5965102 140735627297456 140315474602056 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1404.04
Current children cumulated vsize (KiB) 1042096
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 4699
/proc/meminfo: memFree=28061600/32873648 swapFree=7368/7368
[pid=4690] ppid=4688 vsize=1042240 CPUtime=1524.03 cores=0,2,4,6
/proc/4690/stat : 4690 (pwbo2.0) S 4688 4690 3829 0 -1 4202496 257000 0 0 0 152224 179 0 0 20 0 3 0 275314567 1067253760 242276 33554432000 4194304 5965102 140735627297456 140735627296976 4547341 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 260560 242276 206 433 0 260124 0
[pid=4690/tid=4692] ppid=4688 vsize=1042240 CPUtime=762.11 cores=0,2,4,6
/proc/4690/task/4692/stat : 4692 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 71522 0 0 0 76157 54 0 0 20 0 3 0 275314582 1067253760 242276 33554432000 4194304 5965102 140735627297456 140315485092248 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4690/tid=4693] ppid=4688 vsize=1042240 CPUtime=762.05 cores=0,2,4,6
/proc/4690/task/4693/stat : 4693 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 180755 0 0 0 76058 147 0 0 20 0 3 0 275314582 1067253760 242276 33554432000 4194304 5965102 140735627297456 140315474602056 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1524.03
Current children cumulated vsize (KiB) 1042240
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 4699
/proc/meminfo: memFree=28016660/32873648 swapFree=7368/7368
[pid=4690] ppid=4688 vsize=1042396 CPUtime=1643.99 cores=0,2,4,6
/proc/4690/stat : 4690 (pwbo2.0) S 4688 4690 3829 0 -1 4202496 257110 0 0 0 164220 179 0 0 20 0 3 0 275314567 1067413504 238791 33554432000 4194304 5965102 140735627297456 140735627296976 4547341 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 260599 238791 206 433 0 260163 0
[pid=4690/tid=4692] ppid=4688 vsize=1042396 CPUtime=822.11 cores=0,2,4,6
/proc/4690/task/4692/stat : 4692 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 71586 0 0 0 82155 56 0 0 20 0 3 0 275314582 1067413504 238791 33554432000 4194304 5965102 140735627297456 140315485092680 4401096 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4690/tid=4693] ppid=4688 vsize=1042396 CPUtime=822.05 cores=0,2,4,6
/proc/4690/task/4693/stat : 4693 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 180801 0 0 0 82057 148 0 0 20 0 3 0 275314582 1067413504 238791 33554432000 4194304 5965102 140735627297456 140315474602056 4400972 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1643.99
Current children cumulated vsize (KiB) 1042396
[startup+882.3 s]
/proc/loadavg: 3.95 3.98 3.93 5/180 4740
/proc/meminfo: memFree=29304908/32873648 swapFree=7368/7368
[pid=4690] ppid=4688 vsize=1042828 CPUtime=1763.97 cores=0,2,4,6
/proc/4690/stat : 4690 (pwbo2.0) S 4688 4690 3829 0 -1 4202496 259887 0 0 0 176215 182 0 0 20 0 3 0 275314567 1067855872 241734 33554432000 4194304 5965102 140735627297456 140735627296976 4547341 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 260707 241734 206 433 0 260271 0
[pid=4690/tid=4692] ppid=4688 vsize=1042828 CPUtime=882.11 cores=0,2,4,6
/proc/4690/task/4692/stat : 4692 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 71602 0 0 0 88154 57 0 0 20 0 3 0 275314582 1067855872 241734 33554432000 4194304 5965102 140735627297456 140315485092680 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4690/tid=4693] ppid=4688 vsize=1042828 CPUtime=882.05 cores=0,2,4,6
/proc/4690/task/4693/stat : 4693 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 183562 0 0 0 88053 152 0 0 20 0 3 0 275314582 1067855872 241734 33554432000 4194304 5965102 140735627297456 140315474602296 4401582 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1763.97
Current children cumulated vsize (KiB) 1042828
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.4 s]
/proc/loadavg: 3.97 3.98 3.93 5/180 4740
/proc/meminfo: memFree=29277608/32873648 swapFree=7368/7368
[pid=4690] ppid=4688 vsize=1108364 CPUtime=1800.18 cores=0,2,4,6
/proc/4690/stat : 4690 (pwbo2.0) S 4688 4690 3829 0 -1 4202496 264991 0 0 0 179831 187 0 0 20 0 3 0 275314567 1134964736 247279 33554432000 4194304 5965102 140735627297456 140735627296976 4547341 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 277091 247279 206 433 0 276655 0
[pid=4690/tid=4692] ppid=4688 vsize=1108364 CPUtime=900.22 cores=0,2,4,6
/proc/4690/task/4692/stat : 4692 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 71604 0 0 0 89965 57 0 0 20 0 3 0 275314582 1134964736 247279 33554432000 4194304 5965102 140735627297456 140315485092680 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4690/tid=4693] ppid=4688 vsize=1108364 CPUtime=900.15 cores=0,2,4,6
/proc/4690/task/4693/stat : 4693 (pwbo2.0) R 4688 4690 3829 0 -1 4202560 188664 0 0 0 89858 157 0 0 20 0 3 0 275314582 1134964736 247279 33554432000 4194304 5965102 140735627297456 140315474602296 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 1108364
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 900.447
CPU time (s): 1800.59
CPU user time (s): 1798.39
CPU system time (s): 2.20067
CPU usage (%): 199.966
Max. virtual memory (cumulated for all children) (KiB): 1108364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.39
system time used= 2.20066
maximum resident set size= 989124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 264993
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= 1388
involuntary context switches= 3114
runsolver used 3.01154 second user time and 3.78342 second system time
The end