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-3728584-1338672329/watcher-3728584-1338672329 -o /tmp/evaluation-result-3728584-1338672329/solver-3728584-1338672329 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728584-1338672329.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.87 3.91 3.83 3/178 20210
/proc/meminfo: memFree=28465672/32873648 swapFree=7388/7388
[pid=20210] ppid=20208 vsize=162464 CPUtime=0 cores=0,2,4,6
/proc/20210/stat : 20210 (pwbo2.02) S 20208 20210 19426 0 -1 4202496 922 0 0 0 0 0 0 0 20 0 3 0 333357447 166363136 867 33554432000 4194304 5964478 140735839005104 140735839004624 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 40616 869 198 433 0 40180 0
[pid=20210/tid=20211] ppid=20208 vsize=162464 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20211/stat : 20211 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 3 0 333357447 166363136 873 33554432000 4194304 5964478 140735839005104 139830228989992 4389096 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20212] ppid=20208 vsize=162616 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20212/stat : 20212 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 101 0 0 0 0 0 0 0 20 0 3 0 333357447 166518784 882 33554432000 4194304 5964478 140735839005104 139830218500056 5136490 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[startup+0.0536161 s]
/proc/loadavg: 3.87 3.91 3.83 3/178 20210
/proc/meminfo: memFree=28465672/32873648 swapFree=7388/7388
[pid=20210] ppid=20208 vsize=174864 CPUtime=0.09 cores=0,2,4,6
/proc/20210/stat : 20210 (pwbo2.02) S 20208 20210 19426 0 -1 4202496 6060 0 0 0 4 5 0 0 20 0 3 0 333357447 179060736 5942 33554432000 4194304 5964478 140735839005104 140735839004624 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 43716 5950 205 433 0 43280 0
[pid=20210/tid=20211] ppid=20208 vsize=174864 CPUtime=0.03 cores=0,2,4,6
/proc/20210/task/20211/stat : 20211 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 229 0 0 0 3 0 0 0 20 0 3 0 333357447 179060736 5952 33554432000 4194304 5964478 140735839005104 139830228989992 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20212] ppid=20208 vsize=174864 CPUtime=0.03 cores=0,2,4,6
/proc/20210/task/20212/stat : 20212 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 5060 0 0 0 0 3 0 0 20 0 3 0 333357447 179060736 5952 33554432000 4194304 5964478 140735839005104 139830218499848 5244295 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 174864
[startup+0.1004 s]
/proc/loadavg: 3.87 3.91 3.83 3/178 20210
/proc/meminfo: memFree=28465672/32873648 swapFree=7388/7388
[pid=20210] ppid=20208 vsize=181348 CPUtime=0.18 cores=0,2,4,6
/proc/20210/stat : 20210 (pwbo2.02) S 20208 20210 19426 0 -1 4202496 7991 0 0 0 11 7 0 0 20 0 3 0 333357447 185700352 7873 33554432000 4194304 5964478 140735839005104 140735839004624 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 45337 7873 206 433 0 44901 0
[pid=20210/tid=20211] ppid=20208 vsize=181348 CPUtime=0.08 cores=0,2,4,6
/proc/20210/task/20211/stat : 20211 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 354 0 0 0 6 2 0 0 20 0 3 0 333357447 185700352 7873 33554432000 4194304 5964478 140735839005104 139830228989944 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20212] ppid=20208 vsize=181348 CPUtime=0.08 cores=0,2,4,6
/proc/20210/task/20212/stat : 20212 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 6856 0 0 0 2 6 0 0 20 0 3 0 333357447 185700352 7873 33554432000 4194304 5964478 140735839005104 139830218500328 4392918 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 181348
[startup+0.300341 s]
/proc/loadavg: 3.87 3.91 3.83 3/178 20210
/proc/meminfo: memFree=28465672/32873648 swapFree=7388/7388
[pid=20210] ppid=20208 vsize=181348 CPUtime=0.57 cores=0,2,4,6
/proc/20210/stat : 20210 (pwbo2.02) S 20208 20210 19426 0 -1 4202496 8545 0 0 0 48 9 0 0 20 0 3 0 333357447 185700352 8427 33554432000 4194304 5964478 140735839005104 140735839004624 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 45337 8427 206 433 0 44901 0
[pid=20210/tid=20211] ppid=20208 vsize=181348 CPUtime=0.28 cores=0,2,4,6
/proc/20210/task/20211/stat : 20211 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 709 0 0 0 25 3 0 0 20 0 3 0 333357447 185700352 8427 33554432000 4194304 5964478 140735839005104 139830228989752 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20212] ppid=20208 vsize=181348 CPUtime=0.28 cores=0,2,4,6
/proc/20210/task/20212/stat : 20212 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 7055 0 0 0 21 7 0 0 20 0 3 0 333357447 185700352 8427 33554432000 4194304 5964478 140735839005104 139830218500216 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 181348
[startup+0.70033 s]
/proc/loadavg: 3.87 3.91 3.83 3/178 20210
/proc/meminfo: memFree=28465672/32873648 swapFree=7388/7388
[pid=20210] ppid=20208 vsize=181348 CPUtime=1.37 cores=0,2,4,6
/proc/20210/stat : 20210 (pwbo2.02) S 20208 20210 19426 0 -1 4202496 9221 0 0 0 127 10 0 0 20 0 3 0 333357447 185700352 9103 33554432000 4194304 5964478 140735839005104 140735839004624 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 45337 9103 206 433 0 44901 0
[pid=20210/tid=20211] ppid=20208 vsize=181348 CPUtime=0.68 cores=0,2,4,6
/proc/20210/task/20211/stat : 20211 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 1157 0 0 0 64 4 0 0 20 0 3 0 333357447 185700352 9103 33554432000 4194304 5964478 140735839005104 139830228989936 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20212] ppid=20208 vsize=181348 CPUtime=0.68 cores=0,2,4,6
/proc/20210/task/20212/stat : 20212 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 7283 0 0 0 61 7 0 0 20 0 3 0 333357447 185700352 9103 33554432000 4194304 5964478 140735839005104 139830218500400 4409702 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 181348
[startup+1.50034 s]
/proc/loadavg: 3.87 3.91 3.83 5/181 20213
/proc/meminfo: memFree=28429408/32873648 swapFree=7388/7388
[pid=20210] ppid=20208 vsize=181636 CPUtime=2.98 cores=0,2,4,6
/proc/20210/stat : 20210 (pwbo2.02) S 20208 20210 19426 0 -1 4202496 10060 0 0 0 285 13 0 0 20 0 3 0 333357447 185995264 9942 33554432000 4194304 5964478 140735839005104 140735839004624 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 45409 9942 206 433 0 44973 0
[pid=20210/tid=20211] ppid=20208 vsize=181636 CPUtime=1.48 cores=0,2,4,6
/proc/20210/task/20211/stat : 20211 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 1564 0 0 0 143 5 0 0 20 0 3 0 333357447 185995264 9942 33554432000 4194304 5964478 140735839005104 139830228989936 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20212] ppid=20208 vsize=181636 CPUtime=1.48 cores=0,2,4,6
/proc/20210/task/20212/stat : 20212 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 7715 0 0 0 139 9 0 0 20 0 3 0 333357447 185995264 9942 33554432000 4194304 5964478 140735839005104 139830218500400 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 181636
[startup+3.10034 s]
/proc/loadavg: 3.87 3.91 3.83 5/181 20213
/proc/meminfo: memFree=28424324/32873648 swapFree=7388/7388
[pid=20210] ppid=20208 vsize=181816 CPUtime=6.17 cores=0,2,4,6
/proc/20210/stat : 20210 (pwbo2.02) S 20208 20210 19426 0 -1 4202496 11671 0 0 0 600 17 0 0 20 0 3 0 333357447 186179584 11553 33554432000 4194304 5964478 140735839005104 140735839004624 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 45454 11553 206 433 0 45018 0
[pid=20210/tid=20211] ppid=20208 vsize=181816 CPUtime=3.07 cores=0,2,4,6
/proc/20210/task/20211/stat : 20211 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 2360 0 0 0 300 7 0 0 20 0 3 0 333357447 186179584 11553 33554432000 4194304 5964478 140735839005104 139830228989936 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20212] ppid=20208 vsize=181816 CPUtime=3.07 cores=0,2,4,6
/proc/20210/task/20212/stat : 20212 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 8530 0 0 0 297 10 0 0 20 0 3 0 333357447 186179584 11553 33554432000 4194304 5964478 140735839005104 139830218500400 4403343 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) 181816
[startup+6.30033 s]
/proc/loadavg: 3.88 3.92 3.83 5/181 20213
/proc/meminfo: memFree=28412796/32873648 swapFree=7388/7388
[pid=20210] ppid=20208 vsize=182188 CPUtime=12.57 cores=0,2,4,6
/proc/20210/stat : 20210 (pwbo2.02) S 20208 20210 19426 0 -1 4202496 14222 0 0 0 1233 24 0 0 20 0 3 0 333357447 186560512 14104 33554432000 4194304 5964478 140735839005104 140735839004624 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 45547 14104 206 433 0 45111 0
[pid=20210/tid=20211] ppid=20208 vsize=182188 CPUtime=6.26 cores=0,2,4,6
/proc/20210/task/20211/stat : 20211 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 3632 0 0 0 616 10 0 0 20 0 3 0 333357447 186560512 14104 33554432000 4194304 5964478 140735839005104 139830228989752 4392897 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20212] ppid=20208 vsize=182188 CPUtime=6.26 cores=0,2,4,6
/proc/20210/task/20212/stat : 20212 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 9809 0 0 0 613 13 0 0 20 0 3 0 333357447 186560512 14104 33554432000 4194304 5964478 140735839005104 139830218500216 4400087 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) 182188
[startup+12.7003 s]
/proc/loadavg: 3.89 3.92 3.83 5/181 20213
/proc/meminfo: memFree=28401936/32873648 swapFree=7388/7388
[pid=20210] ppid=20208 vsize=182552 CPUtime=25.36 cores=0,2,4,6
/proc/20210/stat : 20210 (pwbo2.02) S 20208 20210 19426 0 -1 4202496 16942 0 0 0 2507 29 0 0 20 0 3 0 333357447 186933248 16772 33554432000 4194304 5964478 140735839005104 140735839004624 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 45638 16772 208 433 0 45202 0
[pid=20210/tid=20211] ppid=20208 vsize=182552 CPUtime=12.64 cores=0,2,4,6
/proc/20210/task/20211/stat : 20211 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 4305 0 0 0 1253 11 0 0 20 0 3 0 333357447 186933248 16772 33554432000 4194304 5964478 140735839005104 139830228989936 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20212] ppid=20208 vsize=182552 CPUtime=12.65 cores=0,2,4,6
/proc/20210/task/20212/stat : 20212 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 11856 0 0 0 1248 17 0 0 20 0 3 0 333357447 186933248 16772 33554432000 4194304 5964478 140735839005104 139830218500216 4400010 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 182552
[startup+25.5004 s]
/proc/loadavg: 3.91 3.92 3.83 5/181 20213
/proc/meminfo: memFree=28377880/32873648 swapFree=7388/7388
[pid=20210] ppid=20208 vsize=183100 CPUtime=50.95 cores=0,2,4,6
/proc/20210/stat : 20210 (pwbo2.02) S 20208 20210 19426 0 -1 4202496 19987 0 0 0 5060 35 0 0 20 0 3 0 333357447 187494400 19759 33554432000 4194304 5964478 140735839005104 140735839004624 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 45775 19759 208 433 0 45339 0
[pid=20210/tid=20211] ppid=20208 vsize=183100 CPUtime=25.41 cores=0,2,4,6
/proc/20210/task/20211/stat : 20211 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 6024 0 0 0 2526 15 0 0 20 0 3 0 333357447 187494400 19759 33554432000 4194304 5964478 140735839005104 139830228990048 4400097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20212] ppid=20208 vsize=183100 CPUtime=25.41 cores=0,2,4,6
/proc/20210/task/20212/stat : 20212 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 13182 0 0 0 2521 20 0 0 20 0 3 0 333357447 187494400 19759 33554432000 4194304 5964478 140735839005104 139830218500320 4388228 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 183100
[startup+51.1004 s]
/proc/loadavg: 3.94 3.92 3.84 5/181 20213
/proc/meminfo: memFree=28345672/32873648 swapFree=7388/7388
[pid=20210] ppid=20208 vsize=183100 CPUtime=102.14 cores=0,2,4,6
/proc/20210/stat : 20210 (pwbo2.02) S 20208 20210 19426 0 -1 4202496 25319 0 0 0 10170 44 0 0 20 0 3 0 333357447 187494400 25064 33554432000 4194304 5964478 140735839005104 140735839004624 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 45775 25064 208 433 0 45339 0
[pid=20210/tid=20211] ppid=20208 vsize=183100 CPUtime=50.93 cores=0,2,4,6
/proc/20210/task/20211/stat : 20211 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 8199 0 0 0 5075 18 0 0 20 0 3 0 333357447 187494400 25064 33554432000 4194304 5964478 140735839005104 139830228989936 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20212] ppid=20208 vsize=183100 CPUtime=50.95 cores=0,2,4,6
/proc/20210/task/20212/stat : 20212 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 16339 0 0 0 5070 25 0 0 20 0 3 0 333357447 187494400 25064 33554432000 4194304 5964478 140735839005104 139830218500512 4399915 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 183100
Solver just ended. Dumping a history of the last processes samples
[startup+63.9004 s]
/proc/loadavg: 3.95 3.93 3.84 5/181 20213
/proc/meminfo: memFree=28330160/32873648 swapFree=7388/7388
[pid=20210] ppid=20208 vsize=183100 CPUtime=127.72 cores=0,2,4,6
/proc/20210/stat : 20210 (pwbo2.02) S 20208 20210 19426 0 -1 4202496 25949 0 0 0 12727 45 0 0 20 0 3 0 333357447 187494400 25694 33554432000 4194304 5964478 140735839005104 140735839004624 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 45775 25694 208 433 0 45339 0
[pid=20210/tid=20211] ppid=20208 vsize=183100 CPUtime=63.7 cores=0,2,4,6
/proc/20210/task/20211/stat : 20211 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 8299 0 0 0 6351 19 0 0 20 0 3 0 333357447 187494400 25694 33554432000 4194304 5964478 140735839005104 139830228990048 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20212] ppid=20208 vsize=183100 CPUtime=63.71 cores=0,2,4,6
/proc/20210/task/20212/stat : 20212 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 16869 0 0 0 6345 26 0 0 20 0 3 0 333357447 187494400 25694 33554432000 4194304 5964478 140735839005104 139830218500400 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 127.72
Current children cumulated vsize (KiB) 183100
[startup+70.3004 s]
/proc/loadavg: 3.96 3.93 3.84 5/181 20213
/proc/meminfo: memFree=28323200/32873648 swapFree=7388/7388
[pid=20210] ppid=20208 vsize=183100 CPUtime=140.53 cores=0,2,4,6
/proc/20210/stat : 20210 (pwbo2.02) S 20208 20210 19426 0 -1 4202496 27507 0 0 0 14002 51 0 0 20 0 3 0 333357447 187494400 27244 33554432000 4194304 5964478 140735839005104 140735839004624 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 45775 27244 208 433 0 45339 0
[pid=20210/tid=20211] ppid=20208 vsize=183100 CPUtime=70.08 cores=0,2,4,6
/proc/20210/task/20211/stat : 20211 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 8309 0 0 0 6988 20 0 0 20 0 3 0 333357447 187494400 27244 33554432000 4194304 5964478 140735839005104 139830228990048 4400432 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20212] ppid=20208 vsize=183100 CPUtime=70.1 cores=0,2,4,6
/proc/20210/task/20212/stat : 20212 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 18417 0 0 0 6977 33 0 0 20 0 3 0 333357447 187494400 27244 33554432000 4194304 5964478 140735839005104 139830218500408 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 140.53
Current children cumulated vsize (KiB) 183100
[startup+73.5003 s]
/proc/loadavg: 3.96 3.93 3.84 5/181 20213
/proc/meminfo: memFree=28321092/32873648 swapFree=7388/7388
[pid=20210] ppid=20208 vsize=183100 CPUtime=146.92 cores=0,2,4,6
/proc/20210/stat : 20210 (pwbo2.02) S 20208 20210 19426 0 -1 4202496 28235 0 0 0 14638 54 0 0 20 0 3 0 333357447 187494400 27972 33554432000 4194304 5964478 140735839005104 140735839004624 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 45775 27972 208 433 0 45339 0
[pid=20210/tid=20211] ppid=20208 vsize=183100 CPUtime=73.27 cores=0,2,4,6
/proc/20210/task/20211/stat : 20211 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 8309 0 0 0 7307 20 0 0 20 0 3 0 333357447 187494400 27972 33554432000 4194304 5964478 140735839005104 139830228990048 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20212] ppid=20208 vsize=183100 CPUtime=73.29 cores=0,2,4,6
/proc/20210/task/20212/stat : 20212 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 19145 0 0 0 7294 35 0 0 20 0 3 0 333357447 187494400 27972 33554432000 4194304 5964478 140735839005104 139830218500408 4400010 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 146.92
Current children cumulated vsize (KiB) 183100
[startup+75.1003 s]
/proc/loadavg: 3.96 3.93 3.84 5/181 20213
/proc/meminfo: memFree=28319104/32873648 swapFree=7388/7388
[pid=20210] ppid=20208 vsize=183100 CPUtime=150.12 cores=0,2,4,6
/proc/20210/stat : 20210 (pwbo2.02) S 20208 20210 19426 0 -1 4202496 28895 0 0 0 14955 57 0 0 20 0 3 0 333357447 187494400 28632 33554432000 4194304 5964478 140735839005104 140735839004624 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 45775 28632 208 433 0 45339 0
[pid=20210/tid=20211] ppid=20208 vsize=183100 CPUtime=74.86 cores=0,2,4,6
/proc/20210/task/20211/stat : 20211 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 8563 0 0 0 7465 21 0 0 20 0 3 0 333357447 187494400 28632 33554432000 4194304 5964478 140735839005104 139830228990048 4399912 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20212] ppid=20208 vsize=183100 CPUtime=74.89 cores=0,2,4,6
/proc/20210/task/20212/stat : 20212 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 19551 0 0 0 7452 37 0 0 20 0 3 0 333357447 187494400 28632 33554432000 4194304 5964478 140735839005104 139830218500408 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 150.12
Current children cumulated vsize (KiB) 183100
[startup+75.5004 s]
/proc/loadavg: 3.96 3.93 3.84 5/181 20213
/proc/meminfo: memFree=28319104/32873648 swapFree=7388/7388
[pid=20210] ppid=20208 vsize=183100 CPUtime=150.92 cores=0,2,4,6
/proc/20210/stat : 20210 (pwbo2.02) S 20208 20210 19426 0 -1 4202496 29270 0 0 0 15034 58 0 0 20 0 3 0 333357447 187494400 29007 33554432000 4194304 5964478 140735839005104 140735839004624 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 45775 29007 208 433 0 45339 0
[pid=20210/tid=20211] ppid=20208 vsize=183100 CPUtime=75.26 cores=0,2,4,6
/proc/20210/task/20211/stat : 20211 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 8805 0 0 0 7504 22 0 0 20 0 3 0 333357447 187494400 29007 33554432000 4194304 5964478 140735839005104 139830228989992 4399964 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20212] ppid=20208 vsize=183100 CPUtime=75.28 cores=0,2,4,6
/proc/20210/task/20212/stat : 20212 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 19684 0 0 0 7491 37 0 0 20 0 3 0 333357447 187494400 29007 33554432000 4194304 5964478 140735839005104 139830218500408 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 150.92
Current children cumulated vsize (KiB) 183100
[startup+75.7003 s]
/proc/loadavg: 3.96 3.93 3.84 5/181 20213
/proc/meminfo: memFree=28319104/32873648 swapFree=7388/7388
[pid=20210] ppid=20208 vsize=183100 CPUtime=151.32 cores=0,2,4,6
/proc/20210/stat : 20210 (pwbo2.02) S 20208 20210 19426 0 -1 4202496 29463 0 0 0 15074 58 0 0 20 0 3 0 333357447 187494400 29201 33554432000 4194304 5964478 140735839005104 140735839004624 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 45775 29201 208 433 0 45339 0
[pid=20210/tid=20211] ppid=20208 vsize=183100 CPUtime=75.46 cores=0,2,4,6
/proc/20210/task/20211/stat : 20211 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 8950 0 0 0 7524 22 0 0 20 0 3 0 333357447 187494400 29201 33554432000 4194304 5964478 140735839005104 139830228989992 4400538 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20212] ppid=20208 vsize=183100 CPUtime=75.48 cores=0,2,4,6
/proc/20210/task/20212/stat : 20212 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 19733 0 0 0 7511 37 0 0 20 0 3 0 333357447 187494400 29201 33554432000 4194304 5964478 140735839005104 139830218500408 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 151.32
Current children cumulated vsize (KiB) 183100
[startup+75.8004 s]
/proc/loadavg: 3.96 3.93 3.84 5/181 20213
/proc/meminfo: memFree=28314764/32873648 swapFree=7388/7388
[pid=20210] ppid=20208 vsize=183100 CPUtime=151.53 cores=0,2,4,6
/proc/20210/stat : 20210 (pwbo2.02) S 20208 20210 19426 0 -1 4202496 29562 0 0 0 15095 58 0 0 20 0 3 0 333357447 187494400 29299 33554432000 4194304 5964478 140735839005104 140735839004624 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 45775 29299 208 433 0 45339 0
[pid=20210/tid=20211] ppid=20208 vsize=183100 CPUtime=75.57 cores=0,2,4,6
/proc/20210/task/20211/stat : 20211 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 9018 0 0 0 7535 22 0 0 20 0 3 0 333357447 187494400 29299 33554432000 4194304 5964478 140735839005104 139830228989944 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20212] ppid=20208 vsize=183100 CPUtime=75.59 cores=0,2,4,6
/proc/20210/task/20212/stat : 20212 (pwbo2.02) R 20208 20210 19426 0 -1 4202560 19763 0 0 0 7522 37 0 0 20 0 3 0 333357447 187494400 29299 33554432000 4194304 5964478 140735839005104 139830218500408 4399926 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 151.53
Current children cumulated vsize (KiB) 183100
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20210 and gives
# childrusage.ru_utime.tv_sec=150
# childrusage.ru_utime.tv_usec=618102
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=618905
# CPU time returned by wait4() is 151.237
# while last known CPU time is 151.53
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 75.8303
CPU time (s): 151.53
CPU user time (s): 150.95
CPU system time (s): 0.58
CPU usage (%): 199.828
Max. virtual memory (cumulated for all children) (KiB): 183424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 150.618
system time used= 0.618905
maximum resident set size= 117272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29581
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= 342
involuntary context switches= 169
runsolver used 0.12998 second user time and 0.360945 second system time
The end