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-3726776-1338665957/watcher-3726776-1338665957 -o /tmp/evaluation-result-3726776-1338665957/solver-3726776-1338665957 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726776-1338665957.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: 3.68 3.92 3.55 3/172 18118
/proc/meminfo: memFree=27767264/32873844 swapFree=7628/7628
[pid=18118] ppid=18116 vsize=5112 CPUtime=0 cores=1,3,5,7
/proc/18118/stat : 18118 (pwbo2.02) R 18116 18118 17860 0 -1 4202496 570 0 0 0 0 0 0 0 20 0 1 0 332720633 5234688 523 33554432000 4194304 5964478 140734310456608 140734606894040 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18118/statm: 1278 524 170 433 0 813 0
[startup+0.034079 s]
/proc/loadavg: 3.68 3.92 3.55 3/172 18118
/proc/meminfo: memFree=27767264/32873844 swapFree=7628/7628
[pid=18118] ppid=18116 vsize=164460 CPUtime=0.04 cores=1,3,5,7
/proc/18118/stat : 18118 (pwbo2.02) S 18116 18118 17860 0 -1 4202496 2051 0 0 0 4 0 0 0 20 0 3 0 332720633 168407040 1974 33554432000 4194304 5964478 140734310456608 140734310456128 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18118/statm: 41115 1974 203 433 0 40679 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 164460
[startup+0.100204 s]
/proc/loadavg: 3.68 3.92 3.55 3/172 18118
/proc/meminfo: memFree=27767264/32873844 swapFree=7628/7628
[pid=18118] ppid=18116 vsize=164460 CPUtime=0.17 cores=1,3,5,7
/proc/18118/stat : 18118 (pwbo2.02) S 18116 18118 17860 0 -1 4202496 2213 0 0 0 17 0 0 0 20 0 3 0 332720633 168407040 2136 33554432000 4194304 5964478 140734310456608 140734310456128 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18118/statm: 41115 2136 204 433 0 40679 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 164460
[startup+0.300118 s]
/proc/loadavg: 3.68 3.92 3.55 3/172 18118
/proc/meminfo: memFree=27767264/32873844 swapFree=7628/7628
[pid=18118] ppid=18116 vsize=164460 CPUtime=0.57 cores=1,3,5,7
/proc/18118/stat : 18118 (pwbo2.02) S 18116 18118 17860 0 -1 4202496 2722 0 0 0 56 1 0 0 20 0 3 0 332720633 168407040 2645 33554432000 4194304 5964478 140734310456608 140734310456128 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18118/statm: 41115 2645 204 433 0 40679 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 164460
[startup+0.700129 s]
/proc/loadavg: 3.68 3.92 3.55 3/172 18118
/proc/meminfo: memFree=27767264/32873844 swapFree=7628/7628
[pid=18118] ppid=18116 vsize=164460 CPUtime=1.37 cores=1,3,5,7
/proc/18118/stat : 18118 (pwbo2.02) S 18116 18118 17860 0 -1 4202496 3307 0 0 0 136 1 0 0 20 0 3 0 332720633 168407040 3230 33554432000 4194304 5964478 140734310456608 140734310456128 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18118/statm: 41115 3230 204 433 0 40679 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 164460
[startup+1.50027 s]
/proc/loadavg: 3.68 3.92 3.55 5/180 18154
/proc/meminfo: memFree=27735540/32873844 swapFree=7628/7628
[pid=18118] ppid=18116 vsize=164604 CPUtime=2.97 cores=1,3,5,7
/proc/18118/stat : 18118 (pwbo2.02) S 18116 18118 17860 0 -1 4202496 4206 0 0 0 295 2 0 0 20 0 3 0 332720633 168554496 4129 33554432000 4194304 5964478 140734310456608 140734310456128 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18118/statm: 41151 4129 204 433 0 40715 0
[pid=18118/tid=18126] ppid=18116 vsize=164604 CPUtime=1.47 cores=1,3,5,7
/proc/18118/task/18126/stat : 18126 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 1504 0 0 0 147 0 0 0 20 0 3 0 332720634 168554496 4129 33554432000 4194304 5964478 140734310456608 140082927270088 4389381 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18118/tid=18127] ppid=18116 vsize=164604 CPUtime=1.47 cores=1,3,5,7
/proc/18118/task/18127/stat : 18127 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 1448 0 0 0 145 2 0 0 20 0 3 0 332720634 168554496 4129 33554432000 4194304 5964478 140734310456608 140082916780152 4390878 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 164604
[startup+3.1003 s]
/proc/loadavg: 3.68 3.92 3.55 5/181 18155
/proc/meminfo: memFree=27726704/32873844 swapFree=7628/7628
[pid=18118] ppid=18116 vsize=164972 CPUtime=6.17 cores=1,3,5,7
/proc/18118/stat : 18118 (pwbo2.02) S 18116 18118 17860 0 -1 4202496 5130 0 0 0 613 4 0 0 20 0 3 0 332720633 168931328 5053 33554432000 4194304 5964478 140734310456608 140734310456128 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18118/statm: 41243 5053 204 433 0 40807 0
[pid=18118/tid=18126] ppid=18116 vsize=164972 CPUtime=3.07 cores=1,3,5,7
/proc/18118/task/18126/stat : 18126 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 1876 0 0 0 307 0 0 0 20 0 3 0 332720634 168931328 5053 33554432000 4194304 5964478 140734310456608 140082927269688 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18118/tid=18127] ppid=18116 vsize=164972 CPUtime=3.07 cores=1,3,5,7
/proc/18118/task/18127/stat : 18127 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 2000 0 0 0 303 4 0 0 20 0 3 0 332720634 168931328 5053 33554432000 4194304 5964478 140734310456608 140082916780448 4222314 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164972
[startup+6.30041 s]
/proc/loadavg: 3.70 3.92 3.55 5/181 18155
/proc/meminfo: memFree=27710980/32873844 swapFree=7628/7628
[pid=18118] ppid=18116 vsize=165072 CPUtime=12.58 cores=1,3,5,7
/proc/18118/stat : 18118 (pwbo2.02) S 18116 18118 17860 0 -1 4202496 6565 0 0 0 1252 6 0 0 20 0 3 0 332720633 169033728 6460 33554432000 4194304 5964478 140734310456608 140734310456128 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18118/statm: 41268 6460 204 433 0 40832 0
[pid=18118/tid=18126] ppid=18116 vsize=165072 CPUtime=6.28 cores=1,3,5,7
/proc/18118/task/18126/stat : 18126 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 2294 0 0 0 626 2 0 0 20 0 3 0 332720634 169033728 6460 33554432000 4194304 5964478 140734310456608 140082927269984 4400091 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18118/tid=18127] ppid=18116 vsize=165072 CPUtime=6.27 cores=1,3,5,7
/proc/18118/task/18127/stat : 18127 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 3017 0 0 0 622 5 0 0 20 0 3 0 332720634 169033728 6460 33554432000 4194304 5964478 140734310456608 140082916780344 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 165072
[startup+12.7004 s]
/proc/loadavg: 3.73 3.92 3.56 5/181 18155
/proc/meminfo: memFree=27681780/32873844 swapFree=7628/7628
[pid=18118] ppid=18116 vsize=165768 CPUtime=25.37 cores=1,3,5,7
/proc/18118/stat : 18118 (pwbo2.02) S 18116 18118 17860 0 -1 4202496 10277 0 0 0 2529 8 0 0 20 0 3 0 332720633 169746432 10172 33554432000 4194304 5964478 140734310456608 140734310456128 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18118/statm: 41442 10172 204 433 0 41006 0
[pid=18118/tid=18126] ppid=18116 vsize=165768 CPUtime=12.67 cores=1,3,5,7
/proc/18118/task/18126/stat : 18126 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 4272 0 0 0 1264 3 0 0 20 0 3 0 332720634 169746432 10172 33554432000 4194304 5964478 140734310456608 140082927269688 4222474 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18118/tid=18127] ppid=18116 vsize=165768 CPUtime=12.68 cores=1,3,5,7
/proc/18118/task/18127/stat : 18127 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 4751 0 0 0 1261 7 0 0 20 0 3 0 332720634 169746432 10172 33554432000 4194304 5964478 140734310456608 140082916780256 4400016 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 165768
[startup+25.5005 s]
/proc/loadavg: 3.79 3.93 3.56 5/181 18155
/proc/meminfo: memFree=27629732/32873844 swapFree=7628/7628
[pid=18118] ppid=18116 vsize=166744 CPUtime=50.96 cores=1,3,5,7
/proc/18118/stat : 18118 (pwbo2.02) S 18116 18118 17860 0 -1 4202496 15088 0 0 0 5083 13 0 0 20 0 3 0 332720633 170745856 15319 33554432000 4194304 5964478 140734310456608 140734310456128 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18118/statm: 41686 15320 204 433 0 41250 0
[pid=18118/tid=18126] ppid=18116 vsize=166744 CPUtime=25.46 cores=1,3,5,7
/proc/18118/task/18126/stat : 18126 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 6841 0 0 0 2541 5 0 0 20 0 3 0 332720634 170745856 15320 33554432000 4194304 5964478 140734310456608 140082927269928 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18118/tid=18127] ppid=18116 vsize=166744 CPUtime=25.47 cores=1,3,5,7
/proc/18118/task/18127/stat : 18127 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 6994 0 0 0 2538 9 0 0 20 0 3 0 332720634 170745856 15320 33554432000 4194304 5964478 140734310456608 140082916780392 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 166744
[startup+51.1005 s]
/proc/loadavg: 3.86 3.93 3.57 5/182 18158
/proc/meminfo: memFree=27588012/32873844 swapFree=7628/7628
[pid=18118] ppid=18116 vsize=167592 CPUtime=102.13 cores=1,3,5,7
/proc/18118/stat : 18118 (pwbo2.02) S 18116 18118 17860 0 -1 4202496 19891 0 0 0 10197 16 0 0 20 0 3 0 332720633 171614208 20063 33554432000 4194304 5964478 140734310456608 140734310456128 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18118/statm: 41898 20063 204 433 0 41462 0
[pid=18118/tid=18126] ppid=18116 vsize=167592 CPUtime=51.06 cores=1,3,5,7
/proc/18118/task/18126/stat : 18126 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 10611 0 0 0 5099 7 0 0 20 0 3 0 332720634 171614208 20063 33554432000 4194304 5964478 140734310456608 140082927270840 4399926 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18118/tid=18127] ppid=18116 vsize=167592 CPUtime=51.06 cores=1,3,5,7
/proc/18118/task/18127/stat : 18127 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 8026 0 0 0 5095 11 0 0 20 0 3 0 332720634 171614208 20063 33554432000 4194304 5964478 140734310456608 140082916780152 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 167592
[startup+102.301 s]
/proc/loadavg: 4.02 3.96 3.60 5/182 18158
/proc/meminfo: memFree=27519624/32873844 swapFree=7628/7628
[pid=18118] ppid=18116 vsize=168876 CPUtime=204.53 cores=1,3,5,7
/proc/18118/stat : 18118 (pwbo2.02) S 18116 18118 17860 0 -1 4202496 23917 0 0 0 20431 22 0 0 20 0 3 0 332720633 172929024 25800 33554432000 4194304 5964478 140734310456608 140734310456128 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18118/statm: 42219 25800 204 433 0 41783 0
[pid=18118/tid=18126] ppid=18116 vsize=168876 CPUtime=102.27 cores=1,3,5,7
/proc/18118/task/18126/stat : 18126 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 10957 0 0 0 10219 8 0 0 20 0 3 0 332720634 172929024 25800 33554432000 4194304 5964478 140734310456608 140082927269688 4400006 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18118/tid=18127] ppid=18116 vsize=168876 CPUtime=102.26 cores=1,3,5,7
/proc/18118/task/18127/stat : 18127 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 11706 0 0 0 10209 17 0 0 20 0 3 0 332720634 172929024 25800 33554432000 4194304 5964478 140734310456608 140082916780104 4388161 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.53
Current children cumulated vsize (KiB) 168876
[startup+162.3 s]
/proc/loadavg: 4.00 3.96 3.62 5/181 18158
/proc/meminfo: memFree=27435480/32873844 swapFree=7628/7628
[pid=18118] ppid=18116 vsize=171324 CPUtime=324.5 cores=1,3,5,7
/proc/18118/stat : 18118 (pwbo2.02) S 18116 18118 17860 0 -1 4202496 29503 0 0 0 32421 29 0 0 20 0 3 0 332720633 175435776 31384 33554432000 4194304 5964478 140734310456608 140734310456128 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18118/statm: 42831 31384 204 433 0 42395 0
[pid=18118/tid=18126] ppid=18116 vsize=171324 CPUtime=162.26 cores=1,3,5,7
/proc/18118/task/18126/stat : 18126 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 16247 0 0 0 16210 16 0 0 20 0 3 0 332720634 175435776 31384 33554432000 4194304 5964478 140734310456608 140082927269688 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18118/tid=18127] ppid=18116 vsize=171324 CPUtime=162.25 cores=1,3,5,7
/proc/18118/task/18127/stat : 18127 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 12002 0 0 0 16207 18 0 0 20 0 3 0 332720634 175435776 31384 33554432000 4194304 5964478 140734310456608 140082916780104 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.5
Current children cumulated vsize (KiB) 171324
[startup+222.307 s]
/proc/loadavg: 4.03 3.98 3.65 5/181 18158
/proc/meminfo: memFree=27376172/32873844 swapFree=7628/7628
[pid=18118] ppid=18116 vsize=237680 CPUtime=444.49 cores=1,3,5,7
/proc/18118/stat : 18118 (pwbo2.02) S 18116 18118 17860 0 -1 4202496 35985 0 0 0 44410 39 0 0 20 0 3 0 332720633 243384320 38155 33554432000 4194304 5964478 140734310456608 140734310456128 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18118/statm: 59420 38155 204 433 0 58984 0
[pid=18118/tid=18126] ppid=18116 vsize=237680 CPUtime=222.26 cores=1,3,5,7
/proc/18118/task/18126/stat : 18126 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 20252 0 0 0 22204 22 0 0 20 0 3 0 332720634 243384320 38155 33554432000 4194304 5964478 140734310456608 140082927269880 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18118/tid=18127] ppid=18116 vsize=237680 CPUtime=222.26 cores=1,3,5,7
/proc/18118/task/18127/stat : 18127 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 14479 0 0 0 22202 24 0 0 20 0 3 0 332720634 243384320 38155 33554432000 4194304 5964478 140734310456608 140082916780448 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.49
Current children cumulated vsize (KiB) 237680
[startup+282.3 s]
/proc/loadavg: 4.01 3.98 3.66 5/181 18158
/proc/meminfo: memFree=27321572/32873844 swapFree=7628/7628
[pid=18118] ppid=18116 vsize=305268 CPUtime=564.44 cores=1,3,5,7
/proc/18118/stat : 18118 (pwbo2.02) S 18116 18118 17860 0 -1 4202496 43265 0 0 0 56396 48 0 0 20 0 3 0 332720633 312594432 45633 33554432000 4194304 5964478 140734310456608 140734310456128 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18118/statm: 76317 45633 204 433 0 75881 0
[pid=18118/tid=18126] ppid=18116 vsize=305268 CPUtime=282.25 cores=1,3,5,7
/proc/18118/task/18126/stat : 18126 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 23343 0 0 0 28198 27 0 0 20 0 3 0 332720634 312594432 45633 33554432000 4194304 5964478 140734310456608 140082927269688 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18118/tid=18127] ppid=18116 vsize=305268 CPUtime=282.23 cores=1,3,5,7
/proc/18118/task/18127/stat : 18127 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 18668 0 0 0 28193 30 0 0 20 0 3 0 332720634 312594432 45633 33554432000 4194304 5964478 140734310456608 140082916780152 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.44
Current children cumulated vsize (KiB) 305268
[startup+342.301 s]
/proc/loadavg: 4.00 3.98 3.68 5/181 18159
/proc/meminfo: memFree=27274176/32873844 swapFree=7628/7628
[pid=18118] ppid=18116 vsize=305672 CPUtime=684.42 cores=1,3,5,7
/proc/18118/stat : 18118 (pwbo2.02) S 18116 18118 17860 0 -1 4202496 44710 0 0 0 68393 49 0 0 20 0 3 0 332720633 313008128 47074 33554432000 4194304 5964478 140734310456608 140734310456128 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18118/statm: 76418 47074 204 433 0 75982 0
[pid=18118/tid=18126] ppid=18116 vsize=305672 CPUtime=342.25 cores=1,3,5,7
/proc/18118/task/18126/stat : 18126 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 23768 0 0 0 34197 28 0 0 20 0 3 0 332720634 313008128 47074 33554432000 4194304 5964478 140734310456608 140082927269688 4400103 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18118/tid=18127] ppid=18116 vsize=305672 CPUtime=342.23 cores=1,3,5,7
/proc/18118/task/18127/stat : 18127 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 19688 0 0 0 34190 33 0 0 20 0 3 0 332720634 313008128 47074 33554432000 4194304 5964478 140734310456608 140082916780104 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.42
Current children cumulated vsize (KiB) 305672
[startup+402.3 s]
/proc/loadavg: 4.00 3.98 3.70 5/181 18159
/proc/meminfo: memFree=27229876/32873844 swapFree=7628/7628
[pid=18118] ppid=18116 vsize=307340 CPUtime=804.4 cores=1,3,5,7
/proc/18118/stat : 18118 (pwbo2.02) S 18116 18118 17860 0 -1 4202496 48730 0 0 0 80384 56 0 0 20 0 3 0 332720633 314716160 51090 33554432000 4194304 5964478 140734310456608 140734310456128 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18118/statm: 76835 51090 204 433 0 76399 0
[pid=18118/tid=18126] ppid=18116 vsize=307340 CPUtime=402.25 cores=1,3,5,7
/proc/18118/task/18126/stat : 18126 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 25680 0 0 0 40194 31 0 0 20 0 3 0 332720634 314716160 51090 33554432000 4194304 5964478 140734310456608 140082927269928 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18118/tid=18127] ppid=18116 vsize=307340 CPUtime=402.23 cores=1,3,5,7
/proc/18118/task/18127/stat : 18127 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 21796 0 0 0 40185 38 0 0 20 0 3 0 332720634 314716160 51090 33554432000 4194304 5964478 140734310456608 140082916780152 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.4
Current children cumulated vsize (KiB) 307340
[startup+462.3 s]
/proc/loadavg: 4.00 3.98 3.72 5/181 18159
/proc/meminfo: memFree=27175412/32873844 swapFree=7628/7628
[pid=18118] ppid=18116 vsize=307340 CPUtime=924.38 cores=1,3,5,7
/proc/18118/stat : 18118 (pwbo2.02) S 18116 18118 17860 0 -1 4202496 53989 0 0 0 92372 66 0 0 20 0 3 0 332720633 314716160 56347 33554432000 4194304 5964478 140734310456608 140734310456128 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18118/statm: 76835 56347 204 433 0 76399 0
[pid=18118/tid=18126] ppid=18116 vsize=307340 CPUtime=462.26 cores=1,3,5,7
/proc/18118/task/18126/stat : 18126 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 27411 0 0 0 46191 35 0 0 20 0 3 0 332720634 314716160 56347 33554432000 4194304 5964478 140734310456608 140082927269928 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18118/tid=18127] ppid=18116 vsize=307340 CPUtime=462.23 cores=1,3,5,7
/proc/18118/task/18127/stat : 18127 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 25324 0 0 0 46176 47 0 0 20 0 3 0 332720634 314716160 56347 33554432000 4194304 5964478 140734310456608 140082916780216 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.38
Current children cumulated vsize (KiB) 307340
[startup+522.3 s]
/proc/loadavg: 4.00 3.98 3.73 5/181 18159
/proc/meminfo: memFree=27134828/32873844 swapFree=7628/7628
[pid=18118] ppid=18116 vsize=308300 CPUtime=1044.34 cores=1,3,5,7
/proc/18118/stat : 18118 (pwbo2.02) S 18116 18118 17860 0 -1 4202496 55913 0 0 0 104366 68 0 0 20 0 3 0 332720633 315699200 58522 33554432000 4194304 5964478 140734310456608 140734310456128 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18118/statm: 77075 58522 204 433 0 76639 0
[pid=18118/tid=18126] ppid=18116 vsize=308300 CPUtime=522.24 cores=1,3,5,7
/proc/18118/task/18126/stat : 18126 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 29206 0 0 0 52187 37 0 0 20 0 3 0 332720634 315699200 58522 33554432000 4194304 5964478 140734310456608 140082927269752 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18118/tid=18127] ppid=18116 vsize=308300 CPUtime=522.22 cores=1,3,5,7
/proc/18118/task/18127/stat : 18127 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 25453 0 0 0 52175 47 0 0 20 0 3 0 332720634 315699200 58522 33554432000 4194304 5964478 140734310456608 140082916780104 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.34
Current children cumulated vsize (KiB) 308300
[startup+582.3 s]
/proc/loadavg: 4.00 3.98 3.74 5/181 18159
/proc/meminfo: memFree=27116196/32873844 swapFree=7628/7628
[pid=18118] ppid=18116 vsize=309476 CPUtime=1164.31 cores=1,3,5,7
/proc/18118/stat : 18118 (pwbo2.02) S 18116 18118 17860 0 -1 4202496 57618 0 0 0 116360 71 0 0 20 0 3 0 332720633 316903424 60546 33554432000 4194304 5964478 140734310456608 140734310456128 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18118/statm: 77369 60546 204 433 0 76933 0
[pid=18118/tid=18126] ppid=18116 vsize=309476 CPUtime=582.24 cores=1,3,5,7
/proc/18118/task/18126/stat : 18126 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 30779 0 0 0 58183 41 0 0 20 0 3 0 332720634 316903424 60546 33554432000 4194304 5964478 140734310456608 140082927269880 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18118/tid=18127] ppid=18116 vsize=309476 CPUtime=582.21 cores=1,3,5,7
/proc/18118/task/18127/stat : 18127 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 25585 0 0 0 58173 48 0 0 20 0 3 0 332720634 316903424 60546 33554432000 4194304 5964478 140734310456608 140082916780448 4399932 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.31
Current children cumulated vsize (KiB) 309476
[startup+642.3 s]
/proc/loadavg: 4.03 4.00 3.76 5/181 18160
/proc/meminfo: memFree=27050716/32873844 swapFree=7628/7628
[pid=18118] ppid=18116 vsize=371868 CPUtime=1284.29 cores=1,3,5,7
/proc/18118/stat : 18118 (pwbo2.02) S 18116 18118 17860 0 -1 4202496 68235 0 0 0 128350 79 0 0 20 0 3 0 332720633 380792832 70212 33554432000 4194304 5964478 140734310456608 140734310456128 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18118/statm: 92967 70212 204 433 0 92531 0
[pid=18118/tid=18126] ppid=18116 vsize=371868 CPUtime=642.24 cores=1,3,5,7
/proc/18118/task/18126/stat : 18126 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 38784 0 0 0 64179 45 0 0 20 0 3 0 332720634 380792832 70212 33554432000 4194304 5964478 140734310456608 140082927270840 4399915 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18118/tid=18127] ppid=18116 vsize=371868 CPUtime=642.21 cores=1,3,5,7
/proc/18118/task/18127/stat : 18127 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 28197 0 0 0 64168 53 0 0 20 0 3 0 332720634 380792832 70212 33554432000 4194304 5964478 140734310456608 140082916780392 4389170 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.29
Current children cumulated vsize (KiB) 371868
[startup+702.301 s]
/proc/loadavg: 4.04 4.01 3.78 5/182 18163
/proc/meminfo: memFree=27036432/32873844 swapFree=7628/7628
[pid=18118] ppid=18116 vsize=372640 CPUtime=1404.27 cores=1,3,5,7
/proc/18118/stat : 18118 (pwbo2.02) S 18116 18118 17860 0 -1 4202496 68771 0 0 0 140348 79 0 0 20 0 3 0 332720633 381583360 70746 33554432000 4194304 5964478 140734310456608 140734310456128 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18118/statm: 93160 70746 204 433 0 92724 0
[pid=18118/tid=18126] ppid=18116 vsize=372640 CPUtime=702.24 cores=1,3,5,7
/proc/18118/task/18126/stat : 18126 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 38789 0 0 0 70178 46 0 0 20 0 3 0 332720634 381583360 70746 33554432000 4194304 5964478 140734310456608 140082927269792 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18118/tid=18127] ppid=18116 vsize=372640 CPUtime=702.2 cores=1,3,5,7
/proc/18118/task/18127/stat : 18127 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 28728 0 0 0 70166 54 0 0 20 0 3 0 332720634 381583360 70746 33554432000 4194304 5964478 140734310456608 140082916780448 4403343 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.27
Current children cumulated vsize (KiB) 372640
[startup+762.301 s]
/proc/loadavg: 4.01 4.00 3.79 5/181 18163
/proc/meminfo: memFree=26992020/32873844 swapFree=7628/7628
[pid=18118] ppid=18116 vsize=374248 CPUtime=1524.27 cores=1,3,5,7
/proc/18118/stat : 18118 (pwbo2.02) S 18116 18118 17860 0 -1 4202496 71570 0 0 0 152343 84 0 0 20 0 3 0 332720633 383229952 73543 33554432000 4194304 5964478 140734310456608 140734310456128 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18118/statm: 93562 73543 204 433 0 93126 0
[pid=18118/tid=18126] ppid=18116 vsize=374248 CPUtime=762.25 cores=1,3,5,7
/proc/18118/task/18126/stat : 18126 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 38800 0 0 0 76178 47 0 0 20 0 3 0 332720634 383229952 73543 33554432000 4194304 5964478 140734310456608 140082927269688 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18118/tid=18127] ppid=18116 vsize=374248 CPUtime=762.21 cores=1,3,5,7
/proc/18118/task/18127/stat : 18127 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 31516 0 0 0 76161 60 0 0 20 0 3 0 332720634 383229952 73543 33554432000 4194304 5964478 140734310456608 140082916780104 4400078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.27
Current children cumulated vsize (KiB) 374248
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.80 5/181 18163
/proc/meminfo: memFree=26991524/32873844 swapFree=7628/7628
[pid=18118] ppid=18116 vsize=374248 CPUtime=1644.23 cores=1,3,5,7
/proc/18118/stat : 18118 (pwbo2.02) S 18116 18118 17860 0 -1 4202496 71621 0 0 0 164339 84 0 0 20 0 3 0 332720633 383229952 73594 33554432000 4194304 5964478 140734310456608 140734310456128 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18118/statm: 93562 73594 204 433 0 93126 0
[pid=18118/tid=18126] ppid=18116 vsize=374248 CPUtime=822.25 cores=1,3,5,7
/proc/18118/task/18126/stat : 18126 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 38851 0 0 0 82177 48 0 0 20 0 3 0 332720634 383229952 73594 33554432000 4194304 5964478 140734310456608 140082927269792 4400568 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18118/tid=18127] ppid=18116 vsize=374248 CPUtime=822.2 cores=1,3,5,7
/proc/18118/task/18127/stat : 18127 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 31516 0 0 0 82159 61 0 0 20 0 3 0 332720634 383229952 73594 33554432000 4194304 5964478 140734310456608 140082916780448 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.23
Current children cumulated vsize (KiB) 374248
[startup+882.307 s]
/proc/loadavg: 4.00 4.00 3.81 5/181 18163
/proc/meminfo: memFree=26985616/32873844 swapFree=7628/7628
[pid=18118] ppid=18116 vsize=374648 CPUtime=1764.23 cores=1,3,5,7
/proc/18118/stat : 18118 (pwbo2.02) S 18116 18118 17860 0 -1 4202496 71678 0 0 0 176339 84 0 0 20 0 3 0 332720633 383639552 73651 33554432000 4194304 5964478 140734310456608 140734310456128 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18118/statm: 93662 73651 204 433 0 93226 0
[pid=18118/tid=18126] ppid=18116 vsize=374648 CPUtime=882.25 cores=1,3,5,7
/proc/18118/task/18126/stat : 18126 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 38857 0 0 0 88176 49 0 0 20 0 3 0 332720634 383639552 73651 33554432000 4194304 5964478 140734310456608 140082927269792 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18118/tid=18127] ppid=18116 vsize=374648 CPUtime=882.21 cores=1,3,5,7
/proc/18118/task/18127/stat : 18127 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 31567 0 0 0 88159 62 0 0 20 0 3 0 332720634 383639552 73651 33554432000 4194304 5964478 140734310456608 140082916780392 4432077 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.23
Current children cumulated vsize (KiB) 374648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.2 s]
/proc/loadavg: 4.00 4.00 3.82 5/181 18163
/proc/meminfo: memFree=26982392/32873844 swapFree=7628/7628
[pid=18118] ppid=18116 vsize=374648 CPUtime=1800.02 cores=1,3,5,7
/proc/18118/stat : 18118 (pwbo2.02) S 18116 18118 17860 0 -1 4202496 71682 0 0 0 179918 84 0 0 20 0 3 0 332720633 383639552 73655 33554432000 4194304 5964478 140734310456608 140734310456128 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18118/statm: 93662 73655 204 433 0 93226 0
[pid=18118/tid=18126] ppid=18116 vsize=374648 CPUtime=900.16 cores=1,3,5,7
/proc/18118/task/18126/stat : 18126 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 38861 0 0 0 89967 49 0 0 20 0 3 0 332720634 383639552 73655 33554432000 4194304 5964478 140734310456608 140082927269792 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18118/tid=18127] ppid=18116 vsize=374648 CPUtime=900.11 cores=1,3,5,7
/proc/18118/task/18127/stat : 18127 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 31567 0 0 0 89949 62 0 0 20 0 3 0 332720634 383639552 73655 33554432000 4194304 5964478 140734310456608 140082916780392 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 374648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.2 s]
/proc/loadavg: 4.00 4.00 3.82 5/181 18163
/proc/meminfo: memFree=26982392/32873844 swapFree=7628/7628
[pid=18118] ppid=18116 vsize=374648 CPUtime=1800.02 cores=1,3,5,7
/proc/18118/stat : 18118 (pwbo2.02) S 18116 18118 17860 0 -1 4202496 71682 0 0 0 179918 84 0 0 20 0 3 0 332720633 383639552 73655 33554432000 4194304 5964478 140734310456608 140734310456128 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18118/statm: 93662 73655 204 433 0 93226 0
[pid=18118/tid=18126] ppid=18116 vsize=374648 CPUtime=900.16 cores=1,3,5,7
/proc/18118/task/18126/stat : 18126 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 38861 0 0 0 89967 49 0 0 20 0 3 0 332720634 383639552 73655 33554432000 4194304 5964478 140734310456608 140082927269792 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18118/tid=18127] ppid=18116 vsize=374648 CPUtime=900.11 cores=1,3,5,7
/proc/18118/task/18127/stat : 18127 (pwbo2.02) R 18116 18118 17860 0 -1 4202560 31567 0 0 0 89949 62 0 0 20 0 3 0 332720634 383639552 73655 33554432000 4194304 5964478 140734310456608 140082916780392 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 374648
Child status: 0
Real time (s): 900.219
CPU time (s): 1800.32
CPU user time (s): 1799.18
CPU system time (s): 1.14183
CPU usage (%): 199.987
Max. virtual memory (cumulated for all children) (KiB): 376252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.18
system time used= 1.14183
maximum resident set size= 294624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71683
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= 262
involuntary context switches= 1846
runsolver used 1.66175 second user time and 5.9341 second system time
The end