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-3712508-1338196340/watcher-3712508-1338196340 -o /tmp/evaluation-result-3712508-1338196340/solver-3712508-1338196340 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712508-1338196340.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: 4.00 3.97 3.91 4/178 20677
/proc/meminfo: memFree=31081076/32873844 swapFree=6080/6080
[pid=20677] ppid=20675 vsize=162380 CPUtime=0 cores=0,2,4,6
/proc/20677/stat : 20677 (pwbo2.01) S 20675 20677 20249 0 -1 4202496 865 0 0 0 0 0 0 0 20 0 3 0 285758591 166277120 815 33554432000 4194304 5964478 140734529979312 140734529978832 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20677/statm: 40595 815 195 433 0 40159 0
[pid=20677/tid=20678] ppid=20675 vsize=162380 CPUtime=0 cores=0,2,4,6
/proc/20677/task/20678/stat : 20678 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 3 0 285758591 166277120 815 33554432000 4194304 5964478 140734529979312 140734334587528 4403652 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20677/tid=20679] ppid=20675 vsize=162380 CPUtime=0 cores=0,2,4,6
/proc/20677/task/20679/stat : 20679 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 3 0 285758591 166277120 816 33554432000 4194304 5964478 140734529979312 140492386331696 4389113 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[startup+0.098614 s]
/proc/loadavg: 4.00 3.97 3.91 4/178 20677
/proc/meminfo: memFree=31081076/32873844 swapFree=6080/6080
[pid=20677] ppid=20675 vsize=162380 CPUtime=0.18 cores=0,2,4,6
/proc/20677/stat : 20677 (pwbo2.01) S 20675 20677 20249 0 -1 4202496 1385 0 0 0 18 0 0 0 20 0 3 0 285758591 166277120 1335 33554432000 4194304 5964478 140734529979312 140734529978832 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20677/statm: 40595 1335 197 433 0 40159 0
[pid=20677/tid=20678] ppid=20675 vsize=162380 CPUtime=0.08 cores=0,2,4,6
/proc/20677/task/20678/stat : 20678 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 369 0 0 0 8 0 0 0 20 0 3 0 285758591 166277120 1335 33554432000 4194304 5964478 140734529979312 140492396820464 4399936 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20677/tid=20679] ppid=20675 vsize=162380 CPUtime=0.08 cores=0,2,4,6
/proc/20677/task/20679/stat : 20679 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 239 0 0 0 8 0 0 0 20 0 3 0 285758591 166277120 1335 33554432000 4194304 5964478 140734529979312 140492386330928 4389056 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 162380
[startup+0.100295 s]
/proc/loadavg: 4.00 3.97 3.91 4/178 20677
/proc/meminfo: memFree=31081076/32873844 swapFree=6080/6080
[pid=20677] ppid=20675 vsize=162380 CPUtime=0.19 cores=0,2,4,6
/proc/20677/stat : 20677 (pwbo2.01) S 20675 20677 20249 0 -1 4202496 1391 0 0 0 19 0 0 0 20 0 3 0 285758591 166277120 1341 33554432000 4194304 5964478 140734529979312 140734529978832 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20677/statm: 40595 1341 197 433 0 40159 0
[pid=20677/tid=20678] ppid=20675 vsize=162380 CPUtime=0.08 cores=0,2,4,6
/proc/20677/task/20678/stat : 20678 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 373 0 0 0 8 0 0 0 20 0 3 0 285758591 166277120 1341 33554432000 4194304 5964478 140734529979312 140492396820464 4410861 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20677/tid=20679] ppid=20675 vsize=162380 CPUtime=0.08 cores=0,2,4,6
/proc/20677/task/20679/stat : 20679 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 241 0 0 0 8 0 0 0 20 0 3 0 285758591 166277120 1341 33554432000 4194304 5964478 140734529979312 140492386330928 5136404 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 162380
[startup+0.300279 s]
/proc/loadavg: 4.00 3.97 3.91 4/178 20677
/proc/meminfo: memFree=31081076/32873844 swapFree=6080/6080
[pid=20677] ppid=20675 vsize=162512 CPUtime=0.58 cores=0,2,4,6
/proc/20677/stat : 20677 (pwbo2.01) S 20675 20677 20249 0 -1 4202496 2020 0 0 0 58 0 0 0 20 0 3 0 285758591 166412288 1970 33554432000 4194304 5964478 140734529979312 140734529978832 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20677/statm: 40628 1970 197 433 0 40192 0
[pid=20677/tid=20678] ppid=20675 vsize=162512 CPUtime=0.28 cores=0,2,4,6
/proc/20677/task/20678/stat : 20678 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 782 0 0 0 28 0 0 0 20 0 3 0 285758591 166412288 1971 33554432000 4194304 5964478 140734529979312 140492396820464 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20677/tid=20679] ppid=20675 vsize=162512 CPUtime=0.28 cores=0,2,4,6
/proc/20677/task/20679/stat : 20679 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 462 0 0 0 28 0 0 0 20 0 3 0 285758591 166412288 1971 33554432000 4194304 5964478 140734529979312 140492386330928 4570821 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 162512
[startup+0.700282 s]
/proc/loadavg: 4.00 3.97 3.91 4/178 20677
/proc/meminfo: memFree=31081076/32873844 swapFree=6080/6080
[pid=20677] ppid=20675 vsize=162792 CPUtime=1.39 cores=0,2,4,6
/proc/20677/stat : 20677 (pwbo2.01) S 20675 20677 20249 0 -1 4202496 2811 0 0 0 138 1 0 0 20 0 3 0 285758591 166699008 2761 33554432000 4194304 5964478 140734529979312 140734529978832 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20677/statm: 40698 2761 197 433 0 40262 0
[pid=20677/tid=20678] ppid=20675 vsize=162792 CPUtime=0.68 cores=0,2,4,6
/proc/20677/task/20678/stat : 20678 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 1262 0 0 0 68 0 0 0 20 0 3 0 285758591 166699008 2761 33554432000 4194304 5964478 140734529979312 140492396820464 4400416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20677/tid=20679] ppid=20675 vsize=162792 CPUtime=0.68 cores=0,2,4,6
/proc/20677/task/20679/stat : 20679 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 772 0 0 0 68 0 0 0 20 0 3 0 285758591 166699008 2761 33554432000 4194304 5964478 140734529979312 140492386330928 4400099 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 162792
[startup+1.50031 s]
/proc/loadavg: 3.92 3.96 3.90 5/181 20680
/proc/meminfo: memFree=31062140/32873844 swapFree=6080/6080
[pid=20677] ppid=20675 vsize=175512 CPUtime=2.98 cores=0,2,4,6
/proc/20677/stat : 20677 (pwbo2.01) S 20675 20677 20249 0 -1 4202496 8542 0 0 0 296 2 0 0 20 0 3 0 285758591 179724288 8431 33554432000 4194304 5964478 140734529979312 140734529978832 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20677/statm: 43878 8432 206 433 0 43442 0
[pid=20677/tid=20678] ppid=20675 vsize=175512 CPUtime=1.48 cores=0,2,4,6
/proc/20677/task/20678/stat : 20678 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 1729 0 0 0 148 0 0 0 20 0 3 0 285758591 179724288 8432 33554432000 4194304 5964478 140734529979312 140492396820520 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20677/tid=20679] ppid=20675 vsize=175512 CPUtime=1.47 cores=0,2,4,6
/proc/20677/task/20679/stat : 20679 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 6037 0 0 0 146 1 0 0 20 0 3 0 285758591 179724288 8432 33554432000 4194304 5964478 140734529979312 140492386329832 5136404 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 175512
[startup+3.10033 s]
/proc/loadavg: 3.92 3.96 3.90 5/181 20680
/proc/meminfo: memFree=31036348/32873844 swapFree=6080/6080
[pid=20677] ppid=20675 vsize=175856 CPUtime=6.18 cores=0,2,4,6
/proc/20677/stat : 20677 (pwbo2.01) S 20675 20677 20249 0 -1 4202496 9971 0 0 0 615 3 0 0 20 0 3 0 285758591 180076544 9860 33554432000 4194304 5964478 140734529979312 140734529978832 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20677/statm: 43964 9860 206 433 0 43528 0
[pid=20677/tid=20678] ppid=20675 vsize=175856 CPUtime=3.07 cores=0,2,4,6
/proc/20677/task/20678/stat : 20678 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 2402 0 0 0 306 1 0 0 20 0 3 0 285758591 180076544 9860 33554432000 4194304 5964478 140734529979312 140492396820472 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20677/tid=20679] ppid=20675 vsize=175856 CPUtime=3.07 cores=0,2,4,6
/proc/20677/task/20679/stat : 20679 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 6792 0 0 0 305 2 0 0 20 0 3 0 285758591 180076544 9860 33554432000 4194304 5964478 140734529979312 140492386330744 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 175856
[startup+6.30034 s]
/proc/loadavg: 3.92 3.96 3.90 5/181 20680
/proc/meminfo: memFree=31013084/32873844 swapFree=6080/6080
[pid=20677] ppid=20675 vsize=176532 CPUtime=12.58 cores=0,2,4,6
/proc/20677/stat : 20677 (pwbo2.01) S 20675 20677 20249 0 -1 4202496 12386 0 0 0 1254 4 0 0 20 0 3 0 285758591 180768768 12275 33554432000 4194304 5964478 140734529979312 140734529978832 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20677/statm: 44133 12275 206 433 0 43697 0
[pid=20677/tid=20678] ppid=20675 vsize=176532 CPUtime=6.26 cores=0,2,4,6
/proc/20677/task/20678/stat : 20678 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 3720 0 0 0 625 1 0 0 20 0 3 0 285758591 180768768 12275 33554432000 4194304 5964478 140734529979312 140492396820464 4400075 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20677/tid=20679] ppid=20675 vsize=176532 CPUtime=6.26 cores=0,2,4,6
/proc/20677/task/20679/stat : 20679 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 7889 0 0 0 624 2 0 0 20 0 3 0 285758591 180768768 12275 33554432000 4194304 5964478 140734529979312 140492386330744 4400071 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 176532
[startup+12.7003 s]
/proc/loadavg: 3.93 3.96 3.90 5/181 20680
/proc/meminfo: memFree=30989008/32873844 swapFree=6080/6080
[pid=20677] ppid=20675 vsize=177144 CPUtime=25.37 cores=0,2,4,6
/proc/20677/stat : 20677 (pwbo2.01) S 20675 20677 20249 0 -1 4202496 15043 0 0 0 2531 6 0 0 20 0 3 0 285758591 181395456 14829 33554432000 4194304 5964478 140734529979312 140734529978832 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20677/statm: 44286 14829 208 433 0 43850 0
[pid=20677/tid=20678] ppid=20675 vsize=177144 CPUtime=12.64 cores=0,2,4,6
/proc/20677/task/20678/stat : 20678 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 5129 0 0 0 1262 2 0 0 20 0 3 0 285758591 181395456 14829 33554432000 4194304 5964478 140734529979312 140492396820464 4399985 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20677/tid=20679] ppid=20675 vsize=177144 CPUtime=12.64 cores=0,2,4,6
/proc/20677/task/20679/stat : 20679 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 9137 0 0 0 1261 3 0 0 20 0 3 0 285758591 181395456 14829 33554432000 4194304 5964478 140734529979312 140492386330928 4399904 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) 177144
[startup+25.5003 s]
/proc/loadavg: 3.94 3.96 3.91 5/181 20680
/proc/meminfo: memFree=30958108/32873844 swapFree=6080/6080
[pid=20677] ppid=20675 vsize=177552 CPUtime=50.96 cores=0,2,4,6
/proc/20677/stat : 20677 (pwbo2.01) S 20675 20677 20249 0 -1 4202496 16808 0 0 0 5089 7 0 0 20 0 3 0 285758591 181813248 16555 33554432000 4194304 5964478 140734529979312 140734529978832 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20677/statm: 44388 16555 208 433 0 43952 0
[pid=20677/tid=20678] ppid=20675 vsize=177552 CPUtime=25.41 cores=0,2,4,6
/proc/20677/task/20678/stat : 20678 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 5393 0 0 0 2539 2 0 0 20 0 3 0 285758591 181813248 16555 33554432000 4194304 5964478 140734529979312 140492396820384 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20677/tid=20679] ppid=20675 vsize=177552 CPUtime=25.41 cores=0,2,4,6
/proc/20677/task/20679/stat : 20679 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 10638 0 0 0 2536 5 0 0 20 0 3 0 285758591 181813248 16555 33554432000 4194304 5964478 140734529979312 140492386330936 4400071 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) 177552
[startup+51.1004 s]
/proc/loadavg: 3.96 3.96 3.91 5/181 20720
/proc/meminfo: memFree=30968236/32873844 swapFree=6080/6080
[pid=20677] ppid=20675 vsize=178680 CPUtime=102.13 cores=0,2,4,6
/proc/20677/stat : 20677 (pwbo2.01) S 20675 20677 20249 0 -1 4202496 24523 0 0 0 10191 22 0 0 20 0 3 0 285758591 182968320 24553 33554432000 4194304 5964478 140734529979312 140734529978832 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20677/statm: 44670 24553 208 433 0 44234 0
[pid=20677/tid=20678] ppid=20675 vsize=178680 CPUtime=50.92 cores=0,2,4,6
/proc/20677/task/20678/stat : 20678 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 8437 0 0 0 5084 8 0 0 20 0 3 0 285758591 182968320 24553 33554432000 4194304 5964478 140734529979312 140492396820464 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20677/tid=20679] ppid=20675 vsize=178680 CPUtime=50.94 cores=0,2,4,6
/proc/20677/task/20679/stat : 20679 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 15309 0 0 0 5081 13 0 0 20 0 3 0 285758591 182968320 24553 33554432000 4194304 5964478 140734529979312 140492386330928 4399930 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 178680
Solver just ended. Dumping a history of the last processes samples
[startup+63.9004 s]
/proc/loadavg: 3.97 3.96 3.91 5/181 20720
/proc/meminfo: memFree=30963120/32873844 swapFree=6080/6080
[pid=20677] ppid=20675 vsize=178680 CPUtime=127.71 cores=0,2,4,6
/proc/20677/stat : 20677 (pwbo2.01) S 20675 20677 20249 0 -1 4202496 24580 0 0 0 12749 22 0 0 20 0 3 0 285758591 182968320 24536 33554432000 4194304 5964478 140734529979312 140734529978832 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20677/statm: 44670 24536 208 433 0 44234 0
[pid=20677/tid=20678] ppid=20675 vsize=178680 CPUtime=63.68 cores=0,2,4,6
/proc/20677/task/20678/stat : 20678 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 8451 0 0 0 6360 8 0 0 20 0 3 0 285758591 182968320 24536 33554432000 4194304 5964478 140734529979312 140492396820576 4400081 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20677/tid=20679] ppid=20675 vsize=178680 CPUtime=63.68 cores=0,2,4,6
/proc/20677/task/20679/stat : 20679 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 15352 0 0 0 6355 13 0 0 20 0 3 0 285758591 182968320 24536 33554432000 4194304 5964478 140734529979312 140492386330744 4403327 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 127.71
Current children cumulated vsize (KiB) 178680
[startup+76.7003 s]
/proc/loadavg: 3.97 3.96 3.91 5/181 20720
/proc/meminfo: memFree=30949220/32873844 swapFree=6080/6080
[pid=20677] ppid=20675 vsize=178680 CPUtime=153.29 cores=0,2,4,6
/proc/20677/stat : 20677 (pwbo2.01) S 20675 20677 20249 0 -1 4202496 26797 0 0 0 15302 27 0 0 20 0 3 0 285758591 182968320 26745 33554432000 4194304 5964478 140734529979312 140734529978832 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20677/statm: 44670 26745 208 433 0 44234 0
[pid=20677/tid=20678] ppid=20675 vsize=178680 CPUtime=76.45 cores=0,2,4,6
/proc/20677/task/20678/stat : 20678 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 10615 0 0 0 7631 14 0 0 20 0 3 0 285758591 182968320 26745 33554432000 4194304 5964478 140734529979312 140492396820464 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20677/tid=20679] ppid=20675 vsize=178680 CPUtime=76.44 cores=0,2,4,6
/proc/20677/task/20679/stat : 20679 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 15405 0 0 0 7629 15 0 0 20 0 3 0 285758591 182968320 26745 33554432000 4194304 5964478 140734529979312 140492386330848 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 153.29
Current children cumulated vsize (KiB) 178680
[startup+83.1003 s]
/proc/loadavg: 3.98 3.96 3.91 5/181 20760
/proc/meminfo: memFree=31009404/32873844 swapFree=6080/6080
[pid=20677] ppid=20675 vsize=178680 CPUtime=166.08 cores=0,2,4,6
/proc/20677/stat : 20677 (pwbo2.01) S 20675 20677 20249 0 -1 4202496 26825 0 0 0 16581 27 0 0 20 0 3 0 285758591 182968320 27234 33554432000 4194304 5964478 140734529979312 140734529978832 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20677/statm: 44670 27234 208 433 0 44234 0
[pid=20677/tid=20678] ppid=20675 vsize=178680 CPUtime=82.83 cores=0,2,4,6
/proc/20677/task/20678/stat : 20678 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 10617 0 0 0 8269 14 0 0 20 0 3 0 285758591 182968320 27234 33554432000 4194304 5964478 140734529979312 140492396820576 4400503 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20677/tid=20679] ppid=20675 vsize=178680 CPUtime=82.83 cores=0,2,4,6
/proc/20677/task/20679/stat : 20679 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 15431 0 0 0 8268 15 0 0 20 0 3 0 285758591 182968320 27234 33554432000 4194304 5964478 140734529979312 140492386330928 4400768 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 166.08
Current children cumulated vsize (KiB) 178680
[startup+86.3003 s]
/proc/loadavg: 3.98 3.96 3.91 5/181 20760
/proc/meminfo: memFree=30998120/32873844 swapFree=6080/6080
[pid=20677] ppid=20675 vsize=178680 CPUtime=172.48 cores=0,2,4,6
/proc/20677/stat : 20677 (pwbo2.01) S 20675 20677 20249 0 -1 4202496 26829 0 0 0 17221 27 0 0 20 0 3 0 285758591 182968320 27238 33554432000 4194304 5964478 140734529979312 140734529978832 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20677/statm: 44670 27238 208 433 0 44234 0
[pid=20677/tid=20678] ppid=20675 vsize=178680 CPUtime=86.02 cores=0,2,4,6
/proc/20677/task/20678/stat : 20678 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 10621 0 0 0 8588 14 0 0 20 0 3 0 285758591 182968320 27238 33554432000 4194304 5964478 140734529979312 140492396820384 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20677/tid=20679] ppid=20675 vsize=178680 CPUtime=86.02 cores=0,2,4,6
/proc/20677/task/20679/stat : 20679 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 15431 0 0 0 8587 15 0 0 20 0 3 0 285758591 182968320 27238 33554432000 4194304 5964478 140734529979312 140492386331040 4399899 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 172.48
Current children cumulated vsize (KiB) 178680
[startup+87.9003 s]
/proc/loadavg: 3.98 3.96 3.91 5/181 20760
/proc/meminfo: memFree=30995392/32873844 swapFree=6080/6080
[pid=20677] ppid=20675 vsize=178680 CPUtime=175.69 cores=0,2,4,6
/proc/20677/stat : 20677 (pwbo2.01) S 20675 20677 20249 0 -1 4202496 26829 0 0 0 17542 27 0 0 20 0 3 0 285758591 182968320 27238 33554432000 4194304 5964478 140734529979312 140734529978832 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20677/statm: 44670 27238 208 433 0 44234 0
[pid=20677/tid=20678] ppid=20675 vsize=178680 CPUtime=87.62 cores=0,2,4,6
/proc/20677/task/20678/stat : 20678 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 10621 0 0 0 8748 14 0 0 20 0 3 0 285758591 182968320 27238 33554432000 4194304 5964478 140734529979312 140492396820576 4399896 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20677/tid=20679] ppid=20675 vsize=178680 CPUtime=87.62 cores=0,2,4,6
/proc/20677/task/20679/stat : 20679 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 15431 0 0 0 8747 15 0 0 20 0 3 0 285758591 182968320 27238 33554432000 4194304 5964478 140734529979312 140492386330928 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 175.69
Current children cumulated vsize (KiB) 178680
[startup+88.3003 s]
/proc/loadavg: 3.98 3.96 3.91 5/181 20760
/proc/meminfo: memFree=30995392/32873844 swapFree=6080/6080
[pid=20677] ppid=20675 vsize=178680 CPUtime=176.48 cores=0,2,4,6
/proc/20677/stat : 20677 (pwbo2.01) S 20675 20677 20249 0 -1 4202496 26831 0 0 0 17621 27 0 0 20 0 3 0 285758591 182968320 27240 33554432000 4194304 5964478 140734529979312 140734529978832 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20677/statm: 44670 27240 208 433 0 44234 0
[pid=20677/tid=20678] ppid=20675 vsize=178680 CPUtime=88.02 cores=0,2,4,6
/proc/20677/task/20678/stat : 20678 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 10623 0 0 0 8788 14 0 0 20 0 3 0 285758591 182968320 27240 33554432000 4194304 5964478 140734529979312 140492396820576 4403713 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20677/tid=20679] ppid=20675 vsize=178680 CPUtime=88.01 cores=0,2,4,6
/proc/20677/task/20679/stat : 20679 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 15431 0 0 0 8786 15 0 0 20 0 3 0 285758591 182968320 27240 33554432000 4194304 5964478 140734529979312 140492386330928 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 176.48
Current children cumulated vsize (KiB) 178680
[startup+88.7003 s]
/proc/loadavg: 3.98 3.96 3.91 5/181 20760
/proc/meminfo: memFree=30995392/32873844 swapFree=6080/6080
[pid=20677] ppid=20675 vsize=178680 CPUtime=177.28 cores=0,2,4,6
/proc/20677/stat : 20677 (pwbo2.01) S 20675 20677 20249 0 -1 4202496 26831 0 0 0 17701 27 0 0 20 0 3 0 285758591 182968320 27240 33554432000 4194304 5964478 140734529979312 140734529978832 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20677/statm: 44670 27240 208 433 0 44234 0
[pid=20677/tid=20678] ppid=20675 vsize=178680 CPUtime=88.42 cores=0,2,4,6
/proc/20677/task/20678/stat : 20678 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 10623 0 0 0 8828 14 0 0 20 0 3 0 285758591 182968320 27240 33554432000 4194304 5964478 140734529979312 140492396820576 4379216 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20677/tid=20679] ppid=20675 vsize=178680 CPUtime=88.41 cores=0,2,4,6
/proc/20677/task/20679/stat : 20679 (pwbo2.01) R 20675 20677 20249 0 -1 4202560 15431 0 0 0 8826 15 0 0 20 0 3 0 285758591 182968320 27240 33554432000 4194304 5964478 140734529979312 140492386330928 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 177.28
Current children cumulated vsize (KiB) 178680
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20677 and gives
# childrusage.ru_utime.tv_sec=176
# childrusage.ru_utime.tv_usec=635147
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=312952
# CPU time returned by wait4() is 176.948
# while last known CPU time is 177.28
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 88.7459
CPU time (s): 177.28
CPU user time (s): 177.01
CPU system time (s): 0.27
CPU usage (%): 199.761
Max. virtual memory (cumulated for all children) (KiB): 179164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 176.635
system time used= 0.312952
maximum resident set size= 108980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26836
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= 339
involuntary context switches= 219
runsolver used 0.32595 second user time and 0.762884 second system time
The end