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-3712740-1338205808/watcher-3712740-1338205808 -o /tmp/evaluation-result-3712740-1338205808/solver-3712740-1338205808 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712740-1338205808.wbo
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.84 3.97 3.99 4/179 23253
/proc/meminfo: memFree=28309336/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=4572 CPUtime=0 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) R 23251 23253 20320 0 -1 4202496 434 0 0 0 0 0 0 0 20 0 1 0 286704894 4681728 387 33554432000 4194304 5964478 140733277553360 140735332127528 4395513 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 1143 387 168 433 0 683 0
[startup+0.0346821 s]
/proc/loadavg: 3.84 3.97 3.99 4/179 23253
/proc/meminfo: memFree=28309336/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=164272 CPUtime=0.04 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 2264 0 0 0 4 0 0 0 20 0 3 0 286704894 168214528 2060 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 41068 2060 198 433 0 40632 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 164272
[startup+0.100183 s]
/proc/loadavg: 3.84 3.97 3.99 4/179 23253
/proc/meminfo: memFree=28309336/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=164272 CPUtime=0.17 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 3307 0 0 0 16 1 0 0 20 0 3 0 286704894 168214528 2488 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 41068 2488 198 433 0 40632 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 164272
[startup+0.300122 s]
/proc/loadavg: 3.84 3.97 3.99 4/179 23253
/proc/meminfo: memFree=28309336/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=164272 CPUtime=0.57 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 4708 0 0 0 54 3 0 0 20 0 3 0 286704894 168214528 3385 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 41068 3385 198 433 0 40632 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 164272
[startup+0.700129 s]
/proc/loadavg: 3.84 3.97 3.99 4/179 23253
/proc/meminfo: memFree=28309336/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=164272 CPUtime=1.37 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 6784 0 0 0 131 6 0 0 20 0 3 0 286704894 168214528 4557 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 41068 4557 198 433 0 40632 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 164272
[startup+1.50031 s]
/proc/loadavg: 3.84 3.97 3.99 5/182 23256
/proc/meminfo: memFree=28287208/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=164272 CPUtime=2.97 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 8811 0 0 0 289 8 0 0 20 0 3 0 286704894 168214528 6156 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 41068 6156 198 433 0 40632 0
[pid=23253/tid=23255] ppid=23251 vsize=164272 CPUtime=1.47 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 3307 0 0 0 139 8 0 0 20 0 3 0 286704895 168214528 6156 33554432000 4194304 5964478 140733277553360 140466204506104 4381980 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=164272 CPUtime=1.47 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 4414 0 0 0 147 0 0 0 20 0 3 0 286704895 168214528 6156 33554432000 4194304 5964478 140733277553360 140466194016776 4400572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 164272
[startup+3.10031 s]
/proc/loadavg: 3.84 3.97 3.99 5/182 23256
/proc/meminfo: memFree=28277412/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=164272 CPUtime=6.17 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 12273 0 0 0 608 9 0 0 20 0 3 0 286704894 168214528 9212 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 41068 9212 198 433 0 40632 0
[pid=23253/tid=23255] ppid=23251 vsize=164272 CPUtime=3.07 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 6076 0 0 0 298 9 0 0 20 0 3 0 286704895 168214528 9212 33554432000 4194304 5964478 140733277553360 140466204506104 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=164272 CPUtime=3.07 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 5107 0 0 0 307 0 0 0 20 0 3 0 286704895 168214528 9212 33554432000 4194304 5964478 140733277553360 140466194016776 4403701 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164272
[startup+6.30032 s]
/proc/loadavg: 3.85 3.97 3.99 5/182 23256
/proc/meminfo: memFree=28239272/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=164272 CPUtime=12.57 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 19390 0 0 0 1247 10 0 0 20 0 3 0 286704894 168214528 15796 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 41068 15796 198 433 0 40632 0
[pid=23253/tid=23255] ppid=23251 vsize=164272 CPUtime=6.27 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 12379 0 0 0 617 10 0 0 20 0 3 0 286704895 168214528 15796 33554432000 4194304 5964478 140733277553360 140466204506104 4400062 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=164272 CPUtime=6.27 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 5921 0 0 0 626 1 0 0 20 0 3 0 286704895 168214528 15796 33554432000 4194304 5964478 140733277553360 140466194016920 4389154 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 164272
[startup+12.7003 s]
/proc/loadavg: 3.86 3.97 3.99 5/182 23256
/proc/meminfo: memFree=28174712/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=229808 CPUtime=25.37 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 32984 0 0 0 2523 14 0 0 20 0 3 0 286704894 235323392 29285 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 57452 29285 198 433 0 57016 0
[pid=23253/tid=23255] ppid=23251 vsize=229808 CPUtime=12.67 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 25205 0 0 0 1254 13 0 0 20 0 3 0 286704895 235323392 29285 33554432000 4194304 5964478 140733277553360 140466204506104 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=229808 CPUtime=12.67 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 6689 0 0 0 1266 1 0 0 20 0 3 0 286704895 235323392 29285 33554432000 4194304 5964478 140733277553360 140466194016560 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 229808
[startup+25.5003 s]
/proc/loadavg: 3.89 3.97 3.99 5/182 23256
/proc/meminfo: memFree=28070192/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=296288 CPUtime=50.96 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 51745 0 0 0 5076 20 0 0 20 0 3 0 286704894 303398912 47945 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 74072 47945 198 433 0 73636 0
[pid=23253/tid=23255] ppid=23251 vsize=296288 CPUtime=25.47 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 41042 0 0 0 2529 18 0 0 20 0 3 0 286704895 303398912 47945 33554432000 4194304 5964478 140733277553360 140466204506104 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=296288 CPUtime=25.48 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 9613 0 0 0 2545 3 0 0 20 0 3 0 286704895 303398912 47945 33554432000 4194304 5964478 140733277553360 140466194016328 4403705 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 296288
[startup+51.1004 s]
/proc/loadavg: 3.93 3.97 3.99 5/182 23256
/proc/meminfo: memFree=27825368/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=428700 CPUtime=102.15 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 97938 0 0 0 10181 34 0 0 20 0 3 0 286704894 438988800 94022 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 107175 94022 198 433 0 106739 0
[pid=23253/tid=23255] ppid=23251 vsize=428700 CPUtime=51.07 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 63101 0 0 0 5081 26 0 0 20 0 3 0 286704895 438988800 94024 33554432000 4194304 5964478 140733277553360 140466204506104 4400051 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=428700 CPUtime=51.08 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 33749 0 0 0 5099 9 0 0 20 0 3 0 286704895 438988800 94024 33554432000 4194304 5964478 140733277553360 140466194016568 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 428700
[startup+102.306 s]
/proc/loadavg: 3.97 3.97 3.99 5/181 23256
/proc/meminfo: memFree=27467556/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=693756 CPUtime=204.55 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 149103 0 0 0 20406 49 0 0 20 0 3 0 286704894 710406144 145187 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 173439 145187 198 433 0 173003 0
[pid=23253/tid=23255] ppid=23251 vsize=693756 CPUtime=102.28 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 82287 0 0 0 10194 34 0 0 20 0 3 0 286704895 710406144 145187 33554432000 4194304 5964478 140733277553360 140466204505912 4400040 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=693756 CPUtime=102.29 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 65726 0 0 0 10210 19 0 0 20 0 3 0 286704895 710406144 145187 33554432000 4194304 5964478 140733277553360 140466194016328 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.55
Current children cumulated vsize (KiB) 693756
[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.99 5/181 23257
/proc/meminfo: memFree=27244760/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=825152 CPUtime=324.52 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 183572 0 0 0 32394 58 0 0 20 0 3 0 286704894 844955648 179241 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 206288 179241 200 433 0 205852 0
[pid=23253/tid=23255] ppid=23251 vsize=825152 CPUtime=162.27 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 88523 0 0 0 16192 35 0 0 20 0 3 0 286704895 844955648 179241 33554432000 4194304 5964478 140733277553360 140466204507064 4400099 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=825152 CPUtime=162.28 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 93959 0 0 0 16200 28 0 0 20 0 3 0 286704895 844955648 179241 33554432000 4194304 5964478 140733277553360 140466194016568 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.52
Current children cumulated vsize (KiB) 825152
[startup+222.3 s]
/proc/loadavg: 4.12 4.00 4.00 5/181 23257
/proc/meminfo: memFree=27126988/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=826120 CPUtime=444.5 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 188137 0 0 0 44390 60 0 0 20 0 3 0 286704894 845946880 183806 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 206530 183806 200 433 0 206094 0
[pid=23253/tid=23255] ppid=23251 vsize=826120 CPUtime=222.28 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 88611 0 0 0 22192 36 0 0 20 0 3 0 286704895 845946880 183806 33554432000 4194304 5964478 140733277553360 140466204506208 4388843 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=826120 CPUtime=222.29 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 98436 0 0 0 22198 31 0 0 20 0 3 0 286704895 845946880 183806 33554432000 4194304 5964478 140733277553360 140466194016328 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.5
Current children cumulated vsize (KiB) 826120
[startup+282.3 s]
/proc/loadavg: 4.04 4.00 4.00 5/181 23257
/proc/meminfo: memFree=26909148/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=958436 CPUtime=564.48 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 219495 0 0 0 56379 69 0 0 20 0 3 0 286704894 981438464 214272 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 239609 214272 200 433 0 239173 0
[pid=23253/tid=23255] ppid=23251 vsize=958436 CPUtime=282.28 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 119918 0 0 0 28181 47 0 0 20 0 3 0 286704895 981438464 214272 33554432000 4194304 5964478 140733277553360 140466204506104 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=958436 CPUtime=282.29 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 98487 0 0 0 28197 32 0 0 20 0 3 0 286704895 981438464 214272 33554432000 4194304 5964478 140733277553360 140466194016600 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.48
Current children cumulated vsize (KiB) 958436
[startup+342.3 s]
/proc/loadavg: 3.98 3.99 3.99 5/181 23298
/proc/meminfo: memFree=28802784/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=1089676 CPUtime=684.46 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 261369 0 0 0 68361 85 0 0 20 0 3 0 286704894 1115828224 256506 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 272419 256506 200 433 0 271983 0
################
# More data... #
################
Current children cumulated vsize (KiB) 1221724
[startup+462.3 s]
/proc/loadavg: 4.02 4.00 4.00 5/181 23499
/proc/meminfo: memFree=28670564/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=1222104 CPUtime=924.37 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 296405 0 0 0 92335 102 0 0 20 0 3 0 286704894 1251434496 291481 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 305526 291481 200 433 0 305090 0
[pid=23253/tid=23255] ppid=23251 vsize=1222104 CPUtime=462.22 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 193153 0 0 0 46141 81 0 0 20 0 3 0 286704895 1251434496 291481 33554432000 4194304 5964478 140733277553360 140466204506016 4388204 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=1222104 CPUtime=462.3 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 102162 0 0 0 46194 36 0 0 20 0 3 0 286704895 1251434496 291481 33554432000 4194304 5964478 140733277553360 140466194016672 4400075 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.37
Current children cumulated vsize (KiB) 1222104
[startup+522.3 s]
/proc/loadavg: 4.01 4.00 4.00 5/181 23499
/proc/meminfo: memFree=28547336/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=1353652 CPUtime=1044.32 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 321031 0 0 0 104301 131 0 0 20 0 3 0 286704894 1386139648 316070 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 338413 316070 200 433 0 337977 0
[pid=23253/tid=23255] ppid=23251 vsize=1353652 CPUtime=522.2 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 194818 0 0 0 52138 82 0 0 20 0 3 0 286704895 1386139648 316070 33554432000 4194304 5964478 140733277553360 140466204505912 4400075 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=1353652 CPUtime=522.27 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 125123 0 0 0 52163 64 0 0 20 0 3 0 286704895 1386139648 316070 33554432000 4194304 5964478 140733277553360 140466194016568 4399994 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.32
Current children cumulated vsize (KiB) 1353652
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23499
/proc/meminfo: memFree=28326148/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=1550260 CPUtime=1164.26 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 364858 0 0 0 116252 174 0 0 20 0 3 0 286704894 1587466240 359866 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 387565 359866 200 433 0 387129 0
[pid=23253/tid=23255] ppid=23251 vsize=1550260 CPUtime=582.19 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 237940 0 0 0 58093 126 0 0 20 0 3 0 286704895 1587466240 359866 33554432000 4194304 5964478 140733277553360 140466204506104 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=1550260 CPUtime=582.25 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 125828 0 0 0 58160 65 0 0 20 0 3 0 286704895 1587466240 359866 33554432000 4194304 5964478 140733277553360 140466194016568 4400040 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.26
Current children cumulated vsize (KiB) 1550260
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/182 23502
/proc/meminfo: memFree=28100852/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=1747912 CPUtime=1284.23 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 413262 0 0 0 128214 209 0 0 20 0 3 0 286704894 1789861888 408247 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 436978 408247 200 433 0 436542 0
[pid=23253/tid=23255] ppid=23251 vsize=1747912 CPUtime=642.17 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 267918 0 0 0 64063 154 0 0 20 0 3 0 286704895 1789861888 408247 33554432000 4194304 5964478 140733277553360 140466204506104 4400081 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=1747912 CPUtime=642.25 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 144254 0 0 0 64151 74 0 0 20 0 3 0 286704895 1789861888 408247 33554432000 4194304 5964478 140733277553360 140466194016568 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.23
Current children cumulated vsize (KiB) 1747912
[startup+702.3 s]
/proc/loadavg: 4.08 4.02 4.01 5/182 23525
/proc/meminfo: memFree=27911068/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=1880360 CPUtime=1404.14 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 453346 0 0 0 140173 241 0 0 20 0 3 0 286704894 1925488640 448293 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 470090 448293 200 433 0 469654 0
[pid=23253/tid=23255] ppid=23251 vsize=1880360 CPUtime=702.15 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 300368 0 0 0 70032 183 0 0 20 0 3 0 286704895 1925488640 448293 33554432000 4194304 5964478 140733277553360 140466204506104 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=1880360 CPUtime=702.22 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 151888 0 0 0 70142 80 0 0 20 0 3 0 286704895 1925488640 448293 33554432000 4194304 5964478 140733277553360 140466194016568 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.14
Current children cumulated vsize (KiB) 1880360
Solver just ended. Dumping a history of the last processes samples
[startup+716.7 s]
/proc/loadavg: 4.06 4.02 4.00 5/181 23525
/proc/meminfo: memFree=27798220/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=1946276 CPUtime=1432.94 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 479721 0 0 0 143044 250 0 0 20 0 3 0 286704894 1992986624 474660 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 486569 474660 200 433 0 486133 0
[pid=23253/tid=23255] ppid=23251 vsize=1946276 CPUtime=716.55 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 308161 0 0 0 71470 185 0 0 20 0 3 0 286704895 1992986624 474660 33554432000 4194304 5964478 140733277553360 140466204506104 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=1946276 CPUtime=716.61 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 170470 0 0 0 71575 86 0 0 20 0 3 0 286704895 1992986624 474660 33554432000 4194304 5964478 140733277553360 140466194016568 4379280 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1432.94
Current children cumulated vsize (KiB) 1946276
[startup+723.1 s]
/proc/loadavg: 4.06 4.01 4.00 5/181 23525
/proc/meminfo: memFree=27779732/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=2011812 CPUtime=1445.73 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 483283 0 0 0 144319 254 0 0 20 0 3 0 286704894 2060095488 478216 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 502953 478216 200 433 0 502517 0
[pid=23253/tid=23255] ppid=23251 vsize=2011812 CPUtime=722.95 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 311717 0 0 0 72106 189 0 0 20 0 3 0 286704895 2060095488 478216 33554432000 4194304 5964478 140733277553360 140466204506104 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=2011812 CPUtime=723.01 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 170476 0 0 0 72215 86 0 0 20 0 3 0 286704895 2060095488 478216 33554432000 4194304 5964478 140733277553360 140466194016568 4399959 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1445.73
Current children cumulated vsize (KiB) 2011812
[startup+726.3 s]
/proc/loadavg: 4.05 4.01 4.00 5/181 23525
/proc/meminfo: memFree=27771300/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=2011812 CPUtime=1452.12 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 484882 0 0 0 144955 257 0 0 20 0 3 0 286704894 2060095488 479815 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 502953 479815 200 433 0 502517 0
[pid=23253/tid=23255] ppid=23251 vsize=2011812 CPUtime=726.15 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 313316 0 0 0 72422 193 0 0 20 0 3 0 286704895 2060095488 479815 33554432000 4194304 5964478 140733277553360 140466204506104 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=2011812 CPUtime=726.21 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 170476 0 0 0 72534 87 0 0 20 0 3 0 286704895 2060095488 479815 33554432000 4194304 5964478 140733277553360 140466194016568 4399910 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1452.12
Current children cumulated vsize (KiB) 2011812
[startup+729.5 s]
/proc/loadavg: 4.05 4.01 4.00 5/181 23525
/proc/meminfo: memFree=27759008/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=2011812 CPUtime=1458.51 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 487121 0 0 0 145592 259 0 0 20 0 3 0 286704894 2060095488 482046 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 502953 482046 200 433 0 502517 0
[pid=23253/tid=23255] ppid=23251 vsize=2011812 CPUtime=729.35 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 315547 0 0 0 72739 196 0 0 20 0 3 0 286704895 2060095488 482046 33554432000 4194304 5964478 140733277553360 140466204506104 4400051 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=2011812 CPUtime=729.4 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 170484 0 0 0 72853 87 0 0 20 0 3 0 286704895 2060095488 482046 33554432000 4194304 5964478 140733277553360 140466194016568 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1458.51
Current children cumulated vsize (KiB) 2011812
[startup+730.3 s]
/proc/loadavg: 4.05 4.01 4.00 5/181 23525
/proc/meminfo: memFree=27760620/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=2011812 CPUtime=1460.13 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 487374 0 0 0 145753 260 0 0 20 0 3 0 286704894 2060095488 481024 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 502953 481024 200 433 0 502517 0
[pid=23253/tid=23255] ppid=23251 vsize=2011812 CPUtime=730.16 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 315800 0 0 0 72820 196 0 0 20 0 3 0 286704895 2060095488 481024 33554432000 4194304 5964478 140733277553360 140466204506104 4400073 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=2011812 CPUtime=730.21 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 170484 0 0 0 72934 87 0 0 20 0 3 0 286704895 2060095488 481024 33554432000 4194304 5964478 140733277553360 140466194016568 4400051 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1460.13
Current children cumulated vsize (KiB) 2011812
[startup+731.1 s]
/proc/loadavg: 4.05 4.01 4.00 5/181 23525
/proc/meminfo: memFree=27760620/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=2011812 CPUtime=1461.72 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 487722 0 0 0 145912 260 0 0 20 0 3 0 286704894 2060095488 481372 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 502953 481372 200 433 0 502517 0
[pid=23253/tid=23255] ppid=23251 vsize=2011812 CPUtime=730.95 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 316148 0 0 0 72899 196 0 0 20 0 3 0 286704895 2060095488 481372 33554432000 4194304 5964478 140733277553360 140466204506104 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=2011812 CPUtime=731 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 170484 0 0 0 73013 87 0 0 20 0 3 0 286704895 2060095488 481372 33554432000 4194304 5964478 140733277553360 140466194016600 4388713 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1461.72
Current children cumulated vsize (KiB) 2011812
[startup+731.3 s]
/proc/loadavg: 4.05 4.01 4.00 5/181 23525
/proc/meminfo: memFree=27760620/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=2011812 CPUtime=1462.11 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) S 23251 23253 20320 0 -1 4202496 487807 0 0 0 145951 260 0 0 20 0 3 0 286704894 2060095488 481457 33554432000 4194304 5964478 140733277553360 140733277552880 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 502953 481457 200 433 0 502517 0
[pid=23253/tid=23255] ppid=23251 vsize=2011812 CPUtime=731.15 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 316233 0 0 0 72919 196 0 0 20 0 3 0 286704895 2060095488 481457 33554432000 4194304 5964478 140733277553360 140466204506104 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23253/tid=23256] ppid=23251 vsize=2011812 CPUtime=731.2 cores=0,2,4,6
/proc/23253/task/23256/stat : 23256 (pwbo2.01) R 23251 23253 20320 0 -1 4202560 170484 0 0 0 73033 87 0 0 20 0 3 0 286704895 2060095488 481457 33554432000 4194304 5964478 140733277553360 140466194016600 4400526 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1462.11
Current children cumulated vsize (KiB) 2011812
[startup+731.4 s]
/proc/loadavg: 4.05 4.01 4.00 4/180 23525
/proc/meminfo: memFree=27955616/32873648 swapFree=7368/7368
[pid=23253] ppid=23251 vsize=0 CPUtime=1462.47 cores=0,2,4,6
/proc/23253/stat : 23253 (pwbo2.01) Z 23251 23253 20320 0 -1 4203532 487832 0 0 0 145973 274 0 0 20 0 2 0 286704894 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23253/statm: 0 0 0 0 0 0 0
[pid=23253/tid=23255] ppid=23251 vsize=0 CPUtime=731.26 cores=0,2,4,6
/proc/23253/task/23255/stat : 23255 (pwbo2.01) R 23251 23253 20320 0 -1 4203588 316253 0 0 0 72928 198 0 0 20 0 2 0 286704895 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1462.47
Current children cumulated vsize (KiB) 0
Child status: 255
Real time (s): 731.473
CPU time (s): 1462.66
CPU user time (s): 1459.73
CPU system time (s): 2.93155
CPU usage (%): 199.961
Max. virtual memory (cumulated for all children) (KiB): 2011812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1459.73
system time used= 2.93155
maximum resident set size= 1928772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 487832
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= 853
involuntary context switches= 1703
runsolver used 1.41179 second user time and 3.14352 second system time
The end