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-3728719-1338675152/watcher-3728719-1338675152 -o /tmp/evaluation-result-3728719-1338675152/solver-3728719-1338675152 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728719-1338675152.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: 3.84 3.98 3.97 4/178 8842
/proc/meminfo: memFree=26611636/32873648 swapFree=6860/6860
[pid=8842] ppid=8840 vsize=5724 CPUtime=0 cores=0,2,4,6
/proc/8842/stat : 8842 (pwbo2.02) R 8840 8842 7711 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 333641226 5861376 548 33554432000 4194304 5964478 140733505977024 140734778571672 4344643 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/8842/statm: 1431 548 166 433 0 830 0
[startup+0.0742721 s]
/proc/loadavg: 3.84 3.98 3.97 4/178 8842
/proc/meminfo: memFree=26611636/32873648 swapFree=6860/6860
[pid=8842] ppid=8840 vsize=178548 CPUtime=0.07 cores=0,2,4,6
/proc/8842/stat : 8842 (pwbo2.02) S 8840 8842 7711 0 -1 4202496 6221 0 0 0 5 2 0 0 20 0 3 0 333641226 182833152 6008 33554432000 4194304 5964478 140733505977024 140733505976544 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8842/statm: 44637 6009 178 433 0 44201 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 178548
[startup+0.100229 s]
/proc/loadavg: 3.84 3.98 3.97 4/178 8842
/proc/meminfo: memFree=26611636/32873648 swapFree=6860/6860
[pid=8842] ppid=8840 vsize=181320 CPUtime=0.11 cores=0,2,4,6
/proc/8842/stat : 8842 (pwbo2.02) S 8840 8842 7711 0 -1 4202496 8419 0 0 0 9 2 0 0 20 0 3 0 333641226 185671680 8201 33554432000 4194304 5964478 140733505977024 140733505976544 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8842/statm: 45330 8201 187 433 0 44894 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 181320
[startup+0.300156 s]
/proc/loadavg: 3.84 3.98 3.97 4/178 8842
/proc/meminfo: memFree=26611636/32873648 swapFree=6860/6860
[pid=8842] ppid=8840 vsize=223260 CPUtime=0.5 cores=0,2,4,6
/proc/8842/stat : 8842 (pwbo2.02) S 8840 8842 7711 0 -1 4202496 29886 0 0 0 41 9 0 0 20 0 3 0 333641226 228618240 29962 33554432000 4194304 5964478 140733505977024 140733505976544 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8842/statm: 55815 29967 206 433 0 55379 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 223260
[startup+0.700156 s]
/proc/loadavg: 3.84 3.98 3.97 4/178 8842
/proc/meminfo: memFree=26611636/32873648 swapFree=6860/6860
[pid=8842] ppid=8840 vsize=403380 CPUtime=1.31 cores=0,2,4,6
/proc/8842/stat : 8842 (pwbo2.02) S 8840 8842 7711 0 -1 4202496 62818 0 0 0 108 23 0 0 20 0 3 0 333641226 413061120 75087 33554432000 4194304 5964478 140733505977024 140733505976544 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8842/statm: 100845 75090 206 433 0 100409 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 403380
[startup+1.50023 s]
/proc/loadavg: 3.84 3.98 3.97 5/181 8845
/proc/meminfo: memFree=26182160/32873648 swapFree=6860/6860
[pid=8842] ppid=8840 vsize=803348 CPUtime=2.91 cores=0,2,4,6
/proc/8842/stat : 8842 (pwbo2.02) S 8840 8842 7711 0 -1 4202496 116319 0 0 0 251 40 0 0 20 0 3 0 333641226 822628352 156184 33554432000 4194304 5964478 140733505977024 140733505976544 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8842/statm: 200837 156184 206 433 0 200401 0
[pid=8842/tid=8844] ppid=8840 vsize=803348 CPUtime=1.41 cores=0,2,4,6
/proc/8842/task/8844/stat : 8844 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 7855 0 0 0 139 2 0 0 20 0 3 0 333641232 822628352 156184 33554432000 4194304 5964478 140733505977024 140536412867096 4400087 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=8842/tid=8845] ppid=8840 vsize=803348 CPUtime=1.42 cores=0,2,4,6
/proc/8842/task/8845/stat : 8845 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 105032 0 0 0 104 38 0 0 20 0 3 0 333641232 822628352 156184 33554432000 4194304 5964478 140733505977024 140536402376488 4418683 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 803348
[startup+3.10029 s]
/proc/loadavg: 3.84 3.98 3.97 5/181 8845
/proc/meminfo: memFree=25974796/32873648 swapFree=6860/6860
[pid=8842] ppid=8840 vsize=817136 CPUtime=6.09 cores=0,2,4,6
/proc/8842/stat : 8842 (pwbo2.02) S 8840 8842 7711 0 -1 4202496 123636 0 0 0 568 41 0 0 20 0 3 0 333641226 836747264 161085 33554432000 4194304 5964478 140733505977024 140733505976544 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8842/statm: 204284 160637 206 433 0 203848 0
[pid=8842/tid=8844] ppid=8840 vsize=817136 CPUtime=3 cores=0,2,4,6
/proc/8842/task/8844/stat : 8844 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 13572 0 0 0 297 3 0 0 20 0 3 0 333641232 836747264 160637 33554432000 4194304 5964478 140733505977024 140536412867400 5244327 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=8842/tid=8845] ppid=8840 vsize=817136 CPUtime=3.02 cores=0,2,4,6
/proc/8842/task/8845/stat : 8845 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 106632 0 0 0 264 38 0 0 20 0 3 0 333641232 836747264 160637 33554432000 4194304 5964478 140733505977024 140536402377064 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 817136
[startup+6.30029 s]
/proc/loadavg: 3.85 3.98 3.97 5/181 8845
/proc/meminfo: memFree=25962208/32873648 swapFree=6860/6860
[pid=8842] ppid=8840 vsize=811360 CPUtime=12.49 cores=0,2,4,6
/proc/8842/stat : 8842 (pwbo2.02) S 8840 8842 7711 0 -1 4202496 129766 0 0 0 1207 42 0 0 20 0 3 0 333641226 830832640 162068 33554432000 4194304 5964478 140733505977024 140733505976544 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8842/statm: 202840 162068 206 433 0 202404 0
[pid=8842/tid=8844] ppid=8840 vsize=811360 CPUtime=6.2 cores=0,2,4,6
/proc/8842/task/8844/stat : 8844 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 19649 0 0 0 616 4 0 0 20 0 3 0 333641232 830832640 162068 33554432000 4194304 5964478 140733505977024 140536412867400 4399870 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=8842/tid=8845] ppid=8840 vsize=811360 CPUtime=6.22 cores=0,2,4,6
/proc/8842/task/8845/stat : 8845 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 106685 0 0 0 584 38 0 0 20 0 3 0 333641232 830832640 162068 33554432000 4194304 5964478 140733505977024 140536402376936 4400158 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 811360
[startup+12.7002 s]
/proc/loadavg: 3.86 3.98 3.97 5/181 8845
/proc/meminfo: memFree=25941956/32873648 swapFree=6860/6860
[pid=8842] ppid=8840 vsize=815688 CPUtime=25.29 cores=0,2,4,6
/proc/8842/stat : 8842 (pwbo2.02) S 8840 8842 7711 0 -1 4202496 136071 0 0 0 2486 43 0 0 20 0 3 0 333641226 835264512 167289 33554432000 4194304 5964478 140733505977024 140733505976544 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8842/statm: 203922 167289 206 433 0 203486 0
[pid=8842/tid=8844] ppid=8840 vsize=815688 CPUtime=12.59 cores=0,2,4,6
/proc/8842/task/8844/stat : 8844 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 25219 0 0 0 1255 4 0 0 20 0 3 0 333641232 835264512 167289 33554432000 4194304 5964478 140733505977024 140536412866888 4392859 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=8842/tid=8845] ppid=8840 vsize=815688 CPUtime=12.62 cores=0,2,4,6
/proc/8842/task/8845/stat : 8845 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 107420 0 0 0 1223 39 0 0 20 0 3 0 333641232 835264512 167289 33554432000 4194304 5964478 140733505977024 140536402376936 4400571 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 815688
[startup+25.5003 s]
/proc/loadavg: 3.89 3.98 3.97 5/181 8845
/proc/meminfo: memFree=25939832/32873648 swapFree=6860/6860
[pid=8842] ppid=8840 vsize=815688 CPUtime=50.88 cores=0,2,4,6
/proc/8842/stat : 8842 (pwbo2.02) S 8840 8842 7711 0 -1 4202496 136405 0 0 0 5045 43 0 0 20 0 3 0 333641226 835264512 167623 33554432000 4194304 5964478 140733505977024 140733505976544 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8842/statm: 203922 167623 206 433 0 203486 0
[pid=8842/tid=8844] ppid=8840 vsize=815688 CPUtime=25.39 cores=0,2,4,6
/proc/8842/task/8844/stat : 8844 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 25219 0 0 0 2535 4 0 0 20 0 3 0 333641232 835264512 167623 33554432000 4194304 5964478 140733505977024 140536412866888 4389170 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=8842/tid=8845] ppid=8840 vsize=815688 CPUtime=25.42 cores=0,2,4,6
/proc/8842/task/8845/stat : 8845 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 107754 0 0 0 2503 39 0 0 20 0 3 0 333641232 835264512 167623 33554432000 4194304 5964478 140733505977024 140536402376936 4403343 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 815688
[startup+51.1003 s]
/proc/loadavg: 3.99 3.99 3.97 5/181 8845
/proc/meminfo: memFree=25829316/32873648 swapFree=6860/6860
[pid=8842] ppid=8840 vsize=815688 CPUtime=102.08 cores=0,2,4,6
/proc/8842/stat : 8842 (pwbo2.02) S 8840 8842 7711 0 -1 4202496 138519 0 0 0 10162 46 0 0 20 0 3 0 333641226 835264512 169737 33554432000 4194304 5964478 140733505977024 140733505976544 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8842/statm: 203922 169737 206 433 0 203486 0
[pid=8842/tid=8844] ppid=8840 vsize=815688 CPUtime=50.99 cores=0,2,4,6
/proc/8842/task/8844/stat : 8844 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 26989 0 0 0 5093 6 0 0 20 0 3 0 333641232 835264512 169737 33554432000 4194304 5964478 140733505977024 140536412866600 4389160 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=8842/tid=8845] ppid=8840 vsize=815688 CPUtime=51.02 cores=0,2,4,6
/proc/8842/task/8845/stat : 8845 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 108098 0 0 0 5062 40 0 0 20 0 3 0 333641232 835264512 169737 33554432000 4194304 5964478 140733505977024 140536402377016 4399854 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.08
Current children cumulated vsize (KiB) 815688
[startup+102.307 s]
/proc/loadavg: 4.03 4.01 3.98 5/180 8845
/proc/meminfo: memFree=25763692/32873648 swapFree=6860/6860
[pid=8842] ppid=8840 vsize=888968 CPUtime=204.47 cores=0,2,4,6
/proc/8842/stat : 8842 (pwbo2.02) S 8840 8842 7711 0 -1 4202496 148864 0 0 0 20390 57 0 0 20 0 3 0 333641226 910303232 180569 33554432000 4194304 5964478 140733505977024 140733505976544 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8842/statm: 222242 180569 206 433 0 221806 0
[pid=8842/tid=8844] ppid=8840 vsize=888968 CPUtime=102.19 cores=0,2,4,6
/proc/8842/task/8844/stat : 8844 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 36512 0 0 0 10201 18 0 0 20 0 3 0 333641232 910303232 180569 33554432000 4194304 5964478 140733505977024 140536412866552 4399854 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=8842/tid=8845] ppid=8840 vsize=888968 CPUtime=102.23 cores=0,2,4,6
/proc/8842/task/8845/stat : 8845 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 108920 0 0 0 10182 41 0 0 20 0 3 0 333641232 910303232 180569 33554432000 4194304 5964478 140733505977024 140536402377368 4403301 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.47
Current children cumulated vsize (KiB) 888968
[startup+162.3 s]
/proc/loadavg: 4.01 4.00 3.98 5/181 8846
/proc/meminfo: memFree=25539152/32873648 swapFree=6860/6860
[pid=8842] ppid=8840 vsize=888968 CPUtime=324.44 cores=0,2,4,6
/proc/8842/stat : 8842 (pwbo2.02) S 8840 8842 7711 0 -1 4202496 154168 0 0 0 32381 63 0 0 20 0 3 0 333641226 910303232 185871 33554432000 4194304 5964478 140733505977024 140733505976544 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8842/statm: 222242 185871 206 433 0 221806 0
[pid=8842/tid=8844] ppid=8840 vsize=888968 CPUtime=162.18 cores=0,2,4,6
/proc/8842/task/8844/stat : 8844 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 41532 0 0 0 16194 24 0 0 20 0 3 0 333641232 910303232 185871 33554432000 4194304 5964478 140733505977024 140536412866600 4392851 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=8842/tid=8845] ppid=8840 vsize=888968 CPUtime=162.22 cores=0,2,4,6
/proc/8842/task/8845/stat : 8845 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 109204 0 0 0 16179 43 0 0 20 0 3 0 333641232 910303232 185871 33554432000 4194304 5964478 140733505977024 140536402377064 4400010 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.44
Current children cumulated vsize (KiB) 888968
[startup+222.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 8846
/proc/meminfo: memFree=25313196/32873648 swapFree=6860/6860
[pid=8842] ppid=8840 vsize=954504 CPUtime=444.41 cores=0,2,4,6
/proc/8842/stat : 8842 (pwbo2.02) S 8840 8842 7711 0 -1 4202496 168057 0 0 0 44367 74 0 0 20 0 3 0 333641226 977412096 199760 33554432000 4194304 5964478 140733505977024 140733505976544 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8842/statm: 238626 199760 206 433 0 238190 0
[pid=8842/tid=8844] ppid=8840 vsize=954504 CPUtime=222.18 cores=0,2,4,6
/proc/8842/task/8844/stat : 8844 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 54859 0 0 0 22182 36 0 0 20 0 3 0 333641232 977412096 199760 33554432000 4194304 5964478 140733505977024 140536412866152 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=8842/tid=8845] ppid=8840 vsize=954504 CPUtime=222.23 cores=0,2,4,6
/proc/8842/task/8845/stat : 8845 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 109766 0 0 0 22179 44 0 0 20 0 3 0 333641232 977412096 199760 33554432000 4194304 5964478 140733505977024 140536402377016 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.41
Current children cumulated vsize (KiB) 954504
[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 8846
/proc/meminfo: memFree=25242632/32873648 swapFree=6860/6860
[pid=8842] ppid=8840 vsize=954504 CPUtime=564.37 cores=0,2,4,6
/proc/8842/stat : 8842 (pwbo2.02) S 8840 8842 7711 0 -1 4202496 175204 0 0 0 56357 80 0 0 20 0 3 0 333641226 977412096 207205 33554432000 4194304 5964478 140733505977024 140733505976544 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8842/statm: 238626 207205 206 433 0 238190 0
[pid=8842/tid=8844] ppid=8840 vsize=954504 CPUtime=282.17 cores=0,2,4,6
/proc/8842/task/8844/stat : 8844 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 61638 0 0 0 28174 43 0 0 20 0 3 0 333641232 977412096 207205 33554432000 4194304 5964478 140733505977024 140536412866552 4389129 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=8842/tid=8845] ppid=8840 vsize=954504 CPUtime=282.23 cores=0,2,4,6
/proc/8842/task/8845/stat : 8845 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 110134 0 0 0 28178 45 0 0 20 0 3 0 333641232 977412096 207205 33554432000 4194304 5964478 140733505977024 140536402376824 4399915 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.37
Current children cumulated vsize (KiB) 954504
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 8846
/proc/meminfo: memFree=25227412/32873648 swapFree=6860/6860
[pid=8842] ppid=8840 vsize=1020040 CPUtime=684.33 cores=0,2,4,6
/proc/8842/stat : 8842 (pwbo2.02) S 8840 8842 7711 0 -1 4202496 179044 0 0 0 68349 84 0 0 20 0 3 0 333641226 1044520960 211125 33554432000 4194304 5964478 140733505977024 140733505976544 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8842/statm: 255010 211125 206 433 0 254574 0
[pid=8842/tid=8844] ppid=8840 vsize=1020040 CPUtime=342.14 cores=0,2,4,6
/proc/8842/task/8844/stat : 8844 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 65099 0 0 0 34167 47 0 0 20 0 3 0 333641232 1044520960 211125 33554432000 4194304 5964478 140733505977024 140536412866552 4403304 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=8842/tid=8845] ppid=8840 vsize=1020040 CPUtime=342.23 cores=0,2,4,6
/proc/8842/task/8845/stat : 8845 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 110513 0 0 0 34176 47 0 0 20 0 3 0 333641232 1044520960 211125 33554432000 4194304 5964478 140733505977024 140536402377064 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.33
Current children cumulated vsize (KiB) 1020040
[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 8846
/proc/meminfo: memFree=25069092/32873648 swapFree=6860/6860
[pid=8842] ppid=8840 vsize=1020304 CPUtime=804.3 cores=0,2,4,6
/proc/8842/stat : 8842 (pwbo2.02) S 8840 8842 7711 0 -1 4202496 190481 0 0 0 80337 93 0 0 20 0 3 0 333641226 1044791296 222543 33554432000 4194304 5964478 140733505977024 140733505976544 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8842/statm: 255076 222543 206 433 0 254640 0
[pid=8842/tid=8844] ppid=8840 vsize=1020304 CPUtime=402.14 cores=0,2,4,6
/proc/8842/task/8844/stat : 8844 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 76008 0 0 0 40157 57 0 0 20 0 3 0 333641232 1044791296 222543 33554432000 4194304 5964478 140733505977024 140536412866552 5136420 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=8842/tid=8845] ppid=8840 vsize=1020304 CPUtime=402.22 cores=0,2,4,6
/proc/8842/task/8845/stat : 8845 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 111041 0 0 0 40174 48 0 0 20 0 3 0 333641232 1044791296 222543 33554432000 4194304 5964478 140733505977024 140536402377064 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.3
Current children cumulated vsize (KiB) 1020304
[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/182 8850
/proc/meminfo: memFree=24885056/32873648 swapFree=6860/6860
[pid=8842] ppid=8840 vsize=1020568 CPUtime=924.26 cores=0,2,4,6
/proc/8842/stat : 8842 (pwbo2.02) S 8840 8842 7711 0 -1 4202496 191732 0 0 0 92332 94 0 0 20 0 3 0 333641226 1045061632 223767 33554432000 4194304 5964478 140733505977024 140733505976544 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8842/statm: 255142 223767 206 433 0 254706 0
[pid=8842/tid=8844] ppid=8840 vsize=1020568 CPUtime=462.14 cores=0,2,4,6
/proc/8842/task/8844/stat : 8844 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 76578 0 0 0 46155 59 0 0 20 0 3 0 333641232 1045061632 223767 33554432000 4194304 5964478 140733505977024 140536412866600 4388276 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=8842/tid=8845] ppid=8840 vsize=1020568 CPUtime=462.2 cores=0,2,4,6
/proc/8842/task/8845/stat : 8845 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 111722 0 0 0 46170 50 0 0 20 0 3 0 333641232 1045061632 223767 33554432000 4194304 5964478 140733505977024 140536402376952 4399900 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.26
Current children cumulated vsize (KiB) 1020568
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 8850
/proc/meminfo: memFree=24793448/32873648 swapFree=6860/6860
[pid=8842] ppid=8840 vsize=1086236 CPUtime=1044.23 cores=0,2,4,6
/proc/8842/stat : 8842 (pwbo2.02) S 8840 8842 7711 0 -1 4202496 197789 0 0 0 104325 98 0 0 20 0 3 0 333641226 1112305664 229899 33554432000 4194304 5964478 140733505977024 140733505976544 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8842/statm: 271559 229899 206 433 0 271123 0
[pid=8842/tid=8844] ppid=8840 vsize=1086236 CPUtime=522.14 cores=0,2,4,6
/proc/8842/task/8844/stat : 8844 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 82510 0 0 0 52151 63 0 0 20 0 3 0 333641232 1112305664 229899 33554432000 4194304 5964478 140733505977024 140536412866552 4389170 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=8842/tid=8845] ppid=8840 vsize=1086236 CPUtime=522.18 cores=0,2,4,6
/proc/8842/task/8845/stat : 8845 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 111847 0 0 0 52168 50 0 0 20 0 3 0 333641232 1112305664 229899 33554432000 4194304 5964478 140733505977024 140536402377016 4399915 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.23
Current children cumulated vsize (KiB) 1086236
[startup+582.3 s]
/proc/loadavg: 4.04 4.01 3.98 5/181 8850
/proc/meminfo: memFree=24776468/32873648 swapFree=6860/6860
[pid=8842] ppid=8840 vsize=1086500 CPUtime=1164.2 cores=0,2,4,6
/proc/8842/stat : 8842 (pwbo2.02) S 8840 8842 7711 0 -1 4202496 205844 0 0 0 116314 106 0 0 20 0 3 0 333641226 1112576000 238024 33554432000 4194304 5964478 140733505977024 140733505976544 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8842/statm: 271625 238024 206 433 0 271189 0
[pid=8842/tid=8844] ppid=8840 vsize=1086500 CPUtime=582.14 cores=0,2,4,6
/proc/8842/task/8844/stat : 8844 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 90042 0 0 0 58143 71 0 0 20 0 3 0 333641232 1112576000 238024 33554432000 4194304 5964478 140733505977024 140536412866552 4389170 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=8842/tid=8845] ppid=8840 vsize=1086500 CPUtime=582.17 cores=0,2,4,6
/proc/8842/task/8845/stat : 8845 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 112370 0 0 0 58166 51 0 0 20 0 3 0 333641232 1112576000 238024 33554432000 4194304 5964478 140733505977024 140536402376824 4399854 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.2
Current children cumulated vsize (KiB) 1086500
[startup+642.3 s]
/proc/loadavg: 4.01 4.01 3.98 5/181 8850
/proc/meminfo: memFree=24699624/32873648 swapFree=6860/6860
[pid=8842] ppid=8840 vsize=1152172 CPUtime=1284.18 cores=0,2,4,6
/proc/8842/stat : 8842 (pwbo2.02) S 8840 8842 7711 0 -1 4202496 225607 0 0 0 128301 117 0 0 20 0 3 0 333641226 1179824128 256977 33554432000 4194304 5964478 140733505977024 140733505976544 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8842/statm: 288043 256977 206 433 0 287607 0
[pid=8842/tid=8844] ppid=8840 vsize=1152172 CPUtime=642.14 cores=0,2,4,6
/proc/8842/task/8844/stat : 8844 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 108844 0 0 0 64132 82 0 0 20 0 3 0 333641232 1179824128 256977 33554432000 4194304 5964478 140733505977024 140536412867512 4389089 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=8842/tid=8845] ppid=8840 vsize=1152172 CPUtime=642.16 cores=0,2,4,6
/proc/8842/task/8845/stat : 8845 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 113331 0 0 0 64163 53 0 0 20 0 3 0 333641232 1179824128 256977 33554432000 4194304 5964478 140733505977024 140536402377016 4403343 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.18
Current children cumulated vsize (KiB) 1152172
[startup+702.3 s]
/proc/loadavg: 3.21 3.81 3.92 3/173 8875
/proc/meminfo: memFree=26400892/32873648 swapFree=6860/6860
[pid=8842] ppid=8840 vsize=1147976 CPUtime=1404.12 cores=0,2,4,6
/proc/8842/stat : 8842 (pwbo2.02) S 8840 8842 7711 0 -1 4202496 226077 0 0 0 140294 118 0 0 20 0 3 0 333641226 1175527424 256737 33554432000 4194304 5964478 140733505977024 140733505976544 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8842/statm: 286994 256737 206 433 0 286558 0
[pid=8842/tid=8844] ppid=8840 vsize=1147976 CPUtime=702.11 cores=0,2,4,6
/proc/8842/task/8844/stat : 8844 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 108907 0 0 0 70128 83 0 0 20 0 3 0 333641232 1175527424 256737 33554432000 4194304 5964478 140733505977024 140536412867512 4400542 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=8842/tid=8845] ppid=8840 vsize=1147976 CPUtime=702.15 cores=0,2,4,6
/proc/8842/task/8845/stat : 8845 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 113738 0 0 0 70161 54 0 0 20 0 3 0 333641232 1175527424 256737 33554432000 4194304 5964478 140733505977024 140536402376824 4400632 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.12
Current children cumulated vsize (KiB) 1147976
[startup+762.306 s]
/proc/loadavg: 2.44 3.48 3.80 3/173 8876
/proc/meminfo: memFree=26396112/32873648 swapFree=6860/6860
[pid=8842] ppid=8840 vsize=1148380 CPUtime=1524.09 cores=0,2,4,6
/proc/8842/stat : 8842 (pwbo2.02) S 8840 8842 7711 0 -1 4202496 226735 0 0 0 152291 118 0 0 20 0 3 0 333641226 1175941120 257933 33554432000 4194304 5964478 140733505977024 140733505976544 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8842/statm: 287095 257933 206 433 0 286659 0
[pid=8842/tid=8844] ppid=8840 vsize=1148380 CPUtime=762.11 cores=0,2,4,6
/proc/8842/task/8844/stat : 8844 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 108908 0 0 0 76127 84 0 0 20 0 3 0 333641232 1175941120 257933 33554432000 4194304 5964478 140733505977024 140536412867512 4389085 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=8842/tid=8845] ppid=8840 vsize=1148380 CPUtime=762.15 cores=0,2,4,6
/proc/8842/task/8845/stat : 8845 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 114395 0 0 0 76159 56 0 0 20 0 3 0 333641232 1175941120 257933 33554432000 4194304 5964478 140733505977024 140536402376952 4400006 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.09
Current children cumulated vsize (KiB) 1148380
[startup+822.3 s]
/proc/loadavg: 2.16 3.21 3.68 3/173 8876
/proc/meminfo: memFree=26390336/32873648 swapFree=6860/6860
[pid=8842] ppid=8840 vsize=1148644 CPUtime=1644.07 cores=0,2,4,6
/proc/8842/stat : 8842 (pwbo2.02) S 8840 8842 7711 0 -1 4202496 226809 0 0 0 164288 119 0 0 20 0 3 0 333641226 1176211456 259363 33554432000 4194304 5964478 140733505977024 140733505976544 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8842/statm: 287161 259363 206 433 0 286725 0
[pid=8842/tid=8844] ppid=8840 vsize=1148644 CPUtime=822.11 cores=0,2,4,6
/proc/8842/task/8844/stat : 8844 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 108911 0 0 0 82126 85 0 0 20 0 3 0 333641232 1176211456 259363 33554432000 4194304 5964478 140733505977024 140536412867512 4392723 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=8842/tid=8845] ppid=8840 vsize=1148644 CPUtime=822.15 cores=0,2,4,6
/proc/8842/task/8845/stat : 8845 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 114466 0 0 0 82157 58 0 0 20 0 3 0 333641232 1176211456 259363 33554432000 4194304 5964478 140733505977024 140536402376776 4392992 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.07
Current children cumulated vsize (KiB) 1148644
[startup+882.3 s]
/proc/loadavg: 2.06 2.98 3.57 3/173 8876
/proc/meminfo: memFree=26383668/32873648 swapFree=6864/6864
[pid=8842] ppid=8840 vsize=1148776 CPUtime=1764.04 cores=0,2,4,6
/proc/8842/stat : 8842 (pwbo2.02) S 8840 8842 7711 0 -1 4202496 228431 0 0 0 176283 121 0 0 20 0 3 0 333641226 1176346624 261043 33554432000 4194304 5964478 140733505977024 140733505976544 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8842/statm: 287194 261043 206 433 0 286758 0
[pid=8842/tid=8844] ppid=8840 vsize=1148776 CPUtime=882.1 cores=0,2,4,6
/proc/8842/task/8844/stat : 8844 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 108918 0 0 0 88124 86 0 0 20 0 3 0 333641232 1176346624 261043 33554432000 4194304 5964478 140733505977024 140536412867512 4403668 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=8842/tid=8845] ppid=8840 vsize=1148776 CPUtime=882.15 cores=0,2,4,6
/proc/8842/task/8845/stat : 8845 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 116081 0 0 0 88154 61 0 0 20 0 3 0 333641232 1176346624 261043 33554432000 4194304 5964478 140733505977024 140536402377016 4399926 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.04
Current children cumulated vsize (KiB) 1148776
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 2.04 2.92 3.54 3/173 8876
/proc/meminfo: memFree=26383652/32873648 swapFree=6860/6860
[pid=8842] ppid=8840 vsize=1148776 CPUtime=1800.04 cores=0,2,4,6
/proc/8842/stat : 8842 (pwbo2.02) S 8840 8842 7711 0 -1 4202496 228494 0 0 0 179883 121 0 0 20 0 3 0 333641226 1176346624 261121 33554432000 4194304 5964478 140733505977024 140733505976544 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8842/statm: 287194 261121 206 433 0 286758 0
[pid=8842/tid=8844] ppid=8840 vsize=1148776 CPUtime=900.11 cores=0,2,4,6
/proc/8842/task/8844/stat : 8844 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 108918 0 0 0 89925 86 0 0 20 0 3 0 333641232 1176346624 261121 33554432000 4194304 5964478 140733505977024 140536412867512 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=8842/tid=8845] ppid=8840 vsize=1148776 CPUtime=900.16 cores=0,2,4,6
/proc/8842/task/8845/stat : 8845 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 116144 0 0 0 89955 61 0 0 20 0 3 0 333641232 1176346624 261121 33554432000 4194304 5964478 140733505977024 140536402377016 4400010 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1148776
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: 2.04 2.92 3.54 3/173 8876
/proc/meminfo: memFree=26383652/32873648 swapFree=6860/6860
[pid=8842] ppid=8840 vsize=1148776 CPUtime=1800.04 cores=0,2,4,6
/proc/8842/stat : 8842 (pwbo2.02) S 8840 8842 7711 0 -1 4202496 228494 0 0 0 179883 121 0 0 20 0 3 0 333641226 1176346624 261121 33554432000 4194304 5964478 140733505977024 140733505976544 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8842/statm: 287194 261121 206 433 0 286758 0
[pid=8842/tid=8844] ppid=8840 vsize=1148776 CPUtime=900.11 cores=0,2,4,6
/proc/8842/task/8844/stat : 8844 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 108918 0 0 0 89925 86 0 0 20 0 3 0 333641232 1176346624 261121 33554432000 4194304 5964478 140733505977024 140536412867512 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=8842/tid=8845] ppid=8840 vsize=1148776 CPUtime=900.16 cores=0,2,4,6
/proc/8842/task/8845/stat : 8845 (pwbo2.02) R 8840 8842 7711 0 -1 4202560 116144 0 0 0 89955 61 0 0 20 0 3 0 333641232 1176346624 261121 33554432000 4194304 5964478 140733505977024 140536402377016 4400010 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1148776
Child status: 0
Real time (s): 900.321
CPU time (s): 1800.37
CPU user time (s): 1798.86
CPU system time (s): 1.51077
CPU usage (%): 199.97
Max. virtual memory (cumulated for all children) (KiB): 1158124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.86
system time used= 1.51077
maximum resident set size= 1044488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228495
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= 1443
involuntary context switches= 2484
runsolver used 1.9897 second user time and 4.83826 second system time
The end