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-3704490-1338090489/watcher-3704490-1338090489 -o /tmp/evaluation-result-3704490-1338090489/solver-3704490-1338090489 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704490-1338090489.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.93 3.97 3.64 2/174 23151
/proc/meminfo: memFree=31225292/32873844 swapFree=6600/6600
[pid=23151] ppid=23149 vsize=5400 CPUtime=0 cores=1,3,5,7
/proc/23151/stat : 23151 (pwbo2.0) R 23149 23151 22912 0 -1 4202496 625 0 0 0 0 0 0 0 20 0 1 0 275173761 5529600 578 33554432000 4194304 5965102 140735324859536 140736571360856 4403822 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23151/statm: 1350 579 172 433 0 868 0
[startup+0.072524 s]
/proc/loadavg: 3.93 3.97 3.64 2/174 23151
/proc/meminfo: memFree=31225292/32873844 swapFree=6600/6600
[pid=23151] ppid=23149 vsize=165928 CPUtime=0.11 cores=1,3,5,7
/proc/23151/stat : 23151 (pwbo2.0) S 23149 23151 22912 0 -1 4202496 3172 0 0 0 11 0 0 0 20 0 3 0 275173761 169910272 3047 33554432000 4194304 5965102 140735324859536 140735324859056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23151/statm: 41482 3048 205 433 0 41046 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 165928
[startup+0.100251 s]
/proc/loadavg: 3.93 3.97 3.64 2/174 23151
/proc/meminfo: memFree=31225292/32873844 swapFree=6600/6600
[pid=23151] ppid=23149 vsize=165928 CPUtime=0.16 cores=1,3,5,7
/proc/23151/stat : 23151 (pwbo2.0) S 23149 23151 22912 0 -1 4202496 3190 0 0 0 16 0 0 0 20 0 3 0 275173761 169910272 3065 33554432000 4194304 5965102 140735324859536 140735324859056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23151/statm: 41482 3065 206 433 0 41046 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 165928
[startup+0.300159 s]
/proc/loadavg: 3.93 3.97 3.64 2/174 23151
/proc/meminfo: memFree=31225292/32873844 swapFree=6600/6600
[pid=23151] ppid=23149 vsize=165928 CPUtime=0.56 cores=1,3,5,7
/proc/23151/stat : 23151 (pwbo2.0) S 23149 23151 22912 0 -1 4202496 3628 0 0 0 56 0 0 0 20 0 3 0 275173761 169910272 3503 33554432000 4194304 5965102 140735324859536 140735324859056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23151/statm: 41482 3503 206 433 0 41046 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 165928
[startup+0.700172 s]
/proc/loadavg: 3.93 3.97 3.64 2/174 23151
/proc/meminfo: memFree=31225292/32873844 swapFree=6600/6600
[pid=23151] ppid=23149 vsize=165928 CPUtime=1.36 cores=1,3,5,7
/proc/23151/stat : 23151 (pwbo2.0) S 23149 23151 22912 0 -1 4202496 4711 0 0 0 135 1 0 0 20 0 3 0 275173761 169910272 4586 33554432000 4194304 5965102 140735324859536 140735324859056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23151/statm: 41482 4586 206 433 0 41046 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 165928
[startup+1.50034 s]
/proc/loadavg: 3.93 3.97 3.64 3/176 23176
/proc/meminfo: memFree=31208208/32873844 swapFree=6600/6600
[pid=23151] ppid=23149 vsize=165928 CPUtime=2.97 cores=1,3,5,7
/proc/23151/stat : 23151 (pwbo2.0) S 23149 23151 22912 0 -1 4202496 5211 0 0 0 295 2 0 0 20 0 3 0 275173761 169910272 5086 33554432000 4194304 5965102 140735324859536 140735324859056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23151/statm: 41482 5086 206 433 0 41046 0
[pid=23151/tid=23153] ppid=23149 vsize=165928 CPUtime=1.46 cores=1,3,5,7
/proc/23151/task/23153/stat : 23153 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 2043 0 0 0 146 0 0 0 20 0 3 0 275173763 169910272 5086 33554432000 4194304 5965102 140735324859536 139880618412392 4401559 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23151/tid=23154] ppid=23149 vsize=165928 CPUtime=1.46 cores=1,3,5,7
/proc/23151/task/23154/stat : 23154 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 1676 0 0 0 145 1 0 0 20 0 3 0 275173763 169910272 5086 33554432000 4194304 5965102 140735324859536 139880607922488 4220672 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) 165928
[startup+3.10037 s]
/proc/loadavg: 3.93 3.97 3.64 5/181 23206
/proc/meminfo: memFree=31153832/32873844 swapFree=6600/6600
[pid=23151] ppid=23149 vsize=166072 CPUtime=6.17 cores=1,3,5,7
/proc/23151/stat : 23151 (pwbo2.0) S 23149 23151 22912 0 -1 4202496 6698 0 0 0 614 3 0 0 20 0 3 0 275173761 170057728 6573 33554432000 4194304 5965102 140735324859536 140735324859056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23151/statm: 41518 6573 207 433 0 41082 0
[pid=23151/tid=23153] ppid=23149 vsize=166072 CPUtime=3.05 cores=1,3,5,7
/proc/23151/task/23153/stat : 23153 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 3042 0 0 0 304 1 0 0 20 0 3 0 275173763 170057728 6573 33554432000 4194304 5965102 140735324859536 139880618412024 4401559 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23151/tid=23154] ppid=23149 vsize=166072 CPUtime=3.06 cores=1,3,5,7
/proc/23151/task/23154/stat : 23154 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 2164 0 0 0 305 1 0 0 20 0 3 0 275173763 170057728 6573 33554432000 4194304 5965102 140735324859536 139880607922488 4400894 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) 166072
[startup+6.30032 s]
/proc/loadavg: 3.93 3.97 3.64 5/181 23206
/proc/meminfo: memFree=31135844/32873844 swapFree=6600/6600
[pid=23151] ppid=23149 vsize=166216 CPUtime=12.55 cores=1,3,5,7
/proc/23151/stat : 23151 (pwbo2.0) S 23149 23151 22912 0 -1 4202496 8533 0 0 0 1251 4 0 0 20 0 3 0 275173761 170205184 8651 33554432000 4194304 5965102 140735324859536 140735324859056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23151/statm: 41554 8651 207 433 0 41118 0
[pid=23151/tid=23153] ppid=23149 vsize=166216 CPUtime=6.24 cores=1,3,5,7
/proc/23151/task/23153/stat : 23153 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 4171 0 0 0 622 2 0 0 20 0 3 0 275173763 170205184 8651 33554432000 4194304 5965102 140735324859536 139880618411832 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23151/tid=23154] ppid=23149 vsize=166216 CPUtime=6.24 cores=1,3,5,7
/proc/23151/task/23154/stat : 23154 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 2870 0 0 0 622 2 0 0 20 0 3 0 275173763 170205184 8651 33554432000 4194304 5965102 140735324859536 139880607922488 4389765 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 166216
[startup+12.7003 s]
/proc/loadavg: 3.94 3.97 3.64 5/181 23206
/proc/meminfo: memFree=31092316/32873844 swapFree=6600/6600
[pid=23151] ppid=23149 vsize=166492 CPUtime=25.35 cores=1,3,5,7
/proc/23151/stat : 23151 (pwbo2.0) S 23149 23151 22912 0 -1 4202496 14388 0 0 0 2521 14 0 0 20 0 3 0 275173761 170487808 14506 33554432000 4194304 5965102 140735324859536 140735324859056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23151/statm: 41623 14506 207 433 0 41187 0
[pid=23151/tid=23153] ppid=23149 vsize=166492 CPUtime=12.63 cores=1,3,5,7
/proc/23151/task/23153/stat : 23153 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 7391 0 0 0 1254 9 0 0 20 0 3 0 275173763 170487808 14506 33554432000 4194304 5965102 140735324859536 139880618412024 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23151/tid=23154] ppid=23149 vsize=166492 CPUtime=12.63 cores=1,3,5,7
/proc/23151/task/23154/stat : 23154 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 5505 0 0 0 1260 3 0 0 20 0 3 0 275173763 170487808 14506 33554432000 4194304 5965102 140735324859536 139880607922248 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 166492
[startup+25.5003 s]
/proc/loadavg: 3.95 3.97 3.64 5/181 23206
/proc/meminfo: memFree=31015684/32873844 swapFree=6600/6600
[pid=23151] ppid=23149 vsize=167132 CPUtime=50.93 cores=1,3,5,7
/proc/23151/stat : 23151 (pwbo2.0) S 23149 23151 22912 0 -1 4202496 22898 0 0 0 5065 28 0 0 20 0 3 0 275173761 171143168 23071 33554432000 4194304 5965102 140735324859536 140735324859056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23151/statm: 41783 23071 207 433 0 41347 0
[pid=23151/tid=23153] ppid=23149 vsize=167132 CPUtime=25.37 cores=1,3,5,7
/proc/23151/task/23153/stat : 23153 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 13120 0 0 0 2515 22 0 0 20 0 3 0 275173763 171143168 23071 33554432000 4194304 5965102 140735324859536 139880618412072 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23151/tid=23154] ppid=23149 vsize=167132 CPUtime=25.39 cores=1,3,5,7
/proc/23151/task/23154/stat : 23154 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 8286 0 0 0 2534 5 0 0 20 0 3 0 275173763 171143168 23071 33554432000 4194304 5965102 140735324859536 139880607922488 18446744073699065891 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 167132
[startup+51.1004 s]
/proc/loadavg: 3.97 3.97 3.65 5/181 23206
/proc/meminfo: memFree=30934172/32873844 swapFree=6600/6600
[pid=23151] ppid=23149 vsize=232616 CPUtime=102.11 cores=1,3,5,7
/proc/23151/stat : 23151 (pwbo2.0) S 23149 23151 22912 0 -1 4202496 34113 0 0 0 10170 41 0 0 20 0 3 0 275173761 238198784 33806 33554432000 4194304 5965102 140735324859536 140735324859056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23151/statm: 58154 33806 207 433 0 57718 0
[pid=23151/tid=23153] ppid=23149 vsize=232616 CPUtime=50.89 cores=1,3,5,7
/proc/23151/task/23153/stat : 23153 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 18826 0 0 0 5058 31 0 0 20 0 3 0 275173763 238198784 33806 33554432000 4194304 5965102 140735324859536 139880618412984 4401127 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23151/tid=23154] ppid=23149 vsize=232616 CPUtime=50.93 cores=1,3,5,7
/proc/23151/task/23154/stat : 23154 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 13795 0 0 0 5084 9 0 0 20 0 3 0 275173763 238198784 33806 33554432000 4194304 5965102 140735324859536 139880607922488 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 232616
[startup+102.307 s]
/proc/loadavg: 3.98 3.97 3.67 5/181 23206
/proc/meminfo: memFree=30842360/32873844 swapFree=6600/6600
[pid=23151] ppid=23149 vsize=298800 CPUtime=204.5 cores=1,3,5,7
/proc/23151/stat : 23151 (pwbo2.0) S 23149 23151 22912 0 -1 4202496 40562 0 0 0 20402 48 0 0 20 0 3 0 275173761 305971200 41481 33554432000 4194304 5965102 140735324859536 140735324859056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23151/statm: 74700 41481 207 433 0 74264 0
[pid=23151/tid=23153] ppid=23149 vsize=298800 CPUtime=101.97 cores=1,3,5,7
/proc/23151/task/23153/stat : 23153 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 21336 0 0 0 10163 34 0 0 20 0 3 0 275173763 305971200 41481 33554432000 4194304 5965102 140735324859536 139880618412024 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23151/tid=23154] ppid=23149 vsize=298800 CPUtime=102 cores=1,3,5,7
/proc/23151/task/23154/stat : 23154 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 17734 0 0 0 10185 15 0 0 20 0 3 0 275173763 305971200 41481 33554432000 4194304 5965102 140735324859536 139880607922248 4400952 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.5
Current children cumulated vsize (KiB) 298800
[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.68 5/182 23209
/proc/meminfo: memFree=30736676/32873844 swapFree=6600/6600
[pid=23151] ppid=23149 vsize=365328 CPUtime=324.46 cores=1,3,5,7
/proc/23151/stat : 23151 (pwbo2.0) S 23149 23151 22912 0 -1 4202496 53970 0 0 0 32387 59 0 0 20 0 3 0 275173761 374095872 54888 33554432000 4194304 5965102 140735324859536 140735324859056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23151/statm: 91332 54888 207 433 0 90896 0
[pid=23151/tid=23153] ppid=23149 vsize=365328 CPUtime=161.81 cores=1,3,5,7
/proc/23151/task/23153/stat : 23153 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 34688 0 0 0 16134 47 0 0 20 0 3 0 275173763 374095872 54888 33554432000 4194304 5965102 140735324859536 139880618412024 4400992 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23151/tid=23154] ppid=23149 vsize=365328 CPUtime=161.84 cores=1,3,5,7
/proc/23151/task/23154/stat : 23154 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 17790 0 0 0 16168 16 0 0 20 0 3 0 275173763 374095872 54888 33554432000 4194304 5965102 140735324859536 139880607922248 4401026 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.46
Current children cumulated vsize (KiB) 365328
[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.70 5/181 23209
/proc/meminfo: memFree=30623396/32873844 swapFree=6600/6600
[pid=23151] ppid=23149 vsize=365756 CPUtime=444.44 cores=1,3,5,7
/proc/23151/stat : 23151 (pwbo2.0) S 23149 23151 22912 0 -1 4202496 58667 0 0 0 44382 62 0 0 20 0 3 0 275173761 374534144 59802 33554432000 4194304 5965102 140735324859536 140735324859056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23151/statm: 91439 59802 207 433 0 91003 0
[pid=23151/tid=23153] ppid=23149 vsize=365756 CPUtime=221.65 cores=1,3,5,7
/proc/23151/task/23153/stat : 23153 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 39074 0 0 0 22115 50 0 0 20 0 3 0 275173763 374534144 59802 33554432000 4194304 5965102 140735324859536 139880618412024 4401578 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23151/tid=23154] ppid=23149 vsize=365756 CPUtime=221.69 cores=1,3,5,7
/proc/23151/task/23154/stat : 23154 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 18101 0 0 0 22152 17 0 0 20 0 3 0 275173763 374534144 59802 33554432000 4194304 5965102 140735324859536 139880607922248 4401058 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.44
Current children cumulated vsize (KiB) 365756
[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.72 5/181 23210
/proc/meminfo: memFree=30519884/32873844 swapFree=6600/6600
[pid=23151] ppid=23149 vsize=366200 CPUtime=564.38 cores=1,3,5,7
/proc/23151/stat : 23151 (pwbo2.0) S 23149 23151 22912 0 -1 4202496 71880 0 0 0 56359 79 0 0 20 0 3 0 275173761 374988800 73379 33554432000 4194304 5965102 140735324859536 140735324859056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23151/statm: 91550 73379 207 433 0 91114 0
[pid=23151/tid=23153] ppid=23149 vsize=366200 CPUtime=281.46 cores=1,3,5,7
/proc/23151/task/23153/stat : 23153 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 48955 0 0 0 28084 62 0 0 20 0 3 0 275173763 374988800 73379 33554432000 4194304 5965102 140735324859536 139880618411832 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23151/tid=23154] ppid=23149 vsize=366200 CPUtime=281.53 cores=1,3,5,7
/proc/23151/task/23154/stat : 23154 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 21433 0 0 0 28129 24 0 0 20 0 3 0 275173763 374988800 73379 33554432000 4194304 5965102 140735324859536 139880607922296 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.38
Current children cumulated vsize (KiB) 366200
[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.73 5/181 23210
/proc/meminfo: memFree=30440272/32873844 swapFree=6600/6600
[pid=23151] ppid=23149 vsize=431736 CPUtime=684.34 cores=1,3,5,7
/proc/23151/stat : 23151 (pwbo2.0) S 23149 23151 22912 0 -1 4202496 76891 0 0 0 68345 89 0 0 20 0 3 0 275173761 442097664 78367 33554432000 4194304 5965102 140735324859536 140735324859056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23151/statm: 107934 78367 207 433 0 107498 0
################
# More data... #
################
[pid=23151/tid=23154] ppid=23149 vsize=431736 CPUtime=341.34 cores=1,3,5,7
/proc/23151/task/23154/stat : 23154 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 24452 0 0 0 34102 32 0 0 20 0 3 0 275173763 442097664 78367 33554432000 4194304 5965102 140735324859536 139880607922488 4401050 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.34
Current children cumulated vsize (KiB) 431736
[startup+402.3 s]
/proc/loadavg: 4.06 3.99 3.75 5/181 23210
/proc/meminfo: memFree=30306288/32873844 swapFree=6600/6600
[pid=23151] ppid=23149 vsize=498040 CPUtime=804.32 cores=1,3,5,7
/proc/23151/stat : 23151 (pwbo2.0) S 23149 23151 22912 0 -1 4202496 91389 0 0 0 80319 113 0 0 20 0 3 0 275173761 509992960 92864 33554432000 4194304 5965102 140735324859536 140735324859056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23151/statm: 124510 92864 207 433 0 124074 0
[pid=23151/tid=23153] ppid=23149 vsize=498040 CPUtime=401.15 cores=1,3,5,7
/proc/23151/task/23153/stat : 23153 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 52189 0 0 0 40048 67 0 0 20 0 3 0 275173763 509992960 92864 33554432000 4194304 5965102 140735324859536 139880618411832 4400955 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23151/tid=23154] ppid=23149 vsize=498040 CPUtime=401.19 cores=1,3,5,7
/proc/23151/task/23154/stat : 23154 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 37708 0 0 0 40062 57 0 0 20 0 3 0 275173763 509992960 92864 33554432000 4194304 5965102 140735324859536 139880607922488 4401149 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.32
Current children cumulated vsize (KiB) 498040
[startup+462.3 s]
/proc/loadavg: 4.02 3.99 3.76 5/181 23210
/proc/meminfo: memFree=30140900/32873844 swapFree=6600/6600
[pid=23151] ppid=23149 vsize=498532 CPUtime=924.3 cores=1,3,5,7
/proc/23151/stat : 23151 (pwbo2.0) S 23149 23151 22912 0 -1 4202496 102285 0 0 0 92304 126 0 0 20 0 3 0 275173761 510496768 103758 33554432000 4194304 5965102 140735324859536 140735324859056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23151/statm: 124633 103758 207 433 0 124197 0
[pid=23151/tid=23153] ppid=23149 vsize=498532 CPUtime=460.99 cores=1,3,5,7
/proc/23151/task/23153/stat : 23153 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 62222 0 0 0 46021 78 0 0 20 0 3 0 275173763 510496768 103758 33554432000 4194304 5965102 140735324859536 139880618411832 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23151/tid=23154] ppid=23149 vsize=498532 CPUtime=461.04 cores=1,3,5,7
/proc/23151/task/23154/stat : 23154 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 38571 0 0 0 46045 59 0 0 20 0 3 0 275173763 510496768 103758 33554432000 4194304 5965102 140735324859536 139880607922536 4404383 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.3
Current children cumulated vsize (KiB) 498532
[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.77 5/181 23210
/proc/meminfo: memFree=30137892/32873844 swapFree=6600/6600
[pid=23151] ppid=23149 vsize=498812 CPUtime=1044.28 cores=1,3,5,7
/proc/23151/stat : 23151 (pwbo2.0) S 23149 23151 22912 0 -1 4202496 102924 0 0 0 104302 126 0 0 20 0 3 0 275173761 510783488 104397 33554432000 4194304 5965102 140735324859536 140735324859056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23151/statm: 124703 104397 207 433 0 124267 0
[pid=23151/tid=23153] ppid=23149 vsize=498812 CPUtime=520.84 cores=1,3,5,7
/proc/23151/task/23153/stat : 23153 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 62790 0 0 0 52005 79 0 0 20 0 3 0 275173763 510783488 104397 33554432000 4194304 5965102 140735324859536 139880618411832 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23151/tid=23154] ppid=23149 vsize=498812 CPUtime=520.88 cores=1,3,5,7
/proc/23151/task/23154/stat : 23154 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 38642 0 0 0 52028 60 0 0 20 0 3 0 275173763 510783488 104397 33554432000 4194304 5965102 140735324859536 139880607922248 4404503 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.28
Current children cumulated vsize (KiB) 498812
[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.79 5/181 23211
/proc/meminfo: memFree=30086248/32873844 swapFree=6600/6600
[pid=23151] ppid=23149 vsize=564516 CPUtime=1164.27 cores=1,3,5,7
/proc/23151/stat : 23151 (pwbo2.0) S 23149 23151 22912 0 -1 4202496 105035 0 0 0 116298 129 0 0 20 0 3 0 275173761 578064384 106506 33554432000 4194304 5965102 140735324859536 140735324859056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23151/statm: 141129 106506 207 433 0 140693 0
[pid=23151/tid=23153] ppid=23149 vsize=564516 CPUtime=580.68 cores=1,3,5,7
/proc/23151/task/23153/stat : 23153 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 64822 0 0 0 57985 83 0 0 20 0 3 0 275173763 578064384 106506 33554432000 4194304 5965102 140735324859536 139880618411832 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23151/tid=23154] ppid=23149 vsize=564516 CPUtime=580.73 cores=1,3,5,7
/proc/23151/task/23154/stat : 23154 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 38721 0 0 0 58012 61 0 0 20 0 3 0 275173763 578064384 106506 33554432000 4194304 5965102 140735324859536 139880607922248 4401015 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.27
Current children cumulated vsize (KiB) 564516
[startup+642.3 s]
/proc/loadavg: 4.00 3.99 3.80 5/181 23211
/proc/meminfo: memFree=29977100/32873844 swapFree=6600/6600
[pid=23151] ppid=23149 vsize=564788 CPUtime=1284.26 cores=1,3,5,7
/proc/23151/stat : 23151 (pwbo2.0) S 23149 23151 22912 0 -1 4202496 115027 0 0 0 128285 141 0 0 20 0 3 0 275173761 578342912 116498 33554432000 4194304 5965102 140735324859536 140735324859056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23151/statm: 141197 116498 207 433 0 140761 0
[pid=23151/tid=23153] ppid=23149 vsize=564788 CPUtime=640.54 cores=1,3,5,7
/proc/23151/task/23153/stat : 23153 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 74763 0 0 0 63958 96 0 0 20 0 3 0 275173763 578342912 116498 33554432000 4194304 5965102 140735324859536 139880618411832 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23151/tid=23154] ppid=23149 vsize=564788 CPUtime=640.58 cores=1,3,5,7
/proc/23151/task/23154/stat : 23154 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 38772 0 0 0 63996 62 0 0 20 0 3 0 275173763 578342912 116498 33554432000 4194304 5965102 140735324859536 139880607922248 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.26
Current children cumulated vsize (KiB) 564788
[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.81 5/181 23211
/proc/meminfo: memFree=29934736/32873844 swapFree=6600/6600
[pid=23151] ppid=23149 vsize=564932 CPUtime=1404.23 cores=1,3,5,7
/proc/23151/stat : 23151 (pwbo2.0) S 23149 23151 22912 0 -1 4202496 124879 0 0 0 140264 159 0 0 20 0 3 0 275173761 578490368 126345 33554432000 4194304 5965102 140735324859536 140735324859056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23151/statm: 141233 126345 207 433 0 140797 0
[pid=23151/tid=23153] ppid=23149 vsize=564932 CPUtime=700.38 cores=1,3,5,7
/proc/23151/task/23153/stat : 23153 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 76148 0 0 0 69940 98 0 0 20 0 3 0 275173763 578490368 126345 33554432000 4194304 5965102 140735324859536 139880618411832 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23151/tid=23154] ppid=23149 vsize=564932 CPUtime=700.42 cores=1,3,5,7
/proc/23151/task/23154/stat : 23154 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 47239 0 0 0 69962 80 0 0 20 0 3 0 275173763 578490368 126345 33554432000 4194304 5965102 140735324859536 139880607922488 4401127 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.23
Current children cumulated vsize (KiB) 564932
[startup+762.307 s]
/proc/loadavg: 4.00 3.99 3.82 5/182 23214
/proc/meminfo: memFree=29879460/32873844 swapFree=6600/6600
[pid=23151] ppid=23149 vsize=630600 CPUtime=1524.22 cores=1,3,5,7
/proc/23151/stat : 23151 (pwbo2.0) S 23149 23151 22912 0 -1 4202496 137988 0 0 0 152247 175 0 0 20 0 3 0 275173761 645734400 139447 33554432000 4194304 5965102 140735324859536 140735324859056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23151/statm: 157650 139447 207 433 0 157214 0
[pid=23151/tid=23153] ppid=23149 vsize=630600 CPUtime=760.23 cores=1,3,5,7
/proc/23151/task/23153/stat : 23153 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 89205 0 0 0 75908 115 0 0 20 0 3 0 275173763 645734400 139447 33554432000 4194304 5965102 140735324859536 139880618412024 4433056 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23151/tid=23154] ppid=23149 vsize=630600 CPUtime=760.27 cores=1,3,5,7
/proc/23151/task/23154/stat : 23154 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 47291 0 0 0 75946 81 0 0 20 0 3 0 275173763 645734400 139447 33554432000 4194304 5965102 140735324859536 139880607922248 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.22
Current children cumulated vsize (KiB) 630600
[startup+822.3 s]
/proc/loadavg: 4.00 3.99 3.83 5/182 23236
/proc/meminfo: memFree=29819244/32873844 swapFree=6600/6600
[pid=23151] ppid=23149 vsize=630876 CPUtime=1644.16 cores=1,3,5,7
/proc/23151/stat : 23151 (pwbo2.0) S 23149 23151 22912 0 -1 4202496 138619 0 0 0 164241 175 0 0 20 0 3 0 275173761 646017024 140250 33554432000 4194304 5965102 140735324859536 140735324859056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23151/statm: 157719 140250 207 433 0 157283 0
[pid=23151/tid=23153] ppid=23149 vsize=630876 CPUtime=820.05 cores=1,3,5,7
/proc/23151/task/23153/stat : 23153 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 89750 0 0 0 81889 116 0 0 20 0 3 0 275173763 646017024 140250 33554432000 4194304 5965102 140735324859536 139880618411832 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23151/tid=23154] ppid=23149 vsize=630876 CPUtime=820.09 cores=1,3,5,7
/proc/23151/task/23154/stat : 23154 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 47377 0 0 0 81926 83 0 0 20 0 3 0 275173763 646017024 140250 33554432000 4194304 5965102 140735324859536 139880607922248 4400955 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.16
Current children cumulated vsize (KiB) 630876
[startup+882.3 s]
/proc/loadavg: 4.07 4.00 3.84 5/181 23237
/proc/meminfo: memFree=29771068/32873844 swapFree=6600/6600
[pid=23151] ppid=23149 vsize=631720 CPUtime=1764.11 cores=1,3,5,7
/proc/23151/stat : 23151 (pwbo2.0) S 23149 23151 22912 0 -1 4202496 139177 0 0 0 176235 176 0 0 20 0 3 0 275173761 646881280 141281 33554432000 4194304 5965102 140735324859536 140735324859056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23151/statm: 157930 141281 207 433 0 157494 0
[pid=23151/tid=23153] ppid=23149 vsize=631720 CPUtime=879.87 cores=1,3,5,7
/proc/23151/task/23153/stat : 23153 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 90186 0 0 0 87869 118 0 0 20 0 3 0 275173763 646881280 141281 33554432000 4194304 5965102 140735324859536 139880618411832 4401078 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23151/tid=23154] ppid=23149 vsize=631720 CPUtime=879.93 cores=1,3,5,7
/proc/23151/task/23154/stat : 23154 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 47499 0 0 0 87909 84 0 0 20 0 3 0 275173763 646881280 141281 33554432000 4194304 5965102 140735324859536 139880607922664 4220675 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.11
Current children cumulated vsize (KiB) 631720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.05 4.00 3.84 5/181 23237
/proc/meminfo: memFree=29757472/32873844 swapFree=6600/6600
[pid=23151] ppid=23149 vsize=631884 CPUtime=1800.11 cores=1,3,5,7
/proc/23151/stat : 23151 (pwbo2.0) S 23149 23151 22912 0 -1 4202496 139351 0 0 0 179835 176 0 0 20 0 3 0 275173761 647049216 141510 33554432000 4194304 5965102 140735324859536 140735324859056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23151/statm: 157971 141510 207 433 0 157535 0
[pid=23151/tid=23153] ppid=23149 vsize=631884 CPUtime=897.82 cores=1,3,5,7
/proc/23151/task/23153/stat : 23153 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 90318 0 0 0 89664 118 0 0 20 0 3 0 275173763 647049216 141510 33554432000 4194304 5965102 140735324859536 139880618411832 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23151/tid=23154] ppid=23149 vsize=631884 CPUtime=897.9 cores=1,3,5,7
/proc/23151/task/23154/stat : 23154 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 47541 0 0 0 89706 84 0 0 20 0 3 0 275173763 647049216 141510 33554432000 4194304 5965102 140735324859536 139880607922248 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 631884
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.3 s]
/proc/loadavg: 4.05 4.00 3.84 5/181 23237
/proc/meminfo: memFree=29757472/32873844 swapFree=6600/6600
[pid=23151] ppid=23149 vsize=631884 CPUtime=1800.11 cores=1,3,5,7
/proc/23151/stat : 23151 (pwbo2.0) S 23149 23151 22912 0 -1 4202496 139351 0 0 0 179835 176 0 0 20 0 3 0 275173761 647049216 141510 33554432000 4194304 5965102 140735324859536 140735324859056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23151/statm: 157971 141510 207 433 0 157535 0
[pid=23151/tid=23153] ppid=23149 vsize=631884 CPUtime=897.82 cores=1,3,5,7
/proc/23151/task/23153/stat : 23153 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 90318 0 0 0 89664 118 0 0 20 0 3 0 275173763 647049216 141510 33554432000 4194304 5965102 140735324859536 139880618411832 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23151/tid=23154] ppid=23149 vsize=631884 CPUtime=897.9 cores=1,3,5,7
/proc/23151/task/23154/stat : 23154 (pwbo2.0) R 23149 23151 22912 0 -1 4202560 47541 0 0 0 89706 84 0 0 20 0 3 0 275173763 647049216 141510 33554432000 4194304 5965102 140735324859536 139880607922248 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 631884
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23151 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=724312
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=52687
# CPU time returned by wait4() is 1795.78
# while last known CPU time is 1800.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.326
CPU time (s): 1800.11
CPU user time (s): 1798.35
CPU system time (s): 1.76
CPU usage (%): 199.94
Max. virtual memory (cumulated for all children) (KiB): 631884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.72
system time used= 2.05269
maximum resident set size= 566048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139353
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= 464
involuntary context switches= 1863
runsolver used 4.6233 second user time and 3.06253 second system time
The end