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-3728568-1338672361/watcher-3728568-1338672361 -o /tmp/evaluation-result-3728568-1338672361/solver-3728568-1338672361 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728568-1338672361.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.84 3.97 3.70 4/178 8378
/proc/meminfo: memFree=27241176/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=4288 CPUtime=0 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) R 8376 8378 7711 0 -1 4202496 369 0 0 0 0 0 0 0 20 0 1 0 333362160 4390912 322 33554432000 4194304 5964478 140736406547168 140733299958552 5179243 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 1072 323 167 433 0 614 0
[startup+0.0136009 s]
/proc/loadavg: 3.84 3.97 3.70 4/178 8378
/proc/meminfo: memFree=27241176/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=163272 CPUtime=0.01 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) S 8376 8378 7711 0 -1 4202496 1249 0 0 0 1 0 0 0 20 0 3 0 333362160 167190528 1173 33554432000 4194304 5964478 140736406547168 140736406546688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 40818 1173 189 433 0 40382 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 163272
[startup+0.100153 s]
/proc/loadavg: 3.84 3.97 3.70 4/178 8378
/proc/meminfo: memFree=27241176/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=163272 CPUtime=0.18 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) S 8376 8378 7711 0 -1 4202496 1907 0 0 0 18 0 0 0 20 0 3 0 333362160 167190528 1703 33554432000 4194304 5964478 140736406547168 140736406546688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 40818 1703 199 433 0 40382 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 163272
[startup+0.30012 s]
/proc/loadavg: 3.84 3.97 3.70 4/178 8378
/proc/meminfo: memFree=27241176/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=163272 CPUtime=0.57 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) S 8376 8378 7711 0 -1 4202496 2738 0 0 0 57 0 0 0 20 0 3 0 333362160 167190528 2469 33554432000 4194304 5964478 140736406547168 140736406546688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 40818 2469 199 433 0 40382 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 163272
[startup+0.700139 s]
/proc/loadavg: 3.84 3.97 3.70 4/178 8378
/proc/meminfo: memFree=27241176/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=163536 CPUtime=1.37 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) S 8376 8378 7711 0 -1 4202496 3531 0 0 0 137 0 0 0 20 0 3 0 333362160 167460864 3220 33554432000 4194304 5964478 140736406547168 140736406546688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 40884 3220 199 433 0 40448 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 163536
[startup+1.50025 s]
/proc/loadavg: 3.84 3.97 3.70 5/181 8381
/proc/meminfo: memFree=27226400/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=163668 CPUtime=2.97 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) S 8376 8378 7711 0 -1 4202496 4413 0 0 0 296 1 0 0 20 0 3 0 333362160 167596032 4087 33554432000 4194304 5964478 140736406547168 140736406546688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 40917 4087 199 433 0 40481 0
[pid=8378/tid=8380] ppid=8376 vsize=163668 CPUtime=1.47 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 2079 0 0 0 147 0 0 0 20 0 3 0 333362161 167596032 4087 33554432000 4194304 5964478 140736406547168 140116630493176 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=163668 CPUtime=1.47 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 1377 0 0 0 147 0 0 0 20 0 3 0 333362161 167596032 4087 33554432000 4194304 5964478 140736406547168 140116620003576 4400519 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 163668
[startup+3.10028 s]
/proc/loadavg: 3.84 3.97 3.70 5/181 8381
/proc/meminfo: memFree=27220200/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=163936 CPUtime=6.17 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) S 8376 8378 7711 0 -1 4202496 6168 0 0 0 616 1 0 0 20 0 3 0 333362160 167870464 5799 33554432000 4194304 5964478 140736406547168 140736406546688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 40984 5799 199 433 0 40548 0
[pid=8378/tid=8380] ppid=8376 vsize=163936 CPUtime=3.07 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 3521 0 0 0 305 2 0 0 20 0 3 0 333362161 167870464 5799 33554432000 4194304 5964478 140736406547168 140116630493176 5136490 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=163936 CPUtime=3.07 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 1690 0 0 0 307 0 0 0 20 0 3 0 333362161 167870464 5799 33554432000 4194304 5964478 140736406547168 140116620003552 4381755 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 163936
[startup+6.30023 s]
/proc/loadavg: 3.85 3.97 3.70 5/181 8381
/proc/meminfo: memFree=27191836/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=164528 CPUtime=12.57 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) S 8376 8378 7711 0 -1 4202496 9642 0 0 0 1254 3 0 0 20 0 3 0 333362160 168476672 9243 33554432000 4194304 5964478 140736406547168 140736406546688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 41132 9243 199 433 0 40696 0
[pid=8378/tid=8380] ppid=8376 vsize=164528 CPUtime=6.27 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 6349 0 0 0 624 3 0 0 20 0 3 0 333362161 168476672 9243 33554432000 4194304 5964478 140736406547168 140116630493176 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=164528 CPUtime=6.27 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 2336 0 0 0 627 0 0 0 20 0 3 0 333362161 168476672 9243 33554432000 4194304 5964478 140736406547168 140116620003576 4400056 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 164528
[startup+12.7002 s]
/proc/loadavg: 3.86 3.97 3.71 5/181 8381
/proc/meminfo: memFree=27114676/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=165844 CPUtime=25.36 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) S 8376 8378 7711 0 -1 4202496 18566 0 0 0 2529 7 0 0 20 0 3 0 333362160 169824256 18166 33554432000 4194304 5964478 140736406547168 140736406546688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 41461 18166 199 433 0 41025 0
[pid=8378/tid=8380] ppid=8376 vsize=165844 CPUtime=12.67 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 11367 0 0 0 1261 6 0 0 20 0 3 0 333362161 169824256 18166 33554432000 4194304 5964478 140736406547168 140116630493176 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=165844 CPUtime=12.67 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 6242 0 0 0 1265 2 0 0 20 0 3 0 333362161 169824256 18166 33554432000 4194304 5964478 140736406547168 140116620003640 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 165844
[startup+25.5003 s]
/proc/loadavg: 3.89 3.97 3.71 5/181 8381
/proc/meminfo: memFree=27043620/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=233036 CPUtime=50.96 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) S 8376 8378 7711 0 -1 4202496 31903 0 0 0 5081 15 0 0 20 0 3 0 333362160 238628864 31503 33554432000 4194304 5964478 140736406547168 140736406546688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 58259 31504 199 433 0 57823 0
[pid=8378/tid=8380] ppid=8376 vsize=233036 CPUtime=25.47 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 18512 0 0 0 2537 10 0 0 20 0 3 0 333362161 238628864 31504 33554432000 4194304 5964478 140736406547168 140116630493176 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=233036 CPUtime=25.47 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 12435 0 0 0 2541 6 0 0 20 0 3 0 333362161 238628864 31504 33554432000 4194304 5964478 140736406547168 140116620003632 4381776 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 233036
[startup+51.1003 s]
/proc/loadavg: 4.00 3.99 3.72 5/182 8382
/proc/meminfo: memFree=26805212/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=300596 CPUtime=102.14 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) S 8376 8378 7711 0 -1 4202496 53606 0 0 0 10186 28 0 0 20 0 3 0 333362160 307810304 53206 33554432000 4194304 5964478 140736406547168 140736406546688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 75149 53206 199 433 0 74713 0
[pid=8378/tid=8380] ppid=8376 vsize=300596 CPUtime=51.07 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 30325 0 0 0 5090 17 0 0 20 0 3 0 333362161 307810304 53206 33554432000 4194304 5964478 140736406547168 140116630493176 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=300596 CPUtime=51.07 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 22324 0 0 0 5094 13 0 0 20 0 3 0 333362161 307810304 53206 33554432000 4194304 5964478 140736406547168 140116620003640 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 300596
[startup+102.307 s]
/proc/loadavg: 4.00 3.99 3.73 5/182 8382
/proc/meminfo: memFree=26631048/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=434112 CPUtime=204.54 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) S 8376 8378 7711 0 -1 4202496 82722 0 0 0 20405 49 0 0 20 0 3 0 333362160 444530688 82322 33554432000 4194304 5964478 140736406547168 140736406546688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 108528 82322 199 433 0 108092 0
[pid=8378/tid=8380] ppid=8376 vsize=434112 CPUtime=102.27 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 45167 0 0 0 10197 30 0 0 20 0 3 0 333362161 444530688 82322 33554432000 4194304 5964478 140736406547168 140116630492984 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=434112 CPUtime=102.27 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 36598 0 0 0 10205 22 0 0 20 0 3 0 333362161 444530688 82322 33554432000 4194304 5964478 140736406547168 140116620003400 4399964 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.54
Current children cumulated vsize (KiB) 434112
[startup+162.3 s]
/proc/loadavg: 4.00 3.99 3.75 5/181 8383
/proc/meminfo: memFree=26327924/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=502084 CPUtime=324.5 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) S 8376 8378 7711 0 -1 4202496 106634 0 0 0 32382 68 0 0 20 0 3 0 333362160 514134016 106234 33554432000 4194304 5964478 140736406547168 140736406546688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 125521 106234 199 433 0 125085 0
[pid=8378/tid=8380] ppid=8376 vsize=502084 CPUtime=162.27 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 62609 0 0 0 16180 47 0 0 20 0 3 0 333362161 514134016 106234 33554432000 4194304 5964478 140736406547168 140116630493088 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=502084 CPUtime=162.27 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 43068 0 0 0 16200 27 0 0 20 0 3 0 333362161 514134016 106234 33554432000 4194304 5964478 140736406547168 140116620003744 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.5
Current children cumulated vsize (KiB) 502084
[startup+222.3 s]
/proc/loadavg: 4.00 3.99 3.76 5/181 8383
/proc/meminfo: memFree=26214756/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=569944 CPUtime=444.46 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) S 8376 8378 7711 0 -1 4202496 117459 0 0 0 44368 78 0 0 20 0 3 0 333362160 583622656 117566 33554432000 4194304 5964478 140736406547168 140736406546688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 142486 117566 199 433 0 142050 0
[pid=8378/tid=8380] ppid=8376 vsize=569944 CPUtime=222.25 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 72924 0 0 0 22168 57 0 0 20 0 3 0 333362161 583622656 117566 33554432000 4194304 5964478 140736406547168 140116630493176 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=569944 CPUtime=222.27 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 43578 0 0 0 22199 28 0 0 20 0 3 0 333362161 583622656 117566 33554432000 4194304 5964478 140736406547168 140116620003400 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.46
Current children cumulated vsize (KiB) 569944
[startup+282.3 s]
/proc/loadavg: 4.07 4.02 3.78 5/182 8386
/proc/meminfo: memFree=25992828/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=637264 CPUtime=564.42 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) S 8376 8378 7711 0 -1 4202496 138381 0 0 0 56337 105 0 0 20 0 3 0 333362160 652558336 138605 33554432000 4194304 5964478 140736406547168 140736406546688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 159316 138605 199 433 0 158880 0
[pid=8378/tid=8380] ppid=8376 vsize=637264 CPUtime=282.21 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 93527 0 0 0 28136 85 0 0 20 0 3 0 333362161 652558336 138605 33554432000 4194304 5964478 140736406547168 140116630493176 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=637264 CPUtime=282.27 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 43897 0 0 0 28198 29 0 0 20 0 3 0 333362161 652558336 138605 33554432000 4194304 5964478 140736406547168 140116620003744 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 564.42
Current children cumulated vsize (KiB) 637264
[startup+342.3 s]
/proc/loadavg: 4.02 4.01 3.79 5/181 8386
/proc/meminfo: memFree=25704816/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=706144 CPUtime=684.36 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) S 8376 8378 7711 0 -1 4202496 164549 0 0 0 68305 131 0 0 20 0 3 0 333362160 723091456 164786 33554432000 4194304 5964478 140736406547168 140736406546688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 176536 164786 199 433 0 176100 0
################
# More data... #
################
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.82 5/181 8387
/proc/meminfo: memFree=25226156/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=841284 CPUtime=1044.19 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) S 8376 8378 7711 0 -1 4202496 183638 0 0 0 104273 146 0 0 20 0 3 0 333362160 861474816 185405 33554432000 4194304 5964478 140736406547168 140736406546688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 210321 185405 199 433 0 209885 0
[pid=8378/tid=8380] ppid=8376 vsize=841284 CPUtime=522.14 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 115920 0 0 0 52102 112 0 0 20 0 3 0 333362161 861474816 185405 33554432000 4194304 5964478 140736406547168 140116630493088 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=841284 CPUtime=522.2 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 66761 0 0 0 52170 50 0 0 20 0 3 0 333362161 861474816 185405 33554432000 4194304 5964478 140736406547168 140116620003400 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1044.19
Current children cumulated vsize (KiB) 841284
[startup+582.3 s]
/proc/loadavg: 4.08 4.03 3.84 5/181 8387
/proc/meminfo: memFree=25180016/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=907460 CPUtime=1164.17 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) S 8376 8378 7711 0 -1 4202496 189054 0 0 0 116266 151 0 0 20 0 3 0 333362160 929239040 190821 33554432000 4194304 5964478 140736406547168 140736406546688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 226865 190821 199 433 0 226429 0
[pid=8378/tid=8380] ppid=8376 vsize=907460 CPUtime=582.14 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 115968 0 0 0 58101 113 0 0 20 0 3 0 333362161 929239040 190821 33554432000 4194304 5964478 140736406547168 140116630493088 4400542 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=907460 CPUtime=582.2 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 72129 0 0 0 58164 56 0 0 20 0 3 0 333362161 929239040 190821 33554432000 4194304 5964478 140736406547168 140116620003640 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1164.17
Current children cumulated vsize (KiB) 907460
[startup+642.3 s]
/proc/loadavg: 4.07 4.03 3.85 5/181 8387
/proc/meminfo: memFree=25079356/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=908692 CPUtime=1284.17 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) S 8376 8378 7711 0 -1 4202496 206971 0 0 0 128249 168 0 0 20 0 3 0 333362160 930500608 208738 33554432000 4194304 5964478 140736406547168 140736406546688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 227173 208738 199 433 0 226737 0
[pid=8378/tid=8380] ppid=8376 vsize=908692 CPUtime=642.14 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 124497 0 0 0 64090 124 0 0 20 0 3 0 333362161 930500608 208738 33554432000 4194304 5964478 140736406547168 140116630493176 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=908692 CPUtime=642.21 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 81517 0 0 0 64158 63 0 0 20 0 3 0 333362161 930500608 208738 33554432000 4194304 5964478 140736406547168 140116620003400 4400067 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1284.17
Current children cumulated vsize (KiB) 908692
[startup+702.3 s]
/proc/loadavg: 4.02 4.03 3.86 5/181 8387
/proc/meminfo: memFree=24869328/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=1108300 CPUtime=1404.13 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) S 8376 8378 7711 0 -1 4202496 242632 0 0 0 140216 197 0 0 20 0 3 0 333362160 1134899200 244377 33554432000 4194304 5964478 140736406547168 140736406546688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 277075 244378 199 433 0 276639 0
[pid=8378/tid=8380] ppid=8376 vsize=1108300 CPUtime=702.14 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 138198 0 0 0 70076 138 0 0 20 0 3 0 333362161 1134899200 244378 33554432000 4194304 5964478 140736406547168 140116630493176 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=1108300 CPUtime=702.2 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 103478 0 0 0 70140 80 0 0 20 0 3 0 333362161 1134899200 244378 33554432000 4194304 5964478 140736406547168 140116620003640 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1404.13
Current children cumulated vsize (KiB) 1108300
Solver just ended. Dumping a history of the last processes samples
[startup+716.7 s]
/proc/loadavg: 4.02 4.02 3.86 5/181 8387
/proc/meminfo: memFree=24856912/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=1108624 CPUtime=1432.92 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) S 8376 8378 7711 0 -1 4202496 245396 0 0 0 143092 200 0 0 20 0 3 0 333362160 1135230976 247141 33554432000 4194304 5964478 140736406547168 140736406546688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 277156 247141 199 433 0 276720 0
[pid=8378/tid=8380] ppid=8376 vsize=1108624 CPUtime=716.54 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 140891 0 0 0 71513 141 0 0 20 0 3 0 333362161 1135230976 247141 33554432000 4194304 5964478 140736406547168 140116630493176 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=1108624 CPUtime=716.6 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 103548 0 0 0 71580 80 0 0 20 0 3 0 333362161 1135230976 247141 33554432000 4194304 5964478 140736406547168 140116620003744 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1432.92
Current children cumulated vsize (KiB) 1108624
[startup+742.3 s]
/proc/loadavg: 4.01 4.02 3.86 5/181 8387
/proc/meminfo: memFree=24840000/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=1108624 CPUtime=1484.12 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) S 8376 8378 7711 0 -1 4202496 249489 0 0 0 148205 207 0 0 20 0 3 0 333362160 1135230976 251168 33554432000 4194304 5964478 140736406547168 140736406546688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 277156 251168 199 433 0 276720 0
[pid=8378/tid=8380] ppid=8376 vsize=1108624 CPUtime=742.14 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 144984 0 0 0 74066 148 0 0 20 0 3 0 333362161 1135230976 251168 33554432000 4194304 5964478 140736406547168 140116630493176 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=1108624 CPUtime=742.2 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 103548 0 0 0 74139 81 0 0 20 0 3 0 333362161 1135230976 251168 33554432000 4194304 5964478 140736406547168 140116620003672 4391782 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1484.12
Current children cumulated vsize (KiB) 1108624
[startup+748.7 s]
/proc/loadavg: 4.01 4.02 3.86 5/181 8387
/proc/meminfo: memFree=24834792/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=1108948 CPUtime=1496.92 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) S 8376 8378 7711 0 -1 4202496 250768 0 0 0 149484 208 0 0 20 0 3 0 333362160 1135562752 252447 33554432000 4194304 5964478 140736406547168 140736406546688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 277237 252447 199 433 0 276801 0
[pid=8378/tid=8380] ppid=8376 vsize=1108948 CPUtime=748.54 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 146263 0 0 0 74704 150 0 0 20 0 3 0 333362161 1135562752 252447 33554432000 4194304 5964478 140736406547168 140116630493176 4400091 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=1108948 CPUtime=748.6 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 103548 0 0 0 74779 81 0 0 20 0 3 0 333362161 1135562752 252447 33554432000 4194304 5964478 140736406547168 140116620003672 4400091 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1496.92
Current children cumulated vsize (KiB) 1108948
[startup+751.9 s]
/proc/loadavg: 4.01 4.02 3.86 5/181 8387
/proc/meminfo: memFree=24831864/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=1108948 CPUtime=1503.32 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) S 8376 8378 7711 0 -1 4202496 251442 0 0 0 150122 210 0 0 20 0 3 0 333362160 1135562752 253121 33554432000 4194304 5964478 140736406547168 140736406546688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 277237 253121 199 433 0 276801 0
[pid=8378/tid=8380] ppid=8376 vsize=1108948 CPUtime=751.74 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 146937 0 0 0 75023 151 0 0 20 0 3 0 333362161 1135562752 253121 33554432000 4194304 5964478 140736406547168 140116630493176 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=1108948 CPUtime=751.8 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 103548 0 0 0 75099 81 0 0 20 0 3 0 333362161 1135562752 253121 33554432000 4194304 5964478 140736406547168 140116620003672 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1503.32
Current children cumulated vsize (KiB) 1108948
[startup+755.1 s]
/proc/loadavg: 4.01 4.02 3.86 5/181 8387
/proc/meminfo: memFree=24828764/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=1109108 CPUtime=1509.71 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) S 8376 8378 7711 0 -1 4202496 252245 0 0 0 150761 210 0 0 20 0 3 0 333362160 1135726592 253924 33554432000 4194304 5964478 140736406547168 140736406546688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 277277 253924 199 433 0 276841 0
[pid=8378/tid=8380] ppid=8376 vsize=1109108 CPUtime=754.94 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 147740 0 0 0 75342 152 0 0 20 0 3 0 333362161 1135726592 253924 33554432000 4194304 5964478 140736406547168 140116630493176 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=1109108 CPUtime=755 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 103548 0 0 0 75419 81 0 0 20 0 3 0 333362161 1135726592 253924 33554432000 4194304 5964478 140736406547168 140116620003672 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1509.71
Current children cumulated vsize (KiB) 1109108
[startup+755.9 s]
/proc/loadavg: 4.01 4.02 3.86 5/180 8387
/proc/meminfo: memFree=24827276/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=1109592 CPUtime=1511.31 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) S 8376 8378 7711 0 -1 4202496 252564 0 0 0 150921 210 0 0 20 0 3 0 333362160 1136222208 254242 33554432000 4194304 5964478 140736406547168 140736406546688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 277398 254242 199 433 0 276962 0
[pid=8378/tid=8380] ppid=8376 vsize=1109592 CPUtime=755.74 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 148059 0 0 0 75422 152 0 0 20 0 3 0 333362161 1136222208 254242 33554432000 4194304 5964478 140736406547168 140116630493176 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=1109592 CPUtime=755.8 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 103548 0 0 0 75499 81 0 0 20 0 3 0 333362161 1136222208 254242 33554432000 4194304 5964478 140736406547168 140116620003672 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1511.31
Current children cumulated vsize (KiB) 1109592
[startup+756.7 s]
/proc/loadavg: 4.01 4.02 3.86 5/180 8387
/proc/meminfo: memFree=24825796/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=1109592 CPUtime=1512.93 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) S 8376 8378 7711 0 -1 4202496 252828 0 0 0 151082 211 0 0 20 0 3 0 333362160 1136222208 254506 33554432000 4194304 5964478 140736406547168 140736406546688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 277398 254506 199 433 0 276962 0
[pid=8378/tid=8380] ppid=8376 vsize=1109592 CPUtime=756.54 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 148323 0 0 0 75501 153 0 0 20 0 3 0 333362161 1136222208 254506 33554432000 4194304 5964478 140736406547168 140116630493176 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=1109592 CPUtime=756.61 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 103548 0 0 0 75580 81 0 0 20 0 3 0 333362161 1136222208 254506 33554432000 4194304 5964478 140736406547168 140116620003672 4400628 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1512.93
Current children cumulated vsize (KiB) 1109592
[startup+757.1 s]
/proc/loadavg: 4.01 4.02 3.86 5/180 8387
/proc/meminfo: memFree=24825796/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=1109592 CPUtime=1513.71 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) S 8376 8378 7711 0 -1 4202496 253016 0 0 0 151160 211 0 0 20 0 3 0 333362160 1136222208 254694 33554432000 4194304 5964478 140736406547168 140736406546688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 277398 254694 199 433 0 276962 0
[pid=8378/tid=8380] ppid=8376 vsize=1109592 CPUtime=756.94 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 148511 0 0 0 75541 153 0 0 20 0 3 0 333362161 1136222208 254694 33554432000 4194304 5964478 140736406547168 140116630493176 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=1109592 CPUtime=757 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 103548 0 0 0 75619 81 0 0 20 0 3 0 333362161 1136222208 254694 33554432000 4194304 5964478 140736406547168 140116620003672 4400432 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1513.71
Current children cumulated vsize (KiB) 1109592
[startup+757.2 s]
/proc/loadavg: 4.01 4.02 3.86 5/180 8387
/proc/meminfo: memFree=24825796/32873648 swapFree=6860/6860
[pid=8378] ppid=8376 vsize=1109592 CPUtime=1513.91 cores=1,3,5,7
/proc/8378/stat : 8378 (pwbo2.02) S 8376 8378 7711 0 -1 4202496 253058 0 0 0 151180 211 0 0 20 0 3 0 333362160 1136222208 254736 33554432000 4194304 5964478 140736406547168 140736406546688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8378/statm: 277398 254736 199 433 0 276962 0
[pid=8378/tid=8380] ppid=8376 vsize=1109592 CPUtime=757.04 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 148553 0 0 0 75551 153 0 0 20 0 3 0 333362161 1136222208 254736 33554432000 4194304 5964478 140736406547168 140116630493176 4400089 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=1109592 CPUtime=757.1 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (pwbo2.02) R 8376 8378 7711 0 -1 4202560 103548 0 0 0 75629 81 0 0 20 0 3 0 333362161 1136222208 254736 33554432000 4194304 5964478 140736406547168 140116620003672 4400067 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1513.91
Current children cumulated vsize (KiB) 1109592
Child status: 255
Real time (s): 757.259
CPU time (s): 1514.26
CPU user time (s): 1511.87
CPU system time (s): 2.39064
CPU usage (%): 199.966
Max. virtual memory (cumulated for all children) (KiB): 1109592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1511.87
system time used= 2.39064
maximum resident set size= 1019016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 253076
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= 797
involuntary context switches= 1636
runsolver used 2.15967 second user time and 3.55346 second system time
The end