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-3728570-1338672903/watcher-3728570-1338672903 -o /tmp/evaluation-result-3728570-1338672903/solver-3728570-1338672903 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728570-1338672903.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.68 3.93 3.83 4/179 27324
/proc/meminfo: memFree=30110948/32873844 swapFree=7372/7372
[pid=27324] ppid=27322 vsize=4300 CPUtime=0 cores=1,3,5,7
/proc/27324/stat : 27324 (pwbo2.02) R 27322 27324 26396 0 -1 4202496 387 0 0 0 0 0 0 0 20 0 1 0 333418864 4403200 339 33554432000 4194304 5964478 140735731539168 140735731537416 4344643 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27324/statm: 1075 346 169 433 0 617 0
[startup+0.0135999 s]
/proc/loadavg: 3.68 3.93 3.83 4/179 27324
/proc/meminfo: memFree=30110948/32873844 swapFree=7372/7372
[pid=27324] ppid=27322 vsize=163348 CPUtime=0.01 cores=1,3,5,7
/proc/27324/stat : 27324 (pwbo2.02) S 27322 27324 26396 0 -1 4202496 1233 0 0 0 1 0 0 0 20 0 3 0 333418864 167268352 1162 33554432000 4194304 5964478 140735731539168 140735731538688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27324/statm: 40837 1162 186 433 0 40401 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 163348
[startup+0.100162 s]
/proc/loadavg: 3.68 3.93 3.83 4/179 27324
/proc/meminfo: memFree=30110948/32873844 swapFree=7372/7372
[pid=27324] ppid=27322 vsize=163348 CPUtime=0.18 cores=1,3,5,7
/proc/27324/stat : 27324 (pwbo2.02) S 27322 27324 26396 0 -1 4202496 1939 0 0 0 18 0 0 0 20 0 3 0 333418864 167268352 1701 33554432000 4194304 5964478 140735731539168 140735731538688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27324/statm: 40837 1701 198 433 0 40401 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 163348
[startup+0.300122 s]
/proc/loadavg: 3.68 3.93 3.83 4/179 27324
/proc/meminfo: memFree=30110948/32873844 swapFree=7372/7372
[pid=27324] ppid=27322 vsize=163348 CPUtime=0.57 cores=1,3,5,7
/proc/27324/stat : 27324 (pwbo2.02) S 27322 27324 26396 0 -1 4202496 2680 0 0 0 57 0 0 0 20 0 3 0 333418864 167268352 2412 33554432000 4194304 5964478 140735731539168 140735731538688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27324/statm: 40837 2412 198 433 0 40401 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 163348
[startup+0.700141 s]
/proc/loadavg: 3.68 3.93 3.83 4/179 27324
/proc/meminfo: memFree=30110948/32873844 swapFree=7372/7372
[pid=27324] ppid=27322 vsize=163348 CPUtime=1.37 cores=1,3,5,7
/proc/27324/stat : 27324 (pwbo2.02) S 27322 27324 26396 0 -1 4202496 3640 0 0 0 137 0 0 0 20 0 3 0 333418864 167268352 3259 33554432000 4194304 5964478 140735731539168 140735731538688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27324/statm: 40837 3259 198 433 0 40401 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 163348
[startup+1.50027 s]
/proc/loadavg: 3.68 3.93 3.83 5/182 27327
/proc/meminfo: memFree=30089208/32873844 swapFree=7372/7372
[pid=27324] ppid=27322 vsize=163744 CPUtime=2.97 cores=1,3,5,7
/proc/27324/stat : 27324 (pwbo2.02) S 27322 27324 26396 0 -1 4202496 4478 0 0 0 296 1 0 0 20 0 3 0 333418864 167673856 4097 33554432000 4194304 5964478 140735731539168 140735731538688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27324/statm: 40936 4097 198 433 0 40500 0
[pid=27324/tid=27326] ppid=27322 vsize=163744 CPUtime=1.47 cores=1,3,5,7
/proc/27324/task/27326/stat : 27326 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 2066 0 0 0 147 0 0 0 20 0 3 0 333418865 167673856 4097 33554432000 4194304 5964478 140735731539168 140217288488760 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27324/tid=27327] ppid=27322 vsize=163744 CPUtime=1.47 cores=1,3,5,7
/proc/27324/task/27327/stat : 27327 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 1453 0 0 0 147 0 0 0 20 0 3 0 333418865 167673856 4097 33554432000 4194304 5964478 140735731539168 140217277999408 4400083 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) 163744
[startup+3.10031 s]
/proc/loadavg: 3.68 3.93 3.83 5/182 27327
/proc/meminfo: memFree=30075040/32873844 swapFree=7372/7372
[pid=27324] ppid=27322 vsize=164156 CPUtime=6.17 cores=1,3,5,7
/proc/27324/stat : 27324 (pwbo2.02) S 27322 27324 26396 0 -1 4202496 7698 0 0 0 611 6 0 0 20 0 3 0 333418864 168095744 7317 33554432000 4194304 5964478 140735731539168 140735731538688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27324/statm: 41039 7317 198 433 0 40603 0
[pid=27324/tid=27326] ppid=27322 vsize=164156 CPUtime=3.06 cores=1,3,5,7
/proc/27324/task/27326/stat : 27326 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 3699 0 0 0 305 1 0 0 20 0 3 0 333418865 168095744 7317 33554432000 4194304 5964478 140735731539168 140217288489000 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27324/tid=27327] ppid=27322 vsize=164156 CPUtime=3.06 cores=1,3,5,7
/proc/27324/task/27327/stat : 27327 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 3040 0 0 0 302 4 0 0 20 0 3 0 333418865 168095744 7317 33554432000 4194304 5964478 140735731539168 140217277999416 4400087 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) 164156
[startup+6.30033 s]
/proc/loadavg: 3.95 3.98 3.84 5/182 27327
/proc/meminfo: memFree=30028788/32873844 swapFree=7372/7372
[pid=27324] ppid=27322 vsize=165048 CPUtime=12.57 cores=1,3,5,7
/proc/27324/stat : 27324 (pwbo2.02) S 27322 27324 26396 0 -1 4202496 12627 0 0 0 1250 7 0 0 20 0 3 0 333418864 169009152 12246 33554432000 4194304 5964478 140735731539168 140735731538688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27324/statm: 41262 12246 198 433 0 40826 0
[pid=27324/tid=27326] ppid=27322 vsize=165048 CPUtime=6.25 cores=1,3,5,7
/proc/27324/task/27326/stat : 27326 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 6872 0 0 0 623 2 0 0 20 0 3 0 333418865 169009152 12246 33554432000 4194304 5964478 140735731539168 140217288488952 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27324/tid=27327] ppid=27322 vsize=165048 CPUtime=6.25 cores=1,3,5,7
/proc/27324/task/27327/stat : 27327 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 4796 0 0 0 621 4 0 0 20 0 3 0 333418865 169009152 12246 33554432000 4194304 5964478 140735731539168 140217277999416 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 165048
[startup+12.7003 s]
/proc/loadavg: 3.95 3.98 3.84 5/182 27327
/proc/meminfo: memFree=29939712/32873844 swapFree=7372/7372
[pid=27324] ppid=27322 vsize=166256 CPUtime=25.36 cores=1,3,5,7
/proc/27324/stat : 27324 (pwbo2.02) S 27322 27324 26396 0 -1 4202496 25065 0 0 0 2514 22 0 0 20 0 3 0 333418864 170246144 24684 33554432000 4194304 5964478 140735731539168 140735731538688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27324/statm: 41564 24684 198 433 0 41128 0
[pid=27324/tid=27326] ppid=27322 vsize=166256 CPUtime=12.63 cores=1,3,5,7
/proc/27324/task/27326/stat : 27326 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 12464 0 0 0 1258 5 0 0 20 0 3 0 333418865 170246144 24684 33554432000 4194304 5964478 140735731539168 140217288488520 4400010 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27324/tid=27327] ppid=27322 vsize=166256 CPUtime=12.64 cores=1,3,5,7
/proc/27324/task/27327/stat : 27327 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 11642 0 0 0 1247 17 0 0 20 0 3 0 333418865 170246144 24684 33554432000 4194304 5964478 140735731539168 140217277999416 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 166256
[startup+25.5004 s]
/proc/loadavg: 4.03 4.00 3.85 5/182 27327
/proc/meminfo: memFree=29853456/32873844 swapFree=7372/7372
[pid=27324] ppid=27322 vsize=232092 CPUtime=50.96 cores=1,3,5,7
/proc/27324/stat : 27324 (pwbo2.02) S 27322 27324 26396 0 -1 4202496 31309 0 0 0 5069 27 0 0 20 0 3 0 333418864 237662208 30900 33554432000 4194304 5964478 140735731539168 140735731538688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27324/statm: 58023 30900 198 433 0 57587 0
[pid=27324/tid=27326] ppid=27322 vsize=232092 CPUtime=25.4 cores=1,3,5,7
/proc/27324/task/27326/stat : 27326 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 18205 0 0 0 2532 8 0 0 20 0 3 0 333418865 237662208 30900 33554432000 4194304 5964478 140735731539168 140217288488952 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27324/tid=27327] ppid=27322 vsize=232092 CPUtime=25.4 cores=1,3,5,7
/proc/27324/task/27327/stat : 27327 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 12145 0 0 0 2522 18 0 0 20 0 3 0 333418865 237662208 30900 33554432000 4194304 5964478 140735731539168 140217277999408 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 232092
[startup+51.1005 s]
/proc/loadavg: 4.02 4.00 3.85 5/181 27327
/proc/meminfo: memFree=29710444/32873844 swapFree=7372/7372
[pid=27324] ppid=27322 vsize=299208 CPUtime=102.15 cores=1,3,5,7
/proc/27324/stat : 27324 (pwbo2.02) S 27322 27324 26396 0 -1 4202496 50293 0 0 0 10164 51 0 0 20 0 3 0 333418864 306388992 49884 33554432000 4194304 5964478 140735731539168 140735731538688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27324/statm: 74802 49884 198 433 0 74366 0
[pid=27324/tid=27326] ppid=27322 vsize=299208 CPUtime=50.93 cores=1,3,5,7
/proc/27324/task/27326/stat : 27326 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 29697 0 0 0 5078 15 0 0 20 0 3 0 333418865 306388992 49884 33554432000 4194304 5964478 140735731539168 140217288489056 4400078 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27324/tid=27327] ppid=27322 vsize=299208 CPUtime=50.94 cores=1,3,5,7
/proc/27324/task/27327/stat : 27327 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 19637 0 0 0 5059 35 0 0 20 0 3 0 333418865 306388992 49884 33554432000 4194304 5964478 140735731539168 140217277999328 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 299208
[startup+102.3 s]
/proc/loadavg: 4.01 4.00 3.86 5/181 27328
/proc/meminfo: memFree=29508020/32873844 swapFree=7372/7372
[pid=27324] ppid=27322 vsize=367096 CPUtime=204.54 cores=1,3,5,7
/proc/27324/stat : 27324 (pwbo2.02) S 27322 27324 26396 0 -1 4202496 80877 0 0 0 20380 74 0 0 20 0 3 0 333418864 375906304 80429 33554432000 4194304 5964478 140735731539168 140735731538688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27324/statm: 91774 80429 198 433 0 91338 0
[pid=27324/tid=27326] ppid=27322 vsize=367096 CPUtime=102.01 cores=1,3,5,7
/proc/27324/task/27326/stat : 27326 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 46175 0 0 0 10173 28 0 0 20 0 3 0 333418865 375906304 80429 33554432000 4194304 5964478 140735731539168 140217288488864 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27324/tid=27327] ppid=27322 vsize=367096 CPUtime=102.01 cores=1,3,5,7
/proc/27324/task/27327/stat : 27327 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 33743 0 0 0 10153 48 0 0 20 0 3 0 333418865 375906304 80429 33554432000 4194304 5964478 140735731539168 140217277999176 4400024 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.54
Current children cumulated vsize (KiB) 367096
[startup+162.3 s]
/proc/loadavg: 4.04 4.01 3.87 5/181 27328
/proc/meminfo: memFree=29313504/32873844 swapFree=7372/7372
[pid=27324] ppid=27322 vsize=499408 CPUtime=324.47 cores=1,3,5,7
/proc/27324/stat : 27324 (pwbo2.02) S 27322 27324 26396 0 -1 4202496 97322 0 0 0 32359 88 0 0 20 0 3 0 333418864 511393792 97155 33554432000 4194304 5964478 140735731539168 140735731538688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27324/statm: 124852 97155 198 433 0 124416 0
[pid=27324/tid=27326] ppid=27322 vsize=499408 CPUtime=161.82 cores=1,3,5,7
/proc/27324/task/27326/stat : 27326 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 56409 0 0 0 16146 36 0 0 20 0 3 0 333418865 511393792 97155 33554432000 4194304 5964478 140735731539168 140217288488952 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27324/tid=27327] ppid=27322 vsize=499408 CPUtime=161.84 cores=1,3,5,7
/proc/27324/task/27327/stat : 27327 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 39954 0 0 0 16129 55 0 0 20 0 3 0 333418865 511393792 97155 33554432000 4194304 5964478 140735731539168 140217277999176 4388192 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.47
Current children cumulated vsize (KiB) 499408
[startup+222.307 s]
/proc/loadavg: 4.14 4.04 3.88 5/181 27328
/proc/meminfo: memFree=29145512/32873844 swapFree=7372/7372
[pid=27324] ppid=27322 vsize=566524 CPUtime=444.41 cores=1,3,5,7
/proc/27324/stat : 27324 (pwbo2.02) S 27322 27324 26396 0 -1 4202496 124298 0 0 0 44316 125 0 0 20 0 3 0 333418864 580120576 124142 33554432000 4194304 5964478 140735731539168 140735731538688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27324/statm: 141631 124142 198 433 0 141195 0
[pid=27324/tid=27326] ppid=27322 vsize=566524 CPUtime=221.64 cores=1,3,5,7
/proc/27324/task/27326/stat : 27326 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 76298 0 0 0 22108 56 0 0 20 0 3 0 333418865 580120576 124142 33554432000 4194304 5964478 140735731539168 140217288488952 4400069 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27324/tid=27327] ppid=27322 vsize=566524 CPUtime=221.67 cores=1,3,5,7
/proc/27324/task/27327/stat : 27327 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 47041 0 0 0 22093 74 0 0 20 0 3 0 333418865 580120576 124142 33554432000 4194304 5964478 140735731539168 140217277999176 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.41
Current children cumulated vsize (KiB) 566524
[startup+282.3 s]
/proc/loadavg: 4.05 4.03 3.89 5/181 27328
/proc/meminfo: memFree=29067172/32873844 swapFree=7372/7372
[pid=27324] ppid=27322 vsize=699232 CPUtime=564.32 cores=1,3,5,7
/proc/27324/stat : 27324 (pwbo2.02) S 27322 27324 26396 0 -1 4202496 136501 0 0 0 56283 149 0 0 20 0 3 0 333418864 716013568 136298 33554432000 4194304 5964478 140735731539168 140735731538688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27324/statm: 174808 136298 198 433 0 174372 0
[pid=27324/tid=27326] ppid=27322 vsize=699232 CPUtime=281.45 cores=1,3,5,7
/proc/27324/task/27326/stat : 27326 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 82404 0 0 0 28081 64 0 0 20 0 3 0 333418865 716013568 136298 33554432000 4194304 5964478 140735731539168 140217288488864 4400632 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27324/tid=27327] ppid=27322 vsize=699232 CPUtime=281.49 cores=1,3,5,7
/proc/27324/task/27327/stat : 27327 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 53138 0 0 0 28057 92 0 0 20 0 3 0 333418865 716013568 136298 33554432000 4194304 5964478 140735731539168 140217277999520 4400097 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.32
Current children cumulated vsize (KiB) 699232
[startup+342.3 s]
/proc/loadavg: 4.02 4.02 3.90 5/182 27331
/proc/meminfo: memFree=28969684/32873844 swapFree=7372/7372
[pid=27324] ppid=27322 vsize=700444 CPUtime=684.26 cores=1,3,5,7
/proc/27324/stat : 27324 (pwbo2.02) S 27322 27324 26396 0 -1 4202496 136787 0 0 0 68277 149 0 0 20 0 3 0 333418864 717254656 137675 33554432000 4194304 5964478 140735731539168 140735731538688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27324/statm: 175111 137675 198 433 0 174675 0
################
# More data... #
################
/proc/loadavg: 4.00 4.01 3.91 5/181 27332
/proc/meminfo: memFree=28719516/32873844 swapFree=7372/7372
[pid=27324] ppid=27322 vsize=767120 CPUtime=924.23 cores=1,3,5,7
/proc/27324/stat : 27324 (pwbo2.02) S 27322 27324 26396 0 -1 4202496 163196 0 0 0 92233 190 0 0 20 0 3 0 333418864 785530880 164084 33554432000 4194304 5964478 140735731539168 140735731538688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27324/statm: 191780 164084 198 433 0 191344 0
[pid=27324/tid=27326] ppid=27322 vsize=767120 CPUtime=460.99 cores=1,3,5,7
/proc/27324/task/27326/stat : 27326 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 101322 0 0 0 46010 89 0 0 20 0 3 0 333418865 785530880 164084 33554432000 4194304 5964478 140735731539168 140217288488952 4400106 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27324/tid=27327] ppid=27322 vsize=767120 CPUtime=460.99 cores=1,3,5,7
/proc/27324/task/27327/stat : 27327 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 60915 0 0 0 45986 113 0 0 20 0 3 0 333418865 785530880 164084 33554432000 4194304 5964478 140735731539168 140217277999520 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.23
Current children cumulated vsize (KiB) 767120
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 27332
/proc/meminfo: memFree=28544952/32873844 swapFree=7372/7372
[pid=27324] ppid=27322 vsize=900316 CPUtime=1044.2 cores=1,3,5,7
/proc/27324/stat : 27324 (pwbo2.02) S 27322 27324 26396 0 -1 4202496 193443 0 0 0 104197 223 0 0 20 0 3 0 333418864 921923584 194331 33554432000 4194304 5964478 140735731539168 140735731538688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27324/statm: 225079 194331 198 433 0 224643 0
[pid=27324/tid=27326] ppid=27322 vsize=900316 CPUtime=520.83 cores=1,3,5,7
/proc/27324/task/27326/stat : 27326 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 115900 0 0 0 51978 105 0 0 20 0 3 0 333418865 921923584 194331 33554432000 4194304 5964478 140735731539168 140217288488952 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27324/tid=27327] ppid=27322 vsize=900316 CPUtime=520.84 cores=1,3,5,7
/proc/27324/task/27327/stat : 27327 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 76584 0 0 0 51952 132 0 0 20 0 3 0 333418865 921923584 194331 33554432000 4194304 5964478 140735731539168 140217277999520 4400519 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.2
Current children cumulated vsize (KiB) 900316
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 27332
/proc/meminfo: memFree=28399032/32873844 swapFree=7372/7372
[pid=27324] ppid=27322 vsize=904056 CPUtime=1164.19 cores=1,3,5,7
/proc/27324/stat : 27324 (pwbo2.02) S 27322 27324 26396 0 -1 4202496 204772 0 0 0 116182 237 0 0 20 0 3 0 333418864 925753344 205660 33554432000 4194304 5964478 140735731539168 140735731538688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27324/statm: 226014 205660 198 433 0 225578 0
[pid=27324/tid=27326] ppid=27322 vsize=904056 CPUtime=580.68 cores=1,3,5,7
/proc/27324/task/27326/stat : 27326 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 126940 0 0 0 57949 119 0 0 20 0 3 0 333418865 925753344 205660 33554432000 4194304 5964478 140735731539168 140217288488952 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27324/tid=27327] ppid=27322 vsize=904056 CPUtime=580.69 cores=1,3,5,7
/proc/27324/task/27327/stat : 27327 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 76873 0 0 0 57936 133 0 0 20 0 3 0 333418865 925753344 205660 33554432000 4194304 5964478 140735731539168 140217277999176 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.19
Current children cumulated vsize (KiB) 904056
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 27332
/proc/meminfo: memFree=28201528/32873844 swapFree=7372/7372
[pid=27324] ppid=27322 vsize=1036236 CPUtime=1284.17 cores=1,3,5,7
/proc/27324/stat : 27324 (pwbo2.02) S 27322 27324 26396 0 -1 4202496 228957 0 0 0 128147 270 0 0 20 0 3 0 333418864 1061105664 229845 33554432000 4194304 5964478 140735731539168 140735731538688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27324/statm: 259059 229845 198 433 0 258623 0
[pid=27324/tid=27326] ppid=27322 vsize=1036236 CPUtime=640.52 cores=1,3,5,7
/proc/27324/task/27326/stat : 27326 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 137513 0 0 0 63921 131 0 0 20 0 3 0 333418865 1061105664 229845 33554432000 4194304 5964478 140735731539168 140217288488952 4400106 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27324/tid=27327] ppid=27322 vsize=1036236 CPUtime=640.53 cores=1,3,5,7
/proc/27324/task/27327/stat : 27327 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 90485 0 0 0 63897 156 0 0 20 0 3 0 333418865 1061105664 229845 33554432000 4194304 5964478 140735731539168 140217277999520 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.17
Current children cumulated vsize (KiB) 1036236
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 27333
/proc/meminfo: memFree=28112732/32873844 swapFree=7372/7372
[pid=27324] ppid=27322 vsize=1038212 CPUtime=1404.15 cores=1,3,5,7
/proc/27324/stat : 27324 (pwbo2.02) S 27322 27324 26396 0 -1 4202496 237874 0 0 0 140136 279 0 0 20 0 3 0 333418864 1063129088 238762 33554432000 4194304 5964478 140735731539168 140735731538688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27324/statm: 259553 238762 198 433 0 259117 0
[pid=27324/tid=27326] ppid=27322 vsize=1038212 CPUtime=700.37 cores=1,3,5,7
/proc/27324/task/27326/stat : 27326 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 146333 0 0 0 69896 141 0 0 20 0 3 0 333418865 1063129088 238762 33554432000 4194304 5964478 140735731539168 140217288488952 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27324/tid=27327] ppid=27322 vsize=1038212 CPUtime=700.38 cores=1,3,5,7
/proc/27324/task/27327/stat : 27327 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 90582 0 0 0 69881 157 0 0 20 0 3 0 333418865 1063129088 238762 33554432000 4194304 5964478 140735731539168 140217277999520 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.15
Current children cumulated vsize (KiB) 1038212
Solver just ended. Dumping a history of the last processes samples
[startup+716.8 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 27333
/proc/meminfo: memFree=28092520/32873844 swapFree=7372/7372
[pid=27324] ppid=27322 vsize=1038536 CPUtime=1433.14 cores=1,3,5,7
/proc/27324/stat : 27324 (pwbo2.02) S 27322 27324 26396 0 -1 4202496 240039 0 0 0 143033 281 0 0 20 0 3 0 333418864 1063460864 240927 33554432000 4194304 5964478 140735731539168 140735731538688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27324/statm: 259634 240927 198 433 0 259198 0
[pid=27324/tid=27326] ppid=27322 vsize=1038536 CPUtime=714.83 cores=1,3,5,7
/proc/27324/task/27326/stat : 27326 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 148498 0 0 0 71339 144 0 0 20 0 3 0 333418865 1063460864 240927 33554432000 4194304 5964478 140735731539168 140217288488952 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27324/tid=27327] ppid=27322 vsize=1038536 CPUtime=714.84 cores=1,3,5,7
/proc/27324/task/27327/stat : 27327 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 90582 0 0 0 71327 157 0 0 20 0 3 0 333418865 1063460864 240927 33554432000 4194304 5964478 140735731539168 140217277999520 4400097 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1433.14
Current children cumulated vsize (KiB) 1038536
[startup+729.6 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 27333
/proc/meminfo: memFree=28076460/32873844 swapFree=7372/7372
[pid=27324] ppid=27322 vsize=1104556 CPUtime=1458.74 cores=1,3,5,7
/proc/27324/stat : 27324 (pwbo2.02) S 27322 27324 26396 0 -1 4202496 241974 0 0 0 145590 284 0 0 20 0 3 0 333418864 1131065344 242862 33554432000 4194304 5964478 140735731539168 140735731538688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27324/statm: 276139 242862 198 433 0 275703 0
[pid=27324/tid=27326] ppid=27322 vsize=1104556 CPUtime=727.6 cores=1,3,5,7
/proc/27324/task/27326/stat : 27326 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 150433 0 0 0 72613 147 0 0 20 0 3 0 333418865 1131065344 242862 33554432000 4194304 5964478 140735731539168 140217288488952 4400056 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27324/tid=27327] ppid=27322 vsize=1104556 CPUtime=727.61 cores=1,3,5,7
/proc/27324/task/27327/stat : 27327 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 90582 0 0 0 72603 158 0 0 20 0 3 0 333418865 1131065344 242862 33554432000 4194304 5964478 140735731539168 140217277999520 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1458.74
Current children cumulated vsize (KiB) 1104556
[startup+732.8 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 27333
/proc/meminfo: memFree=28073236/32873844 swapFree=7372/7372
[pid=27324] ppid=27322 vsize=1104556 CPUtime=1465.13 cores=1,3,5,7
/proc/27324/stat : 27324 (pwbo2.02) S 27322 27324 26396 0 -1 4202496 242240 0 0 0 146229 284 0 0 20 0 3 0 333418864 1131065344 243128 33554432000 4194304 5964478 140735731539168 140735731538688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27324/statm: 276139 243128 198 433 0 275703 0
[pid=27324/tid=27326] ppid=27322 vsize=1104556 CPUtime=730.79 cores=1,3,5,7
/proc/27324/task/27326/stat : 27326 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 150699 0 0 0 72931 148 0 0 20 0 3 0 333418865 1131065344 243128 33554432000 4194304 5964478 140735731539168 140217288489000 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27324/tid=27327] ppid=27322 vsize=1104556 CPUtime=730.8 cores=1,3,5,7
/proc/27324/task/27327/stat : 27327 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 90582 0 0 0 72922 158 0 0 20 0 3 0 333418865 1131065344 243128 33554432000 4194304 5964478 140735731539168 140217277999520 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1465.13
Current children cumulated vsize (KiB) 1104556
[startup+736.007 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 27333
/proc/meminfo: memFree=28069020/32873844 swapFree=7372/7372
[pid=27324] ppid=27322 vsize=1104716 CPUtime=1471.55 cores=1,3,5,7
/proc/27324/stat : 27324 (pwbo2.02) S 27322 27324 26396 0 -1 4202496 242731 0 0 0 146870 285 0 0 20 0 3 0 333418864 1131229184 243619 33554432000 4194304 5964478 140735731539168 140735731538688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27324/statm: 276179 243619 198 433 0 275743 0
[pid=27324/tid=27326] ppid=27322 vsize=1104716 CPUtime=733.99 cores=1,3,5,7
/proc/27324/task/27326/stat : 27326 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 151190 0 0 0 73250 149 0 0 20 0 3 0 333418865 1131229184 243619 33554432000 4194304 5964478 140735731539168 140217288489000 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27324/tid=27327] ppid=27322 vsize=1104716 CPUtime=734 cores=1,3,5,7
/proc/27324/task/27327/stat : 27327 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 90582 0 0 0 73242 158 0 0 20 0 3 0 333418865 1131229184 243619 33554432000 4194304 5964478 140735731539168 140217277999520 4400089 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1471.55
Current children cumulated vsize (KiB) 1104716
[startup+736.8 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 27333
/proc/meminfo: memFree=28069020/32873844 swapFree=7372/7372
[pid=27324] ppid=27322 vsize=1104716 CPUtime=1473.13 cores=1,3,5,7
/proc/27324/stat : 27324 (pwbo2.02) S 27322 27324 26396 0 -1 4202496 242793 0 0 0 147028 285 0 0 20 0 3 0 333418864 1131229184 243681 33554432000 4194304 5964478 140735731539168 140735731538688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27324/statm: 276179 243681 198 433 0 275743 0
[pid=27324/tid=27326] ppid=27322 vsize=1104716 CPUtime=734.78 cores=1,3,5,7
/proc/27324/task/27326/stat : 27326 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 151252 0 0 0 73329 149 0 0 20 0 3 0 333418865 1131229184 243681 33554432000 4194304 5964478 140735731539168 140217288488760 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27324/tid=27327] ppid=27322 vsize=1104716 CPUtime=734.79 cores=1,3,5,7
/proc/27324/task/27327/stat : 27327 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 90582 0 0 0 73321 158 0 0 20 0 3 0 333418865 1131229184 243681 33554432000 4194304 5964478 140735731539168 140217277999520 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1473.13
Current children cumulated vsize (KiB) 1104716
[startup+737.6 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 27333
/proc/meminfo: memFree=28067532/32873844 swapFree=7372/7372
[pid=27324] ppid=27322 vsize=1104716 CPUtime=1474.74 cores=1,3,5,7
/proc/27324/stat : 27324 (pwbo2.02) S 27322 27324 26396 0 -1 4202496 242875 0 0 0 147188 286 0 0 20 0 3 0 333418864 1131229184 243763 33554432000 4194304 5964478 140735731539168 140735731538688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27324/statm: 276179 243763 198 433 0 275743 0
[pid=27324/tid=27326] ppid=27322 vsize=1104716 CPUtime=735.58 cores=1,3,5,7
/proc/27324/task/27326/stat : 27326 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 151334 0 0 0 73409 149 0 0 20 0 3 0 333418865 1131229184 243763 33554432000 4194304 5964478 140735731539168 140217288488760 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27324/tid=27327] ppid=27322 vsize=1104716 CPUtime=735.59 cores=1,3,5,7
/proc/27324/task/27327/stat : 27327 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 90582 0 0 0 73401 158 0 0 20 0 3 0 333418865 1131229184 243763 33554432000 4194304 5964478 140735731539168 140217277999520 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1474.74
Current children cumulated vsize (KiB) 1104716
[startup+737.8 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 27333
/proc/meminfo: memFree=28067532/32873844 swapFree=7372/7372
[pid=27324] ppid=27322 vsize=1104716 CPUtime=1475.14 cores=1,3,5,7
/proc/27324/stat : 27324 (pwbo2.02) S 27322 27324 26396 0 -1 4202496 242885 0 0 0 147228 286 0 0 20 0 3 0 333418864 1131229184 243773 33554432000 4194304 5964478 140735731539168 140735731538688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27324/statm: 276179 243773 198 433 0 275743 0
[pid=27324/tid=27326] ppid=27322 vsize=1104716 CPUtime=735.78 cores=1,3,5,7
/proc/27324/task/27326/stat : 27326 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 151344 0 0 0 73429 149 0 0 20 0 3 0 333418865 1131229184 243773 33554432000 4194304 5964478 140735731539168 140217288488760 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27324/tid=27327] ppid=27322 vsize=1104716 CPUtime=735.79 cores=1,3,5,7
/proc/27324/task/27327/stat : 27327 (pwbo2.02) R 27322 27324 26396 0 -1 4202560 90582 0 0 0 73421 158 0 0 20 0 3 0 333418865 1131229184 243773 33554432000 4194304 5964478 140735731539168 140217277999520 4400432 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1475.14
Current children cumulated vsize (KiB) 1104716
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27324 and gives
# childrusage.ru_utime.tv_sec=1468
# childrusage.ru_utime.tv_usec=524750
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=140522
# CPU time returned by wait4() is 1471.67
# while last known CPU time is 1475.14
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 737.855
CPU time (s): 1475.14
CPU user time (s): 1472.28
CPU system time (s): 2.86
CPU usage (%): 199.923
Max. virtual memory (cumulated for all children) (KiB): 1104716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1468.52
system time used= 3.14052
maximum resident set size= 975112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242890
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= 839
involuntary context switches= 1592
runsolver used 1.24181 second user time and 3.45547 second system time
The end