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-3726401-1338653452/watcher-3726401-1338653452 -o /tmp/evaluation-result-3726401-1338653452/solver-3726401-1338653452 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726401-1338653452.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: 2.04 2.01 1.86 3/176 2544
/proc/meminfo: memFree=25780436/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=4372 CPUtime=0 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) R 2542 2544 909 0 -1 4202496 555 0 0 0 0 0 0 0 20 0 1 0 331470648 4476928 508 33554432000 4194304 5964478 140737260036080 140733535458280 4395406 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 1093 509 163 433 0 634 0
[startup+0.025888 s]
/proc/loadavg: 2.04 2.01 1.86 3/176 2544
/proc/meminfo: memFree=25780436/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=85056 CPUtime=0.02 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 1754 0 0 0 2 0 0 0 20 0 2 0 331470648 87097344 1599 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 21264 1599 184 433 0 20828 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 85056
[startup+0.100174 s]
/proc/loadavg: 2.04 2.01 1.86 3/176 2544
/proc/meminfo: memFree=25780436/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=85056 CPUtime=0.09 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 1953 0 0 0 9 0 0 0 20 0 2 0 331470648 87097344 1798 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 21264 1798 186 433 0 20828 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85056
[startup+0.300113 s]
/proc/loadavg: 2.04 2.01 1.86 3/176 2544
/proc/meminfo: memFree=25780436/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=85056 CPUtime=0.29 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 2409 0 0 0 29 0 0 0 20 0 2 0 331470648 87097344 2254 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 21264 2254 186 433 0 20828 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85056
[startup+0.700115 s]
/proc/loadavg: 2.04 2.01 1.86 3/176 2544
/proc/meminfo: memFree=25780436/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=85056 CPUtime=0.68 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 3386 0 0 0 68 0 0 0 20 0 2 0 331470648 87097344 3231 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 21264 3231 186 433 0 20828 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 85056
[startup+1.50026 s]
/proc/loadavg: 2.04 2.01 1.86 3/178 2546
/proc/meminfo: memFree=25766432/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=85056 CPUtime=1.49 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 5099 0 0 0 148 1 0 0 20 0 2 0 331470648 87097344 4944 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 21264 4944 186 433 0 20828 0
[pid=2544/tid=2546] ppid=2542 vsize=85056 CPUtime=1.47 cores=1,3,5,7
/proc/2544/task/2546/stat : 2546 (pwbo2.02) R 2542 2544 909 0 -1 4202560 3992 0 0 0 147 0 0 0 20 0 2 0 331470649 87097344 4944 33554432000 4194304 5964478 140737260036080 140272562857976 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85056
[startup+3.10025 s]
/proc/loadavg: 2.04 2.01 1.86 3/178 2546
/proc/meminfo: memFree=25757480/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=85056 CPUtime=3.09 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 6447 0 0 0 308 1 0 0 20 0 2 0 331470648 87097344 6292 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 21264 6292 186 433 0 20828 0
[pid=2544/tid=2546] ppid=2542 vsize=85056 CPUtime=3.06 cores=1,3,5,7
/proc/2544/task/2546/stat : 2546 (pwbo2.02) R 2542 2544 909 0 -1 4202560 5340 0 0 0 305 1 0 0 20 0 2 0 331470649 87097344 6292 33554432000 4194304 5964478 140737260036080 140272562857784 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85056
[startup+6.30025 s]
/proc/loadavg: 2.04 2.01 1.86 3/178 2663
/proc/meminfo: memFree=26083252/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=85056 CPUtime=6.28 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 8772 0 0 0 627 1 0 0 20 0 2 0 331470648 87097344 8617 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 21264 8617 186 433 0 20828 0
[pid=2544/tid=2546] ppid=2542 vsize=85056 CPUtime=6.25 cores=1,3,5,7
/proc/2544/task/2546/stat : 2546 (pwbo2.02) R 2542 2544 909 0 -1 4202560 7665 0 0 0 624 1 0 0 20 0 2 0 331470649 87097344 8617 33554432000 4194304 5964478 140737260036080 140272562857976 4381607 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 85056
[startup+12.7003 s]
/proc/loadavg: 2.03 2.01 1.86 3/177 2663
/proc/meminfo: memFree=26055384/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=85272 CPUtime=12.68 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 13460 0 0 0 1265 3 0 0 20 0 2 0 331470648 87318528 13305 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 21318 13305 186 433 0 20882 0
[pid=2544/tid=2546] ppid=2542 vsize=85272 CPUtime=12.64 cores=1,3,5,7
/proc/2544/task/2546/stat : 2546 (pwbo2.02) R 2542 2544 909 0 -1 4202560 12353 0 0 0 1261 3 0 0 20 0 2 0 331470649 87318528 13305 33554432000 4194304 5964478 140737260036080 140272562857976 4400087 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 85272
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 1.86 3/177 2663
/proc/meminfo: memFree=26025860/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=150916 CPUtime=25.46 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 18802 0 0 0 2541 5 0 0 20 0 2 0 331470648 154537984 18795 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 37729 18795 186 433 0 37293 0
[pid=2544/tid=2546] ppid=2542 vsize=150916 CPUtime=25.39 cores=1,3,5,7
/proc/2544/task/2546/stat : 2546 (pwbo2.02) R 2542 2544 909 0 -1 4202560 17695 0 0 0 2534 5 0 0 20 0 2 0 331470649 154537984 18795 33554432000 4194304 5964478 140737260036080 140272562857976 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 150916
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 1.86 3/177 2663
/proc/meminfo: memFree=25987760/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=151076 CPUtime=51.05 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 26738 0 0 0 5097 8 0 0 20 0 2 0 331470648 154701824 26723 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 37769 26723 186 433 0 37333 0
[pid=2544/tid=2546] ppid=2542 vsize=151076 CPUtime=50.91 cores=1,3,5,7
/proc/2544/task/2546/stat : 2546 (pwbo2.02) R 2542 2544 909 0 -1 4202560 25631 0 0 0 5083 8 0 0 20 0 2 0 331470649 154701824 26723 33554432000 4194304 5964478 140737260036080 140272562857976 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 151076
[startup+102.307 s]
/proc/loadavg: 2.04 2.02 1.87 3/177 2663
/proc/meminfo: memFree=25906628/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=216852 CPUtime=102.24 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 42488 0 0 0 10211 13 0 0 20 0 2 0 331470648 222056448 42977 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 54213 42977 186 433 0 53777 0
[pid=2544/tid=2546] ppid=2542 vsize=216852 CPUtime=101.98 cores=1,3,5,7
/proc/2544/task/2546/stat : 2546 (pwbo2.02) R 2542 2544 909 0 -1 4202560 41381 0 0 0 10184 14 0 0 20 0 2 0 331470649 222056448 42977 33554432000 4194304 5964478 140737260036080 140272562857976 4400087 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 216852
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.88 3/177 2663
/proc/meminfo: memFree=25858736/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=282388 CPUtime=162.2 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 54737 0 0 0 16202 18 0 0 20 0 2 0 331470648 289165312 55345 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 70597 55345 186 433 0 70161 0
[pid=2544/tid=2546] ppid=2542 vsize=282388 CPUtime=161.8 cores=1,3,5,7
/proc/2544/task/2546/stat : 2546 (pwbo2.02) R 2542 2544 909 0 -1 4202560 53630 0 0 0 16160 20 0 0 20 0 2 0 331470649 289165312 55345 33554432000 4194304 5964478 140737260036080 140272562857976 5136490 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 282388
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/177 2663
/proc/meminfo: memFree=25661680/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=413460 CPUtime=222.19 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 98288 0 0 0 22187 32 0 0 20 0 2 0 331470648 423383040 98905 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 103365 98905 186 433 0 102929 0
[pid=2544/tid=2546] ppid=2542 vsize=413460 CPUtime=221.63 cores=1,3,5,7
/proc/2544/task/2546/stat : 2546 (pwbo2.02) R 2542 2544 909 0 -1 4202560 97181 0 0 0 22128 35 0 0 20 0 2 0 331470649 423383040 98905 33554432000 4194304 5964478 140737260036080 140272562857976 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 413460
[startup+282.3 s]
/proc/loadavg: 2.07 2.02 1.89 3/177 2664
/proc/meminfo: memFree=25534800/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=544532 CPUtime=282.18 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 127449 0 0 0 28175 43 0 0 20 0 2 0 331470648 557600768 128066 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 136133 128066 186 433 0 135697 0
[pid=2544/tid=2546] ppid=2542 vsize=544532 CPUtime=281.48 cores=1,3,5,7
/proc/2544/task/2546/stat : 2546 (pwbo2.02) R 2542 2544 909 0 -1 4202560 126342 0 0 0 28101 47 0 0 20 0 2 0 331470649 557600768 128066 33554432000 4194304 5964478 140737260036080 140272562857976 4400067 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 544532
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 1.90 3/177 2664
/proc/meminfo: memFree=25490936/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=610068 CPUtime=342.14 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 134179 0 0 0 34168 46 0 0 20 0 2 0 331470648 624709632 134810 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 152517 134810 186 433 0 152081 0
[pid=2544/tid=2546] ppid=2542 vsize=610068 CPUtime=341.3 cores=1,3,5,7
/proc/2544/task/2546/stat : 2546 (pwbo2.02) R 2542 2544 909 0 -1 4202560 133072 0 0 0 34080 50 0 0 20 0 2 0 331470649 624709632 134810 33554432000 4194304 5964478 140737260036080 140272562857976 4381722 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 610068
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/177 2664
/proc/meminfo: memFree=25478068/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=610068 CPUtime=402.11 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 134220 0 0 0 40165 46 0 0 20 0 2 0 331470648 624709632 134504 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 152517 134504 186 433 0 152081 0
[pid=2544/tid=2546] ppid=2542 vsize=610068 CPUtime=401.12 cores=1,3,5,7
/proc/2544/task/2546/stat : 2546 (pwbo2.02) R 2542 2544 909 0 -1 4202560 133113 0 0 0 40061 51 0 0 20 0 2 0 331470649 624709632 134504 33554432000 4194304 5964478 140737260036080 140272562858008 4400078 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 610068
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 2664
/proc/meminfo: memFree=25476484/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=610068 CPUtime=462.06 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 2674
/proc/meminfo: memFree=25038584/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=874300 CPUtime=1421.85 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 202848 0 0 0 142101 84 0 0 20 0 2 0 331470648 895283200 202693 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 218575 202693 186 433 0 218139 0
[pid=2544/tid=2546] ppid=2542 vsize=874300 CPUtime=1418.41 cores=1,3,5,7
/proc/2544/task/2546/stat : 2546 (pwbo2.02) R 2542 2544 909 0 -1 4202560 201741 0 0 0 141736 105 0 0 20 0 2 0 331470649 895283200 202693 33554432000 4194304 5964478 140737260036080 140272562858008 4400087 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 874300
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 2675
/proc/meminfo: memFree=25020488/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=874300 CPUtime=1481.83 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 202848 0 0 0 148099 84 0 0 20 0 2 0 331470648 895283200 202693 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 218575 202693 186 433 0 218139 0
[pid=2544/tid=2546] ppid=2542 vsize=874300 CPUtime=1478.25 cores=1,3,5,7
/proc/2544/task/2546/stat : 2546 (pwbo2.02) R 2542 2544 909 0 -1 4202560 201741 0 0 0 147719 106 0 0 20 0 2 0 331470649 895283200 202693 33554432000 4194304 5964478 140737260036080 140272562858008 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 874300
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 2675
/proc/meminfo: memFree=25011064/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=874300 CPUtime=1541.83 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 202848 0 0 0 154099 84 0 0 20 0 2 0 331470648 895283200 202693 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 218575 202693 186 433 0 218139 0
[pid=2544/tid=2546] ppid=2542 vsize=874300 CPUtime=1538.09 cores=1,3,5,7
/proc/2544/task/2546/stat : 2546 (pwbo2.02) R 2542 2544 909 0 -1 4202560 201741 0 0 0 153702 107 0 0 20 0 2 0 331470649 895283200 202693 33554432000 4194304 5964478 140737260036080 140272562858008 4400087 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 874300
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 2675
/proc/meminfo: memFree=25009452/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=874300 CPUtime=1601.83 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 202848 0 0 0 160098 85 0 0 20 0 2 0 331470648 895283200 202693 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 218575 202693 186 433 0 218139 0
[pid=2544/tid=2546] ppid=2542 vsize=874300 CPUtime=1597.94 cores=1,3,5,7
/proc/2544/task/2546/stat : 2546 (pwbo2.02) R 2542 2544 909 0 -1 4202560 201741 0 0 0 159686 108 0 0 20 0 2 0 331470649 895283200 202693 33554432000 4194304 5964478 140737260036080 140272562858008 4400115 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 874300
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 2675
/proc/meminfo: memFree=24986452/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=874300 CPUtime=1661.82 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 202848 0 0 0 166097 85 0 0 20 0 2 0 331470648 895283200 202693 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 218575 202693 186 433 0 218139 0
[pid=2544/tid=2546] ppid=2542 vsize=874300 CPUtime=1657.78 cores=1,3,5,7
/proc/2544/task/2546/stat : 2546 (pwbo2.02) R 2542 2544 909 0 -1 4202560 201741 0 0 0 165669 109 0 0 20 0 2 0 331470649 895283200 202693 33554432000 4194304 5964478 140737260036080 140272562858008 4400087 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 874300
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 2675
/proc/meminfo: memFree=24959872/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=874300 CPUtime=1721.8 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 204590 0 0 0 172094 86 0 0 20 0 2 0 331470648 895283200 204435 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 218575 204435 186 433 0 218139 0
[pid=2544/tid=2546] ppid=2542 vsize=874300 CPUtime=1717.63 cores=1,3,5,7
/proc/2544/task/2546/stat : 2546 (pwbo2.02) R 2542 2544 909 0 -1 4202560 203484 0 0 0 171651 112 0 0 20 0 2 0 331470649 895283200 204436 33554432000 4194304 5964478 140737260036080 140272562857976 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 874300
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 2679
/proc/meminfo: memFree=24849876/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=939836 CPUtime=1781.79 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 230991 0 0 0 178083 96 0 0 20 0 2 0 331470648 962392064 230836 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 234959 230836 186 433 0 234523 0
[pid=2544/tid=2546] ppid=2542 vsize=939836 CPUtime=1777.47 cores=1,3,5,7
/proc/2544/task/2546/stat : 2546 (pwbo2.02) R 2542 2544 909 0 -1 4202560 229884 0 0 0 177624 123 0 0 20 0 2 0 331470649 962392064 230836 33554432000 4194304 5964478 140737260036080 140272562857976 4400115 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 939836
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 2679
/proc/meminfo: memFree=24837352/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=1005372 CPUtime=1791.39 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 233952 0 0 0 179042 97 0 0 20 0 2 0 331470648 1029500928 233797 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 251343 233797 186 433 0 250907 0
[pid=2544/tid=2546] ppid=2542 vsize=1005372 CPUtime=1787.05 cores=1,3,5,7
/proc/2544/task/2546/stat : 2546 (pwbo2.02) R 2542 2544 909 0 -1 4202560 232845 0 0 0 178581 124 0 0 20 0 2 0 331470649 1029500928 233797 33554432000 4194304 5964478 140737260036080 140272562857976 4400091 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (KiB) 1005372
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 2679
/proc/meminfo: memFree=24831952/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=1005372 CPUtime=1794.59 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 235203 0 0 0 179361 98 0 0 20 0 2 0 331470648 1029500928 235049 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 251343 235049 186 433 0 250907 0
[pid=2544/tid=2546] ppid=2542 vsize=1005372 CPUtime=1790.24 cores=1,3,5,7
/proc/2544/task/2546/stat : 2546 (pwbo2.02) R 2542 2544 909 0 -1 4202560 234096 0 0 0 178899 125 0 0 20 0 2 0 331470649 1029500928 235049 33554432000 4194304 5964478 140737260036080 140272562857976 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (KiB) 1005372
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 2679
/proc/meminfo: memFree=24829224/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=1005372 CPUtime=1797.79 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 236137 0 0 0 179680 99 0 0 20 0 2 0 331470648 1029500928 235983 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 251343 235983 186 433 0 250907 0
[pid=2544/tid=2546] ppid=2542 vsize=1005372 CPUtime=1793.43 cores=1,3,5,7
/proc/2544/task/2546/stat : 2546 (pwbo2.02) R 2542 2544 909 0 -1 4202560 235031 0 0 0 179218 125 0 0 20 0 2 0 331470649 1029500928 235984 33554432000 4194304 5964478 140737260036080 140272562857976 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 1005372
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 2679
/proc/meminfo: memFree=24828232/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=1005372 CPUtime=1798.59 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 236327 0 0 0 179760 99 0 0 20 0 2 0 331470648 1029500928 236173 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 251343 236173 186 433 0 250907 0
[pid=2544/tid=2546] ppid=2542 vsize=1005372 CPUtime=1794.23 cores=1,3,5,7
/proc/2544/task/2546/stat : 2546 (pwbo2.02) R 2542 2544 909 0 -1 4202560 235220 0 0 0 179298 125 0 0 20 0 2 0 331470649 1029500928 236173 33554432000 4194304 5964478 140737260036080 140272562857976 4400078 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.59
Current children cumulated vsize (KiB) 1005372
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 2679
/proc/meminfo: memFree=24827364/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=1005372 CPUtime=1799 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 236419 0 0 0 179801 99 0 0 20 0 2 0 331470648 1029500928 236265 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 251343 236265 186 433 0 250907 0
[pid=2544/tid=2546] ppid=2542 vsize=1005372 CPUtime=1794.63 cores=1,3,5,7
/proc/2544/task/2546/stat : 2546 (pwbo2.02) R 2542 2544 909 0 -1 4202560 235312 0 0 0 179337 126 0 0 20 0 2 0 331470649 1029500928 236265 33554432000 4194304 5964478 140737260036080 140272562857976 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799
Current children cumulated vsize (KiB) 1005372
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 2679
/proc/meminfo: memFree=24827364/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=1005588 CPUtime=1799.39 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 236539 0 0 0 179840 99 0 0 20 0 2 0 331470648 1029722112 236385 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 251397 236385 186 433 0 250961 0
[pid=2544/tid=2546] ppid=2542 vsize=1005588 CPUtime=1795.03 cores=1,3,5,7
/proc/2544/task/2546/stat : 2546 (pwbo2.02) R 2542 2544 909 0 -1 4202560 235432 0 0 0 179377 126 0 0 20 0 2 0 331470649 1029722112 236385 33554432000 4194304 5964478 140737260036080 140272562857976 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.39
Current children cumulated vsize (KiB) 1005588
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 2679
/proc/meminfo: memFree=24827364/32873852 swapFree=6856/6856
[pid=2544] ppid=2542 vsize=1005588 CPUtime=1799.49 cores=1,3,5,7
/proc/2544/stat : 2544 (pwbo2.02) S 2542 2544 909 0 -1 4202496 236545 0 0 0 179850 99 0 0 20 0 2 0 331470648 1029722112 236391 33554432000 4194304 5964478 140737260036080 140737260035600 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2544/statm: 251397 236391 186 433 0 250961 0
[pid=2544/tid=2546] ppid=2542 vsize=1005588 CPUtime=1795.12 cores=1,3,5,7
/proc/2544/task/2546/stat : 2546 (pwbo2.02) R 2542 2544 909 0 -1 4202560 235438 0 0 0 179386 126 0 0 20 0 2 0 331470649 1029722112 236391 33554432000 4194304 5964478 140737260036080 140272562857976 4400087 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (KiB) 1005588
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2544 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=885287
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=287804
# CPU time returned by wait4() is 1795.17
# while last known CPU time is 1799.49
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.02
CPU time (s): 1799.49
CPU user time (s): 1798.5
CPU system time (s): 0.99
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 1005588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.89
system time used= 1.2878
maximum resident set size= 945576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236548
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= 250
involuntary context switches= 2597
runsolver used 2.77258 second user time and 7.05393 second system time
The end