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-3500275-1307992937/watcher-3500275-1307992937 -o /tmp/evaluation-result-3500275-1307992937/solver-3500275-1307992937 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500275-1307992937.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.87 3.94 3.88 4/179 25446
/proc/meminfo: memFree=15649064/32951124 swapFree=67053176/67111528
[pid=25446] ppid=25444 vsize=2220 CPUtime=0 cores=0,2,4,6
/proc/25446/stat : 25446 (pwbo1.1) R 25444 25446 24477 0 -1 4202496 329 0 0 0 0 0 0 0 25 0 1 0 910891390 2273280 281 33554432000 4194304 5714118 140733432530128 18446744073709551615 4228496 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/25446/statm: 555 281 167 372 0 151 0
[startup+0.101413 s]
/proc/loadavg: 3.87 3.94 3.88 4/179 25446
/proc/meminfo: memFree=15649064/32951124 swapFree=67053176/67111528
[pid=25446] ppid=25444 vsize=155600 CPUtime=0.18 cores=0,2,4,6
/proc/25446/stat : 25446 (pwbo1.1) S 25444 25446 24477 0 -1 4202496 9417 0 0 0 12 6 0 0 25 0 3 0 910891390 159334400 9325 33554432000 4194304 5714118 140733432530128 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25446/statm: 38900 9325 178 372 0 38525 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 155600
[startup+0.200397 s]
/proc/loadavg: 3.87 3.94 3.88 4/179 25446
/proc/meminfo: memFree=15649064/32951124 swapFree=67053176/67111528
[pid=25446] ppid=25444 vsize=155780 CPUtime=0.38 cores=0,2,4,6
/proc/25446/stat : 25446 (pwbo1.1) S 25444 25446 24477 0 -1 4202496 9610 0 0 0 32 6 0 0 25 0 3 0 910891390 159518720 9518 33554432000 4194304 5714118 140733432530128 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25446/statm: 38945 9518 178 372 0 38570 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 155780
[startup+0.300379 s]
/proc/loadavg: 3.87 3.94 3.88 4/179 25446
/proc/meminfo: memFree=15649064/32951124 swapFree=67053176/67111528
[pid=25446] ppid=25444 vsize=155924 CPUtime=0.57 cores=0,2,4,6
/proc/25446/stat : 25446 (pwbo1.1) S 25444 25446 24477 0 -1 4202496 9776 0 0 0 51 6 0 0 25 0 3 0 910891390 159666176 9683 33554432000 4194304 5714118 140733432530128 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25446/statm: 38981 9683 179 372 0 38606 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 155924
[startup+0.700307 s]
/proc/loadavg: 3.87 3.94 3.88 4/179 25446
/proc/meminfo: memFree=15649064/32951124 swapFree=67053176/67111528
[pid=25446] ppid=25444 vsize=155924 CPUtime=1.38 cores=0,2,4,6
/proc/25446/stat : 25446 (pwbo1.1) S 25444 25446 24477 0 -1 4202496 10291 0 0 0 130 8 0 0 25 0 3 0 910891390 159666176 10198 33554432000 4194304 5714118 140733432530128 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25446/statm: 38981 10198 179 372 0 38606 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 155924
[startup+1.50116 s]
/proc/loadavg: 3.87 3.94 3.88 6/182 25449
/proc/meminfo: memFree=15603304/32951124 swapFree=67053176/67111528
[pid=25446] ppid=25444 vsize=156068 CPUtime=2.98 cores=0,2,4,6
/proc/25446/stat : 25446 (pwbo1.1) S 25444 25446 24477 0 -1 4202496 11933 0 0 0 287 11 0 0 25 0 3 0 910891390 159813632 11840 33554432000 4194304 5714118 140733432530128 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25446/statm: 39017 11840 179 372 0 38642 0
[pid=25446/tid=25448] ppid=25444 vsize=156068 CPUtime=1.48 cores=0,2,4,6
/proc/25446/task/25448/stat : 25448 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 1722 0 0 0 146 2 0 0 20 0 3 0 910891391 159813632 11840 33554432000 4194304 5714118 140733432530128 18446744073709551615 4197776 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25446/tid=25449] ppid=25444 vsize=156068 CPUtime=1.48 cores=0,2,4,6
/proc/25446/task/25449/stat : 25449 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 9698 0 0 0 139 9 0 0 18 0 3 0 910891391 159813632 11840 33554432000 4194304 5714118 140733432530128 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 156068
[startup+3.10085 s]
/proc/loadavg: 3.88 3.94 3.88 5/182 25449
/proc/meminfo: memFree=15590160/32951124 swapFree=67053176/67111528
[pid=25446] ppid=25444 vsize=156192 CPUtime=6.19 cores=0,2,4,6
/proc/25446/stat : 25446 (pwbo1.1) S 25444 25446 24477 0 -1 4202496 14183 0 0 0 597 22 0 0 25 0 3 0 910891390 159940608 14064 33554432000 4194304 5714118 140733432530128 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25446/statm: 39048 14064 179 372 0 38673 0
[pid=25446/tid=25448] ppid=25444 vsize=156192 CPUtime=3.08 cores=0,2,4,6
/proc/25446/task/25448/stat : 25448 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 1877 0 0 0 303 5 0 0 25 0 3 0 910891391 159940608 14064 33554432000 4194304 5714118 140733432530128 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25446/tid=25449] ppid=25444 vsize=156192 CPUtime=3.08 cores=0,2,4,6
/proc/25446/task/25449/stat : 25449 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 11793 0 0 0 292 16 0 0 20 0 3 0 910891391 159940608 14064 33554432000 4194304 5714118 140733432530128 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 156192
[startup+6.3003 s]
/proc/loadavg: 3.88 3.94 3.88 6/182 25450
/proc/meminfo: memFree=15565800/32951124 swapFree=67053176/67111528
[pid=25446] ppid=25444 vsize=157060 CPUtime=12.57 cores=0,2,4,6
/proc/25446/stat : 25446 (pwbo1.1) S 25444 25446 24477 0 -1 4202496 20202 0 0 0 1215 42 0 0 25 0 3 0 910891390 160829440 20083 33554432000 4194304 5714118 140733432530128 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25446/statm: 39265 20083 180 372 0 38890 0
[pid=25446/tid=25448] ppid=25444 vsize=157060 CPUtime=6.28 cores=0,2,4,6
/proc/25446/task/25448/stat : 25448 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 3288 0 0 0 620 8 0 0 25 0 3 0 910891391 160829440 20083 33554432000 4194304 5714118 140733432530128 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25446/tid=25449] ppid=25444 vsize=157060 CPUtime=6.28 cores=0,2,4,6
/proc/25446/task/25449/stat : 25449 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 16401 0 0 0 594 34 0 0 19 0 3 0 910891391 160829440 20083 33554432000 4194304 5714118 140733432530128 18446744073709551615 4319851 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 157060
[startup+12.7011 s]
/proc/loadavg: 3.90 3.94 3.88 6/182 25450
/proc/meminfo: memFree=15551296/32951124 swapFree=67053176/67111528
[pid=25446] ppid=25444 vsize=157608 CPUtime=25.38 cores=0,2,4,6
/proc/25446/stat : 25446 (pwbo1.1) S 25444 25446 24477 0 -1 4202496 22202 0 0 0 2484 54 0 0 25 0 3 0 910891390 161390592 22083 33554432000 4194304 5714118 140733432530128 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25446/statm: 39402 22083 180 372 0 39027 0
[pid=25446/tid=25448] ppid=25444 vsize=157608 CPUtime=12.69 cores=0,2,4,6
/proc/25446/task/25448/stat : 25448 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 4631 0 0 0 1254 15 0 0 25 0 3 0 910891391 161390592 22083 33554432000 4194304 5714118 140733432530128 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25446/tid=25449] ppid=25444 vsize=157608 CPUtime=12.68 cores=0,2,4,6
/proc/25446/task/25449/stat : 25449 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 17058 0 0 0 1229 39 0 0 25 0 3 0 910891391 161390592 22083 33554432000 4194304 5714118 140733432530128 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 157608
[startup+25.5008 s]
/proc/loadavg: 3.91 3.94 3.88 6/182 25450
/proc/meminfo: memFree=15522648/32951124 swapFree=67053176/67111528
[pid=25446] ppid=25444 vsize=158584 CPUtime=50.98 cores=0,2,4,6
/proc/25446/stat : 25446 (pwbo1.1) S 25444 25446 24477 0 -1 4202496 26582 0 0 0 5023 75 0 0 25 0 3 0 910891390 162390016 26035 33554432000 4194304 5714118 140733432530128 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25446/statm: 39646 26035 180 372 0 39271 0
[pid=25446/tid=25448] ppid=25444 vsize=158584 CPUtime=25.48 cores=0,2,4,6
/proc/25446/task/25448/stat : 25448 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 6541 0 0 0 2524 24 0 0 25 0 3 0 910891391 162390016 26035 33554432000 4194304 5714118 140733432530128 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25446/tid=25449] ppid=25444 vsize=158584 CPUtime=25.48 cores=0,2,4,6
/proc/25446/task/25449/stat : 25449 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 19528 0 0 0 2497 51 0 0 25 0 3 0 910891391 162390016 26035 33554432000 4194304 5714118 140733432530128 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 158584
[startup+51.1012 s]
/proc/loadavg: 3.94 3.95 3.89 6/182 25451
/proc/meminfo: memFree=15471564/32951124 swapFree=67053176/67111528
[pid=25446] ppid=25444 vsize=159752 CPUtime=102.18 cores=0,2,4,6
/proc/25446/stat : 25446 (pwbo1.1) S 25444 25446 24477 0 -1 4202496 34498 0 0 0 10112 106 0 0 25 0 3 0 910891390 163586048 33637 33554432000 4194304 5714118 140733432530128 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25446/statm: 39938 33637 180 372 0 39563 0
[pid=25446/tid=25448] ppid=25444 vsize=159752 CPUtime=51.08 cores=0,2,4,6
/proc/25446/task/25448/stat : 25448 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 12904 0 0 0 5066 42 0 0 25 0 3 0 910891391 163586048 33637 33554432000 4194304 5714118 140733432530128 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25446/tid=25449] ppid=25444 vsize=159752 CPUtime=51.08 cores=0,2,4,6
/proc/25446/task/25449/stat : 25449 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 21081 0 0 0 5045 63 0 0 25 0 3 0 910891391 163586048 33637 33554432000 4194304 5714118 140733432530128 18446744073709551615 4319392 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 159752
[startup+102.301 s]
/proc/loadavg: 3.98 3.95 3.89 5/182 25452
/proc/meminfo: memFree=15345064/32951124 swapFree=67053176/67111528
[pid=25446] ppid=25444 vsize=292784 CPUtime=204.59 cores=0,2,4,6
/proc/25446/stat : 25446 (pwbo1.1) S 25444 25446 24477 0 -1 4202496 55497 0 0 0 20284 175 0 0 25 0 3 0 910891390 299810816 54636 33554432000 4194304 5714118 140733432530128 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25446/statm: 73196 54636 180 372 0 72821 0
[pid=25446/tid=25448] ppid=25444 vsize=292784 CPUtime=102.29 cores=0,2,4,6
/proc/25446/task/25448/stat : 25448 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 26033 0 0 0 10152 77 0 0 25 0 3 0 910891391 299810816 54636 33554432000 4194304 5714118 140733432530128 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25446/tid=25449] ppid=25444 vsize=292784 CPUtime=102.28 cores=0,2,4,6
/proc/25446/task/25449/stat : 25449 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 28951 0 0 0 10131 97 0 0 25 0 3 0 910891391 299810816 54636 33554432000 4194304 5714118 140733432530128 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 292784
[startup+162.301 s]
/proc/loadavg: 3.99 3.96 3.90 5/182 25495
/proc/meminfo: memFree=15732712/32951124 swapFree=67053176/67111528
[pid=25446] ppid=25444 vsize=560676 CPUtime=324.58 cores=0,2,4,6
/proc/25446/stat : 25446 (pwbo1.1) S 25444 25446 24477 0 -1 4202496 107165 0 0 0 32102 356 0 0 25 0 3 0 910891390 574132224 106303 33554432000 4194304 5714118 140733432530128 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25446/statm: 140169 106303 180 372 0 139794 0
[pid=25446/tid=25448] ppid=25444 vsize=560676 CPUtime=162.29 cores=0,2,4,6
/proc/25446/task/25448/stat : 25448 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 33773 0 0 0 16128 101 0 0 25 0 3 0 910891391 574132224 106303 33554432000 4194304 5714118 140733432530128 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25446/tid=25449] ppid=25444 vsize=560676 CPUtime=162.27 cores=0,2,4,6
/proc/25446/task/25449/stat : 25449 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 72879 0 0 0 15972 255 0 0 18 0 3 0 910891391 574132224 106303 33554432000 4194304 5714118 140733432530128 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 324.58
Current children cumulated vsize (KiB) 560676
[startup+222.306 s]
/proc/loadavg: 3.99 3.96 3.90 5/182 25496
/proc/meminfo: memFree=15569124/32951124 swapFree=67053176/67111528
[pid=25446] ppid=25444 vsize=564216 CPUtime=444.59 cores=0,2,4,6
/proc/25446/stat : 25446 (pwbo1.1) S 25444 25446 24477 0 -1 4202496 136122 0 0 0 44010 449 0 0 25 0 3 0 910891390 577757184 135260 33554432000 4194304 5714118 140733432530128 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25446/statm: 141054 135260 180 372 0 140679 0
[pid=25446/tid=25448] ppid=25444 vsize=564216 CPUtime=222.3 cores=0,2,4,6
/proc/25446/task/25448/stat : 25448 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 46143 0 0 0 22100 130 0 0 25 0 3 0 910891391 577757184 135260 33554432000 4194304 5714118 140733432530128 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25446/tid=25449] ppid=25444 vsize=564216 CPUtime=222.28 cores=0,2,4,6
/proc/25446/task/25449/stat : 25449 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 89466 0 0 0 21909 319 0 0 20 0 3 0 910891391 577757184 135260 33554432000 4194304 5714118 140733432530128 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 564216
[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 25498
/proc/meminfo: memFree=15436764/32951124 swapFree=67053176/67111528
[pid=25446] ppid=25444 vsize=698068 CPUtime=564.58 cores=0,2,4,6
/proc/25446/stat : 25446 (pwbo1.1) S 25444 25446 24477 0 -1 4202496 156185 0 0 0 55937 521 0 0 25 0 3 0 910891390 714821632 155321 33554432000 4194304 5714118 140733432530128 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25446/statm: 174517 155321 180 372 0 174142 0
[pid=25446/tid=25448] ppid=25444 vsize=698068 CPUtime=282.29 cores=0,2,4,6
/proc/25446/task/25448/stat : 25448 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 53105 0 0 0 28077 152 0 0 25 0 3 0 910891391 714821632 155321 33554432000 4194304 5714118 140733432530128 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25446/tid=25449] ppid=25444 vsize=698068 CPUtime=282.28 cores=0,2,4,6
/proc/25446/task/25449/stat : 25449 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 102567 0 0 0 27859 369 0 0 18 0 3 0 910891391 714821632 155321 33554432000 4194304 5714118 140733432530128 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 564.58
Current children cumulated vsize (KiB) 698068
[startup+342.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 25500
/proc/meminfo: memFree=15278988/32951124 swapFree=67053176/67111528
[pid=25446] ppid=25444 vsize=831440 CPUtime=684.59 cores=0,2,4,6
/proc/25446/stat : 25446 (pwbo1.1) S 25444 25446 24477 0 -1 4202496 182080 0 0 0 67831 628 0 0 25 0 3 0 910891390 851394560 181141 33554432000 4194304 5714118 140733432530128 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25446/statm: 207860 181141 180 372 0 207485 0
[pid=25446/tid=25448] ppid=25444 vsize=831440 CPUtime=342.29 cores=0,2,4,6
/proc/25446/task/25448/stat : 25448 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 57776 0 0 0 34047 182 0 0 25 0 3 0 910891391 851394560 181141 33554432000 4194304 5714118 140733432530128 18446744073709551615 4299735 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25446/tid=25449] ppid=25444 vsize=831440 CPUtime=342.28 cores=0,2,4,6
/proc/25446/task/25449/stat : 25449 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 123791 0 0 0 33783 445 0 0 25 0 3 0 910891391 851394560 181141 33554432000 4194304 5714118 140733432530128 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 684.59
Current children cumulated vsize (KiB) 831440
[startup+402.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 25501
/proc/meminfo: memFree=15227840/32951124 swapFree=67053176/67111528
[pid=25446] ppid=25444 vsize=832004 CPUtime=804.59 cores=0,2,4,6
/proc/25446/stat : 25446 (pwbo1.1) S 25444 25446 24477 0 -1 4202496 183296 0 0 0 79804 655 0 0 25 0 3 0 910891390 851972096 182357 33554432000 4194304 5714118 140733432530128 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25446/statm: 208001 182357 180 372 0 207626 0
[pid=25446/tid=25448] ppid=25444 vsize=832004 CPUtime=402.3 cores=0,2,4,6
/proc/25446/task/25448/stat : 25448 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 57941 0 0 0 40028 202 0 0 25 0 3 0 910891391 851972096 182357 33554432000 4194304 5714118 140733432530128 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25446/tid=25449] ppid=25444 vsize=832004 CPUtime=402.27 cores=0,2,4,6
/proc/25446/task/25449/stat : 25449 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 124842 0 0 0 39775 452 0 0 25 0 3 0 910891391 851972096 182357 33554432000 4194304 5714118 140733432530128 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 804.59
Current children cumulated vsize (KiB) 832004
Solver just ended. Dumping a history of the last processes samples
[startup+409.6 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 25501
/proc/meminfo: memFree=15225360/32951124 swapFree=67053176/67111528
[pid=25446] ppid=25444 vsize=832004 CPUtime=819.19 cores=0,2,4,6
/proc/25446/stat : 25446 (pwbo1.1) S 25444 25446 24477 0 -1 4202496 183323 0 0 0 81259 660 0 0 25 0 3 0 910891390 851972096 182384 33554432000 4194304 5714118 140733432530128 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25446/statm: 208001 182384 180 372 0 207626 0
[pid=25446/tid=25448] ppid=25444 vsize=832004 CPUtime=409.59 cores=0,2,4,6
/proc/25446/task/25448/stat : 25448 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 57968 0 0 0 40755 204 0 0 25 0 3 0 910891391 851972096 182384 33554432000 4194304 5714118 140733432530128 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25446/tid=25449] ppid=25444 vsize=832004 CPUtime=409.58 cores=0,2,4,6
/proc/25446/task/25449/stat : 25449 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 124842 0 0 0 40503 455 0 0 25 0 3 0 910891391 851972096 182384 33554432000 4194304 5714118 140733432530128 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 819.19
Current children cumulated vsize (KiB) 832004
[startup+435.201 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 25502
/proc/meminfo: memFree=15189872/32951124 swapFree=67053176/67111528
[pid=25446] ppid=25444 vsize=832004 CPUtime=870.39 cores=0,2,4,6
/proc/25446/stat : 25446 (pwbo1.1) S 25444 25446 24477 0 -1 4202496 183391 0 0 0 86362 677 0 0 25 0 3 0 910891390 851972096 182452 33554432000 4194304 5714118 140733432530128 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25446/statm: 208001 182452 180 372 0 207626 0
[pid=25446/tid=25448] ppid=25444 vsize=832004 CPUtime=435.19 cores=0,2,4,6
/proc/25446/task/25448/stat : 25448 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 58011 0 0 0 43303 216 0 0 25 0 3 0 910891391 851972096 182452 33554432000 4194304 5714118 140733432530128 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25446/tid=25449] ppid=25444 vsize=832004 CPUtime=435.18 cores=0,2,4,6
/proc/25446/task/25449/stat : 25449 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 124867 0 0 0 43057 461 0 0 25 0 3 0 910891391 851972096 182452 33554432000 4194304 5714118 140733432530128 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 870.39
Current children cumulated vsize (KiB) 832004
[startup+441.601 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 25502
/proc/meminfo: memFree=15195316/32951124 swapFree=67053176/67111528
[pid=25446] ppid=25444 vsize=832004 CPUtime=883.19 cores=0,2,4,6
/proc/25446/stat : 25446 (pwbo1.1) S 25444 25446 24477 0 -1 4202496 183415 0 0 0 87634 685 0 0 25 0 3 0 910891390 851972096 182476 33554432000 4194304 5714118 140733432530128 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25446/statm: 208001 182476 180 372 0 207626 0
[pid=25446/tid=25448] ppid=25444 vsize=832004 CPUtime=441.59 cores=0,2,4,6
/proc/25446/task/25448/stat : 25448 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 58024 0 0 0 43937 222 0 0 25 0 3 0 910891391 851972096 182476 33554432000 4194304 5714118 140733432530128 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25446/tid=25449] ppid=25444 vsize=832004 CPUtime=441.58 cores=0,2,4,6
/proc/25446/task/25449/stat : 25449 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 124878 0 0 0 43695 463 0 0 25 0 3 0 910891391 851972096 182476 33554432000 4194304 5714118 140733432530128 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 883.19
Current children cumulated vsize (KiB) 832004
[startup+448 s]
/proc/loadavg: 4.07 3.99 3.91 5/182 25502
/proc/meminfo: memFree=15180308/32951124 swapFree=67053176/67111528
[pid=25446] ppid=25444 vsize=832136 CPUtime=895.99 cores=0,2,4,6
/proc/25446/stat : 25446 (pwbo1.1) S 25444 25446 24477 0 -1 4202496 183457 0 0 0 88911 688 0 0 25 0 3 0 910891390 852107264 182518 33554432000 4194304 5714118 140733432530128 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25446/statm: 208034 182518 180 372 0 207659 0
[pid=25446/tid=25448] ppid=25444 vsize=832136 CPUtime=448 cores=0,2,4,6
/proc/25446/task/25448/stat : 25448 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 58033 0 0 0 44575 225 0 0 25 0 3 0 910891391 852107264 182518 33554432000 4194304 5714118 140733432530128 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25446/tid=25449] ppid=25444 vsize=832136 CPUtime=447.98 cores=0,2,4,6
/proc/25446/task/25449/stat : 25449 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 124911 0 0 0 44335 463 0 0 25 0 3 0 910891391 852107264 182518 33554432000 4194304 5714118 140733432530128 18446744073709551615 4320067 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 895.99
Current children cumulated vsize (KiB) 832136
[startup+451.201 s]
/proc/loadavg: 4.07 3.99 3.91 5/182 25502
/proc/meminfo: memFree=15177704/32951124 swapFree=67053176/67111528
[pid=25446] ppid=25444 vsize=832136 CPUtime=902.39 cores=0,2,4,6
/proc/25446/stat : 25446 (pwbo1.1) S 25444 25446 24477 0 -1 4202496 183457 0 0 0 89549 690 0 0 25 0 3 0 910891390 852107264 182518 33554432000 4194304 5714118 140733432530128 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25446/statm: 208034 182518 180 372 0 207659 0
[pid=25446/tid=25448] ppid=25444 vsize=832136 CPUtime=451.19 cores=0,2,4,6
/proc/25446/task/25448/stat : 25448 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 58033 0 0 0 44893 226 0 0 25 0 3 0 910891391 852107264 182518 33554432000 4194304 5714118 140733432530128 18446744073709551615 4319689 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25446/tid=25449] ppid=25444 vsize=832136 CPUtime=451.18 cores=0,2,4,6
/proc/25446/task/25449/stat : 25449 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 124911 0 0 0 44654 464 0 0 25 0 3 0 910891391 852107264 182518 33554432000 4194304 5714118 140733432530128 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 902.39
Current children cumulated vsize (KiB) 832136
[startup+452.001 s]
/proc/loadavg: 4.07 3.99 3.91 5/182 25502
/proc/meminfo: memFree=15177704/32951124 swapFree=67053176/67111528
[pid=25446] ppid=25444 vsize=832136 CPUtime=904 cores=0,2,4,6
/proc/25446/stat : 25446 (pwbo1.1) S 25444 25446 24477 0 -1 4202496 183457 0 0 0 89709 691 0 0 25 0 3 0 910891390 852107264 182518 33554432000 4194304 5714118 140733432530128 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25446/statm: 208034 182518 180 372 0 207659 0
[pid=25446/tid=25448] ppid=25444 vsize=832136 CPUtime=451.99 cores=0,2,4,6
/proc/25446/task/25448/stat : 25448 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 58033 0 0 0 44973 226 0 0 25 0 3 0 910891391 852107264 182518 33554432000 4194304 5714118 140733432530128 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25446/tid=25449] ppid=25444 vsize=832136 CPUtime=451.98 cores=0,2,4,6
/proc/25446/task/25449/stat : 25449 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 124911 0 0 0 44734 464 0 0 25 0 3 0 910891391 852107264 182518 33554432000 4194304 5714118 140733432530128 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 904
Current children cumulated vsize (KiB) 832136
[startup+452.401 s]
/proc/loadavg: 4.06 3.99 3.91 5/182 25502
/proc/meminfo: memFree=15177704/32951124 swapFree=67053176/67111528
[pid=25446] ppid=25444 vsize=832136 CPUtime=904.8 cores=0,2,4,6
/proc/25446/stat : 25446 (pwbo1.1) S 25444 25446 24477 0 -1 4202496 183457 0 0 0 89789 691 0 0 25 0 3 0 910891390 852107264 182518 33554432000 4194304 5714118 140733432530128 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25446/statm: 208034 182518 180 372 0 207659 0
[pid=25446/tid=25448] ppid=25444 vsize=832136 CPUtime=452.39 cores=0,2,4,6
/proc/25446/task/25448/stat : 25448 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 58033 0 0 0 45013 226 0 0 25 0 3 0 910891391 852107264 182518 33554432000 4194304 5714118 140733432530128 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25446/tid=25449] ppid=25444 vsize=832136 CPUtime=452.38 cores=0,2,4,6
/proc/25446/task/25449/stat : 25449 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 124911 0 0 0 44774 464 0 0 25 0 3 0 910891391 852107264 182518 33554432000 4194304 5714118 140733432530128 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 904.8
Current children cumulated vsize (KiB) 832136
[startup+452.801 s]
/proc/loadavg: 4.06 3.99 3.91 5/182 25502
/proc/meminfo: memFree=15177704/32951124 swapFree=67053176/67111528
[pid=25446] ppid=25444 vsize=832136 CPUtime=905.6 cores=0,2,4,6
/proc/25446/stat : 25446 (pwbo1.1) S 25444 25446 24477 0 -1 4202496 183457 0 0 0 89869 691 0 0 25 0 3 0 910891390 852107264 182518 33554432000 4194304 5714118 140733432530128 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25446/statm: 208034 182518 180 372 0 207659 0
[pid=25446/tid=25448] ppid=25444 vsize=832136 CPUtime=452.79 cores=0,2,4,6
/proc/25446/task/25448/stat : 25448 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 58033 0 0 0 45053 226 0 0 25 0 3 0 910891391 852107264 182518 33554432000 4194304 5714118 140733432530128 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25446/tid=25449] ppid=25444 vsize=832136 CPUtime=452.78 cores=0,2,4,6
/proc/25446/task/25449/stat : 25449 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 124911 0 0 0 44814 464 0 0 25 0 3 0 910891391 852107264 182518 33554432000 4194304 5714118 140733432530128 18446744073709551615 4319947 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 905.6
Current children cumulated vsize (KiB) 832136
[startup+452.901 s]
/proc/loadavg: 4.06 3.99 3.91 5/182 25502
/proc/meminfo: memFree=15177704/32951124 swapFree=67053176/67111528
[pid=25446] ppid=25444 vsize=832136 CPUtime=905.8 cores=0,2,4,6
/proc/25446/stat : 25446 (pwbo1.1) S 25444 25446 24477 0 -1 4202496 183457 0 0 0 89889 691 0 0 25 0 3 0 910891390 852107264 182518 33554432000 4194304 5714118 140733432530128 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25446/statm: 208034 182518 180 372 0 207659 0
[pid=25446/tid=25448] ppid=25444 vsize=832136 CPUtime=452.9 cores=0,2,4,6
/proc/25446/task/25448/stat : 25448 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 58033 0 0 0 45063 227 0 0 25 0 3 0 910891391 852107264 182518 33554432000 4194304 5714118 140733432530128 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25446/tid=25449] ppid=25444 vsize=832136 CPUtime=452.88 cores=0,2,4,6
/proc/25446/task/25449/stat : 25449 (pwbo1.1) R 25444 25446 24477 0 -1 4202560 124911 0 0 0 44824 464 0 0 25 0 3 0 910891391 852107264 182518 33554432000 4194304 5714118 140733432530128 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 905.8
Current children cumulated vsize (KiB) 832136
Child status: 0
Real time (s): 452.997
CPU time (s): 905.922
CPU user time (s): 898.976
CPU system time (s): 6.94594
CPU usage (%): 199.984
Max. virtual memory (cumulated for all children) (KiB): 832136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 898.976
system time used= 6.94594
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183462
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= 276
involuntary context switches= 1704
runsolver used 0.827874 second user time and 1.57276 second system time
The end