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-3726036-1338656086/watcher-3726036-1338656086 -o /tmp/evaluation-result-3726036-1338656086/solver-3726036-1338656086 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726036-1338656086.opb
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.88 3.96 3.91 4/177 18164
/proc/meminfo: memFree=27106316/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=162228 CPUtime=0 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 798 0 0 0 0 0 0 0 20 0 3 0 331737101 166121472 749 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 40557 749 189 433 0 40121 0
[pid=18164/tid=18165] ppid=18162 vsize=162228 CPUtime=0 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 3 0 331737101 166121472 749 33554432000 4194304 5964478 140733920130496 140734687312552 5136490 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=162228 CPUtime=0 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 3 0 331737101 166121472 749 33554432000 4194304 5964478 140733920130496 140734687312552 5136490 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[startup+0.013065 s]
/proc/loadavg: 3.88 3.96 3.91 4/177 18164
/proc/meminfo: memFree=27106316/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=162228 CPUtime=0.01 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 862 0 0 0 1 0 0 0 20 0 3 0 331737101 166121472 813 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 40557 813 191 433 0 40121 0
[pid=18164/tid=18165] ppid=18162 vsize=162228 CPUtime=0 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 67 0 0 0 0 0 0 0 20 0 3 0 331737101 166121472 815 33554432000 4194304 5964478 140733920130496 140475970291696 5179243 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=162228 CPUtime=0 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 62 0 0 0 0 0 0 0 20 0 3 0 331737101 166121472 815 33554432000 4194304 5964478 140733920130496 140475959802160 4570436 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 162228
[startup+0.100329 s]
/proc/loadavg: 3.88 3.96 3.91 4/177 18164
/proc/meminfo: memFree=27106316/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=162228 CPUtime=0.18 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 1271 0 0 0 18 0 0 0 20 0 3 0 331737101 166121472 1222 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 40557 1223 191 433 0 40121 0
[pid=18164/tid=18165] ppid=18162 vsize=162228 CPUtime=0.08 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 300 0 0 0 8 0 0 0 20 0 3 0 331737101 166121472 1223 33554432000 4194304 5964478 140733920130496 140475970291696 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=162228 CPUtime=0.08 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 237 0 0 0 8 0 0 0 20 0 3 0 331737101 166121472 1223 33554432000 4194304 5964478 140733920130496 140475959802160 4399920 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) 162228
[startup+0.300288 s]
/proc/loadavg: 3.88 3.96 3.91 4/177 18164
/proc/meminfo: memFree=27106316/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=162228 CPUtime=0.57 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 1741 0 0 0 57 0 0 0 20 0 3 0 331737101 166121472 1692 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 40557 1692 191 433 0 40121 0
[pid=18164/tid=18165] ppid=18162 vsize=162228 CPUtime=0.27 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 626 0 0 0 27 0 0 0 20 0 3 0 331737101 166121472 1692 33554432000 4194304 5964478 140733920130496 140475970291696 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=162228 CPUtime=0.27 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 380 0 0 0 27 0 0 0 20 0 3 0 331737101 166121472 1692 33554432000 4194304 5964478 140733920130496 140475959802160 4399926 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 162228
[startup+0.700297 s]
/proc/loadavg: 3.88 3.96 3.91 4/177 18164
/proc/meminfo: memFree=27106316/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=162516 CPUtime=1.36 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 2301 0 0 0 136 0 0 0 20 0 3 0 331737101 166416384 2252 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 40629 2252 191 433 0 40193 0
[pid=18164/tid=18165] ppid=18162 vsize=162516 CPUtime=0.67 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 1061 0 0 0 67 0 0 0 20 0 3 0 331737101 166416384 2252 33554432000 4194304 5964478 140733920130496 140475970291696 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=162516 CPUtime=0.67 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 505 0 0 0 67 0 0 0 20 0 3 0 331737101 166416384 2252 33554432000 4194304 5964478 140733920130496 140475959802160 4400490 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 162516
[startup+1.50034 s]
/proc/loadavg: 3.88 3.96 3.91 5/180 18167
/proc/meminfo: memFree=27096984/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=163524 CPUtime=2.95 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 3176 0 0 0 294 1 0 0 20 0 3 0 331737101 167448576 3127 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 40881 3127 191 433 0 40445 0
[pid=18164/tid=18165] ppid=18162 vsize=163524 CPUtime=1.47 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 1746 0 0 0 147 0 0 0 20 0 3 0 331737101 167448576 3127 33554432000 4194304 5964478 140733920130496 140475970291696 4389164 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=163524 CPUtime=1.45 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 695 0 0 0 145 0 0 0 20 0 3 0 331737101 167448576 3127 33554432000 4194304 5964478 140733920130496 140475959802160 4400422 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 163524
[startup+3.10038 s]
/proc/loadavg: 3.88 3.96 3.91 5/180 18167
/proc/meminfo: memFree=27090520/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=164460 CPUtime=6.12 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 4235 0 0 0 611 1 0 0 20 0 3 0 331737101 168407040 4186 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 41115 4186 191 433 0 40679 0
[pid=18164/tid=18165] ppid=18162 vsize=164460 CPUtime=3.06 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 2500 0 0 0 305 1 0 0 20 0 3 0 331737101 168407040 4186 33554432000 4194304 5964478 140733920130496 140475970291696 4400018 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=164460 CPUtime=3.03 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 1000 0 0 0 303 0 0 0 20 0 3 0 331737101 168407040 4186 33554432000 4194304 5964478 140733920130496 140475959802160 4410338 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 164460
[startup+6.30039 s]
/proc/loadavg: 3.73 3.93 3.90 5/180 18167
/proc/meminfo: memFree=27075268/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=167036 CPUtime=12.49 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 5722 0 0 0 1247 2 0 0 20 0 3 0 331737101 171044864 5673 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 41759 5673 191 433 0 41323 0
[pid=18164/tid=18165] ppid=18162 vsize=167036 CPUtime=6.25 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 3636 0 0 0 623 2 0 0 20 0 3 0 331737101 171044864 5673 33554432000 4194304 5964478 140733920130496 140475970291696 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=167036 CPUtime=6.19 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 1351 0 0 0 619 0 0 0 20 0 3 0 331737101 171044864 5673 33554432000 4194304 5964478 140733920130496 140475959802160 4400014 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 167036
[startup+12.7004 s]
/proc/loadavg: 3.75 3.93 3.90 5/180 18167
/proc/meminfo: memFree=27062248/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=172304 CPUtime=25.25 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 8035 0 0 0 2521 4 0 0 20 0 3 0 331737101 176439296 7986 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 43076 7986 191 433 0 42640 0
[pid=18164/tid=18165] ppid=18162 vsize=172304 CPUtime=12.63 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 5436 0 0 0 1260 3 0 0 20 0 3 0 331737101 176439296 7986 33554432000 4194304 5964478 140733920130496 140475970291752 4400010 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=172304 CPUtime=12.53 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 1864 0 0 0 1253 0 0 0 20 0 3 0 331737101 176439296 7986 33554432000 4194304 5964478 140733920130496 140475959802272 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 172304
[startup+25.5004 s]
/proc/loadavg: 3.81 3.93 3.90 5/181 18168
/proc/meminfo: memFree=27032340/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=176020 CPUtime=50.74 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 11144 0 0 0 5068 6 0 0 20 0 3 0 331737101 180244480 11095 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 44005 11095 191 433 0 43569 0
[pid=18164/tid=18165] ppid=18162 vsize=176020 CPUtime=25.4 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 8127 0 0 0 2535 5 0 0 20 0 3 0 331737101 180244480 11095 33554432000 4194304 5964478 140733920130496 140475970291752 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=176020 CPUtime=25.2 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 2282 0 0 0 2519 1 0 0 20 0 3 0 331737101 180244480 11095 33554432000 4194304 5964478 140733920130496 140475959802160 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 176020
[startup+51.1004 s]
/proc/loadavg: 3.87 3.93 3.90 5/181 18168
/proc/meminfo: memFree=26996420/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=184136 CPUtime=101.81 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 15795 0 0 0 10171 10 0 0 20 0 3 0 331737101 188555264 15741 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 46034 15741 191 433 0 45598 0
[pid=18164/tid=18165] ppid=18162 vsize=184136 CPUtime=50.94 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 12273 0 0 0 5086 8 0 0 20 0 3 0 331737101 188555264 15741 33554432000 4194304 5964478 140733920130496 140475970291752 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=184136 CPUtime=50.61 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 2787 0 0 0 5059 2 0 0 20 0 3 0 331737101 188555264 15741 33554432000 4194304 5964478 140733920130496 140475959802160 4391746 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 184136
[startup+102.307 s]
/proc/loadavg: 4.02 3.96 3.91 5/181 18168
/proc/meminfo: memFree=26924500/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=195292 CPUtime=203.98 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 22450 0 0 0 20383 15 0 0 20 0 3 0 331737101 199979008 22650 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 48823 22650 191 433 0 48387 0
[pid=18164/tid=18165] ppid=18162 vsize=195292 CPUtime=101.99 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 18358 0 0 0 10187 12 0 0 20 0 3 0 331737101 199979008 22650 33554432000 4194304 5964478 140733920130496 140475970291224 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=195292 CPUtime=101.48 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 3357 0 0 0 10144 4 0 0 20 0 3 0 331737101 199979008 22650 33554432000 4194304 5964478 140733920130496 140475959802160 4400812 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 203.98
Current children cumulated vsize (KiB) 195292
[startup+162.3 s]
/proc/loadavg: 3.93 3.95 3.90 5/181 18168
/proc/meminfo: memFree=26861272/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=273512 CPUtime=323.71 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 29345 0 0 0 32351 20 0 0 20 0 3 0 331737101 280076288 30714 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 68378 30714 191 433 0 67942 0
[pid=18164/tid=18165] ppid=18162 vsize=273512 CPUtime=161.83 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 24657 0 0 0 16166 17 0 0 20 0 3 0 331737101 280076288 30714 33554432000 4194304 5964478 140733920130496 140475970291704 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=273512 CPUtime=161.09 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 3953 0 0 0 16103 6 0 0 20 0 3 0 331737101 280076288 30714 33554432000 4194304 5964478 140733920130496 140475959802160 4400422 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 323.71
Current children cumulated vsize (KiB) 273512
[startup+222.3 s]
/proc/loadavg: 3.97 3.95 3.91 5/181 18168
/proc/meminfo: memFree=26807740/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=280404 CPUtime=443.54 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 34246 0 0 0 44331 23 0 0 20 0 3 0 331737101 287133696 35615 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 70101 35615 191 433 0 69665 0
[pid=18164/tid=18165] ppid=18162 vsize=280404 CPUtime=221.67 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 29047 0 0 0 22146 21 0 0 20 0 3 0 331737101 287133696 35615 33554432000 4194304 5964478 140733920130496 140475970291720 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=280404 CPUtime=220.78 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 4464 0 0 0 22070 8 0 0 20 0 3 0 331737101 287133696 35615 33554432000 4194304 5964478 140733920130496 140475959801688 4399938 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 443.54
Current children cumulated vsize (KiB) 280404
[startup+282.3 s]
/proc/loadavg: 3.99 3.96 3.91 5/181 18168
/proc/meminfo: memFree=26765484/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=286188 CPUtime=563.31 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 39769 0 0 0 56305 26 0 0 20 0 3 0 331737101 293056512 41323 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 71547 41323 191 433 0 71111 0
[pid=18164/tid=18165] ppid=18162 vsize=286188 CPUtime=281.5 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 34308 0 0 0 28126 24 0 0 20 0 3 0 331737101 293056512 41323 33554432000 4194304 5964478 140733920130496 140475970291224 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=286188 CPUtime=280.44 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 4726 0 0 0 28035 9 0 0 20 0 3 0 331737101 293056512 41323 33554432000 4194304 5964478 140733920130496 140475959802272 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 563.31
Current children cumulated vsize (KiB) 286188
Solver just ended. Dumping a history of the last processes samples
[startup+307.1 s]
/proc/loadavg: 3.99 3.96 3.91 5/181 18169
/proc/meminfo: memFree=26751016/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=291816 CPUtime=612.86 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 41150 0 0 0 61259 27 0 0 20 0 3 0 331737101 298819584 42897 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 72954 42897 191 433 0 72518 0
[pid=18164/tid=18165] ppid=18162 vsize=291816 CPUtime=306.24 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 35662 0 0 0 30599 25 0 0 20 0 3 0 331737101 298819584 42897 33554432000 4194304 5964478 140733920130496 140475970291224 4400018 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=291816 CPUtime=305.13 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 4753 0 0 0 30504 9 0 0 20 0 3 0 331737101 298819584 42897 33554432000 4194304 5964478 140733920130496 140475959802272 4399912 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 612.86
Current children cumulated vsize (KiB) 291816
[startup+319.9 s]
/proc/loadavg: 3.99 3.96 3.91 5/182 18172
/proc/meminfo: memFree=26738152/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=292964 CPUtime=638.41 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 42452 0 0 0 63813 28 0 0 20 0 3 0 331737101 299995136 44199 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 73241 44199 191 433 0 72805 0
[pid=18164/tid=18165] ppid=18162 vsize=292964 CPUtime=319 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 36928 0 0 0 31874 26 0 0 20 0 3 0 331737101 299995136 44199 33554432000 4194304 5964478 140733920130496 140475970291224 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=292964 CPUtime=317.84 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 4789 0 0 0 31775 9 0 0 20 0 3 0 331737101 299995136 44199 33554432000 4194304 5964478 140733920130496 140475959802272 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 638.41
Current children cumulated vsize (KiB) 292964
[startup+323.1 s]
/proc/loadavg: 3.99 3.96 3.91 5/182 18172
/proc/meminfo: memFree=26735904/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=292964 CPUtime=644.79 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 42717 0 0 0 64451 28 0 0 20 0 3 0 331737101 299995136 44464 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 73241 44464 191 433 0 72805 0
[pid=18164/tid=18165] ppid=18162 vsize=292964 CPUtime=322.2 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 37193 0 0 0 32194 26 0 0 20 0 3 0 331737101 299995136 44464 33554432000 4194304 5964478 140733920130496 140475970291720 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=292964 CPUtime=321.02 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 4789 0 0 0 32093 9 0 0 20 0 3 0 331737101 299995136 44464 33554432000 4194304 5964478 140733920130496 140475959802160 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 644.79
Current children cumulated vsize (KiB) 292964
[startup+326.3 s]
/proc/loadavg: 3.99 3.96 3.91 5/182 18172
/proc/meminfo: memFree=26732936/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=292964 CPUtime=651.19 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 42729 0 0 0 65091 28 0 0 20 0 3 0 331737101 299995136 44476 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 73241 44476 191 433 0 72805 0
[pid=18164/tid=18165] ppid=18162 vsize=292964 CPUtime=325.39 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 37205 0 0 0 32513 26 0 0 20 0 3 0 331737101 299995136 44476 33554432000 4194304 5964478 140733920130496 140475970291224 4399938 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=292964 CPUtime=324.22 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 4789 0 0 0 32413 9 0 0 20 0 3 0 331737101 299995136 44476 33554432000 4194304 5964478 140733920130496 140475959802272 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 651.19
Current children cumulated vsize (KiB) 292964
[startup+327.9 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 18172
/proc/meminfo: memFree=26730952/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=292964 CPUtime=654.39 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 42868 0 0 0 65411 28 0 0 20 0 3 0 331737101 299995136 44615 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 73241 44615 191 433 0 72805 0
[pid=18164/tid=18165] ppid=18162 vsize=292964 CPUtime=326.98 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 37344 0 0 0 32672 26 0 0 20 0 3 0 331737101 299995136 44615 33554432000 4194304 5964478 140733920130496 140475970291720 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=292964 CPUtime=325.81 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 4789 0 0 0 32572 9 0 0 20 0 3 0 331737101 299995136 44615 33554432000 4194304 5964478 140733920130496 140475959802272 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 654.39
Current children cumulated vsize (KiB) 292964
[startup+328.7 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 18172
/proc/meminfo: memFree=26730952/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=292964 CPUtime=655.99 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 42880 0 0 0 65571 28 0 0 20 0 3 0 331737101 299995136 44627 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 73241 44627 191 433 0 72805 0
[pid=18164/tid=18165] ppid=18162 vsize=292964 CPUtime=327.78 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 37349 0 0 0 32752 26 0 0 20 0 3 0 331737101 299995136 44627 33554432000 4194304 5964478 140733920130496 140475970291720 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=292964 CPUtime=326.6 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 4796 0 0 0 32651 9 0 0 20 0 3 0 331737101 299995136 44627 33554432000 4194304 5964478 140733920130496 140475959801976 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 655.99
Current children cumulated vsize (KiB) 292964
[startup+328.907 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 18172
/proc/meminfo: memFree=26730208/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=292964 CPUtime=656.4 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 42882 0 0 0 65612 28 0 0 20 0 3 0 331737101 299995136 44629 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 73241 44629 191 433 0 72805 0
[pid=18164/tid=18165] ppid=18162 vsize=292964 CPUtime=327.99 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 37351 0 0 0 32773 26 0 0 20 0 3 0 331737101 299995136 44629 33554432000 4194304 5964478 140733920130496 140475970291720 4399938 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=292964 CPUtime=326.81 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 4796 0 0 0 32672 9 0 0 20 0 3 0 331737101 299995136 44629 33554432000 4194304 5964478 140733920130496 140475959801976 4222330 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 656.4
Current children cumulated vsize (KiB) 292964
[startup+329 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 18172
/proc/meminfo: memFree=26730208/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=292964 CPUtime=656.59 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 42883 0 0 0 65631 28 0 0 20 0 3 0 331737101 299995136 44630 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 0 0 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=0 CPUtime=326.9 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202564 4801 0 0 0 32681 9 0 0 20 0 2 0 331737101 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 656.59
Current children cumulated vsize (KiB) 292964
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18164 and gives
# childrusage.ru_utime.tv_sec=654
# childrusage.ru_utime.tv_usec=630481
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=380942
# CPU time returned by wait4() is 655.011
# while last known CPU time is 656.59
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 329.007
CPU time (s): 656.59
CPU user time (s): 656.31
CPU system time (s): 0.28
CPU usage (%): 199.567
Max. virtual memory (cumulated for all children) (KiB): 292964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 654.63
system time used= 0.380942
maximum resident set size= 178536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42887
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= 421
involuntary context switches= 688
runsolver used 0.52292 second user time and 1.57676 second system time
The end