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-3712446-1338191418/watcher-3712446-1338191418 -o /tmp/evaluation-result-3712446-1338191418/solver-3712446-1338191418 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712446-1338191418.wbo
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.84 3.97 3.94 3/174 27345
/proc/meminfo: memFree=31029228/32873648 swapFree=7112/7112
[pid=27345] ppid=27343 vsize=4704 CPUtime=0 cores=1,3,5,7
/proc/27345/stat : 27345 (pwbo2.01) R 27343 27345 26380 0 -1 4202496 484 0 0 0 0 0 0 0 20 0 1 0 285267754 4816896 437 33554432000 4194304 5964478 140736186935136 140735904773048 4395250 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/27345/statm: 1176 437 160 433 0 729 0
[startup+0.00843298 s]
/proc/loadavg: 3.84 3.97 3.94 3/174 27345
/proc/meminfo: memFree=31029228/32873648 swapFree=7112/7112
[pid=27345] ppid=27343 vsize=5108 CPUtime=0 cores=1,3,5,7
/proc/27345/stat : 27345 (pwbo2.01) R 27343 27345 26380 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 285267754 5230592 553 33554432000 4194304 5964478 140736186935136 140735904773048 5136474 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/27345/statm: 1277 554 169 433 0 830 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5108
[startup+0.100144 s]
/proc/loadavg: 3.84 3.97 3.94 3/174 27345
/proc/meminfo: memFree=31029228/32873648 swapFree=7112/7112
[pid=27345] ppid=27343 vsize=185076 CPUtime=0.17 cores=1,3,5,7
/proc/27345/stat : 27345 (pwbo2.01) S 27343 27345 26380 0 -1 4202496 10670 0 0 0 13 4 0 0 20 0 3 0 285267754 189517824 10497 33554432000 4194304 5964478 140736186935136 140736186934656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27345/statm: 46269 10511 206 433 0 45833 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 185076
[startup+0.300164 s]
/proc/loadavg: 3.84 3.97 3.94 3/174 27345
/proc/meminfo: memFree=31029228/32873648 swapFree=7112/7112
[pid=27345] ppid=27343 vsize=191352 CPUtime=0.57 cores=1,3,5,7
/proc/27345/stat : 27345 (pwbo2.01) S 27343 27345 26380 0 -1 4202496 13082 0 0 0 52 5 0 0 20 0 3 0 285267754 195944448 12909 33554432000 4194304 5964478 140736186935136 140736186934656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27345/statm: 47838 12909 207 433 0 47402 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 191352
[startup+0.700175 s]
/proc/loadavg: 3.84 3.97 3.94 3/174 27345
/proc/meminfo: memFree=31029228/32873648 swapFree=7112/7112
[pid=27345] ppid=27343 vsize=191572 CPUtime=1.36 cores=1,3,5,7
/proc/27345/stat : 27345 (pwbo2.01) S 27343 27345 26380 0 -1 4202496 14244 0 0 0 131 5 0 0 20 0 3 0 285267754 196169728 14071 33554432000 4194304 5964478 140736186935136 140736186934656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27345/statm: 47893 14071 207 433 0 47457 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 191572
[startup+1.50022 s]
/proc/loadavg: 3.84 3.97 3.94 5/182 27378
/proc/meminfo: memFree=30947176/32873648 swapFree=7112/7112
[pid=27345] ppid=27343 vsize=191716 CPUtime=2.96 cores=1,3,5,7
/proc/27345/stat : 27345 (pwbo2.01) S 27343 27345 26380 0 -1 4202496 17747 0 0 0 289 7 0 0 20 0 3 0 285267754 196317184 17574 33554432000 4194304 5964478 140736186935136 140736186934656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27345/statm: 47929 17574 207 433 0 47493 0
[pid=27345/tid=27350] ppid=27343 vsize=191716 CPUtime=1.47 cores=1,3,5,7
/proc/27345/task/27350/stat : 27350 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 3754 0 0 0 145 2 0 0 20 0 3 0 285267755 196317184 17574 33554432000 4194304 5964478 140736186935136 140619674114040 4399910 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27345/tid=27351] ppid=27343 vsize=191716 CPUtime=1.47 cores=1,3,5,7
/proc/27345/task/27351/stat : 27351 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 12890 0 0 0 142 5 0 0 20 0 3 0 285267755 196317184 17574 33554432000 4194304 5964478 140736186935136 140619663624504 4400071 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 191716
[startup+3.10024 s]
/proc/loadavg: 3.84 3.97 3.94 5/182 27378
/proc/meminfo: memFree=30916764/32873648 swapFree=7112/7112
[pid=27345] ppid=27343 vsize=191932 CPUtime=6.17 cores=1,3,5,7
/proc/27345/stat : 27345 (pwbo2.01) S 27343 27345 26380 0 -1 4202496 21563 0 0 0 608 9 0 0 20 0 3 0 285267754 196538368 21390 33554432000 4194304 5964478 140736186935136 140736186934656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27345/statm: 47983 21390 207 433 0 47547 0
[pid=27345/tid=27350] ppid=27343 vsize=191932 CPUtime=3.07 cores=1,3,5,7
/proc/27345/task/27350/stat : 27350 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 4650 0 0 0 304 3 0 0 20 0 3 0 285267755 196538368 21390 33554432000 4194304 5964478 140736186935136 140619674114040 4381522 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27345/tid=27351] ppid=27343 vsize=191932 CPUtime=3.07 cores=1,3,5,7
/proc/27345/task/27351/stat : 27351 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 15810 0 0 0 300 7 0 0 20 0 3 0 285267755 196538368 21390 33554432000 4194304 5964478 140736186935136 140619663624504 5136404 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 191932
[startup+6.30028 s]
/proc/loadavg: 3.85 3.97 3.94 5/182 27378
/proc/meminfo: memFree=30865060/32873648 swapFree=7112/7112
[pid=27345] ppid=27343 vsize=192112 CPUtime=12.57 cores=1,3,5,7
/proc/27345/stat : 27345 (pwbo2.01) S 27343 27345 26380 0 -1 4202496 27801 0 0 0 1245 12 0 0 20 0 3 0 285267754 196722688 27628 33554432000 4194304 5964478 140736186935136 140736186934656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27345/statm: 48028 27628 207 433 0 47592 0
[pid=27345/tid=27350] ppid=27343 vsize=192112 CPUtime=6.27 cores=1,3,5,7
/proc/27345/task/27350/stat : 27350 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 6178 0 0 0 624 3 0 0 20 0 3 0 285267755 196722688 27628 33554432000 4194304 5964478 140736186935136 140619674113848 4400071 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27345/tid=27351] ppid=27343 vsize=192112 CPUtime=6.27 cores=1,3,5,7
/proc/27345/task/27351/stat : 27351 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 20520 0 0 0 618 9 0 0 20 0 3 0 285267755 196722688 27628 33554432000 4194304 5964478 140736186935136 140619663624504 5136404 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 192112
[startup+12.7003 s]
/proc/loadavg: 3.86 3.97 3.94 5/182 27378
/proc/meminfo: memFree=30793728/32873648 swapFree=7112/7112
[pid=27345] ppid=27343 vsize=257808 CPUtime=25.36 cores=1,3,5,7
/proc/27345/stat : 27345 (pwbo2.01) S 27343 27345 26380 0 -1 4202496 39219 0 0 0 2519 17 0 0 20 0 3 0 285267754 263995392 39046 33554432000 4194304 5964478 140736186935136 140736186934656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27345/statm: 64452 39046 207 433 0 64016 0
[pid=27345/tid=27350] ppid=27343 vsize=257808 CPUtime=12.67 cores=1,3,5,7
/proc/27345/task/27350/stat : 27350 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 10329 0 0 0 1261 6 0 0 20 0 3 0 285267755 263995392 39046 33554432000 4194304 5964478 140736186935136 140619674114040 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27345/tid=27351] ppid=27343 vsize=257808 CPUtime=12.67 cores=1,3,5,7
/proc/27345/task/27351/stat : 27351 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 27787 0 0 0 1255 12 0 0 20 0 3 0 285267755 263995392 39046 33554432000 4194304 5964478 140736186935136 140619663624552 4399985 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 257808
[startup+25.5003 s]
/proc/loadavg: 3.89 3.97 3.94 5/182 27378
/proc/meminfo: memFree=30649392/32873648 swapFree=7112/7112
[pid=27345] ppid=27343 vsize=389588 CPUtime=50.95 cores=1,3,5,7
/proc/27345/stat : 27345 (pwbo2.01) S 27343 27345 26380 0 -1 4202496 58983 0 0 0 5069 26 0 0 20 0 3 0 285267754 398938112 59100 33554432000 4194304 5964478 140736186935136 140736186934656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27345/statm: 97397 59100 207 433 0 96961 0
[pid=27345/tid=27350] ppid=27343 vsize=389588 CPUtime=25.47 cores=1,3,5,7
/proc/27345/task/27350/stat : 27350 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 16918 0 0 0 2538 9 0 0 20 0 3 0 285267755 398938112 59100 33554432000 4194304 5964478 140736186935136 140619674114040 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27345/tid=27351] ppid=27343 vsize=389588 CPUtime=25.46 cores=1,3,5,7
/proc/27345/task/27351/stat : 27351 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 40962 0 0 0 2528 18 0 0 20 0 3 0 285267755 398938112 59100 33554432000 4194304 5964478 140736186935136 140619663624504 4382007 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 389588
[startup+51.1003 s]
/proc/loadavg: 3.93 3.97 3.94 5/181 27378
/proc/meminfo: memFree=30444148/32873648 swapFree=7112/7112
[pid=27345] ppid=27343 vsize=456092 CPUtime=102.13 cores=1,3,5,7
/proc/27345/stat : 27345 (pwbo2.01) S 27343 27345 26380 0 -1 4202496 88608 0 0 0 10173 40 0 0 20 0 3 0 285267754 467038208 88741 33554432000 4194304 5964478 140736186935136 140736186934656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27345/statm: 114023 88741 207 433 0 113587 0
[pid=27345/tid=27350] ppid=27343 vsize=456092 CPUtime=51.06 cores=1,3,5,7
/proc/27345/task/27350/stat : 27350 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 28268 0 0 0 5092 14 0 0 20 0 3 0 285267755 467038208 88741 33554432000 4194304 5964478 140736186935136 140619674114040 4400099 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27345/tid=27351] ppid=27343 vsize=456092 CPUtime=51.05 cores=1,3,5,7
/proc/27345/task/27351/stat : 27351 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 59237 0 0 0 5078 27 0 0 20 0 3 0 285267755 467038208 88741 33554432000 4194304 5964478 140736186935136 140619663624504 4400071 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 456092
[startup+102.3 s]
/proc/loadavg: 3.97 3.97 3.94 5/181 27378
/proc/meminfo: memFree=30229300/32873648 swapFree=7112/7112
[pid=27345] ppid=27343 vsize=654580 CPUtime=204.49 cores=1,3,5,7
/proc/27345/stat : 27345 (pwbo2.01) S 27343 27345 26380 0 -1 4202496 127893 0 0 0 20388 61 0 0 20 0 3 0 285267754 670289920 128431 33554432000 4194304 5964478 140736186935136 140736186934656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27345/statm: 163645 128431 207 433 0 163209 0
[pid=27345/tid=27350] ppid=27343 vsize=654580 CPUtime=102.23 cores=1,3,5,7
/proc/27345/task/27350/stat : 27350 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 35554 0 0 0 10204 19 0 0 20 0 3 0 285267755 670289920 128431 33554432000 4194304 5964478 140736186935136 140619674114040 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27345/tid=27351] ppid=27343 vsize=654580 CPUtime=102.25 cores=1,3,5,7
/proc/27345/task/27351/stat : 27351 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 91236 0 0 0 10181 44 0 0 20 0 3 0 285267755 670289920 128431 33554432000 4194304 5964478 140736186935136 140619663624504 4400071 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.49
Current children cumulated vsize (KiB) 654580
[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.94 5/181 27378
/proc/meminfo: memFree=29889872/32873648 swapFree=7112/7112
[pid=27345] ppid=27343 vsize=787880 CPUtime=324.43 cores=1,3,5,7
/proc/27345/stat : 27345 (pwbo2.01) S 27343 27345 26380 0 -1 4202496 178946 0 0 0 32350 93 0 0 20 0 3 0 285267754 806789120 181179 33554432000 4194304 5964478 140736186935136 140736186934656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27345/statm: 196970 181179 207 433 0 196534 0
[pid=27345/tid=27350] ppid=27343 vsize=787880 CPUtime=162.21 cores=1,3,5,7
/proc/27345/task/27350/stat : 27350 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 63832 0 0 0 16184 37 0 0 20 0 3 0 285267755 806789120 181179 33554432000 4194304 5964478 140736186935136 140619674114040 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27345/tid=27351] ppid=27343 vsize=787880 CPUtime=162.22 cores=1,3,5,7
/proc/27345/task/27351/stat : 27351 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 114011 0 0 0 16161 61 0 0 20 0 3 0 285267755 806789120 181179 33554432000 4194304 5964478 140736186935136 140619663624504 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.43
Current children cumulated vsize (KiB) 787880
[startup+222.307 s]
/proc/loadavg: 4.02 3.99 3.94 5/181 27378
/proc/meminfo: memFree=29699600/32873648 swapFree=7112/7112
[pid=27345] ppid=27343 vsize=988756 CPUtime=444.42 cores=1,3,5,7
/proc/27345/stat : 27345 (pwbo2.01) S 27343 27345 26380 0 -1 4202496 211879 0 0 0 44326 116 0 0 20 0 3 0 285267754 1012486144 214112 33554432000 4194304 5964478 140736186935136 140736186934656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27345/statm: 247189 214112 207 433 0 246753 0
[pid=27345/tid=27350] ppid=27343 vsize=988756 CPUtime=222.21 cores=1,3,5,7
/proc/27345/task/27350/stat : 27350 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 68366 0 0 0 22181 40 0 0 20 0 3 0 285267755 1012486144 214112 33554432000 4194304 5964478 140736186935136 140619674114040 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27345/tid=27351] ppid=27343 vsize=988756 CPUtime=222.23 cores=1,3,5,7
/proc/27345/task/27351/stat : 27351 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 142410 0 0 0 22140 83 0 0 20 0 3 0 285267755 1012486144 214112 33554432000 4194304 5964478 140736186935136 140619663624312 4400071 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.42
Current children cumulated vsize (KiB) 988756
[startup+282.3 s]
/proc/loadavg: 4.01 3.99 3.94 5/181 27378
/proc/meminfo: memFree=29504328/32873648 swapFree=7112/7112
[pid=27345] ppid=27343 vsize=1056520 CPUtime=564.39 cores=1,3,5,7
/proc/27345/stat : 27345 (pwbo2.01) S 27343 27345 26380 0 -1 4202496 233793 0 0 0 56303 136 0 0 20 0 3 0 285267754 1081876480 236026 33554432000 4194304 5964478 140736186935136 140736186934656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27345/statm: 264130 236026 207 433 0 263694 0
[pid=27345/tid=27350] ppid=27343 vsize=1056520 CPUtime=282.21 cores=1,3,5,7
/proc/27345/task/27350/stat : 27350 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 76113 0 0 0 28173 48 0 0 20 0 3 0 285267755 1081876480 236026 33554432000 4194304 5964478 140736186935136 140619674114040 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27345/tid=27351] ppid=27343 vsize=1056520 CPUtime=282.23 cores=1,3,5,7
/proc/27345/task/27351/stat : 27351 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 156577 0 0 0 28125 98 0 0 20 0 3 0 285267755 1081876480 236026 33554432000 4194304 5964478 140736186935136 140619663624504 5136404 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 564.39
Current children cumulated vsize (KiB) 1056520
[startup+342.3 s]
/proc/loadavg: 4.00 3.99 3.94 5/181 27379
/proc/meminfo: memFree=29339188/32873648 swapFree=7112/7112
[pid=27345] ppid=27343 vsize=1125216 CPUtime=684.38 cores=1,3,5,7
/proc/27345/stat : 27345 (pwbo2.01) S 27343 27345 26380 0 -1 4202496 262003 0 0 0 68279 159 0 0 20 0 3 0 285267754 1152221184 264236 33554432000 4194304 5964478 140736186935136 140736186934656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27345/statm: 281304 264236 207 433 0 280868 0
[pid=27345/tid=27350] ppid=27343 vsize=1125216 CPUtime=342.21 cores=1,3,5,7
/proc/27345/task/27350/stat : 27350 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 82058 0 0 0 34168 53 0 0 20 0 3 0 285267755 1152221184 264236 33554432000 4194304 5964478 140736186935136 140619674113848 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27345/tid=27351] ppid=27343 vsize=1125216 CPUtime=342.23 cores=1,3,5,7
/proc/27345/task/27351/stat : 27351 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 178842 0 0 0 34106 117 0 0 20 0 3 0 285267755 1152221184 264236 33554432000 4194304 5964478 140736186935136 140619663624312 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 684.38
Current children cumulated vsize (KiB) 1125216
[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.94 5/181 27379
/proc/meminfo: memFree=29043108/32873648 swapFree=7112/7112
[pid=27345] ppid=27343 vsize=1260076 CPUtime=804.36 cores=1,3,5,7
/proc/27345/stat : 27345 (pwbo2.01) S 27343 27345 26380 0 -1 4202496 279720 0 0 0 80258 178 0 0 20 0 3 0 285267754 1290317824 281953 33554432000 4194304 5964478 140736186935136 140736186934656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27345/statm: 315019 281953 207 433 0 314583 0
[pid=27345/tid=27350] ppid=27343 vsize=1260076 CPUtime=402.2 cores=1,3,5,7
/proc/27345/task/27350/stat : 27350 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 83650 0 0 0 40164 56 0 0 20 0 3 0 285267755 1290317824 281953 33554432000 4194304 5964478 140736186935136 140619674114040 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27345/tid=27351] ppid=27343 vsize=1260076 CPUtime=402.23 cores=1,3,5,7
/proc/27345/task/27351/stat : 27351 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 194967 0 0 0 40088 135 0 0 20 0 3 0 285267755 1290317824 281953 33554432000 4194304 5964478 140736186935136 140619663624504 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 804.36
Current children cumulated vsize (KiB) 1260076
[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.94 5/181 27379
/proc/meminfo: memFree=28794488/32873648 swapFree=7112/7112
[pid=27345] ppid=27343 vsize=1326260 CPUtime=924.34 cores=1,3,5,7
/proc/27345/stat : 27345 (pwbo2.01) S 27343 27345 26380 0 -1 4202496 293372 0 0 0 92238 196 0 0 20 0 3 0 285267754 1358090240 295742 33554432000 4194304 5964478 140736186935136 140736186934656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27345/statm: 331565 295742 207 433 0 331129 0
[pid=27345/tid=27350] ppid=27343 vsize=1326260 CPUtime=462.2 cores=1,3,5,7
/proc/27345/task/27350/stat : 27350 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 83666 0 0 0 46163 57 0 0 20 0 3 0 285267755 1358090240 295742 33554432000 4194304 5964478 140736186935136 140619674114040 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27345/tid=27351] ppid=27343 vsize=1326260 CPUtime=462.23 cores=1,3,5,7
/proc/27345/task/27351/stat : 27351 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 208603 0 0 0 46068 155 0 0 20 0 3 0 285267755 1358090240 295742 33554432000 4194304 5964478 140736186935136 140619663624504 5136404 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 924.34
Current children cumulated vsize (KiB) 1326260
[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.94 5/181 27379
/proc/meminfo: memFree=28668700/32873648 swapFree=7112/7112
[pid=27345] ppid=27343 vsize=1392732 CPUtime=1044.3 cores=1,3,5,7
/proc/27345/stat : 27345 (pwbo2.01) S 27343 27345 26380 0 -1 4202496 306560 0 0 0 104217 213 0 0 20 0 3 0 285267754 1426157568 309082 33554432000 4194304 5964478 140736186935136 140736186934656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27345/statm: 348183 309082 207 433 0 347747 0
[pid=27345/tid=27350] ppid=27343 vsize=1392732 CPUtime=522.2 cores=1,3,5,7
/proc/27345/task/27350/stat : 27350 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 83673 0 0 0 52163 57 0 0 20 0 3 0 285267755 1426157568 309082 33554432000 4194304 5964478 140736186935136 140619674114040 4400051 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27345/tid=27351] ppid=27343 vsize=1392732 CPUtime=522.2 cores=1,3,5,7
/proc/27345/task/27351/stat : 27351 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 221784 0 0 0 52049 171 0 0 20 0 3 0 285267755 1426157568 309082 33554432000 4194304 5964478 140736186935136 140619663624504 5136404 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1044.3
Current children cumulated vsize (KiB) 1392732
[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.94 5/181 27379
/proc/meminfo: memFree=28612452/32873648 swapFree=7112/7112
[pid=27345] ppid=27343 vsize=1395252 CPUtime=1164.25 cores=1,3,5,7
/proc/27345/stat : 27345 (pwbo2.01) S 27343 27345 26380 0 -1 4202496 320133 0 0 0 116195 230 0 0 20 0 3 0 285267754 1428738048 322948 33554432000 4194304 5964478 140736186935136 140736186934656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27345/statm: 348813 322948 207 433 0 348377 0
[pid=27345/tid=27350] ppid=27343 vsize=1395252 CPUtime=582.2 cores=1,3,5,7
/proc/27345/task/27350/stat : 27350 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 83699 0 0 0 58162 58 0 0 20 0 3 0 285267755 1428738048 322948 33554432000 4194304 5964478 140736186935136 140619674114040 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27345/tid=27351] ppid=27343 vsize=1395252 CPUtime=582.18 cores=1,3,5,7
/proc/27345/task/27351/stat : 27351 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 235331 0 0 0 58029 189 0 0 20 0 3 0 285267755 1428738048 322948 33554432000 4194304 5964478 140736186935136 140619663624504 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1164.25
Current children cumulated vsize (KiB) 1395252
[startup+642.3 s]
/proc/loadavg: 4.03 4.00 3.95 5/182 27383
/proc/meminfo: memFree=28516172/32873648 swapFree=7112/7112
[pid=27345] ppid=27343 vsize=1467212 CPUtime=1284.2 cores=1,3,5,7
/proc/27345/stat : 27345 (pwbo2.01) S 27343 27345 26380 0 -1 4202496 344554 0 0 0 128167 253 0 0 20 0 3 0 285267754 1502425088 347551 33554432000 4194304 5964478 140736186935136 140736186934656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27345/statm: 366803 347552 207 433 0 366367 0
[pid=27345/tid=27350] ppid=27343 vsize=1467212 CPUtime=642.17 cores=1,3,5,7
/proc/27345/task/27350/stat : 27350 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 92690 0 0 0 64151 66 0 0 20 0 3 0 285267755 1502425088 347552 33554432000 4194304 5964478 140736186935136 140619674114040 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27345/tid=27351] ppid=27343 vsize=1467212 CPUtime=642.17 cores=1,3,5,7
/proc/27345/task/27351/stat : 27351 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 250762 0 0 0 64011 206 0 0 20 0 3 0 285267755 1502425088 347552 33554432000 4194304 5964478 140736186935136 140619663624504 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1284.2
Current children cumulated vsize (KiB) 1467212
[startup+702.3 s]
/proc/loadavg: 4.01 4.00 3.95 5/182 27406
/proc/meminfo: memFree=28380364/32873648 swapFree=7112/7112
[pid=27345] ppid=27343 vsize=1600840 CPUtime=1404.15 cores=1,3,5,7
/proc/27345/stat : 27345 (pwbo2.01) S 27343 27345 26380 0 -1 4202496 377816 0 0 0 140125 290 0 0 20 0 3 0 285267754 1639260160 381078 33554432000 4194304 5964478 140736186935136 140736186934656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27345/statm: 400210 381078 207 433 0 399774 0
[pid=27345/tid=27350] ppid=27343 vsize=1600840 CPUtime=702.16 cores=1,3,5,7
/proc/27345/task/27350/stat : 27350 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 114151 0 0 0 70124 92 0 0 20 0 3 0 285267755 1639260160 381078 33554432000 4194304 5964478 140736186935136 140619674114040 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27345/tid=27351] ppid=27343 vsize=1600840 CPUtime=702.16 cores=1,3,5,7
/proc/27345/task/27351/stat : 27351 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 262562 0 0 0 69997 219 0 0 20 0 3 0 285267755 1639260160 381078 33554432000 4194304 5964478 140736186935136 140619663624504 4399910 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1404.15
Current children cumulated vsize (KiB) 1600840
[startup+762.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27406
/proc/meminfo: memFree=28294484/32873648 swapFree=7112/7112
[pid=27345] ppid=27343 vsize=1733852 CPUtime=1524.11 cores=1,3,5,7
/proc/27345/stat : 27345 (pwbo2.01) S 27343 27345 26380 0 -1 4202496 398906 0 0 0 152098 313 0 0 20 0 3 0 285267754 1775464448 402175 33554432000 4194304 5964478 140736186935136 140736186934656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27345/statm: 433463 402175 207 433 0 433027 0
[pid=27345/tid=27350] ppid=27343 vsize=1733852 CPUtime=762.14 cores=1,3,5,7
/proc/27345/task/27350/stat : 27350 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 122118 0 0 0 76111 103 0 0 20 0 3 0 285267755 1775464448 402175 33554432000 4194304 5964478 140736186935136 140619674114040 4400040 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27345/tid=27351] ppid=27343 vsize=1733852 CPUtime=762.15 cores=1,3,5,7
/proc/27345/task/27351/stat : 27351 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 275685 0 0 0 75981 234 0 0 20 0 3 0 285267755 1775464448 402175 33554432000 4194304 5964478 140736186935136 140619663624504 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1524.11
Current children cumulated vsize (KiB) 1733852
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27406
/proc/meminfo: memFree=28240324/32873648 swapFree=7112/7112
[pid=27345] ppid=27343 vsize=1800252 CPUtime=1644.06 cores=1,3,5,7
/proc/27345/stat : 27345 (pwbo2.01) S 27343 27345 26380 0 -1 4202496 412884 0 0 0 164075 331 0 0 20 0 3 0 285267754 1843458048 415616 33554432000 4194304 5964478 140736186935136 140736186934656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27345/statm: 450063 415616 207 433 0 449627 0
[pid=27345/tid=27350] ppid=27343 vsize=1800252 CPUtime=822.12 cores=1,3,5,7
/proc/27345/task/27350/stat : 27350 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 122135 0 0 0 82108 104 0 0 20 0 3 0 285267755 1843458048 415616 33554432000 4194304 5964478 140736186935136 140619674114072 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27345/tid=27351] ppid=27343 vsize=1800252 CPUtime=822.14 cores=1,3,5,7
/proc/27345/task/27351/stat : 27351 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 289646 0 0 0 81962 252 0 0 20 0 3 0 285267755 1843458048 415616 33554432000 4194304 5964478 140736186935136 140619663624552 4382013 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1644.06
Current children cumulated vsize (KiB) 1800252
[startup+882.307 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27406
/proc/meminfo: memFree=28205880/32873648 swapFree=7112/7112
[pid=27345] ppid=27343 vsize=1803776 CPUtime=1764.02 cores=1,3,5,7
/proc/27345/stat : 27345 (pwbo2.01) S 27343 27345 26380 0 -1 4202496 421366 0 0 0 176059 343 0 0 20 0 3 0 285267754 1847066624 424121 33554432000 4194304 5964478 140736186935136 140736186934656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27345/statm: 450944 424121 207 433 0 450508 0
[pid=27345/tid=27350] ppid=27343 vsize=1803776 CPUtime=882.11 cores=1,3,5,7
/proc/27345/task/27350/stat : 27350 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 122155 0 0 0 88106 105 0 0 20 0 3 0 285267755 1847066624 424121 33554432000 4194304 5964478 140736186935136 140619674114072 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27345/tid=27351] ppid=27343 vsize=1803776 CPUtime=882.14 cores=1,3,5,7
/proc/27345/task/27351/stat : 27351 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 298108 0 0 0 87948 266 0 0 20 0 3 0 285267755 1847066624 424121 33554432000 4194304 5964478 140736186935136 140619663624504 4400071 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1764.02
Current children cumulated vsize (KiB) 1803776
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/180 27406
/proc/meminfo: memFree=28192588/32873648 swapFree=7112/7112
[pid=27345] ppid=27343 vsize=1805852 CPUtime=1800.02 cores=1,3,5,7
/proc/27345/stat : 27345 (pwbo2.01) S 27343 27345 26380 0 -1 4202496 424368 0 0 0 179655 347 0 0 20 0 3 0 285267754 1849192448 427143 33554432000 4194304 5964478 140736186935136 140736186934656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27345/statm: 451463 427143 207 433 0 451027 0
[pid=27345/tid=27350] ppid=27343 vsize=1805852 CPUtime=900.11 cores=1,3,5,7
/proc/27345/task/27350/stat : 27350 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 122155 0 0 0 89906 105 0 0 20 0 3 0 285267755 1849192448 427143 33554432000 4194304 5964478 140736186935136 140619674114072 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27345/tid=27351] ppid=27343 vsize=1805852 CPUtime=900.14 cores=1,3,5,7
/proc/27345/task/27351/stat : 27351 (pwbo2.01) R 27343 27345 26380 0 -1 4202560 301110 0 0 0 89744 270 0 0 20 0 3 0 285267755 1849192448 427143 33554432000 4194304 5964478 140736186935136 140619663624504 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1805852
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 900.361
CPU time (s): 1800.34
CPU user time (s): 1796.53
CPU system time (s): 3.81142
CPU usage (%): 199.958
Max. virtual memory (cumulated for all children) (KiB): 1805852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.53
system time used= 3.81142
maximum resident set size= 1708580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 424370
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= 1280
involuntary context switches= 2408
runsolver used 1.90171 second user time and 5.01424 second system time
The end