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-3728599-1338672314/watcher-3728599-1338672314 -o /tmp/evaluation-result-3728599-1338672314/solver-3728599-1338672314 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728599-1338672314.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.91 3.94 3.83 4/178 4435
/proc/meminfo: memFree=28357496/32873844 swapFree=7632/7632
[pid=4435] ppid=4433 vsize=162488 CPUtime=0 cores=1,3,5,7
/proc/4435/stat : 4435 (pwbo2.02) S 4433 4435 3617 0 -1 4202496 889 0 0 0 0 0 0 0 20 0 3 0 333355731 166387712 839 33554432000 4194304 5964478 140734606830048 140734606829568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4435/statm: 40622 840 195 433 0 40186 0
[pid=4435/tid=4436] ppid=4433 vsize=162488 CPUtime=0 cores=1,3,5,7
/proc/4435/task/4436/stat : 4436 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 3 0 333355731 166387712 840 33554432000 4194304 5964478 140734606830048 139963688786992 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4435/tid=4437] ppid=4433 vsize=162488 CPUtime=0 cores=1,3,5,7
/proc/4435/task/4437/stat : 4437 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 3 0 333355731 166387712 840 33554432000 4194304 5964478 140734606830048 139963678297136 4393023 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[startup+0.0473851 s]
/proc/loadavg: 3.91 3.94 3.83 4/178 4435
/proc/meminfo: memFree=28357496/32873844 swapFree=7632/7632
[pid=4435] ppid=4433 vsize=162488 CPUtime=0.08 cores=1,3,5,7
/proc/4435/stat : 4435 (pwbo2.02) S 4433 4435 3617 0 -1 4202496 1186 0 0 0 8 0 0 0 20 0 3 0 333355731 166387712 1136 33554432000 4194304 5964478 140734606830048 140734606829568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4435/statm: 40622 1137 198 433 0 40186 0
[pid=4435/tid=4436] ppid=4433 vsize=162488 CPUtime=0.03 cores=1,3,5,7
/proc/4435/task/4436/stat : 4436 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 230 0 0 0 3 0 0 0 20 0 3 0 333355731 166387712 1137 33554432000 4194304 5964478 140734606830048 139963688785904 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4435/tid=4437] ppid=4433 vsize=162488 CPUtime=0.03 cores=1,3,5,7
/proc/4435/task/4437/stat : 4437 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 173 0 0 0 3 0 0 0 20 0 3 0 333355731 166387712 1137 33554432000 4194304 5964478 140734606830048 139963678296368 5133680 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 162488
[startup+0.100284 s]
/proc/loadavg: 3.91 3.94 3.83 4/178 4435
/proc/meminfo: memFree=28357496/32873844 swapFree=7632/7632
[pid=4435] ppid=4433 vsize=162488 CPUtime=0.18 cores=1,3,5,7
/proc/4435/stat : 4435 (pwbo2.02) S 4433 4435 3617 0 -1 4202496 1475 0 0 0 18 0 0 0 20 0 3 0 333355731 166387712 1425 33554432000 4194304 5964478 140734606830048 140734606829568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4435/statm: 40622 1425 198 433 0 40186 0
[pid=4435/tid=4436] ppid=4433 vsize=162488 CPUtime=0.08 cores=1,3,5,7
/proc/4435/task/4436/stat : 4436 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 390 0 0 0 8 0 0 0 20 0 3 0 333355731 166387712 1425 33554432000 4194304 5964478 140734606830048 139963688785904 4400519 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4435/tid=4437] ppid=4433 vsize=162488 CPUtime=0.08 cores=1,3,5,7
/proc/4435/task/4437/stat : 4437 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 301 0 0 0 8 0 0 0 20 0 3 0 333355731 166387712 1425 33554432000 4194304 5964478 140734606830048 139963678296368 4389072 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 162488
[startup+0.300235 s]
/proc/loadavg: 3.91 3.94 3.83 4/178 4435
/proc/meminfo: memFree=28357496/32873844 swapFree=7632/7632
[pid=4435] ppid=4433 vsize=162488 CPUtime=0.58 cores=1,3,5,7
/proc/4435/stat : 4435 (pwbo2.02) S 4433 4435 3617 0 -1 4202496 2095 0 0 0 57 1 0 0 20 0 3 0 333355731 166387712 2045 33554432000 4194304 5964478 140734606830048 140734606829568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4435/statm: 40622 2045 198 433 0 40186 0
[pid=4435/tid=4436] ppid=4433 vsize=162488 CPUtime=0.28 cores=1,3,5,7
/proc/4435/task/4436/stat : 4436 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 815 0 0 0 28 0 0 0 20 0 3 0 333355731 166387712 2045 33554432000 4194304 5964478 140734606830048 139963688785912 5244295 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4435/tid=4437] ppid=4433 vsize=162488 CPUtime=0.28 cores=1,3,5,7
/proc/4435/task/4437/stat : 4437 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 496 0 0 0 27 1 0 0 20 0 3 0 333355731 166387712 2045 33554432000 4194304 5964478 140734606830048 139963678296368 4403671 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 162488
[startup+0.700257 s]
/proc/loadavg: 3.91 3.94 3.83 4/178 4435
/proc/meminfo: memFree=28357496/32873844 swapFree=7632/7632
[pid=4435] ppid=4433 vsize=162488 CPUtime=1.38 cores=1,3,5,7
/proc/4435/stat : 4435 (pwbo2.02) S 4433 4435 3617 0 -1 4202496 2987 0 0 0 136 2 0 0 20 0 3 0 333355731 166387712 2937 33554432000 4194304 5964478 140734606830048 140734606829568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4435/statm: 40622 2937 198 433 0 40186 0
[pid=4435/tid=4436] ppid=4433 vsize=162488 CPUtime=0.68 cores=1,3,5,7
/proc/4435/task/4436/stat : 4436 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 1465 0 0 0 68 0 0 0 20 0 3 0 333355731 166387712 2937 33554432000 4194304 5964478 140734606830048 139963688785912 4392823 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4435/tid=4437] ppid=4433 vsize=162488 CPUtime=0.68 cores=1,3,5,7
/proc/4435/task/4437/stat : 4437 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 738 0 0 0 66 2 0 0 20 0 3 0 333355731 166387712 2937 33554432000 4194304 5964478 140734606830048 139963678296368 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 162488
[startup+1.50028 s]
/proc/loadavg: 3.91 3.94 3.83 5/181 4438
/proc/meminfo: memFree=28345948/32873844 swapFree=7632/7632
[pid=4435] ppid=4433 vsize=162632 CPUtime=2.98 cores=1,3,5,7
/proc/4435/stat : 4435 (pwbo2.02) S 4433 4435 3617 0 -1 4202496 3617 0 0 0 295 3 0 0 20 0 3 0 333355731 166535168 3567 33554432000 4194304 5964478 140734606830048 140734606829568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4435/statm: 40658 3568 198 433 0 40222 0
[pid=4435/tid=4436] ppid=4433 vsize=162632 CPUtime=1.48 cores=1,3,5,7
/proc/4435/task/4436/stat : 4436 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 1982 0 0 0 147 1 0 0 20 0 3 0 333355731 166535168 3568 33554432000 4194304 5964478 140734606830048 139963688785912 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4435/tid=4437] ppid=4433 vsize=162632 CPUtime=1.48 cores=1,3,5,7
/proc/4435/task/4437/stat : 4437 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 852 0 0 0 146 2 0 0 20 0 3 0 333355731 166535168 3568 33554432000 4194304 5964478 140734606830048 139963678296368 4378836 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 162632
[startup+3.1003 s]
/proc/loadavg: 3.91 3.94 3.83 5/181 4438
/proc/meminfo: memFree=28341980/32873844 swapFree=7632/7632
[pid=4435] ppid=4433 vsize=163056 CPUtime=6.18 cores=1,3,5,7
/proc/4435/stat : 4435 (pwbo2.02) S 4433 4435 3617 0 -1 4202496 5202 0 0 0 613 5 0 0 20 0 3 0 333355731 166969344 5152 33554432000 4194304 5964478 140734606830048 140734606829568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4435/statm: 40764 5152 198 433 0 40328 0
[pid=4435/tid=4436] ppid=4433 vsize=163056 CPUtime=3.07 cores=1,3,5,7
/proc/4435/task/4436/stat : 4436 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 3004 0 0 0 306 1 0 0 20 0 3 0 333355731 166969344 5152 33554432000 4194304 5964478 140734606830048 139963688785904 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4435/tid=4437] ppid=4433 vsize=163056 CPUtime=3.07 cores=1,3,5,7
/proc/4435/task/4437/stat : 4437 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 1414 0 0 0 304 3 0 0 20 0 3 0 333355731 166969344 5152 33554432000 4194304 5964478 140734606830048 139963678296368 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 163056
[startup+6.30032 s]
/proc/loadavg: 3.92 3.94 3.83 5/181 4438
/proc/meminfo: memFree=28332680/32873844 swapFree=7632/7632
[pid=4435] ppid=4433 vsize=163188 CPUtime=12.57 cores=1,3,5,7
/proc/4435/stat : 4435 (pwbo2.02) S 4433 4435 3617 0 -1 4202496 6327 0 0 0 1252 5 0 0 20 0 3 0 333355731 167104512 6206 33554432000 4194304 5964478 140734606830048 140734606829568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4435/statm: 40797 6206 200 433 0 40361 0
[pid=4435/tid=4436] ppid=4433 vsize=163188 CPUtime=6.26 cores=1,3,5,7
/proc/4435/task/4436/stat : 4436 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 3931 0 0 0 624 2 0 0 20 0 3 0 333355731 167104512 6206 33554432000 4194304 5964478 140734606830048 139963688785904 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4435/tid=4437] ppid=4433 vsize=163188 CPUtime=6.26 cores=1,3,5,7
/proc/4435/task/4437/stat : 4437 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 1612 0 0 0 623 3 0 0 20 0 3 0 333355731 167104512 6206 33554432000 4194304 5964478 140734606830048 139963678296368 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 163188
[startup+12.7003 s]
/proc/loadavg: 3.93 3.94 3.84 5/181 4438
/proc/meminfo: memFree=28307824/32873844 swapFree=7632/7632
[pid=4435] ppid=4433 vsize=163700 CPUtime=25.36 cores=1,3,5,7
/proc/4435/stat : 4435 (pwbo2.02) S 4433 4435 3617 0 -1 4202496 9265 0 0 0 2530 6 0 0 20 0 3 0 333355731 167628800 9095 33554432000 4194304 5964478 140734606830048 140734606829568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4435/statm: 40925 9095 200 433 0 40489 0
[pid=4435/tid=4436] ppid=4433 vsize=163700 CPUtime=12.65 cores=1,3,5,7
/proc/4435/task/4436/stat : 4436 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 5303 0 0 0 1263 2 0 0 20 0 3 0 333355731 167628800 9095 33554432000 4194304 5964478 140734606830048 139963688785912 4379152 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4435/tid=4437] ppid=4433 vsize=163700 CPUtime=12.64 cores=1,3,5,7
/proc/4435/task/4437/stat : 4437 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 3178 0 0 0 1261 3 0 0 20 0 3 0 333355731 167628800 9095 33554432000 4194304 5964478 140734606830048 139963678296288 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 163700
[startup+25.5004 s]
/proc/loadavg: 3.94 3.94 3.84 5/181 4478
/proc/meminfo: memFree=28395436/32873844 swapFree=7632/7632
[pid=4435] ppid=4433 vsize=163988 CPUtime=50.95 cores=1,3,5,7
/proc/4435/stat : 4435 (pwbo2.02) S 4433 4435 3617 0 -1 4202496 12815 0 0 0 5088 7 0 0 20 0 3 0 333355731 167923712 12356 33554432000 4194304 5964478 140734606830048 140734606829568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4435/statm: 40997 12356 200 433 0 40561 0
[pid=4435/tid=4436] ppid=4433 vsize=163988 CPUtime=25.41 cores=1,3,5,7
/proc/4435/task/4436/stat : 4436 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 8836 0 0 0 2538 3 0 0 20 0 3 0 333355731 167923712 12356 33554432000 4194304 5964478 140734606830048 139963688785824 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4435/tid=4437] ppid=4433 vsize=163988 CPUtime=25.4 cores=1,3,5,7
/proc/4435/task/4437/stat : 4437 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 3195 0 0 0 2537 3 0 0 20 0 3 0 333355731 167923712 12356 33554432000 4194304 5964478 140734606830048 139963678296480 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 163988
[startup+51.1004 s]
/proc/loadavg: 4.02 3.96 3.84 5/181 4478
/proc/meminfo: memFree=28361692/32873844 swapFree=7632/7632
[pid=4435] ppid=4433 vsize=163684 CPUtime=102.1 cores=1,3,5,7
/proc/4435/stat : 4435 (pwbo2.02) S 4433 4435 3617 0 -1 4202496 17714 0 0 0 10201 9 0 0 20 0 3 0 333355731 167612416 16913 33554432000 4194304 5964478 140734606830048 140734606829568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4435/statm: 40921 16913 200 433 0 40485 0
[pid=4435/tid=4436] ppid=4433 vsize=163684 CPUtime=50.92 cores=1,3,5,7
/proc/4435/task/4436/stat : 4436 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 12694 0 0 0 5087 5 0 0 20 0 3 0 333355731 167612416 16913 33554432000 4194304 5964478 140734606830048 139963688785824 4400091 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4435/tid=4437] ppid=4433 vsize=163684 CPUtime=50.92 cores=1,3,5,7
/proc/4435/task/4437/stat : 4437 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 4236 0 0 0 5088 4 0 0 20 0 3 0 333355731 167612416 16913 33554432000 4194304 5964478 140734606830048 139963678296424 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.1
Current children cumulated vsize (KiB) 163684
Solver just ended. Dumping a history of the last processes samples
[startup+63.9004 s]
/proc/loadavg: 4.02 3.96 3.85 5/181 4478
/proc/meminfo: memFree=28332476/32873844 swapFree=7632/7632
[pid=4435] ppid=4433 vsize=164768 CPUtime=127.7 cores=1,3,5,7
/proc/4435/stat : 4435 (pwbo2.02) S 4433 4435 3617 0 -1 4202496 21305 0 0 0 12760 10 0 0 20 0 3 0 333355731 168722432 21673 33554432000 4194304 5964478 140734606830048 140734606829568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4435/statm: 41192 21673 200 433 0 40756 0
[pid=4435/tid=4436] ppid=4433 vsize=164768 CPUtime=63.69 cores=1,3,5,7
/proc/4435/task/4436/stat : 4436 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 15812 0 0 0 6364 5 0 0 20 0 3 0 333355731 168722432 21673 33554432000 4194304 5964478 140734606830048 139963688785824 4389160 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4435/tid=4437] ppid=4433 vsize=164768 CPUtime=63.69 cores=1,3,5,7
/proc/4435/task/4437/stat : 4437 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 4709 0 0 0 6365 4 0 0 20 0 3 0 333355731 168722432 21673 33554432000 4194304 5964478 140734606830048 139963678296368 4400432 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 127.7
Current children cumulated vsize (KiB) 164768
[startup+70.3004 s]
/proc/loadavg: 3.94 3.95 3.84 5/181 4478
/proc/meminfo: memFree=28332584/32873844 swapFree=7632/7632
[pid=4435] ppid=4433 vsize=164960 CPUtime=140.5 cores=1,3,5,7
/proc/4435/stat : 4435 (pwbo2.02) S 4433 4435 3617 0 -1 4202496 21356 0 0 0 14040 10 0 0 20 0 3 0 333355731 168919040 21724 33554432000 4194304 5964478 140734606830048 140734606829568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4435/statm: 41240 21724 200 433 0 40804 0
[pid=4435/tid=4436] ppid=4433 vsize=164960 CPUtime=70.08 cores=1,3,5,7
/proc/4435/task/4436/stat : 4436 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 15828 0 0 0 7002 6 0 0 20 0 3 0 333355731 168919040 21724 33554432000 4194304 5964478 140734606830048 139963688785824 4400416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4435/tid=4437] ppid=4433 vsize=164960 CPUtime=70.08 cores=1,3,5,7
/proc/4435/task/4437/stat : 4437 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 4744 0 0 0 7003 5 0 0 20 0 3 0 333355731 168919040 21724 33554432000 4194304 5964478 140734606830048 139963678296480 4400067 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 140.5
Current children cumulated vsize (KiB) 164960
[startup+73.5004 s]
/proc/loadavg: 3.94 3.95 3.84 5/181 4478
/proc/meminfo: memFree=28332336/32873844 swapFree=7632/7632
[pid=4435] ppid=4433 vsize=164960 CPUtime=146.89 cores=1,3,5,7
/proc/4435/stat : 4435 (pwbo2.02) S 4433 4435 3617 0 -1 4202496 21367 0 0 0 14679 10 0 0 20 0 3 0 333355731 168919040 21735 33554432000 4194304 5964478 140734606830048 140734606829568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4435/statm: 41240 21735 200 433 0 40804 0
[pid=4435/tid=4436] ppid=4433 vsize=164960 CPUtime=73.26 cores=1,3,5,7
/proc/4435/task/4436/stat : 4436 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 15839 0 0 0 7320 6 0 0 20 0 3 0 333355731 168919040 21735 33554432000 4194304 5964478 140734606830048 139963688785824 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4435/tid=4437] ppid=4433 vsize=164960 CPUtime=73.26 cores=1,3,5,7
/proc/4435/task/4437/stat : 4437 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 4744 0 0 0 7321 5 0 0 20 0 3 0 333355731 168919040 21735 33554432000 4194304 5964478 140734606830048 139963678296368 4400097 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 146.89
Current children cumulated vsize (KiB) 164960
[startup+75.1004 s]
/proc/loadavg: 3.94 3.95 3.84 5/181 4478
/proc/meminfo: memFree=28332336/32873844 swapFree=7632/7632
[pid=4435] ppid=4433 vsize=164960 CPUtime=150.09 cores=1,3,5,7
/proc/4435/stat : 4435 (pwbo2.02) S 4433 4435 3617 0 -1 4202496 21375 0 0 0 14999 10 0 0 20 0 3 0 333355731 168919040 21743 33554432000 4194304 5964478 140734606830048 140734606829568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4435/statm: 41240 21743 200 433 0 40804 0
[pid=4435/tid=4436] ppid=4433 vsize=164960 CPUtime=74.86 cores=1,3,5,7
/proc/4435/task/4436/stat : 4436 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 15847 0 0 0 7480 6 0 0 20 0 3 0 333355731 168919040 21743 33554432000 4194304 5964478 140734606830048 139963688785824 4400078 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4435/tid=4437] ppid=4433 vsize=164960 CPUtime=74.85 cores=1,3,5,7
/proc/4435/task/4437/stat : 4437 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 4744 0 0 0 7480 5 0 0 20 0 3 0 333355731 168919040 21743 33554432000 4194304 5964478 140734606830048 139963678296368 4399862 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 150.09
Current children cumulated vsize (KiB) 164960
[startup+75.9069 s]
/proc/loadavg: 3.94 3.95 3.84 5/181 4478
/proc/meminfo: memFree=28331468/32873844 swapFree=7632/7632
[pid=4435] ppid=4433 vsize=164960 CPUtime=151.7 cores=1,3,5,7
/proc/4435/stat : 4435 (pwbo2.02) S 4433 4435 3617 0 -1 4202496 21378 0 0 0 15160 10 0 0 20 0 3 0 333355731 168919040 21746 33554432000 4194304 5964478 140734606830048 140734606829568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4435/statm: 41240 21746 200 433 0 40804 0
[pid=4435/tid=4436] ppid=4433 vsize=164960 CPUtime=75.66 cores=1,3,5,7
/proc/4435/task/4436/stat : 4436 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 15850 0 0 0 7560 6 0 0 20 0 3 0 333355731 168919040 21746 33554432000 4194304 5964478 140734606830048 139963688785824 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4435/tid=4437] ppid=4433 vsize=164960 CPUtime=75.66 cores=1,3,5,7
/proc/4435/task/4437/stat : 4437 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 4744 0 0 0 7561 5 0 0 20 0 3 0 333355731 168919040 21746 33554432000 4194304 5964478 140734606830048 139963678296368 4392918 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 151.7
Current children cumulated vsize (KiB) 164960
[startup+76.7004 s]
/proc/loadavg: 3.94 3.95 3.84 5/181 4478
/proc/meminfo: memFree=28331468/32873844 swapFree=7632/7632
[pid=4435] ppid=4433 vsize=164960 CPUtime=153.29 cores=1,3,5,7
/proc/4435/stat : 4435 (pwbo2.02) S 4433 4435 3617 0 -1 4202496 21380 0 0 0 15319 10 0 0 20 0 3 0 333355731 168919040 21748 33554432000 4194304 5964478 140734606830048 140734606829568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4435/statm: 41240 21748 200 433 0 40804 0
[pid=4435/tid=4436] ppid=4433 vsize=164960 CPUtime=76.45 cores=1,3,5,7
/proc/4435/task/4436/stat : 4436 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 15852 0 0 0 7639 6 0 0 20 0 3 0 333355731 168919040 21748 33554432000 4194304 5964478 140734606830048 139963688785824 4400001 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4435/tid=4437] ppid=4433 vsize=164960 CPUtime=76.45 cores=1,3,5,7
/proc/4435/task/4437/stat : 4437 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 4744 0 0 0 7640 5 0 0 20 0 3 0 333355731 168919040 21748 33554432000 4194304 5964478 140734606830048 139963678296368 4399986 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 153.29
Current children cumulated vsize (KiB) 164960
[startup+76.9004 s]
/proc/loadavg: 3.94 3.95 3.84 5/181 4478
/proc/meminfo: memFree=28324756/32873844 swapFree=7632/7632
[pid=4435] ppid=4433 vsize=164960 CPUtime=153.7 cores=1,3,5,7
/proc/4435/stat : 4435 (pwbo2.02) S 4433 4435 3617 0 -1 4202496 21381 0 0 0 15360 10 0 0 20 0 3 0 333355731 168919040 21749 33554432000 4194304 5964478 140734606830048 140734606829568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4435/statm: 41240 21749 200 433 0 40804 0
[pid=4435/tid=4436] ppid=4433 vsize=164960 CPUtime=76.66 cores=1,3,5,7
/proc/4435/task/4436/stat : 4436 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 15853 0 0 0 7660 6 0 0 20 0 3 0 333355731 168919040 21749 33554432000 4194304 5964478 140734606830048 139963688785824 4429803 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4435/tid=4437] ppid=4433 vsize=164960 CPUtime=76.66 cores=1,3,5,7
/proc/4435/task/4437/stat : 4437 (pwbo2.02) R 4433 4435 3617 0 -1 4202560 4744 0 0 0 7661 5 0 0 20 0 3 0 333355731 168919040 21749 33554432000 4194304 5964478 140734606830048 139963678296368 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 153.7
Current children cumulated vsize (KiB) 164960
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4435 and gives
# childrusage.ru_utime.tv_sec=153
# childrusage.ru_utime.tv_usec=398679
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=140978
# CPU time returned by wait4() is 153.54
# while last known CPU time is 153.7
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 77.0004
CPU time (s): 153.7
CPU user time (s): 153.6
CPU system time (s): 0.1
CPU usage (%): 199.609
Max. virtual memory (cumulated for all children) (KiB): 164960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 153.399
system time used= 0.140978
maximum resident set size= 87340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21467
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= 357
involuntary context switches= 223
runsolver used 0.493924 second user time and 0.546916 second system time
The end