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-3708055-1338157769/watcher-3708055-1338157769 -o /tmp/evaluation-result-3708055-1338157769/solver-3708055-1338157769 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708055-1338157769.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.09 2.03 2.00 2/175 20079
/proc/meminfo: memFree=31839500/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=26416 CPUtime=0 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 293 0 0 0 0 0 0 0 20 0 1 0 281905452 27049984 244 33554432000 134512640 137138936 4287624272 4287623388 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 6604 244 192 642 0 5960 0
[startup+0.089531 s]
/proc/loadavg: 2.09 2.03 2.00 2/175 20079
/proc/meminfo: memFree=31839500/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=19124 CPUtime=0.08 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 448 0 0 0 8 0 0 0 20 0 1 0 281905452 19582976 399 33554432000 134512640 137138936 4287624272 4287622584 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 4781 399 192 642 0 4137 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19124
[startup+0.100271 s]
/proc/loadavg: 2.09 2.03 2.00 2/175 20079
/proc/meminfo: memFree=31839500/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=19252 CPUtime=0.09 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 466 0 0 0 9 0 0 0 20 0 1 0 281905452 19714048 417 33554432000 134512640 137138936 4287624272 4287623388 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 4813 417 192 642 0 4169 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19252
[startup+0.300233 s]
/proc/loadavg: 2.09 2.03 2.00 2/175 20079
/proc/meminfo: memFree=31839500/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=19768 CPUtime=0.29 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 587 0 0 0 29 0 0 0 20 0 1 0 281905452 20242432 538 33554432000 134512640 137138936 4287624272 4287623388 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 4942 538 192 642 0 4298 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19768
[startup+0.700229 s]
/proc/loadavg: 2.09 2.03 2.00 2/175 20079
/proc/meminfo: memFree=31839500/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=20024 CPUtime=0.69 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 662 0 0 0 69 0 0 0 20 0 1 0 281905452 20504576 613 33554432000 134512640 137138936 4287624272 4287623312 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 5006 613 192 642 0 4362 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20024
[startup+1.50023 s]
/proc/loadavg: 2.09 2.03 2.00 3/177 20081
/proc/meminfo: memFree=31836840/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=20404 CPUtime=1.49 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 744 0 0 0 149 0 0 0 20 0 1 0 281905452 20893696 695 33554432000 134512640 137138936 4287624272 4287622808 136504212 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 5101 695 192 642 0 4457 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20404
[startup+3.10023 s]
/proc/loadavg: 2.09 2.03 2.00 3/177 20081
/proc/meminfo: memFree=31836460/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=20664 CPUtime=3.08 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 818 0 0 0 308 0 0 0 20 0 1 0 281905452 21159936 769 33554432000 134512640 137138936 4287624272 4287623388 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 5166 769 192 642 0 4522 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 20664
[startup+6.30023 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 20081
/proc/meminfo: memFree=31835724/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=20924 CPUtime=6.29 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 891 0 0 0 627 2 0 0 20 0 1 0 281905452 21426176 842 33554432000 134512640 137138936 4287624272 4287623388 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 5231 842 192 642 0 4587 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20924
[startup+12.7002 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 20081
/proc/meminfo: memFree=31834880/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=21440 CPUtime=12.69 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 1020 0 0 0 1266 3 0 0 20 0 1 0 281905452 21954560 971 33554432000 134512640 137138936 4287624272 4287623388 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 5360 971 192 642 0 4716 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21440
[startup+25.5002 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 20081
/proc/meminfo: memFree=31834336/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=21948 CPUtime=25.48 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 1131 0 0 0 2541 7 0 0 20 0 1 0 281905452 22474752 1081 33554432000 134512640 137138936 4287624272 4287623312 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 5487 1081 192 642 0 4843 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21948
[startup+51.1002 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 20084
/proc/meminfo: memFree=31833584/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=22588 CPUtime=51.08 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 1301 0 0 0 5093 15 0 0 20 0 1 0 281905452 23130112 1251 33554432000 134512640 137138936 4287624272 4287623388 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 5647 1251 192 642 0 5003 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 22588
[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 20084
/proc/meminfo: memFree=31830860/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=23232 CPUtime=102.28 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 1478 0 0 0 10199 29 0 0 20 0 1 0 281905452 23789568 1427 33554432000 134512640 137138936 4287624272 4287623388 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 5808 1427 192 642 0 5164 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 23232
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 20084
/proc/meminfo: memFree=31830364/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=23824 CPUtime=162.26 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 1620 0 0 0 16182 44 0 0 20 0 1 0 281905452 24395776 1569 33554432000 134512640 137138936 4287624272 4287623388 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 5956 1569 192 642 0 5312 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 23824
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 20084
/proc/meminfo: memFree=31830364/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=23824 CPUtime=222.26 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 1620 0 0 0 22167 59 0 0 20 0 1 0 281905452 24395776 1569 33554432000 134512640 137138936 4287624272 4287623388 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 5956 1569 192 642 0 5312 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 23824
[startup+282.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 20084
/proc/meminfo: memFree=31830240/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=24328 CPUtime=282.25 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 1736 0 0 0 28152 73 0 0 20 0 1 0 281905452 24911872 1685 33554432000 134512640 137138936 4287624272 4287623388 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 6082 1685 192 642 0 5438 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 24328
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20086
/proc/meminfo: memFree=31830240/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=24328 CPUtime=342.24 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 1744 0 0 0 34136 88 0 0 20 0 1 0 281905452 24911872 1693 33554432000 134512640 137138936 4287624272 4287623200 134542953 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 6082 1693 192 642 0 5438 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 24328
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20086
/proc/meminfo: memFree=31829316/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=24700 CPUtime=402.22 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 1839 0 0 0 40119 103 0 0 20 0 1 0 281905452 25292800 1788 33554432000 134512640 137138936 4287624272 4287623388 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 6175 1788 192 642 0 5531 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 24700
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20086
/proc/meminfo: memFree=31829192/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=24832 CPUtime=462.22 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 1869 0 0 0 46105 117 0 0 20 0 1 0 281905452 25427968 1818 33554432000 134512640 137138936 4287624272 4287623388 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 6208 1818 192 642 0 5564 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 24832
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20086
/proc/meminfo: memFree=31829440/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=24832 CPUtime=522.21 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 1869 0 0 0 52090 131 0 0 20 0 1 0 281905452 25427968 1818 33554432000 134512640 137138936 4287624272 4287623388 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 6208 1818 192 642 0 5564 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 24832
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20086
/proc/meminfo: memFree=31829316/32873844 swapFree=7376/7376
[pid=20079] ppid=20077 vsize=24832 CPUtime=582.2 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 1874 0 0 0 58076 144 0 0 20 0 1 0 281905452 25427968 1823 33554432000 134512640 137138936 4287624272 4287623388 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 6208 1823 192 642 0 5564 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 24832
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31790284/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=26212 CPUtime=1122.12 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 2217 0 0 0 111951 261 0 0 20 0 1 0 281905452 26841088 2166 33554432000 134512640 137138936 4287624272 4287622796 136521030 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 6553 2166 192 642 0 5909 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 26212
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20129
/proc/meminfo: memFree=31790404/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=26212 CPUtime=1182.11 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 2217 0 0 0 117939 272 0 0 20 0 1 0 281905452 26841088 2166 33554432000 134512640 137138936 4287624272 4287623388 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 6553 2166 192 642 0 5909 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 26212
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20171
/proc/meminfo: memFree=31783452/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=26212 CPUtime=1242.1 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 2217 0 0 0 123927 283 0 0 20 0 1 0 281905452 26841088 2166 33554432000 134512640 137138936 4287624272 4287623388 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 6553 2166 192 642 0 5909 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 26212
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20171
/proc/meminfo: memFree=31741212/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=26212 CPUtime=1302.09 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 2217 0 0 0 129915 294 0 0 20 0 1 0 281905452 26841088 2166 33554432000 134512640 137138936 4287624272 4287623312 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 6553 2166 192 642 0 5909 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 26212
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20171
/proc/meminfo: memFree=31714800/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=26212 CPUtime=1362.09 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 2217 0 0 0 135902 307 0 0 20 0 1 0 281905452 26841088 2166 33554432000 134512640 137138936 4287624272 4287623388 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 6553 2166 192 642 0 5909 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 26212
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20171
/proc/meminfo: memFree=31686164/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=26212 CPUtime=1422.08 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 2217 0 0 0 141889 319 0 0 20 0 1 0 281905452 26841088 2166 33554432000 134512640 137138936 4287624272 4287623388 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 6553 2166 192 642 0 5909 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 26212
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20171
/proc/meminfo: memFree=31659628/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=26196 CPUtime=1482.07 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 2217 0 0 0 147876 331 0 0 20 0 1 0 281905452 26824704 2166 33554432000 134512640 137138936 4287624272 4287623388 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 6549 2166 192 642 0 5905 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 26196
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20172
/proc/meminfo: memFree=31639980/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=26684 CPUtime=1542.06 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 2327 0 0 0 153863 343 0 0 20 0 1 0 281905452 27324416 2276 33554432000 134512640 137138936 4287624272 4287623388 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 6671 2276 192 642 0 6027 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 26684
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20172
/proc/meminfo: memFree=31620944/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=26900 CPUtime=1602.05 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 2383 0 0 0 159851 354 0 0 20 0 1 0 281905452 27545600 2331 33554432000 134512640 137138936 4287624272 4287623200 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 6725 2331 192 642 0 6081 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 26900
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20172
/proc/meminfo: memFree=31604948/32873844 swapFree=7376/7376
[pid=20079] ppid=20077 vsize=26884 CPUtime=1662.04 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 2383 0 0 0 165838 366 0 0 20 0 1 0 281905452 27529216 2331 33554432000 134512640 137138936 4287624272 4287623160 135984561 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 6721 2331 192 642 0 6077 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 26884
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20172
/proc/meminfo: memFree=31587540/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=26872 CPUtime=1722.03 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 2383 0 0 0 171824 379 0 0 20 0 1 0 281905452 27516928 2331 33554432000 134512640 137138936 4287624272 4287623388 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 6718 2331 192 642 0 6074 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 26872
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20172
/proc/meminfo: memFree=31551704/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=26868 CPUtime=1782.02 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 2383 0 0 0 177810 392 0 0 20 0 1 0 281905452 27512832 2331 33554432000 134512640 137138936 4287624272 4287623388 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 6717 2331 192 642 0 6073 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 26868
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20172
/proc/meminfo: memFree=31547364/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=26868 CPUtime=1791.62 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 2383 0 0 0 178768 394 0 0 20 0 1 0 281905452 27512832 2331 33554432000 134512640 137138936 4287624272 4287623388 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 6717 2331 192 642 0 6073 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 26868
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20172
/proc/meminfo: memFree=31545876/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=26868 CPUtime=1794.82 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 2383 0 0 0 179087 395 0 0 20 0 1 0 281905452 27512832 2331 33554432000 134512640 137138936 4287624272 4287623388 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 6717 2331 192 642 0 6073 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 26868
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20172
/proc/meminfo: memFree=31545256/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=26868 CPUtime=1796.41 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 2383 0 0 0 179246 395 0 0 20 0 1 0 281905452 27512832 2331 33554432000 134512640 137138936 4287624272 4287623200 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 6717 2331 192 642 0 6073 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 26868
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20172
/proc/meminfo: memFree=31544636/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=26868 CPUtime=1797.21 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 2383 0 0 0 179326 395 0 0 20 0 1 0 281905452 27512832 2331 33554432000 134512640 137138936 4287624272 4287623168 134542402 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 6717 2331 192 642 0 6073 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 26868
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20172
/proc/meminfo: memFree=31544636/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=26868 CPUtime=1797.61 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 2383 0 0 0 179366 395 0 0 20 0 1 0 281905452 27512832 2331 33554432000 134512640 137138936 4287624272 4287623192 135984582 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 6717 2331 192 642 0 6073 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 26868
[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20172
/proc/meminfo: memFree=31544636/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=26868 CPUtime=1797.81 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 2383 0 0 0 179386 395 0 0 20 0 1 0 281905452 27512832 2331 33554432000 134512640 137138936 4287624272 4287623152 136297633 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 6717 2331 192 642 0 6073 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 26868
[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20172
/proc/meminfo: memFree=31544636/32873844 swapFree=7372/7372
[pid=20079] ppid=20077 vsize=26868 CPUtime=1797.91 cores=1,3,5,7
/proc/20079/stat : 20079 (bsolo) R 20077 20079 15469 0 -1 4202496 2383 0 0 0 179396 395 0 0 20 0 1 0 281905452 27512832 2331 33554432000 134512640 137138936 4287624272 4287623388 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20079/statm: 6717 2331 192 642 0 6073 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 26868
Child status: 0
Real time (s): 1798.28
CPU time (s): 1798
CPU user time (s): 1794.04
CPU system time (s): 3.9584
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 26916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.04
system time used= 3.9584
maximum resident set size= 9324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2383
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= 7
involuntary context switches= 1870
runsolver used 2.54861 second user time and 7.2619 second system time
The end