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-3712440-1338182394/watcher-3712440-1338182394 -o /tmp/evaluation-result-3712440-1338182394/solver-3712440-1338182394 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712440-1338182394.wbo
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.25 1.63 3/175 26423
/proc/meminfo: memFree=31030988/32873648 swapFree=7112/7112
[pid=26423] ppid=26418 vsize=163116 CPUtime=0 cores=0,2,4,6
/proc/26423/stat : 26423 (pwbo2.01) S 26418 26423 26380 0 -1 4202496 1211 0 0 0 0 0 0 0 20 0 3 0 284365313 167030784 1158 33554432000 4194304 5964478 140736622515264 140736622514784 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26423/statm: 40779 1162 198 433 0 40343 0
[pid=26423/tid=26426] ppid=26418 vsize=163116 CPUtime=0 cores=0,2,4,6
/proc/26423/task/26426/stat : 26426 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 133 0 0 0 0 0 0 0 20 0 3 0 284365313 167030784 1167 33554432000 4194304 5964478 140736622515264 140348526221304 4381460 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26423/tid=26427] ppid=26418 vsize=163116 CPUtime=0 cores=0,2,4,6
/proc/26423/task/26427/stat : 26427 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 215 0 0 0 0 0 0 0 20 0 3 0 284365313 167030784 1171 33554432000 4194304 5964478 140736622515264 140348515731368 5136474 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[startup+0.100208 s]
/proc/loadavg: 1.00 1.25 1.63 3/175 26423
/proc/meminfo: memFree=31030988/32873648 swapFree=7112/7112
[pid=26423] ppid=26418 vsize=189936 CPUtime=0.18 cores=0,2,4,6
/proc/26423/stat : 26423 (pwbo2.01) S 26418 26423 26380 0 -1 4202496 11689 0 0 0 15 3 0 0 20 0 3 0 284365313 194494464 11598 33554432000 4194304 5964478 140736622515264 140736622514784 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26423/statm: 47484 11599 206 433 0 47048 0
[pid=26423/tid=26426] ppid=26418 vsize=189936 CPUtime=0.08 cores=0,2,4,6
/proc/26423/task/26426/stat : 26426 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 431 0 0 0 8 0 0 0 20 0 3 0 284365313 194494464 11599 33554432000 4194304 5964478 140736622515264 140348526221304 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26423/tid=26427] ppid=26418 vsize=189936 CPUtime=0.08 cores=0,2,4,6
/proc/26423/task/26427/stat : 26427 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 10386 0 0 0 5 3 0 0 20 0 3 0 284365313 194494464 11602 33554432000 4194304 5964478 140736622515264 140348515730760 5136404 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 189936
[startup+0.200296 s]
/proc/loadavg: 1.00 1.25 1.63 3/175 26423
/proc/meminfo: memFree=31030988/32873648 swapFree=7112/7112
[pid=26423] ppid=26418 vsize=191964 CPUtime=0.38 cores=0,2,4,6
/proc/26423/stat : 26423 (pwbo2.01) S 26418 26423 26380 0 -1 4202496 14349 0 0 0 35 3 0 0 20 0 3 0 284365313 196571136 14258 33554432000 4194304 5964478 140736622515264 140736622514784 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26423/statm: 47991 14258 207 433 0 47555 0
[pid=26423/tid=26426] ppid=26418 vsize=191964 CPUtime=0.18 cores=0,2,4,6
/proc/26423/task/26426/stat : 26426 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 693 0 0 0 18 0 0 0 20 0 3 0 284365313 196571136 14258 33554432000 4194304 5964478 140736622515264 140348526221304 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26423/tid=26427] ppid=26418 vsize=191964 CPUtime=0.18 cores=0,2,4,6
/proc/26423/task/26427/stat : 26427 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 12780 0 0 0 14 4 0 0 20 0 3 0 284365313 196571136 14258 33554432000 4194304 5964478 140736622515264 140348515731656 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 191964
[startup+0.300309 s]
/proc/loadavg: 1.00 1.25 1.63 3/175 26423
/proc/meminfo: memFree=31030988/32873648 swapFree=7112/7112
[pid=26423] ppid=26418 vsize=192168 CPUtime=0.59 cores=0,2,4,6
/proc/26423/stat : 26423 (pwbo2.01) S 26418 26423 26380 0 -1 4202496 14652 0 0 0 55 4 0 0 20 0 3 0 284365313 196780032 14561 33554432000 4194304 5964478 140736622515264 140736622514784 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26423/statm: 48042 14561 207 433 0 47606 0
[pid=26423/tid=26426] ppid=26418 vsize=192168 CPUtime=0.28 cores=0,2,4,6
/proc/26423/task/26426/stat : 26426 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 889 0 0 0 28 0 0 0 20 0 3 0 284365313 196780032 14561 33554432000 4194304 5964478 140736622515264 140348526221304 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26423/tid=26427] ppid=26418 vsize=192168 CPUtime=0.28 cores=0,2,4,6
/proc/26423/task/26427/stat : 26427 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 12887 0 0 0 24 4 0 0 20 0 3 0 284365313 196780032 14561 33554432000 4194304 5964478 140736622515264 140348515731656 4403327 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 192168
[startup+0.700217 s]
/proc/loadavg: 1.00 1.25 1.63 3/175 26423
/proc/meminfo: memFree=31030988/32873648 swapFree=7112/7112
[pid=26423] ppid=26418 vsize=192168 CPUtime=1.38 cores=0,2,4,6
/proc/26423/stat : 26423 (pwbo2.01) S 26418 26423 26380 0 -1 4202496 15671 0 0 0 134 4 0 0 20 0 3 0 284365313 196780032 15580 33554432000 4194304 5964478 140736622515264 140736622514784 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26423/statm: 48042 15580 207 433 0 47606 0
[pid=26423/tid=26426] ppid=26418 vsize=192168 CPUtime=0.68 cores=0,2,4,6
/proc/26423/task/26426/stat : 26426 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 1558 0 0 0 68 0 0 0 20 0 3 0 284365313 196780032 15580 33554432000 4194304 5964478 140736622515264 140348526221112 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26423/tid=26427] ppid=26418 vsize=192168 CPUtime=0.68 cores=0,2,4,6
/proc/26423/task/26427/stat : 26427 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 13237 0 0 0 64 4 0 0 20 0 3 0 284365313 196780032 15580 33554432000 4194304 5964478 140736622515264 140348515731576 4399899 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 192168
[startup+1.50031 s]
/proc/loadavg: 1.24 1.29 1.64 6/181 26429
/proc/meminfo: memFree=30937684/32873648 swapFree=7112/7112
[pid=26423] ppid=26418 vsize=192168 CPUtime=2.98 cores=0,2,4,6
/proc/26423/stat : 26423 (pwbo2.01) S 26418 26423 26380 0 -1 4202496 17436 0 0 0 294 4 0 0 20 0 3 0 284365313 196780032 17345 33554432000 4194304 5964478 140736622515264 140736622514784 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26423/statm: 48042 17345 207 433 0 47606 0
[pid=26423/tid=26426] ppid=26418 vsize=192168 CPUtime=1.48 cores=0,2,4,6
/proc/26423/task/26426/stat : 26426 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 2598 0 0 0 148 0 0 0 20 0 3 0 284365313 196780032 17345 33554432000 4194304 5964478 140736622515264 140348526221352 4410861 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26423/tid=26427] ppid=26418 vsize=192168 CPUtime=1.48 cores=0,2,4,6
/proc/26423/task/26427/stat : 26427 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 13962 0 0 0 144 4 0 0 20 0 3 0 284365313 196780032 17345 33554432000 4194304 5964478 140736622515264 140348515731768 4399899 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 192168
[startup+3.10031 s]
/proc/loadavg: 1.24 1.29 1.64 6/181 26429
/proc/meminfo: memFree=30920920/32873648 swapFree=7112/7112
[pid=26423] ppid=26418 vsize=192528 CPUtime=6.19 cores=0,2,4,6
/proc/26423/stat : 26423 (pwbo2.01) S 26418 26423 26380 0 -1 4202496 20331 0 0 0 613 6 0 0 20 0 3 0 284365313 197148672 20240 33554432000 4194304 5964478 140736622515264 140736622514784 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26423/statm: 48132 20240 207 433 0 47696 0
[pid=26423/tid=26426] ppid=26418 vsize=192528 CPUtime=3.09 cores=0,2,4,6
/proc/26423/task/26426/stat : 26426 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 3291 0 0 0 307 2 0 0 20 0 3 0 284365313 197148672 20240 33554432000 4194304 5964478 140736622515264 140348526221112 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26423/tid=26427] ppid=26418 vsize=192528 CPUtime=3.08 cores=0,2,4,6
/proc/26423/task/26427/stat : 26427 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 16164 0 0 0 303 5 0 0 20 0 3 0 284365313 197148672 20240 33554432000 4194304 5964478 140736622515264 140348515731768 4381958 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 192528
[startup+6.30029 s]
/proc/loadavg: 1.46 1.34 1.65 6/181 26429
/proc/meminfo: memFree=30889792/32873648 swapFree=7112/7112
[pid=26423] ppid=26418 vsize=192768 CPUtime=12.58 cores=0,2,4,6
/proc/26423/stat : 26423 (pwbo2.01) S 26418 26423 26380 0 -1 4202496 24364 0 0 0 1251 7 0 0 20 0 3 0 284365313 197394432 24273 33554432000 4194304 5964478 140736622515264 140736622514784 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26423/statm: 48192 24273 207 433 0 47756 0
[pid=26423/tid=26426] ppid=26418 vsize=192768 CPUtime=6.28 cores=0,2,4,6
/proc/26423/task/26426/stat : 26426 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 3630 0 0 0 626 2 0 0 20 0 3 0 284365313 197394432 24273 33554432000 4194304 5964478 140736622515264 140348526221304 4400081 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26423/tid=26427] ppid=26418 vsize=192768 CPUtime=6.28 cores=0,2,4,6
/proc/26423/task/26427/stat : 26427 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 19858 0 0 0 622 6 0 0 20 0 3 0 284365313 197394432 24273 33554432000 4194304 5964478 140736622515264 140348515731768 4400081 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 192768
[startup+12.7003 s]
/proc/loadavg: 1.66 1.38 1.66 6/182 26432
/proc/meminfo: memFree=30859220/32873648 swapFree=7112/7112
[pid=26423] ppid=26418 vsize=258464 CPUtime=25.37 cores=0,2,4,6
/proc/26423/stat : 26423 (pwbo2.01) S 26418 26423 26380 0 -1 4202496 28987 0 0 0 2528 9 0 0 20 0 3 0 284365313 264667136 28896 33554432000 4194304 5964478 140736622515264 140736622514784 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26423/statm: 64616 28896 207 433 0 64180 0
[pid=26423/tid=26426] ppid=26418 vsize=258464 CPUtime=12.68 cores=0,2,4,6
/proc/26423/task/26426/stat : 26426 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 4272 0 0 0 1266 2 0 0 20 0 3 0 284365313 264667136 28896 33554432000 4194304 5964478 140736622515264 140348526221112 4400075 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26423/tid=26427] ppid=26418 vsize=258464 CPUtime=12.68 cores=0,2,4,6
/proc/26423/task/26427/stat : 26427 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 23839 0 0 0 1260 8 0 0 20 0 3 0 284365313 264667136 28896 33554432000 4194304 5964478 140736622515264 140348515731768 4400071 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 258464
[startup+25.5004 s]
/proc/loadavg: 2.02 1.47 1.69 6/182 26432
/proc/meminfo: memFree=30833852/32873648 swapFree=7112/7112
[pid=26423] ppid=26418 vsize=258704 CPUtime=50.97 cores=0,2,4,6
/proc/26423/stat : 26423 (pwbo2.01) S 26418 26423 26380 0 -1 4202496 32286 0 0 0 5085 12 0 0 20 0 3 0 284365313 264912896 32195 33554432000 4194304 5964478 140736622515264 140736622514784 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26423/statm: 64676 32195 207 433 0 64240 0
[pid=26423/tid=26426] ppid=26418 vsize=258704 CPUtime=25.48 cores=0,2,4,6
/proc/26423/task/26426/stat : 26426 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 5220 0 0 0 2545 3 0 0 20 0 3 0 284365313 264912896 32195 33554432000 4194304 5964478 140736622515264 140348526221304 4221123 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26423/tid=26427] ppid=26418 vsize=258704 CPUtime=25.48 cores=0,2,4,6
/proc/26423/task/26427/stat : 26427 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 26190 0 0 0 2538 10 0 0 20 0 3 0 284365313 264912896 32195 33554432000 4194304 5964478 140736622515264 140348515731768 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 258704
[startup+51.1004 s]
/proc/loadavg: 2.80 1.71 1.76 6/182 26432
/proc/meminfo: memFree=30774500/32873648 swapFree=7112/7112
[pid=26423] ppid=26418 vsize=264356 CPUtime=102.16 cores=0,2,4,6
/proc/26423/stat : 26423 (pwbo2.01) S 26418 26423 26380 0 -1 4202496 42881 0 0 0 10199 17 0 0 20 0 3 0 284365313 270700544 43076 33554432000 4194304 5964478 140736622515264 140736622514784 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26423/statm: 66089 43076 207 433 0 65653 0
[pid=26423/tid=26426] ppid=26418 vsize=264356 CPUtime=51.08 cores=0,2,4,6
/proc/26423/task/26426/stat : 26426 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 6934 0 0 0 5104 4 0 0 20 0 3 0 284365313 270700544 43076 33554432000 4194304 5964478 140736622515264 140348526221352 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26423/tid=26427] ppid=26418 vsize=264356 CPUtime=51.07 cores=0,2,4,6
/proc/26423/task/26427/stat : 26427 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 35071 0 0 0 5093 14 0 0 20 0 3 0 284365313 270700544 43076 33554432000 4194304 5964478 140736622515264 140348515731768 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 264356
[startup+102.3 s]
/proc/loadavg: 3.56 2.09 1.89 6/181 26432
/proc/meminfo: memFree=30676560/32873648 swapFree=7112/7112
[pid=26423] ppid=26418 vsize=335824 CPUtime=204.54 cores=0,2,4,6
/proc/26423/stat : 26423 (pwbo2.01) S 26418 26423 26380 0 -1 4202496 62431 0 0 0 20426 28 0 0 20 0 3 0 284365313 343883776 62837 33554432000 4194304 5964478 140736622515264 140736622514784 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26423/statm: 83956 62837 207 433 0 83520 0
[pid=26423/tid=26426] ppid=26418 vsize=335824 CPUtime=102.28 cores=0,2,4,6
/proc/26423/task/26426/stat : 26426 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 9292 0 0 0 10221 7 0 0 20 0 3 0 284365313 343883776 62837 33554432000 4194304 5964478 140736622515264 140348526221304 4600108 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26423/tid=26427] ppid=26418 vsize=335824 CPUtime=102.25 cores=0,2,4,6
/proc/26423/task/26427/stat : 26427 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 52263 0 0 0 10201 24 0 0 20 0 3 0 284365313 343883776 62837 33554432000 4194304 5964478 140736622515264 140348515731768 4388310 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 204.54
Current children cumulated vsize (KiB) 335824
[startup+162.3 s]
/proc/loadavg: 3.84 2.43 2.02 6/181 26433
/proc/meminfo: memFree=30580752/32873648 swapFree=7112/7112
[pid=26423] ppid=26418 vsize=405480 CPUtime=324.49 cores=0,2,4,6
/proc/26423/stat : 26423 (pwbo2.01) S 26418 26423 26380 0 -1 4202496 81306 0 0 0 32409 40 0 0 20 0 3 0 284365313 415211520 82442 33554432000 4194304 5964478 140736622515264 140736622514784 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26423/statm: 101370 82442 207 433 0 100934 0
[pid=26423/tid=26426] ppid=26418 vsize=405480 CPUtime=162.27 cores=0,2,4,6
/proc/26423/task/26426/stat : 26426 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 12289 0 0 0 16217 10 0 0 20 0 3 0 284365313 415211520 82442 33554432000 4194304 5964478 140736622515264 140348526221304 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26423/tid=26427] ppid=26418 vsize=405480 CPUtime=162.22 cores=0,2,4,6
/proc/26423/task/26427/stat : 26427 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 68141 0 0 0 16187 35 0 0 20 0 3 0 284365313 415211520 82442 33554432000 4194304 5964478 140736622515264 140348515731768 4400081 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 324.49
Current children cumulated vsize (KiB) 405480
[startup+222.307 s]
/proc/loadavg: 3.94 2.71 2.14 6/181 26433
/proc/meminfo: memFree=30503016/32873648 swapFree=7112/7112
[pid=26423] ppid=26418 vsize=538956 CPUtime=444.49 cores=0,2,4,6
/proc/26423/stat : 26423 (pwbo2.01) S 26418 26423 26380 0 -1 4202496 96479 0 0 0 44397 52 0 0 20 0 3 0 284365313 551890944 98311 33554432000 4194304 5964478 140736622515264 140736622514784 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26423/statm: 134739 98311 207 433 0 134303 0
[pid=26423/tid=26426] ppid=26418 vsize=538956 CPUtime=222.28 cores=0,2,4,6
/proc/26423/task/26426/stat : 26426 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 18321 0 0 0 22214 14 0 0 20 0 3 0 284365313 551890944 98311 33554432000 4194304 5964478 140736622515264 140348526221304 4400522 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26423/tid=26427] ppid=26418 vsize=538956 CPUtime=222.23 cores=0,2,4,6
/proc/26423/task/26427/stat : 26427 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 77282 0 0 0 22178 45 0 0 20 0 3 0 284365313 551890944 98311 33554432000 4194304 5964478 140736622515264 140348515731768 4400075 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 444.49
Current children cumulated vsize (KiB) 538956
[startup+282.3 s]
/proc/loadavg: 3.98 2.95 2.25 6/181 26433
/proc/meminfo: memFree=30473124/32873648 swapFree=7112/7112
[pid=26423] ppid=26418 vsize=542628 CPUtime=564.44 cores=0,2,4,6
/proc/26423/stat : 26423 (pwbo2.01) S 26418 26423 26380 0 -1 4202496 101839 0 0 0 56387 57 0 0 20 0 3 0 284365313 555651072 103781 33554432000 4194304 5964478 140736622515264 140736622514784 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26423/statm: 135657 103781 207 433 0 135221 0
[pid=26423/tid=26426] ppid=26418 vsize=542628 CPUtime=282.27 cores=0,2,4,6
/proc/26423/task/26426/stat : 26426 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 20565 0 0 0 28209 18 0 0 20 0 3 0 284365313 555651072 103781 33554432000 4194304 5964478 140736622515264 140348526221112 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26423/tid=26427] ppid=26418 vsize=542628 CPUtime=282.2 cores=0,2,4,6
/proc/26423/task/26427/stat : 26427 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 80398 0 0 0 28172 48 0 0 20 0 3 0 284365313 555651072 103781 33554432000 4194304 5964478 140736622515264 140348515731816 4400062 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 564.44
Current children cumulated vsize (KiB) 542628
[startup+342.3 s]
/proc/loadavg: 3.99 3.13 2.36 6/181 26433
/proc/meminfo: memFree=30444028/32873648 swapFree=7112/7112
[pid=26423] ppid=26418 vsize=545840 CPUtime=684.4 cores=0,2,4,6
/proc/26423/stat : 26423 (pwbo2.01) S 26418 26423 26380 0 -1 4202496 105221 0 0 0 68379 61 0 0 20 0 3 0 284365313 558940160 107227 33554432000 4194304 5964478 140736622515264 140736622514784 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26423/statm: 136460 107227 207 433 0 136024 0
[pid=26423/tid=26426] ppid=26418 vsize=545840 CPUtime=342.27 cores=0,2,4,6
/proc/26423/task/26426/stat : 26426 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 20926 0 0 0 34208 19 0 0 20 0 3 0 284365313 558940160 107227 33554432000 4194304 5964478 140736622515264 140348526221176 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26423/tid=26427] ppid=26418 vsize=545840 CPUtime=342.17 cores=0,2,4,6
/proc/26423/task/26427/stat : 26427 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 83419 0 0 0 34164 53 0 0 20 0 3 0 284365313 558940160 107227 33554432000 4194304 5964478 140736622515264 140348515731768 4400053 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 684.4
Current children cumulated vsize (KiB) 545840
[startup+402.3 s]
/proc/loadavg: 3.99 3.29 2.46 6/181 26433
/proc/meminfo: memFree=30422792/32873648 swapFree=7112/7112
[pid=26423] ppid=26418 vsize=548756 CPUtime=804.36 cores=0,2,4,6
/proc/26423/stat : 26423 (pwbo2.01) S 26418 26423 26380 0 -1 4202496 108535 0 0 0 80371 65 0 0 20 0 3 0 284365313 561926144 110619 33554432000 4194304 5964478 140736622515264 140736622514784 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26423/statm: 137189 110619 207 433 0 136753 0
[pid=26423/tid=26426] ppid=26418 vsize=548756 CPUtime=402.26 cores=0,2,4,6
/proc/26423/task/26426/stat : 26426 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 21214 0 0 0 40206 20 0 0 20 0 3 0 284365313 561926144 110619 33554432000 4194304 5964478 140736622515264 140348526221112 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26423/tid=26427] ppid=26418 vsize=548756 CPUtime=402.17 cores=0,2,4,6
/proc/26423/task/26427/stat : 26427 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 86445 0 0 0 40159 58 0 0 20 0 3 0 284365313 561926144 110619 33554432000 4194304 5964478 140736622515264 140348515731768 4400040 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 804.36
Current children cumulated vsize (KiB) 548756
[startup+462.3 s]
/proc/loadavg: 4.05 3.43 2.56 6/181 26433
/proc/meminfo: memFree=30385844/32873648 swapFree=7112/7112
[pid=26423] ppid=26418 vsize=553356 CPUtime=924.34 cores=0,2,4,6
/proc/26423/stat : 26423 (pwbo2.01) S 26418 26423 26380 0 -1 4202496 111855 0 0 0 92366 68 0 0 20 0 3 0 284365313 566636544 113939 33554432000 4194304 5964478 140736622515264 140736622514784 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26423/statm: 138339 113939 207 433 0 137903 0
[pid=26423/tid=26426] ppid=26418 vsize=553356 CPUtime=462.27 cores=0,2,4,6
/proc/26423/task/26426/stat : 26426 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 22045 0 0 0 46205 22 0 0 20 0 3 0 284365313 566636544 113939 33554432000 4194304 5964478 140736622515264 140348526221304 4400040 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26423/tid=26427] ppid=26418 vsize=553356 CPUtime=462.17 cores=0,2,4,6
/proc/26423/task/26427/stat : 26427 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 88934 0 0 0 46155 62 0 0 20 0 3 0 284365313 566636544 113939 33554432000 4194304 5964478 140736622515264 140348515731768 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 924.34
Current children cumulated vsize (KiB) 553356
[startup+522.3 s]
/proc/loadavg: 4.02 3.53 2.64 6/181 26434
/proc/meminfo: memFree=30343836/32873648 swapFree=7112/7112
[pid=26423] ppid=26418 vsize=560620 CPUtime=1044.32 cores=0,2,4,6
/proc/26423/stat : 26423 (pwbo2.01) S 26418 26423 26380 0 -1 4202496 117278 0 0 0 104358 74 0 0 20 0 3 0 284365313 574074880 119290 33554432000 4194304 5964478 140736622515264 140736622514784 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26423/statm: 140155 119290 207 433 0 139719 0
[pid=26423/tid=26426] ppid=26418 vsize=560620 CPUtime=522.27 cores=0,2,4,6
/proc/26423/task/26426/stat : 26426 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 25318 0 0 0 52202 25 0 0 20 0 3 0 284365313 574074880 119290 33554432000 4194304 5964478 140736622515264 140348526221352 4379387 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26423/tid=26427] ppid=26418 vsize=560620 CPUtime=522.17 cores=0,2,4,6
/proc/26423/task/26427/stat : 26427 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 91084 0 0 0 52152 65 0 0 20 0 3 0 284365313 574074880 119290 33554432000 4194304 5964478 140736622515264 140348515731768 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1044.32
Current children cumulated vsize (KiB) 560620
[startup+582.3 s]
/proc/loadavg: 4.09 3.64 2.74 6/181 26434
/proc/meminfo: memFree=30301612/32873648 swapFree=7112/7112
[pid=26423] ppid=26418 vsize=631956 CPUtime=1164.3 cores=0,2,4,6
/proc/26423/stat : 26423 (pwbo2.01) S 26418 26423 26380 0 -1 4202496 124926 0 0 0 116349 81 0 0 20 0 3 0 284365313 647122944 126898 33554432000 4194304 5964478 140736622515264 140736622514784 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26423/statm: 157989 126898 207 433 0 157553 0
[pid=26423/tid=26426] ppid=26418 vsize=631956 CPUtime=582.27 cores=0,2,4,6
/proc/26423/task/26426/stat : 26426 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 25970 0 0 0 58201 26 0 0 20 0 3 0 284365313 647122944 126898 33554432000 4194304 5964478 140736622515264 140348526221112 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26423/tid=26427] ppid=26418 vsize=631956 CPUtime=582.18 cores=0,2,4,6
/proc/26423/task/26427/stat : 26427 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 98080 0 0 0 58145 73 0 0 20 0 3 0 284365313 647122944 126898 33554432000 4194304 5964478 140736622515264 140348515731768 4400062 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1164.3
Current children cumulated vsize (KiB) 631956
[startup+642.3 s]
/proc/loadavg: 4.03 3.71 2.81 6/182 26437
/proc/meminfo: memFree=30287260/32873648 swapFree=7112/7112
[pid=26423] ppid=26418 vsize=634436 CPUtime=1284.26 cores=0,2,4,6
/proc/26423/stat : 26423 (pwbo2.01) S 26418 26423 26380 0 -1 4202496 126777 0 0 0 128342 84 0 0 20 0 3 0 284365313 649662464 128742 33554432000 4194304 5964478 140736622515264 140736622514784 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26423/statm: 158609 128742 207 433 0 158173 0
[pid=26423/tid=26426] ppid=26418 vsize=634436 CPUtime=642.27 cores=0,2,4,6
/proc/26423/task/26426/stat : 26426 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 26315 0 0 0 64200 27 0 0 20 0 3 0 284365313 649662464 128742 33554432000 4194304 5964478 140736622515264 140348526221112 4400073 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26423/tid=26427] ppid=26418 vsize=634436 CPUtime=642.16 cores=0,2,4,6
/proc/26423/task/26427/stat : 26427 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 99586 0 0 0 64140 76 0 0 20 0 3 0 284365313 649662464 128742 33554432000 4194304 5964478 140736622515264 140348515731768 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1284.26
Current children cumulated vsize (KiB) 634436
[startup+702.3 s]
/proc/loadavg: 4.01 3.76 2.88 6/181 26437
/proc/meminfo: memFree=30257372/32873648 swapFree=7112/7112
[pid=26423] ppid=26418 vsize=636616 CPUtime=1404.24 cores=0,2,4,6
/proc/26423/stat : 26423 (pwbo2.01) S 26418 26423 26380 0 -1 4202496 132176 0 0 0 140335 89 0 0 20 0 3 0 284365313 651894784 134153 33554432000 4194304 5964478 140736622515264 140736622514784 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26423/statm: 159154 134153 207 433 0 158718 0
[pid=26423/tid=26426] ppid=26418 vsize=636616 CPUtime=702.27 cores=0,2,4,6
/proc/26423/task/26426/stat : 26426 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 29681 0 0 0 70196 31 0 0 20 0 3 0 284365313 651894784 134153 33554432000 4194304 5964478 140736622515264 140348526221304 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26423/tid=26427] ppid=26418 vsize=636616 CPUtime=702.16 cores=0,2,4,6
/proc/26423/task/26427/stat : 26427 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 101619 0 0 0 70136 80 0 0 20 0 3 0 284365313 651894784 134153 33554432000 4194304 5964478 140736622515264 140348515731768 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1404.24
Current children cumulated vsize (KiB) 636616
[startup+762.3 s]
/proc/loadavg: 4.00 3.80 2.95 6/181 26437
/proc/meminfo: memFree=30219924/32873648 swapFree=7112/7112
[pid=26423] ppid=26418 vsize=639132 CPUtime=1524.23 cores=0,2,4,6
/proc/26423/stat : 26423 (pwbo2.01) S 26418 26423 26380 0 -1 4202496 137241 0 0 0 152328 95 0 0 20 0 3 0 284365313 654471168 139213 33554432000 4194304 5964478 140736622515264 140736622514784 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26423/statm: 159783 139213 207 433 0 159347 0
[pid=26423/tid=26426] ppid=26418 vsize=639132 CPUtime=762.28 cores=0,2,4,6
/proc/26423/task/26426/stat : 26426 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 32048 0 0 0 76194 34 0 0 20 0 3 0 284365313 654471168 139213 33554432000 4194304 5964478 140736622515264 140348526221112 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26423/tid=26427] ppid=26418 vsize=639132 CPUtime=762.17 cores=0,2,4,6
/proc/26423/task/26427/stat : 26427 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 104317 0 0 0 76133 84 0 0 20 0 3 0 284365313 654471168 139213 33554432000 4194304 5964478 140736622515264 140348515731768 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1524.23
Current children cumulated vsize (KiB) 639132
[startup+822.3 s]
/proc/loadavg: 4.00 3.83 3.01 6/182 26439
/proc/meminfo: memFree=30192020/32873648 swapFree=7112/7112
[pid=26423] ppid=26418 vsize=640672 CPUtime=1644.19 cores=0,2,4,6
/proc/26423/stat : 26423 (pwbo2.01) S 26418 26423 26380 0 -1 4202496 140302 0 0 0 164321 98 0 0 20 0 3 0 284365313 656048128 142274 33554432000 4194304 5964478 140736622515264 140736622514784 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26423/statm: 160168 142274 207 433 0 159732 0
[pid=26423/tid=26426] ppid=26418 vsize=640672 CPUtime=822.27 cores=0,2,4,6
/proc/26423/task/26426/stat : 26426 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 32614 0 0 0 82191 36 0 0 20 0 3 0 284365313 656048128 142274 33554432000 4194304 5964478 140736622515264 140348526221352 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26423/tid=26427] ppid=26418 vsize=640672 CPUtime=822.16 cores=0,2,4,6
/proc/26423/task/26427/stat : 26427 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 106812 0 0 0 82128 88 0 0 20 0 3 0 284365313 656048128 142274 33554432000 4194304 5964478 140736622515264 140348515731768 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1644.19
Current children cumulated vsize (KiB) 640672
[startup+882.307 s]
/proc/loadavg: 4.00 3.86 3.07 6/181 26439
/proc/meminfo: memFree=30149356/32873648 swapFree=7112/7112
[pid=26423] ppid=26418 vsize=643480 CPUtime=1764.19 cores=0,2,4,6
/proc/26423/stat : 26423 (pwbo2.01) S 26418 26423 26380 0 -1 4202496 142823 0 0 0 176318 101 0 0 20 0 3 0 284365313 658923520 144795 33554432000 4194304 5964478 140736622515264 140736622514784 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26423/statm: 160870 144795 207 433 0 160434 0
[pid=26423/tid=26426] ppid=26418 vsize=643480 CPUtime=882.28 cores=0,2,4,6
/proc/26423/task/26426/stat : 26426 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 33138 0 0 0 88191 37 0 0 20 0 3 0 284365313 658923520 144795 33554432000 4194304 5964478 140736622515264 140348526221352 4400075 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26423/tid=26427] ppid=26418 vsize=643480 CPUtime=882.17 cores=0,2,4,6
/proc/26423/task/26427/stat : 26427 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 108809 0 0 0 88126 91 0 0 20 0 3 0 284365313 658923520 144795 33554432000 4194304 5964478 140736622515264 140348515731768 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1764.19
Current children cumulated vsize (KiB) 643480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 3.87 3.09 3/178 26440
/proc/meminfo: memFree=30449356/32873648 swapFree=7112/7112
[pid=26423] ppid=26418 vsize=643856 CPUtime=1800.18 cores=0,2,4,6
/proc/26423/stat : 26423 (pwbo2.01) S 26418 26423 26380 0 -1 4202496 143474 0 0 0 179917 101 0 0 20 0 3 0 284365313 659308544 145446 33554432000 4194304 5964478 140736622515264 140736622514784 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26423/statm: 160964 145446 207 433 0 160528 0
[pid=26423/tid=26426] ppid=26418 vsize=643856 CPUtime=900.28 cores=0,2,4,6
/proc/26423/task/26426/stat : 26426 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 33389 0 0 0 89991 37 0 0 20 0 3 0 284365313 659308544 145446 33554432000 4194304 5964478 140736622515264 140348526221352 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26423/tid=26427] ppid=26418 vsize=643856 CPUtime=900.17 cores=0,2,4,6
/proc/26423/task/26427/stat : 26427 (pwbo2.01) R 26418 26423 26380 0 -1 4202560 109209 0 0 0 89926 91 0 0 20 0 3 0 284365313 659308544 145446 33554432000 4194304 5964478 140736622515264 140348515731768 4400075 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 643856
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.322
CPU time (s): 1800.49
CPU user time (s): 1799.18
CPU system time (s): 1.3108
CPU usage (%): 199.983
Max. virtual memory (cumulated for all children) (KiB): 643856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.18
system time used= 1.3108
maximum resident set size= 581792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143476
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= 470
involuntary context switches= 2250
runsolver used 1.84072 second user time and 5.41618 second system time
The end