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-3725777-1338651516/watcher-3725777-1338651516 -o /tmp/evaluation-result-3725777-1338651516/solver-3725777-1338651516 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725777-1338651516.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: 1.43 1.86 1.95 2/174 32304
/proc/meminfo: memFree=29117960/32873844 swapFree=7644/7644
[pid=32304] ppid=32302 vsize=4112 CPUtime=0 cores=1,3,5,7
/proc/32304/stat : 32304 (pwbo2.02) R 32302 32304 30509 0 -1 4202496 256 0 0 0 0 0 0 0 20 0 1 0 331276045 4210688 209 33554432000 4194304 5964478 140734533094928 140736436115032 5136490 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/32304/statm: 1028 213 149 433 0 512 0
[startup+0.0227149 s]
/proc/loadavg: 1.43 1.86 1.95 2/174 32304
/proc/meminfo: memFree=29117960/32873844 swapFree=7644/7644
[pid=32304] ppid=32302 vsize=5196 CPUtime=0.01 cores=1,3,5,7
/proc/32304/stat : 32304 (pwbo2.02) R 32302 32304 30509 0 -1 4202496 599 0 0 0 1 0 0 0 20 0 1 0 331276045 5320704 552 33554432000 4194304 5964478 140734533094928 140736436115032 5136490 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/32304/statm: 1299 552 211 433 0 783 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5196
[startup+0.100167 s]
/proc/loadavg: 1.43 1.86 1.95 2/174 32304
/proc/meminfo: memFree=29117960/32873844 swapFree=7644/7644
[pid=32304] ppid=32302 vsize=176564 CPUtime=0.15 cores=1,3,5,7
/proc/32304/stat : 32304 (pwbo2.02) S 32302 32304 30509 0 -1 4202496 6603 0 0 0 14 1 0 0 20 0 3 0 331276045 180801536 6408 33554432000 4194304 5964478 140734533094928 140734533094448 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32304/statm: 44141 6408 201 433 0 43705 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 176564
[startup+0.300197 s]
/proc/loadavg: 1.43 1.86 1.95 2/174 32304
/proc/meminfo: memFree=29117960/32873844 swapFree=7644/7644
[pid=32304] ppid=32302 vsize=176564 CPUtime=0.55 cores=1,3,5,7
/proc/32304/stat : 32304 (pwbo2.02) S 32302 32304 30509 0 -1 4202496 6732 0 0 0 54 1 0 0 20 0 3 0 331276045 180801536 6537 33554432000 4194304 5964478 140734533094928 140734533094448 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32304/statm: 44141 6537 201 433 0 43705 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 176564
[startup+0.700197 s]
/proc/loadavg: 1.43 1.86 1.95 2/174 32304
/proc/meminfo: memFree=29117960/32873844 swapFree=7644/7644
[pid=32304] ppid=32302 vsize=176564 CPUtime=1.35 cores=1,3,5,7
/proc/32304/stat : 32304 (pwbo2.02) S 32302 32304 30509 0 -1 4202496 7311 0 0 0 133 2 0 0 20 0 3 0 331276045 180801536 6875 33554432000 4194304 5964478 140734533094928 140734533094448 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32304/statm: 44141 6875 202 433 0 43705 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 176564
[startup+1.50039 s]
/proc/loadavg: 1.43 1.86 1.95 5/181 32314
/proc/meminfo: memFree=29051756/32873844 swapFree=7644/7644
[pid=32304] ppid=32302 vsize=176564 CPUtime=2.95 cores=1,3,5,7
/proc/32304/stat : 32304 (pwbo2.02) S 32302 32304 30509 0 -1 4202496 8153 0 0 0 293 2 0 0 20 0 3 0 331276045 180801536 7654 33554432000 4194304 5964478 140734533094928 140734533094448 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32304/statm: 44141 7654 203 433 0 43705 0
[pid=32304/tid=32313] ppid=32302 vsize=176564 CPUtime=1.45 cores=1,3,5,7
/proc/32304/task/32313/stat : 32313 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 1798 0 0 0 145 0 0 0 20 0 3 0 331276048 180801536 7654 33554432000 4194304 5964478 140734533094928 140319485131080 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32304/tid=32314] ppid=32302 vsize=176564 CPUtime=1.44 cores=1,3,5,7
/proc/32304/task/32314/stat : 32314 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 5170 0 0 0 143 1 0 0 20 0 3 0 331276048 180801536 7654 33554432000 4194304 5964478 140734533094928 140319474641128 4403343 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 176564
[startup+3.10038 s]
/proc/loadavg: 1.64 1.89 1.96 5/181 32314
/proc/meminfo: memFree=29040472/32873844 swapFree=7644/7644
[pid=32304] ppid=32302 vsize=176564 CPUtime=6.15 cores=1,3,5,7
/proc/32304/stat : 32304 (pwbo2.02) S 32302 32304 30509 0 -1 4202496 9264 0 0 0 613 2 0 0 20 0 3 0 331276045 180801536 8740 33554432000 4194304 5964478 140734533094928 140734533094448 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32304/statm: 44141 8740 203 433 0 43705 0
[pid=32304/tid=32313] ppid=32302 vsize=176564 CPUtime=3.04 cores=1,3,5,7
/proc/32304/task/32313/stat : 32313 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 2808 0 0 0 303 1 0 0 20 0 3 0 331276048 180801536 8740 33554432000 4194304 5964478 140734533094928 140319485131704 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32304/tid=32314] ppid=32302 vsize=176564 CPUtime=3.04 cores=1,3,5,7
/proc/32304/task/32314/stat : 32314 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 5271 0 0 0 303 1 0 0 20 0 3 0 331276048 180801536 8740 33554432000 4194304 5964478 140734533094928 140319474641208 4399915 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 176564
[startup+6.30038 s]
/proc/loadavg: 1.64 1.89 1.96 5/181 32314
/proc/meminfo: memFree=29023856/32873844 swapFree=7644/7644
[pid=32304] ppid=32302 vsize=176780 CPUtime=12.55 cores=1,3,5,7
/proc/32304/stat : 32304 (pwbo2.02) S 32302 32304 30509 0 -1 4202496 11015 0 0 0 1251 4 0 0 20 0 3 0 331276045 181022720 10491 33554432000 4194304 5964478 140734533094928 140734533094448 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32304/statm: 44195 10491 203 433 0 43759 0
[pid=32304/tid=32313] ppid=32302 vsize=176780 CPUtime=6.24 cores=1,3,5,7
/proc/32304/task/32313/stat : 32313 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 4145 0 0 0 623 1 0 0 20 0 3 0 331276048 181022720 10491 33554432000 4194304 5964478 140734533094928 140319485130680 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32304/tid=32314] ppid=32302 vsize=176780 CPUtime=6.23 cores=1,3,5,7
/proc/32304/task/32314/stat : 32314 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 5685 0 0 0 621 2 0 0 20 0 3 0 331276048 181022720 10491 33554432000 4194304 5964478 140734533094928 140319474641016 18446744073699066235 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 176780
[startup+12.7004 s]
/proc/loadavg: 2.00 1.96 1.98 5/181 32314
/proc/meminfo: memFree=28971344/32873844 swapFree=7644/7644
[pid=32304] ppid=32302 vsize=177104 CPUtime=25.34 cores=1,3,5,7
/proc/32304/stat : 32304 (pwbo2.02) S 32302 32304 30509 0 -1 4202496 17259 0 0 0 2523 11 0 0 20 0 3 0 331276045 181354496 16735 33554432000 4194304 5964478 140734533094928 140734533094448 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32304/statm: 44276 16735 203 433 0 43840 0
[pid=32304/tid=32313] ppid=32302 vsize=177104 CPUtime=12.62 cores=1,3,5,7
/proc/32304/task/32313/stat : 32313 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 9135 0 0 0 1257 5 0 0 20 0 3 0 331276048 181354496 16735 33554432000 4194304 5964478 140734533094928 140319485130744 4400042 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32304/tid=32314] ppid=32302 vsize=177104 CPUtime=12.61 cores=1,3,5,7
/proc/32304/task/32314/stat : 32314 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 6939 0 0 0 1255 6 0 0 20 0 3 0 331276048 181354496 16735 33554432000 4194304 5964478 140734533094928 140319474641208 4399946 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 177104
[startup+25.5004 s]
/proc/loadavg: 2.31 2.03 2.01 5/181 32314
/proc/meminfo: memFree=28918184/32873844 swapFree=7644/7644
[pid=32304] ppid=32302 vsize=177372 CPUtime=50.94 cores=1,3,5,7
/proc/32304/stat : 32304 (pwbo2.02) S 32302 32304 30509 0 -1 4202496 24418 0 0 0 5078 16 0 0 20 0 3 0 331276045 181628928 23894 33554432000 4194304 5964478 140734533094928 140734533094448 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32304/statm: 44343 23894 203 433 0 43907 0
[pid=32304/tid=32313] ppid=32302 vsize=177372 CPUtime=25.39 cores=1,3,5,7
/proc/32304/task/32313/stat : 32313 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 14227 0 0 0 2532 7 0 0 20 0 3 0 331276048 181628928 23894 33554432000 4194304 5964478 140734533094928 140319485130552 4389100 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32304/tid=32314] ppid=32302 vsize=177372 CPUtime=25.38 cores=1,3,5,7
/proc/32304/task/32314/stat : 32314 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 9006 0 0 0 2530 8 0 0 20 0 3 0 331276048 181628928 23894 33554432000 4194304 5964478 140734533094928 140319474641016 4400010 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 177372
[startup+51.1004 s]
/proc/loadavg: 2.88 2.18 2.06 5/181 32314
/proc/meminfo: memFree=28855408/32873844 swapFree=7644/7644
[pid=32304] ppid=32302 vsize=177288 CPUtime=102.13 cores=1,3,5,7
/proc/32304/stat : 32304 (pwbo2.02) S 32302 32304 30509 0 -1 4202496 31964 0 0 0 10190 23 0 0 20 0 3 0 331276045 181542912 30959 33554432000 4194304 5964478 140734533094928 140734533094448 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32304/statm: 44322 30959 203 433 0 43886 0
[pid=32304/tid=32313] ppid=32302 vsize=177288 CPUtime=50.92 cores=1,3,5,7
/proc/32304/task/32313/stat : 32313 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 16571 0 0 0 5083 9 0 0 20 0 3 0 331276048 181542912 30959 33554432000 4194304 5964478 140734533094928 140319485131592 4389132 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32304/tid=32314] ppid=32302 vsize=177288 CPUtime=50.91 cores=1,3,5,7
/proc/32304/task/32314/stat : 32314 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 14208 0 0 0 5077 14 0 0 20 0 3 0 331276048 181542912 30959 33554432000 4194304 5964478 140734533094928 140319474641256 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 177288
[startup+102.307 s]
/proc/loadavg: 3.55 2.49 2.17 5/182 32317
/proc/meminfo: memFree=28739024/32873844 swapFree=7644/7644
[pid=32304] ppid=32302 vsize=309848 CPUtime=204.52 cores=1,3,5,7
/proc/32304/stat : 32304 (pwbo2.02) S 32302 32304 30509 0 -1 4202496 50236 0 0 0 20409 43 0 0 20 0 3 0 331276045 317284352 49391 33554432000 4194304 5964478 140734533094928 140734533094448 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32304/statm: 77462 49391 203 433 0 77026 0
[pid=32304/tid=32313] ppid=32302 vsize=309848 CPUtime=101.99 cores=1,3,5,7
/proc/32304/task/32313/stat : 32313 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 21918 0 0 0 10184 15 0 0 20 0 3 0 331276048 317284352 49391 33554432000 4194304 5964478 140734533094928 140319485130552 4403560 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32304/tid=32314] ppid=32302 vsize=309848 CPUtime=101.98 cores=1,3,5,7
/proc/32304/task/32314/stat : 32314 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 27133 0 0 0 10169 29 0 0 20 0 3 0 331276048 317284352 49391 33554432000 4194304 5964478 140734533094928 140319474641208 4400603 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.52
Current children cumulated vsize (KiB) 309848
[startup+162.3 s]
/proc/loadavg: 3.82 2.74 2.27 5/181 32317
/proc/meminfo: memFree=28603592/32873844 swapFree=7644/7644
[pid=32304] ppid=32302 vsize=441896 CPUtime=324.45 cores=1,3,5,7
/proc/32304/stat : 32304 (pwbo2.02) S 32302 32304 30509 0 -1 4202496 75769 0 0 0 32382 63 0 0 20 0 3 0 331276045 452501504 75298 33554432000 4194304 5964478 140734533094928 140734533094448 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32304/statm: 110474 75298 203 433 0 110038 0
[pid=32304/tid=32313] ppid=32302 vsize=441896 CPUtime=161.8 cores=1,3,5,7
/proc/32304/task/32313/stat : 32313 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 34276 0 0 0 16155 25 0 0 20 0 3 0 331276048 452501504 75298 33554432000 4194304 5964478 140734533094928 140319485130552 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32304/tid=32314] ppid=32302 vsize=441896 CPUtime=161.8 cores=1,3,5,7
/proc/32304/task/32314/stat : 32314 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 40308 0 0 0 16139 41 0 0 20 0 3 0 331276048 452501504 75298 33554432000 4194304 5964478 140734533094928 140319474641208 4399854 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.45
Current children cumulated vsize (KiB) 441896
[startup+222.3 s]
/proc/loadavg: 3.97 3.00 2.39 5/181 32317
/proc/meminfo: memFree=28466848/32873844 swapFree=7644/7644
[pid=32304] ppid=32302 vsize=509408 CPUtime=444.37 cores=1,3,5,7
/proc/32304/stat : 32304 (pwbo2.02) S 32302 32304 30509 0 -1 4202496 101921 0 0 0 44349 88 0 0 20 0 3 0 331276045 521633792 101404 33554432000 4194304 5964478 140734533094928 140734533094448 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32304/statm: 127352 101404 203 433 0 126916 0
[pid=32304/tid=32313] ppid=32302 vsize=509408 CPUtime=221.61 cores=1,3,5,7
/proc/32304/task/32313/stat : 32313 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 44132 0 0 0 22125 36 0 0 20 0 3 0 331276048 521633792 101404 33554432000 4194304 5964478 140734533094928 140319485130744 4399941 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32304/tid=32314] ppid=32302 vsize=509408 CPUtime=221.62 cores=1,3,5,7
/proc/32304/task/32314/stat : 32314 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 56604 0 0 0 22105 57 0 0 20 0 3 0 331276048 521633792 101404 33554432000 4194304 5964478 140734533094928 140319474641208 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.37
Current children cumulated vsize (KiB) 509408
[startup+282.3 s]
/proc/loadavg: 3.99 3.16 2.48 5/181 32318
/proc/meminfo: memFree=28380548/32873844 swapFree=7644/7644
[pid=32304] ppid=32302 vsize=575212 CPUtime=564.34 cores=1,3,5,7
/proc/32304/stat : 32304 (pwbo2.02) S 32302 32304 30509 0 -1 4202496 109656 0 0 0 56338 96 0 0 20 0 3 0 331276045 589017088 110339 33554432000 4194304 5964478 140734533094928 140734533094448 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32304/statm: 143803 110339 203 433 0 143367 0
[pid=32304/tid=32313] ppid=32302 vsize=575212 CPUtime=281.45 cores=1,3,5,7
/proc/32304/task/32313/stat : 32313 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 49852 0 0 0 28103 42 0 0 20 0 3 0 331276048 589017088 110339 33554432000 4194304 5964478 140734533094928 140319485130744 4403564 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32304/tid=32314] ppid=32302 vsize=575212 CPUtime=281.46 cores=1,3,5,7
/proc/32304/task/32314/stat : 32314 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 58619 0 0 0 28085 61 0 0 20 0 3 0 331276048 589017088 110339 33554432000 4194304 5964478 140734533094928 140319474640968 4399854 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 564.34
Current children cumulated vsize (KiB) 575212
[startup+342.3 s]
/proc/loadavg: 3.99 3.31 2.57 5/181 32318
/proc/meminfo: memFree=28355272/32873844 swapFree=7644/7644
[pid=32304] ppid=32302 vsize=575496 CPUtime=684.32 cores=1,3,5,7
/proc/32304/stat : 32304 (pwbo2.02) S 32302 32304 30509 0 -1 4202496 117184 0 0 0 68328 104 0 0 20 0 3 0 331276045 589307904 117864 33554432000 4194304 5964478 140734533094928 140734533094448 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32304/statm: 143874 117864 203 433 0 143438 0
################
# More data... #
################
[pid=32304/tid=32314] ppid=32302 vsize=575496 CPUtime=341.31 cores=1,3,5,7
/proc/32304/task/32314/stat : 32314 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 58693 0 0 0 34069 62 0 0 20 0 3 0 331276048 589307904 117864 33554432000 4194304 5964478 140734533094928 140319474640968 4409199 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 684.32
Current children cumulated vsize (KiB) 575496
[startup+402.3 s]
/proc/loadavg: 3.99 3.43 2.66 5/181 32318
/proc/meminfo: memFree=28285520/32873844 swapFree=7644/7644
[pid=32304] ppid=32302 vsize=576248 CPUtime=804.31 cores=1,3,5,7
/proc/32304/stat : 32304 (pwbo2.02) S 32302 32304 30509 0 -1 4202496 125055 0 0 0 80319 112 0 0 20 0 3 0 331276045 590077952 125735 33554432000 4194304 5964478 140734533094928 140734533094448 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32304/statm: 144062 125735 203 433 0 143626 0
[pid=32304/tid=32313] ppid=32302 vsize=576248 CPUtime=401.13 cores=1,3,5,7
/proc/32304/task/32313/stat : 32313 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 65012 0 0 0 40053 60 0 0 20 0 3 0 331276048 590077952 125735 33554432000 4194304 5964478 140734533094928 140319485130344 4400103 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32304/tid=32314] ppid=32302 vsize=576248 CPUtime=401.15 cores=1,3,5,7
/proc/32304/task/32314/stat : 32314 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 58858 0 0 0 40052 63 0 0 20 0 3 0 331276048 590077952 125735 33554432000 4194304 5964478 140734533094928 140319474641208 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 804.31
Current children cumulated vsize (KiB) 576248
[startup+462.3 s]
/proc/loadavg: 3.99 3.54 2.74 5/181 32318
/proc/meminfo: memFree=28169464/32873844 swapFree=7644/7644
[pid=32304] ppid=32302 vsize=641924 CPUtime=924.27 cores=1,3,5,7
/proc/32304/stat : 32304 (pwbo2.02) S 32302 32304 30509 0 -1 4202496 134906 0 0 0 92302 125 0 0 20 0 3 0 331276045 657330176 135874 33554432000 4194304 5964478 140734533094928 140734533094448 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32304/statm: 160481 135874 203 433 0 160045 0
[pid=32304/tid=32313] ppid=32302 vsize=641924 CPUtime=460.97 cores=1,3,5,7
/proc/32304/task/32313/stat : 32313 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 66736 0 0 0 46036 61 0 0 20 0 3 0 331276048 657330176 135874 33554432000 4194304 5964478 140734533094928 140319485130792 4400103 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32304/tid=32314] ppid=32302 vsize=641924 CPUtime=460.99 cores=1,3,5,7
/proc/32304/task/32314/stat : 32314 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 66985 0 0 0 46024 75 0 0 20 0 3 0 331276048 657330176 135874 33554432000 4194304 5964478 140734533094928 140319474641208 4403343 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 924.27
Current children cumulated vsize (KiB) 641924
[startup+522.3 s]
/proc/loadavg: 3.99 3.62 2.81 5/181 32318
/proc/meminfo: memFree=28056652/32873844 swapFree=7644/7644
[pid=32304] ppid=32302 vsize=708340 CPUtime=1044.2 cores=1,3,5,7
/proc/32304/stat : 32304 (pwbo2.02) S 32302 32304 30509 0 -1 4202496 159195 0 0 0 104266 154 0 0 20 0 3 0 331276045 725340160 160486 33554432000 4194304 5964478 140734533094928 140734533094448 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32304/statm: 177085 160486 203 433 0 176649 0
[pid=32304/tid=32313] ppid=32302 vsize=708340 CPUtime=520.79 cores=1,3,5,7
/proc/32304/task/32313/stat : 32313 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 79784 0 0 0 52002 77 0 0 20 0 3 0 331276048 725340160 160486 33554432000 4194304 5964478 140734533094928 140319485130792 4400115 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32304/tid=32314] ppid=32302 vsize=708340 CPUtime=520.81 cores=1,3,5,7
/proc/32304/task/32314/stat : 32314 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 78226 0 0 0 51991 90 0 0 20 0 3 0 331276048 725340160 160486 33554432000 4194304 5964478 140734533094928 140319474641208 4400661 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1044.2
Current children cumulated vsize (KiB) 708340
[startup+582.3 s]
/proc/loadavg: 3.99 3.68 2.89 5/181 32319
/proc/meminfo: memFree=27928216/32873844 swapFree=7644/7644
[pid=32304] ppid=32302 vsize=775092 CPUtime=1164.14 cores=1,3,5,7
/proc/32304/stat : 32304 (pwbo2.02) S 32302 32304 30509 0 -1 4202496 171032 0 0 0 116241 173 0 0 20 0 3 0 331276045 793694208 172362 33554432000 4194304 5964478 140734533094928 140734533094448 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32304/statm: 193773 172362 203 433 0 193337 0
[pid=32304/tid=32313] ppid=32302 vsize=775092 CPUtime=580.61 cores=1,3,5,7
/proc/32304/task/32313/stat : 32313 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 81089 0 0 0 57982 79 0 0 20 0 3 0 331276048 793694208 172362 33554432000 4194304 5964478 140734533094928 140319485130616 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32304/tid=32314] ppid=32302 vsize=775092 CPUtime=580.63 cores=1,3,5,7
/proc/32304/task/32314/stat : 32314 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 88758 0 0 0 57954 109 0 0 20 0 3 0 331276048 793694208 172362 33554432000 4194304 5964478 140734533094928 140319474641208 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1164.14
Current children cumulated vsize (KiB) 775092
[startup+642.3 s]
/proc/loadavg: 3.99 3.74 2.96 5/181 32319
/proc/meminfo: memFree=27815500/32873844 swapFree=7644/7644
[pid=32304] ppid=32302 vsize=840760 CPUtime=1284.1 cores=1,3,5,7
/proc/32304/stat : 32304 (pwbo2.02) S 32302 32304 30509 0 -1 4202496 184974 0 0 0 128223 187 0 0 20 0 3 0 331276045 860938240 186432 33554432000 4194304 5964478 140734533094928 140734533094448 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32304/statm: 210190 186432 203 433 0 209754 0
[pid=32304/tid=32313] ppid=32302 vsize=840760 CPUtime=640.44 cores=1,3,5,7
/proc/32304/task/32313/stat : 32313 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 89299 0 0 0 63956 88 0 0 20 0 3 0 331276048 860938240 186432 33554432000 4194304 5964478 140734533094928 140319485130792 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32304/tid=32314] ppid=32302 vsize=840760 CPUtime=640.47 cores=1,3,5,7
/proc/32304/task/32314/stat : 32314 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 94490 0 0 0 63930 117 0 0 20 0 3 0 331276048 860938240 186432 33554432000 4194304 5964478 140734533094928 140319474640968 4399915 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1284.1
Current children cumulated vsize (KiB) 840760
[startup+702.3 s]
/proc/loadavg: 4.04 3.80 3.02 5/182 32322
/proc/meminfo: memFree=27809032/32873844 swapFree=7644/7644
[pid=32304] ppid=32302 vsize=840760 CPUtime=1404.06 cores=1,3,5,7
/proc/32304/stat : 32304 (pwbo2.02) S 32302 32304 30509 0 -1 4202496 186618 0 0 0 140216 190 0 0 20 0 3 0 331276045 860938240 188079 33554432000 4194304 5964478 140734533094928 140734533094448 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32304/statm: 210190 188079 203 433 0 209754 0
[pid=32304/tid=32313] ppid=32302 vsize=840760 CPUtime=700.27 cores=1,3,5,7
/proc/32304/task/32313/stat : 32313 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 90927 0 0 0 69936 91 0 0 20 0 3 0 331276048 860938240 188079 33554432000 4194304 5964478 140734533094928 140319485130616 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32304/tid=32314] ppid=32302 vsize=840760 CPUtime=700.31 cores=1,3,5,7
/proc/32304/task/32314/stat : 32314 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 94506 0 0 0 69913 118 0 0 20 0 3 0 331276048 860938240 188079 33554432000 4194304 5964478 140734533094928 140319474640968 4399978 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1404.06
Current children cumulated vsize (KiB) 840760
[startup+762.307 s]
/proc/loadavg: 4.01 3.83 3.08 5/181 32322
/proc/meminfo: memFree=27752496/32873844 swapFree=7644/7644
[pid=32304] ppid=32302 vsize=840912 CPUtime=1524.06 cores=1,3,5,7
/proc/32304/stat : 32304 (pwbo2.02) S 32302 32304 30509 0 -1 4202496 187096 0 0 0 152216 190 0 0 20 0 3 0 331276045 861093888 188556 33554432000 4194304 5964478 140734533094928 140734533094448 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32304/statm: 210228 188556 203 433 0 209792 0
[pid=32304/tid=32313] ppid=32302 vsize=840912 CPUtime=760.12 cores=1,3,5,7
/proc/32304/task/32313/stat : 32313 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 91369 0 0 0 75919 93 0 0 20 0 3 0 331276048 861093888 188556 33554432000 4194304 5964478 140734533094928 140319485130552 4388769 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32304/tid=32314] ppid=32302 vsize=840912 CPUtime=760.16 cores=1,3,5,7
/proc/32304/task/32314/stat : 32314 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 94542 0 0 0 75897 119 0 0 20 0 3 0 331276048 861093888 188556 33554432000 4194304 5964478 140734533094928 140319474640968 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1524.06
Current children cumulated vsize (KiB) 840912
[startup+822.3 s]
/proc/loadavg: 4.00 3.86 3.13 5/181 32322
/proc/meminfo: memFree=27681520/32873844 swapFree=7644/7644
[pid=32304] ppid=32302 vsize=841060 CPUtime=1644.02 cores=1,3,5,7
/proc/32304/stat : 32304 (pwbo2.02) S 32302 32304 30509 0 -1 4202496 189053 0 0 0 164211 191 0 0 20 0 3 0 331276045 861245440 190641 33554432000 4194304 5964478 140734533094928 140734533094448 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32304/statm: 210265 190641 203 433 0 209829 0
[pid=32304/tid=32313] ppid=32302 vsize=841060 CPUtime=819.96 cores=1,3,5,7
/proc/32304/task/32313/stat : 32313 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 93290 0 0 0 81901 95 0 0 20 0 3 0 331276048 861245440 190641 33554432000 4194304 5964478 140734533094928 140319485130552 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32304/tid=32314] ppid=32302 vsize=841060 CPUtime=820 cores=1,3,5,7
/proc/32304/task/32314/stat : 32314 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 94578 0 0 0 81880 120 0 0 20 0 3 0 331276048 861245440 190641 33554432000 4194304 5964478 140734533094928 140319474640968 4399915 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1644.02
Current children cumulated vsize (KiB) 841060
[startup+882.3 s]
/proc/loadavg: 4.00 3.88 3.19 5/181 32323
/proc/meminfo: memFree=27625068/32873844 swapFree=7644/7644
[pid=32304] ppid=32302 vsize=841392 CPUtime=1764.01 cores=1,3,5,7
/proc/32304/stat : 32304 (pwbo2.02) S 32302 32304 30509 0 -1 4202496 191252 0 0 0 176207 194 0 0 20 0 3 0 331276045 861585408 192837 33554432000 4194304 5964478 140734533094928 140734533094448 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32304/statm: 210348 192837 203 433 0 209912 0
[pid=32304/tid=32313] ppid=32302 vsize=841392 CPUtime=879.8 cores=1,3,5,7
/proc/32304/task/32313/stat : 32313 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 95419 0 0 0 87882 98 0 0 20 0 3 0 331276048 861585408 192837 33554432000 4194304 5964478 140734533094928 140319485130552 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32304/tid=32314] ppid=32302 vsize=841392 CPUtime=879.84 cores=1,3,5,7
/proc/32304/task/32314/stat : 32314 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 94648 0 0 0 87863 121 0 0 20 0 3 0 331276048 861585408 192837 33554432000 4194304 5964478 140734533094928 140319474640968 4399854 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1764.01
Current children cumulated vsize (KiB) 841392
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 3.89 3.20 5/181 32323
/proc/meminfo: memFree=27602964/32873844 swapFree=7644/7644
[pid=32304] ppid=32302 vsize=841528 CPUtime=1800.02 cores=1,3,5,7
/proc/32304/stat : 32304 (pwbo2.02) S 32302 32304 30509 0 -1 4202496 192010 0 0 0 179808 194 0 0 20 0 3 0 331276045 861724672 193593 33554432000 4194304 5964478 140734533094928 140734533094448 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32304/statm: 210382 193593 203 433 0 209946 0
[pid=32304/tid=32313] ppid=32302 vsize=841528 CPUtime=897.76 cores=1,3,5,7
/proc/32304/task/32313/stat : 32313 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 96155 0 0 0 89678 98 0 0 20 0 3 0 331276048 861724672 193593 33554432000 4194304 5964478 140734533094928 140319485130552 4400006 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32304/tid=32314] ppid=32302 vsize=841528 CPUtime=897.8 cores=1,3,5,7
/proc/32304/task/32314/stat : 32314 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 94670 0 0 0 89659 121 0 0 20 0 3 0 331276048 861724672 193593 33554432000 4194304 5964478 140734533094928 140319474640968 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 841528
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.3 s]
/proc/loadavg: 4.00 3.89 3.20 5/181 32323
/proc/meminfo: memFree=27602964/32873844 swapFree=7644/7644
[pid=32304] ppid=32302 vsize=841528 CPUtime=1800.02 cores=1,3,5,7
/proc/32304/stat : 32304 (pwbo2.02) S 32302 32304 30509 0 -1 4202496 192010 0 0 0 179808 194 0 0 20 0 3 0 331276045 861724672 193593 33554432000 4194304 5964478 140734533094928 140734533094448 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32304/statm: 210382 193593 203 433 0 209946 0
[pid=32304/tid=32313] ppid=32302 vsize=841528 CPUtime=897.76 cores=1,3,5,7
/proc/32304/task/32313/stat : 32313 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 96155 0 0 0 89678 98 0 0 20 0 3 0 331276048 861724672 193593 33554432000 4194304 5964478 140734533094928 140319485130552 4400006 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32304/tid=32314] ppid=32302 vsize=841528 CPUtime=897.8 cores=1,3,5,7
/proc/32304/task/32314/stat : 32314 (pwbo2.02) R 32302 32304 30509 0 -1 4202560 94670 0 0 0 89659 121 0 0 20 0 3 0 331276048 861724672 193593 33554432000 4194304 5964478 140734533094928 140319474640968 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 841528
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32304 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=420358
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=232660
# CPU time returned by wait4() is 1795.65
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.335
CPU time (s): 1800.02
CPU user time (s): 1798.08
CPU system time (s): 1.94
CPU usage (%): 199.928
Max. virtual memory (cumulated for all children) (KiB): 841528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.42
system time used= 2.23266
maximum resident set size= 774376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192011
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= 701
involuntary context switches= 3653
runsolver used 2.01169 second user time and 5.47417 second system time
The end