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-3703515-1338090049/watcher-3703515-1338090049 -o /tmp/evaluation-result-3703515-1338090049/solver-3703515-1338090049 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703515-1338090049.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: 4.08 4.02 3.83 3/174 4175
/proc/meminfo: memFree=30307548/32873648 swapFree=7368/7368
[pid=4175] ppid=4173 vsize=162768 CPUtime=0 cores=1,3,5,7
/proc/4175/stat : 4175 (pwbo2.0) S 4173 4175 3829 0 -1 4202496 1046 0 0 0 0 0 0 0 20 0 3 0 275129002 166674432 991 33554432000 4194304 5965102 140735748863216 140735748862736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4175/statm: 40692 995 204 433 0 40256 0
[pid=4175/tid=4176] ppid=4173 vsize=162768 CPUtime=0 cores=1,3,5,7
/proc/4175/task/4176/stat : 4176 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 3 0 275129003 166674432 1003 33554432000 4194304 5965102 140735748863216 140113340950872 4420526 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4175/tid=4177] ppid=4173 vsize=162768 CPUtime=0 cores=1,3,5,7
/proc/4175/task/4177/stat : 4177 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 136 0 0 0 0 0 0 0 20 0 3 0 275129003 166674432 1005 33554432000 4194304 5965102 140735748863216 140113330460328 5244967 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[startup+0.022832 s]
/proc/loadavg: 4.08 4.02 3.83 3/174 4175
/proc/meminfo: memFree=30307548/32873648 swapFree=7368/7368
[pid=4175] ppid=4173 vsize=164664 CPUtime=0.03 cores=1,3,5,7
/proc/4175/stat : 4175 (pwbo2.0) S 4173 4175 3829 0 -1 4202496 1977 0 0 0 3 0 0 0 20 0 3 0 275129002 168615936 1917 33554432000 4194304 5965102 140735748863216 140735748862736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4175/statm: 41166 1917 205 433 0 40730 0
[pid=4175/tid=4176] ppid=4173 vsize=164664 CPUtime=0 cores=1,3,5,7
/proc/4175/task/4176/stat : 4176 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 139 0 0 0 0 0 0 0 20 0 3 0 275129003 168615936 1917 33554432000 4194304 5965102 140735748863216 140113340950872 5237527 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4175/tid=4177] ppid=4173 vsize=164664 CPUtime=0 cores=1,3,5,7
/proc/4175/task/4177/stat : 4177 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 1022 0 0 0 0 0 0 0 20 0 3 0 275129003 168615936 1917 33554432000 4194304 5965102 140735748863216 140113330460072 4389531 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 164664
[startup+0.100293 s]
/proc/loadavg: 4.08 4.02 3.83 3/174 4175
/proc/meminfo: memFree=30307548/32873648 swapFree=7368/7368
[pid=4175] ppid=4173 vsize=164664 CPUtime=0.18 cores=1,3,5,7
/proc/4175/stat : 4175 (pwbo2.0) S 4173 4175 3829 0 -1 4202496 2175 0 0 0 18 0 0 0 20 0 3 0 275129002 168615936 2115 33554432000 4194304 5965102 140735748863216 140735748862736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4175/statm: 41166 2115 207 433 0 40730 0
[pid=4175/tid=4176] ppid=4173 vsize=164664 CPUtime=0.08 cores=1,3,5,7
/proc/4175/task/4176/stat : 4176 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 312 0 0 0 8 0 0 0 20 0 3 0 275129003 168615936 2115 33554432000 4194304 5965102 140735748863216 140113340950872 4401024 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4175/tid=4177] ppid=4173 vsize=164664 CPUtime=0.08 cores=1,3,5,7
/proc/4175/task/4177/stat : 4177 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 1047 0 0 0 8 0 0 0 20 0 3 0 275129003 168615936 2115 33554432000 4194304 5965102 140735748863216 140113330460984 4400978 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 164664
[startup+0.300244 s]
/proc/loadavg: 4.08 4.02 3.83 3/174 4175
/proc/meminfo: memFree=30307548/32873648 swapFree=7368/7368
[pid=4175] ppid=4173 vsize=164664 CPUtime=0.58 cores=1,3,5,7
/proc/4175/stat : 4175 (pwbo2.0) S 4173 4175 3829 0 -1 4202496 2711 0 0 0 57 1 0 0 20 0 3 0 275129002 168615936 2651 33554432000 4194304 5965102 140735748863216 140735748862736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4175/statm: 41166 2651 207 433 0 40730 0
[pid=4175/tid=4176] ppid=4173 vsize=164664 CPUtime=0.28 cores=1,3,5,7
/proc/4175/task/4176/stat : 4176 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 745 0 0 0 28 0 0 0 20 0 3 0 275129003 168615936 2651 33554432000 4194304 5965102 140735748863216 140113340950872 4401129 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4175/tid=4177] ppid=4173 vsize=164664 CPUtime=0.28 cores=1,3,5,7
/proc/4175/task/4177/stat : 4177 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 1150 0 0 0 28 0 0 0 20 0 3 0 275129003 168615936 2651 33554432000 4194304 5965102 140735748863216 140113330460984 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 164664
[startup+0.700287 s]
/proc/loadavg: 4.08 4.02 3.83 3/174 4175
/proc/meminfo: memFree=30307548/32873648 swapFree=7368/7368
[pid=4175] ppid=4173 vsize=164664 CPUtime=1.38 cores=1,3,5,7
/proc/4175/stat : 4175 (pwbo2.0) S 4173 4175 3829 0 -1 4202496 3401 0 0 0 136 2 0 0 20 0 3 0 275129002 168615936 3341 33554432000 4194304 5965102 140735748863216 140735748862736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4175/statm: 41166 3341 207 433 0 40730 0
[pid=4175/tid=4176] ppid=4173 vsize=164664 CPUtime=0.68 cores=1,3,5,7
/proc/4175/task/4176/stat : 4176 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 1201 0 0 0 67 1 0 0 20 0 3 0 275129003 168615936 3341 33554432000 4194304 5965102 140735748863216 140113340950568 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4175/tid=4177] ppid=4173 vsize=164664 CPUtime=0.68 cores=1,3,5,7
/proc/4175/task/4177/stat : 4177 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 1384 0 0 0 67 1 0 0 20 0 3 0 275129003 168615936 3341 33554432000 4194304 5965102 140735748863216 140113330461032 4389992 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 164664
[startup+1.50031 s]
/proc/loadavg: 3.91 3.99 3.82 3/175 4355
/proc/meminfo: memFree=30298792/32873648 swapFree=7368/7368
[pid=4175] ppid=4173 vsize=164808 CPUtime=2.98 cores=1,3,5,7
/proc/4175/stat : 4175 (pwbo2.0) S 4173 4175 3829 0 -1 4202496 4678 0 0 0 294 4 0 0 20 0 3 0 275129002 168763392 4873 33554432000 4194304 5965102 140735748863216 140735748862736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4175/statm: 41202 4873 207 433 0 40766 0
[pid=4175/tid=4176] ppid=4173 vsize=164808 CPUtime=1.48 cores=1,3,5,7
/proc/4175/task/4176/stat : 4176 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 1952 0 0 0 145 3 0 0 20 0 3 0 275129003 168763392 4873 33554432000 4194304 5965102 140735748863216 140113340950520 4401096 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4175/tid=4177] ppid=4173 vsize=164808 CPUtime=1.48 cores=1,3,5,7
/proc/4175/task/4177/stat : 4177 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 1910 0 0 0 146 2 0 0 20 0 3 0 275129003 168763392 4873 33554432000 4194304 5965102 140735748863216 140113330461032 4400894 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 164808
[startup+3.10029 s]
/proc/loadavg: 3.91 3.99 3.82 5/182 4371
/proc/meminfo: memFree=30266556/32873648 swapFree=7368/7368
[pid=4175] ppid=4173 vsize=165024 CPUtime=6.17 cores=1,3,5,7
/proc/4175/stat : 4175 (pwbo2.0) S 4173 4175 3829 0 -1 4202496 6917 0 0 0 613 4 0 0 20 0 3 0 275129002 168984576 7112 33554432000 4194304 5965102 140735748863216 140735748862736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4175/statm: 41256 7112 207 433 0 40820 0
[pid=4175/tid=4176] ppid=4173 vsize=165024 CPUtime=3.08 cores=1,3,5,7
/proc/4175/task/4176/stat : 4176 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 3013 0 0 0 304 4 0 0 20 0 3 0 275129003 168984576 7112 33554432000 4194304 5965102 140735748863216 140113340950328 4401137 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4175/tid=4177] ppid=4173 vsize=165024 CPUtime=3.08 cores=1,3,5,7
/proc/4175/task/4177/stat : 4177 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 3088 0 0 0 306 2 0 0 20 0 3 0 275129003 168984576 7112 33554432000 4194304 5965102 140735748863216 140113330460984 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 165024
[startup+6.30029 s]
/proc/loadavg: 3.92 3.99 3.82 5/182 4371
/proc/meminfo: memFree=30176108/32873648 swapFree=7368/7368
[pid=4175] ppid=4173 vsize=164880 CPUtime=12.58 cores=1,3,5,7
/proc/4175/stat : 4175 (pwbo2.0) S 4173 4175 3829 0 -1 4202496 10101 0 0 0 1251 7 0 0 20 0 3 0 275129002 168837120 10244 33554432000 4194304 5965102 140735748863216 140735748862736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4175/statm: 41220 10244 207 433 0 40784 0
[pid=4175/tid=4176] ppid=4173 vsize=164880 CPUtime=6.28 cores=1,3,5,7
/proc/4175/task/4176/stat : 4176 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 4714 0 0 0 623 5 0 0 20 0 3 0 275129003 168837120 10244 33554432000 4194304 5965102 140735748863216 140113340950328 4401131 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4175/tid=4177] ppid=4173 vsize=164880 CPUtime=6.28 cores=1,3,5,7
/proc/4175/task/4177/stat : 4177 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 4571 0 0 0 625 3 0 0 20 0 3 0 275129003 168837120 10244 33554432000 4194304 5965102 140735748863216 140113330460984 4400921 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 164880
[startup+12.7003 s]
/proc/loadavg: 3.93 3.99 3.82 5/181 4451
/proc/meminfo: memFree=30211776/32873648 swapFree=7368/7368
[pid=4175] ppid=4173 vsize=165576 CPUtime=25.37 cores=1,3,5,7
/proc/4175/stat : 4175 (pwbo2.0) S 4173 4175 3829 0 -1 4202496 13817 0 0 0 2528 9 0 0 20 0 3 0 275129002 169549824 14967 33554432000 4194304 5965102 140735748863216 140735748862736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4175/statm: 41394 14967 207 433 0 40958 0
[pid=4175/tid=4176] ppid=4173 vsize=165576 CPUtime=12.67 cores=1,3,5,7
/proc/4175/task/4176/stat : 4176 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 6395 0 0 0 1262 5 0 0 20 0 3 0 275129003 169549824 14967 33554432000 4194304 5965102 140735748863216 140113340950328 5139774 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4175/tid=4177] ppid=4173 vsize=165576 CPUtime=12.68 cores=1,3,5,7
/proc/4175/task/4177/stat : 4177 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 6606 0 0 0 1263 5 0 0 20 0 3 0 275129003 169549824 14967 33554432000 4194304 5965102 140735748863216 140113330460984 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 165576
[startup+25.5003 s]
/proc/loadavg: 3.94 3.99 3.82 5/181 4451
/proc/meminfo: memFree=30126080/32873648 swapFree=7368/7368
[pid=4175] ppid=4173 vsize=166004 CPUtime=50.97 cores=1,3,5,7
/proc/4175/stat : 4175 (pwbo2.0) S 4173 4175 3829 0 -1 4202496 22122 0 0 0 5080 17 0 0 20 0 3 0 275129002 169988096 23465 33554432000 4194304 5965102 140735748863216 140735748862736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4175/statm: 41501 23465 207 433 0 41065 0
[pid=4175/tid=4176] ppid=4173 vsize=166004 CPUtime=25.48 cores=1,3,5,7
/proc/4175/task/4176/stat : 4176 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 11527 0 0 0 2539 9 0 0 20 0 3 0 275129003 169988096 23465 33554432000 4194304 5965102 140735748863216 140113340950328 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4175/tid=4177] ppid=4173 vsize=166004 CPUtime=25.48 cores=1,3,5,7
/proc/4175/task/4177/stat : 4177 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 9779 0 0 0 2538 10 0 0 20 0 3 0 275129003 169988096 23465 33554432000 4194304 5965102 140735748863216 140113330460744 4401058 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 166004
[startup+51.1003 s]
/proc/loadavg: 3.96 3.99 3.82 3/174 4475
/proc/meminfo: memFree=30170868/32873648 swapFree=7368/7368
[pid=4175] ppid=4173 vsize=232372 CPUtime=102.15 cores=1,3,5,7
/proc/4175/stat : 4175 (pwbo2.0) S 4173 4175 3829 0 -1 4202496 34741 0 0 0 10189 26 0 0 20 0 3 0 275129002 237948928 36084 33554432000 4194304 5965102 140735748863216 140735748862736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4175/statm: 58093 36084 207 433 0 57657 0
[pid=4175/tid=4176] ppid=4173 vsize=232372 CPUtime=51.07 cores=1,3,5,7
/proc/4175/task/4176/stat : 4176 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 18569 0 0 0 5092 15 0 0 20 0 3 0 275129003 237948928 36084 33554432000 4194304 5965102 140735748863216 140113340950328 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4175/tid=4177] ppid=4173 vsize=232372 CPUtime=51.08 cores=1,3,5,7
/proc/4175/task/4177/stat : 4177 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 15356 0 0 0 5095 13 0 0 20 0 3 0 275129003 237948928 36084 33554432000 4194304 5965102 140735748863216 140113330460744 4401688 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 232372
[startup+102.307 s]
/proc/loadavg: 3.98 3.99 3.83 5/181 4491
/proc/meminfo: memFree=29975728/32873648 swapFree=7368/7368
[pid=4175] ppid=4173 vsize=298880 CPUtime=204.52 cores=1,3,5,7
/proc/4175/stat : 4175 (pwbo2.0) S 4173 4175 3829 0 -1 4202496 55491 0 0 0 20407 45 0 0 20 0 3 0 275129002 306053120 56855 33554432000 4194304 5965102 140735748863216 140735748862736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4175/statm: 74720 56855 207 433 0 74284 0
[pid=4175/tid=4176] ppid=4173 vsize=298880 CPUtime=102.26 cores=1,3,5,7
/proc/4175/task/4176/stat : 4176 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 29007 0 0 0 10201 25 0 0 20 0 3 0 275129003 306053120 56855 33554432000 4194304 5965102 140735748863216 140113340950520 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4175/tid=4177] ppid=4173 vsize=298880 CPUtime=102.28 cores=1,3,5,7
/proc/4175/task/4177/stat : 4177 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 25668 0 0 0 10204 24 0 0 20 0 3 0 275129003 306053120 56855 33554432000 4194304 5965102 140735748863216 140113330460984 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.52
Current children cumulated vsize (KiB) 298880
[startup+162.3 s]
/proc/loadavg: 3.99 3.99 3.83 5/181 4492
/proc/meminfo: memFree=29852532/32873648 swapFree=7368/7368
[pid=4175] ppid=4173 vsize=365760 CPUtime=324.44 cores=1,3,5,7
/proc/4175/stat : 4175 (pwbo2.0) S 4173 4175 3829 0 -1 4202496 69051 0 0 0 32384 60 0 0 20 0 3 0 275129002 374538240 70774 33554432000 4194304 5965102 140735748863216 140735748862736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4175/statm: 91440 70774 207 433 0 91004 0
[pid=4175/tid=4176] ppid=4173 vsize=365760 CPUtime=162.21 cores=1,3,5,7
/proc/4175/task/4176/stat : 4176 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 36462 0 0 0 16185 36 0 0 20 0 3 0 275129003 374538240 70774 33554432000 4194304 5965102 140735748863216 140113340950328 4389769 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4175/tid=4177] ppid=4173 vsize=365760 CPUtime=162.27 cores=1,3,5,7
/proc/4175/task/4177/stat : 4177 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 31773 0 0 0 16198 29 0 0 20 0 3 0 275129003 374538240 70774 33554432000 4194304 5965102 140735748863216 140113330460744 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.44
Current children cumulated vsize (KiB) 365760
[startup+222.3 s]
/proc/loadavg: 4.04 4.00 3.85 5/181 4492
/proc/meminfo: memFree=29757616/32873648 swapFree=7368/7368
[pid=4175] ppid=4173 vsize=432236 CPUtime=444.4 cores=1,3,5,7
/proc/4175/stat : 4175 (pwbo2.0) S 4173 4175 3829 0 -1 4202496 84360 0 0 0 44361 79 0 0 20 0 3 0 275129002 442609664 86038 33554432000 4194304 5965102 140735748863216 140735748862736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4175/statm: 108059 86038 207 433 0 107623 0
[pid=4175/tid=4176] ppid=4173 vsize=432236 CPUtime=222.21 cores=1,3,5,7
/proc/4175/task/4176/stat : 4176 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 42837 0 0 0 22174 47 0 0 20 0 3 0 275129003 442609664 86038 33554432000 4194304 5965102 140735748863216 140113340950328 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4175/tid=4177] ppid=4173 vsize=432236 CPUtime=222.25 cores=1,3,5,7
/proc/4175/task/4177/stat : 4177 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 40707 0 0 0 22185 40 0 0 20 0 3 0 275129003 442609664 86038 33554432000 4194304 5965102 140735748863216 140113330460744 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.4
Current children cumulated vsize (KiB) 432236
################
# More data... #
################
/proc/4175/task/4176/stat : 4176 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 49215 0 0 0 28163 58 0 0 20 0 3 0 275129003 511840256 92560 33554432000 4194304 5965102 140735748863216 140113340950520 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4175/tid=4177] ppid=4173 vsize=499844 CPUtime=282.25 cores=1,3,5,7
/proc/4175/task/4177/stat : 4177 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 40851 0 0 0 28184 41 0 0 20 0 3 0 275129003 511840256 92560 33554432000 4194304 5965102 140735748863216 140113330460744 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 564.37
Current children cumulated vsize (KiB) 499844
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.86 5/181 4492
/proc/meminfo: memFree=29532324/32873648 swapFree=7368/7368
[pid=4175] ppid=4173 vsize=501572 CPUtime=684.36 cores=1,3,5,7
/proc/4175/stat : 4175 (pwbo2.0) S 4173 4175 3829 0 -1 4202496 101992 0 0 0 68332 104 0 0 20 0 3 0 275129002 513609728 103647 33554432000 4194304 5965102 140735748863216 140735748862736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4175/statm: 125393 103647 207 433 0 124957 0
[pid=4175/tid=4176] ppid=4173 vsize=501572 CPUtime=342.21 cores=1,3,5,7
/proc/4175/task/4176/stat : 4176 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 57022 0 0 0 34151 70 0 0 20 0 3 0 275129003 513609728 103647 33554432000 4194304 5965102 140735748863216 140113340950328 4401155 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4175/tid=4177] ppid=4173 vsize=501572 CPUtime=342.25 cores=1,3,5,7
/proc/4175/task/4177/stat : 4177 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 44154 0 0 0 34179 46 0 0 20 0 3 0 275129003 513609728 103647 33554432000 4194304 5965102 140735748863216 140113330460984 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 684.36
Current children cumulated vsize (KiB) 501572
[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.86 5/181 4492
/proc/meminfo: memFree=29435240/32873648 swapFree=7368/7368
[pid=4175] ppid=4173 vsize=502044 CPUtime=804.31 cores=1,3,5,7
/proc/4175/stat : 4175 (pwbo2.0) S 4173 4175 3829 0 -1 4202496 109159 0 0 0 80316 115 0 0 20 0 3 0 275129002 514093056 110914 33554432000 4194304 5965102 140735748863216 140735748862736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4175/statm: 125511 110914 207 433 0 125075 0
[pid=4175/tid=4176] ppid=4173 vsize=502044 CPUtime=402.2 cores=1,3,5,7
/proc/4175/task/4176/stat : 4176 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 64125 0 0 0 40138 82 0 0 20 0 3 0 275129003 514093056 110914 33554432000 4194304 5965102 140735748863216 140113340950328 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4175/tid=4177] ppid=4173 vsize=502044 CPUtime=402.24 cores=1,3,5,7
/proc/4175/task/4177/stat : 4177 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 44218 0 0 0 40177 47 0 0 20 0 3 0 275129003 514093056 110914 33554432000 4194304 5965102 140735748863216 140113330460744 4401137 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 804.31
Current children cumulated vsize (KiB) 502044
[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.87 5/181 4493
/proc/meminfo: memFree=29274500/32873648 swapFree=7368/7368
[pid=4175] ppid=4173 vsize=571568 CPUtime=924.25 cores=1,3,5,7
/proc/4175/stat : 4175 (pwbo2.0) S 4173 4175 3829 0 -1 4202496 113461 0 0 0 92309 116 0 0 20 0 3 0 275129002 585285632 115230 33554432000 4194304 5965102 140735748863216 140735748862736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4175/statm: 142892 115230 207 433 0 142456 0
[pid=4175/tid=4176] ppid=4173 vsize=571568 CPUtime=462.18 cores=1,3,5,7
/proc/4175/task/4176/stat : 4176 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 67387 0 0 0 46134 84 0 0 20 0 3 0 275129003 585285632 115230 33554432000 4194304 5965102 140735748863216 140113340950520 4401149 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4175/tid=4177] ppid=4173 vsize=571568 CPUtime=462.22 cores=1,3,5,7
/proc/4175/task/4177/stat : 4177 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 45258 0 0 0 46174 48 0 0 20 0 3 0 275129003 585285632 115230 33554432000 4194304 5965102 140735748863216 140113330460984 4401516 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 924.25
Current children cumulated vsize (KiB) 571568
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.88 5/181 4493
/proc/meminfo: memFree=29132964/32873648 swapFree=7368/7368
[pid=4175] ppid=4173 vsize=641488 CPUtime=1044.2 cores=1,3,5,7
/proc/4175/stat : 4175 (pwbo2.0) S 4173 4175 3829 0 -1 4202496 132680 0 0 0 104277 143 0 0 20 0 3 0 275129002 656883712 134594 33554432000 4194304 5965102 140735748863216 140735748862736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4175/statm: 160372 134594 207 433 0 159936 0
[pid=4175/tid=4176] ppid=4173 vsize=641488 CPUtime=522.15 cores=1,3,5,7
/proc/4175/task/4176/stat : 4176 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 73227 0 0 0 52123 92 0 0 20 0 3 0 275129003 656883712 134594 33554432000 4194304 5965102 140735748863216 140113340950520 4401137 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4175/tid=4177] ppid=4173 vsize=641488 CPUtime=522.22 cores=1,3,5,7
/proc/4175/task/4177/stat : 4177 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 58637 0 0 0 52156 66 0 0 20 0 3 0 275129003 656883712 134594 33554432000 4194304 5965102 140735748863216 140113330460984 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1044.2
Current children cumulated vsize (KiB) 641488
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.88 5/182 4496
/proc/meminfo: memFree=29105920/32873648 swapFree=7368/7368
[pid=4175] ppid=4173 vsize=644616 CPUtime=1164.18 cores=1,3,5,7
/proc/4175/stat : 4175 (pwbo2.0) S 4173 4175 3829 0 -1 4202496 139140 0 0 0 116266 152 0 0 20 0 3 0 275129002 660086784 141053 33554432000 4194304 5965102 140735748863216 140735748862736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4175/statm: 161154 141053 207 433 0 160718 0
[pid=4175/tid=4176] ppid=4173 vsize=644616 CPUtime=582.15 cores=1,3,5,7
/proc/4175/task/4176/stat : 4176 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 79562 0 0 0 58113 102 0 0 20 0 3 0 275129003 660086784 141053 33554432000 4194304 5965102 140735748863216 140113340950328 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4175/tid=4177] ppid=4173 vsize=644616 CPUtime=582.22 cores=1,3,5,7
/proc/4175/task/4177/stat : 4177 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 58762 0 0 0 58155 67 0 0 20 0 3 0 275129003 660086784 141053 33554432000 4194304 5965102 140735748863216 140113330460792 4401050 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1164.18
Current children cumulated vsize (KiB) 644616
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.89 5/181 4496
/proc/meminfo: memFree=29054716/32873648 swapFree=7368/7368
[pid=4175] ppid=4173 vsize=653224 CPUtime=1284.18 cores=1,3,5,7
/proc/4175/stat : 4175 (pwbo2.0) S 4173 4175 3829 0 -1 4202496 144454 0 0 0 128262 156 0 0 20 0 3 0 275129002 668901376 146283 33554432000 4194304 5965102 140735748863216 140735748862736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4175/statm: 163306 146283 207 433 0 162870 0
[pid=4175/tid=4176] ppid=4173 vsize=653224 CPUtime=642.16 cores=1,3,5,7
/proc/4175/task/4176/stat : 4176 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 81690 0 0 0 64111 105 0 0 20 0 3 0 275129003 668901376 146283 33554432000 4194304 5965102 140735748863216 140113340950568 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4175/tid=4177] ppid=4173 vsize=653224 CPUtime=642.23 cores=1,3,5,7
/proc/4175/task/4177/stat : 4177 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 61948 0 0 0 64153 70 0 0 20 0 3 0 275129003 668901376 146283 33554432000 4194304 5965102 140735748863216 140113330460984 4401026 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1284.18
Current children cumulated vsize (KiB) 653224
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.89 5/181 4496
/proc/meminfo: memFree=28992872/32873648 swapFree=7368/7368
[pid=4175] ppid=4173 vsize=762944 CPUtime=1404.14 cores=1,3,5,7
/proc/4175/stat : 4175 (pwbo2.0) S 4173 4175 3829 0 -1 4202496 159488 0 0 0 140239 175 0 0 20 0 3 0 275129002 781254656 156503 33554432000 4194304 5965102 140735748863216 140735748862736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4175/statm: 190736 156503 207 433 0 190300 0
[pid=4175/tid=4176] ppid=4173 vsize=762944 CPUtime=702.15 cores=1,3,5,7
/proc/4175/task/4176/stat : 4176 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 89274 0 0 0 70098 117 0 0 20 0 3 0 275129003 781254656 156503 33554432000 4194304 5965102 140735748863216 140113340951064 4411911 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4175/tid=4177] ppid=4173 vsize=762944 CPUtime=702.23 cores=1,3,5,7
/proc/4175/task/4177/stat : 4177 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 69398 0 0 0 70143 80 0 0 20 0 3 0 275129003 781254656 156503 33554432000 4194304 5965102 140735748863216 140113330460984 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1404.14
Current children cumulated vsize (KiB) 762944
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.90 5/181 4497
/proc/meminfo: memFree=28876588/32873648 swapFree=7368/7368
[pid=4175] ppid=4173 vsize=763408 CPUtime=1524.13 cores=1,3,5,7
/proc/4175/stat : 4175 (pwbo2.0) S 4173 4175 3829 0 -1 4202496 159586 0 0 0 152238 175 0 0 20 0 3 0 275129002 781729792 156601 33554432000 4194304 5965102 140735748863216 140735748862736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4175/statm: 190852 156601 207 433 0 190416 0
[pid=4175/tid=4176] ppid=4173 vsize=763408 CPUtime=762.16 cores=1,3,5,7
/proc/4175/task/4176/stat : 4176 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 89274 0 0 0 76098 118 0 0 20 0 3 0 275129003 781729792 156601 33554432000 4194304 5965102 140735748863216 140113340951064 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4175/tid=4177] ppid=4173 vsize=763408 CPUtime=762.24 cores=1,3,5,7
/proc/4175/task/4177/stat : 4177 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 69496 0 0 0 76143 81 0 0 20 0 3 0 275129003 781729792 156601 33554432000 4194304 5965102 140735748863216 140113330460744 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1524.13
Current children cumulated vsize (KiB) 763408
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.90 5/181 4497
/proc/meminfo: memFree=28821080/32873648 swapFree=7368/7368
[pid=4175] ppid=4173 vsize=763912 CPUtime=1644.11 cores=1,3,5,7
/proc/4175/stat : 4175 (pwbo2.0) S 4173 4175 3829 0 -1 4202496 159688 0 0 0 164235 176 0 0 20 0 3 0 275129002 782245888 156703 33554432000 4194304 5965102 140735748863216 140735748862736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4175/statm: 190978 156703 207 433 0 190542 0
[pid=4175/tid=4176] ppid=4173 vsize=763912 CPUtime=822.15 cores=1,3,5,7
/proc/4175/task/4176/stat : 4176 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 89274 0 0 0 82096 119 0 0 20 0 3 0 275129003 782245888 156703 33554432000 4194304 5965102 140735748863216 140113340951064 4400963 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4175/tid=4177] ppid=4173 vsize=763912 CPUtime=822.23 cores=1,3,5,7
/proc/4175/task/4177/stat : 4177 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 69598 0 0 0 82141 82 0 0 20 0 3 0 275129003 782245888 156703 33554432000 4194304 5965102 140735748863216 140113330460744 4400955 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1644.11
Current children cumulated vsize (KiB) 763912
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 4497
/proc/meminfo: memFree=28806036/32873648 swapFree=7368/7368
[pid=4175] ppid=4173 vsize=763912 CPUtime=1764.09 cores=1,3,5,7
/proc/4175/stat : 4175 (pwbo2.0) S 4173 4175 3829 0 -1 4202496 159740 0 0 0 176233 176 0 0 20 0 3 0 275129002 782245888 156755 33554432000 4194304 5965102 140735748863216 140735748862736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4175/statm: 190978 156755 207 433 0 190542 0
[pid=4175/tid=4176] ppid=4173 vsize=763912 CPUtime=882.15 cores=1,3,5,7
/proc/4175/task/4176/stat : 4176 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 89278 0 0 0 88095 120 0 0 20 0 3 0 275129003 782245888 156755 33554432000 4194304 5965102 140735748863216 140113340951064 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4175/tid=4177] ppid=4173 vsize=763912 CPUtime=882.24 cores=1,3,5,7
/proc/4175/task/4177/stat : 4177 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 69646 0 0 0 88141 83 0 0 20 0 3 0 275129003 782245888 156755 33554432000 4194304 5965102 140735748863216 140113330460744 4400955 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1764.09
Current children cumulated vsize (KiB) 763912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 4497
/proc/meminfo: memFree=28793496/32873648 swapFree=7368/7368
[pid=4175] ppid=4173 vsize=764068 CPUtime=1800.1 cores=1,3,5,7
/proc/4175/stat : 4175 (pwbo2.0) S 4173 4175 3829 0 -1 4202496 159748 0 0 0 179834 176 0 0 20 0 3 0 275129002 782405632 156763 33554432000 4194304 5965102 140735748863216 140735748862736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4175/statm: 191017 156763 207 433 0 190581 0
[pid=4175/tid=4176] ppid=4173 vsize=764068 CPUtime=900.16 cores=1,3,5,7
/proc/4175/task/4176/stat : 4176 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 89278 0 0 0 89896 120 0 0 20 0 3 0 275129003 782405632 156763 33554432000 4194304 5965102 140735748863216 140113340951064 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4175/tid=4177] ppid=4173 vsize=764068 CPUtime=900.25 cores=1,3,5,7
/proc/4175/task/4177/stat : 4177 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 69654 0 0 0 89942 83 0 0 20 0 3 0 275129003 782405632 156763 33554432000 4194304 5965102 140735748863216 140113330460744 4401046 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 764068
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 4497
/proc/meminfo: memFree=28793496/32873648 swapFree=7368/7368
[pid=4175] ppid=4173 vsize=764068 CPUtime=1800.1 cores=1,3,5,7
/proc/4175/stat : 4175 (pwbo2.0) S 4173 4175 3829 0 -1 4202496 159748 0 0 0 179834 176 0 0 20 0 3 0 275129002 782405632 156763 33554432000 4194304 5965102 140735748863216 140735748862736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4175/statm: 191017 156763 207 433 0 190581 0
[pid=4175/tid=4176] ppid=4173 vsize=764068 CPUtime=900.16 cores=1,3,5,7
/proc/4175/task/4176/stat : 4176 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 89278 0 0 0 89896 120 0 0 20 0 3 0 275129003 782405632 156763 33554432000 4194304 5965102 140735748863216 140113340951064 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4175/tid=4177] ppid=4173 vsize=764068 CPUtime=900.25 cores=1,3,5,7
/proc/4175/task/4177/stat : 4177 (pwbo2.0) R 4173 4175 3829 0 -1 4202560 69654 0 0 0 89942 83 0 0 20 0 3 0 275129003 782405632 156763 33554432000 4194304 5965102 140735748863216 140113330460744 4401046 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 764068
Child status: 0
Real time (s): 900.326
CPU time (s): 1800.45
CPU user time (s): 1798.39
CPU system time (s): 2.05969
CPU usage (%): 199.978
Max. virtual memory (cumulated for all children) (KiB): 764068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.39
system time used= 2.05969
maximum resident set size= 628392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159751
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= 580
involuntary context switches= 1875
runsolver used 2.08168 second user time and 4.86426 second system time
The end