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-3720481-1338511501/watcher-3720481-1338511501 -o /tmp/evaluation-result-3720481-1338511501/solver-3720481-1338511501 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720481-1338511501.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: 2.00 2.00 1.96 3/176 1772
/proc/meminfo: memFree=27770504/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=3104 CPUtime=0 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 322 0 0 0 0 0 0 0 20 0 1 0 317275171 3178496 259 33554432000 134512640 134579096 4290469072 4290336476 10609248 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 776 261 219 17 0 82 0

[startup+0.0669279 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 1772
/proc/meminfo: memFree=27770504/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=5092 CPUtime=0.06 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 806 0 0 0 6 0 0 0 20 0 1 0 317275171 5214208 743 33554432000 134512640 134579096 4290469072 4290468032 134532448 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 1273 744 225 17 0 579 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5092

[startup+0.100213 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 1772
/proc/meminfo: memFree=27770504/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=5356 CPUtime=0.09 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 891 0 0 0 9 0 0 0 20 0 1 0 317275171 5484544 828 33554432000 134512640 134579096 4290469072 4290467888 134519095 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 1339 828 227 17 0 645 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5356

[startup+0.300184 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 1772
/proc/meminfo: memFree=27770504/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=5488 CPUtime=0.29 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 901 0 0 0 29 0 0 0 20 0 1 0 317275171 5619712 838 33554432000 134512640 134579096 4290469072 4290467408 134533081 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 1372 838 227 17 0 678 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5488

[startup+0.700177 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 1772
/proc/meminfo: memFree=27770504/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=6284 CPUtime=0.68 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 1099 0 0 0 68 0 0 0 20 0 1 0 317275171 6434816 1036 33554432000 134512640 134579096 4290469072 4290467728 134524561 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 1571 1036 227 17 0 877 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6284

[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 1773
/proc/meminfo: memFree=27766668/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=8412 CPUtime=1.49 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 1640 0 0 0 148 1 0 0 20 0 1 0 317275171 8613888 1577 33554432000 134512640 134579096 4290469072 4290467904 134517901 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 2103 1577 227 17 0 1409 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8412

[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 1773
/proc/meminfo: memFree=27763676/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=10532 CPUtime=3.09 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 2169 0 0 0 308 1 0 0 20 0 1 0 317275171 10784768 2106 33554432000 134512640 134579096 4290469072 4290467920 134527824 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 2633 2106 227 17 0 1939 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10532

[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 1773
/proc/meminfo: memFree=27758840/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=14272 CPUtime=6.28 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 3101 0 0 0 627 1 0 0 20 0 1 0 317275171 14614528 3038 33554432000 134512640 134579096 4290469072 4290467952 134557302 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 3568 3038 227 17 0 2874 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 14272

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 1773
/proc/meminfo: memFree=27756376/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=17176 CPUtime=12.68 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 3844 0 0 0 1266 2 0 0 20 0 1 0 317275171 17588224 3781 33554432000 134512640 134579096 4290469072 4290467904 134517908 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 4294 3781 227 17 0 3600 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17176

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 1773
/proc/meminfo: memFree=27756128/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=18760 CPUtime=25.48 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 4213 0 0 0 2544 4 0 0 20 0 1 0 317275171 19210240 4150 33554432000 134512640 134579096 4290469072 4290468044 14636080 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 4690 4150 227 17 0 3996 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18760

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 1829
/proc/meminfo: memFree=27765152/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=20224 CPUtime=51.07 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 4554 0 0 0 5099 8 0 0 20 0 1 0 317275171 20709376 4494 33554432000 134512640 134579096 4290469072 4290467920 134528256 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 5056 4494 227 17 0 4362 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 20224

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 1829
/proc/meminfo: memFree=27739240/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=22168 CPUtime=102.27 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 5023 0 0 0 10210 17 0 0 20 0 1 0 317275171 22700032 4993 33554432000 134512640 134579096 4290469072 4290467920 134527815 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 5542 4993 227 17 0 4848 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 22168

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 1830
/proc/meminfo: memFree=27729496/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=25180 CPUtime=162.26 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 5764 0 0 0 16200 26 0 0 20 0 1 0 317275171 25784320 5730 33554432000 134512640 134579096 4290469072 4290467920 134527750 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 6295 5730 227 17 0 5601 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 25180

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 1830
/proc/meminfo: memFree=27719200/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=28932 CPUtime=222.25 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 6702 0 0 0 22192 33 0 0 20 0 1 0 317275171 29626368 6686 33554432000 134512640 134579096 4290469072 4290467920 134528349 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 7233 6686 227 17 0 6539 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 28932

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 1830
/proc/meminfo: memFree=27718696/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=28884 CPUtime=282.24 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 6704 0 0 0 28184 40 0 0 20 0 1 0 317275171 29577216 6707 33554432000 134512640 134579096 4290469072 4290467936 134520044 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 7221 6707 227 17 0 6527 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 28884

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 1834
/proc/meminfo: memFree=27707764/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=28884 CPUtime=342.22 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 6705 0 0 0 34175 47 0 0 20 0 1 0 317275171 29577216 6708 33554432000 134512640 134579096 4290469072 4290467920 134528360 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 7221 6708 227 17 0 6527 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 28884

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 1834
/proc/meminfo: memFree=27705292/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=29788 CPUtime=402.21 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 6935 0 0 0 40169 52 0 0 20 0 1 0 317275171 30502912 6938 33554432000 134512640 134579096 4290469072 4290467904 134517933 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 7447 6938 227 17 0 6753 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 29788

[startup+462.3 s]
/proc/loadavg: 2.05 2.01 1.97 3/177 1836
/proc/meminfo: memFree=27701500/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=33768 CPUtime=462.2 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 7996 0 0 0 46162 58 0 0 20 0 1 0 317275171 34578432 7934 33554432000 134512640 134579096 4290469072 4290467972 134527547 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 8442 7934 227 17 0 7748 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 33768

[startup+522.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/177 1836
/proc/meminfo: memFree=27695108/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=33768 CPUtime=522.19 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 7996 0 0 0 52153 66 0 0 20 0 1 0 317275171 34578432 7934 33554432000 134512640 134579096 4290469072 4290467920 134527712 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 8442 7934 227 17 0 7748 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 33768

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 1836
/proc/meminfo: memFree=27693744/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=33768 CPUtime=582.19 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 7996 0 0 0 58148 71 0 0 20 0 1 0 317275171 34578432 7934 33554432000 134512640 134579096 4290469072 4290467920 134528236 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 8442 7934 227 17 0 7748 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 33768

[startup+642.3 s]

################
# More data... #
################

/proc/meminfo: memFree=27682944/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=35804 CPUtime=822.15 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 8502 0 0 0 82119 96 0 0 20 0 1 0 317275171 36663296 8444 33554432000 134512640 134579096 4290469072 4290467872 134528660 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 8951 8444 227 17 0 8257 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 35804

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 1838
/proc/meminfo: memFree=27682820/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=35804 CPUtime=882.14 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 8502 0 0 0 88113 101 0 0 20 0 1 0 317275171 36663296 8444 33554432000 134512640 134579096 4290469072 4290467920 134527712 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 8951 8444 227 17 0 8257 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 35804

[startup+942.3 s]
/proc/loadavg: 2.05 2.01 1.97 3/178 1844
/proc/meminfo: memFree=27682440/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=36072 CPUtime=942.13 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 8555 0 0 0 94107 106 0 0 20 0 1 0 317275171 36937728 8497 33554432000 134512640 134579096 4290469072 4290467920 134528344 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 9018 8497 227 17 0 8324 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 36072

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/179 1869
/proc/meminfo: memFree=27683920/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=35900 CPUtime=1002.11 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 8555 0 0 0 100101 110 0 0 20 0 1 0 317275171 36761600 8471 33554432000 134512640 134579096 4290469072 4290467920 134528357 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 8975 8471 227 17 0 8281 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 35900

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 1870
/proc/meminfo: memFree=27683804/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=35900 CPUtime=1062.11 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 8555 0 0 0 106093 118 0 0 20 0 1 0 317275171 36761600 8471 33554432000 134512640 134579096 4290469072 4290467920 134527740 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 8975 8471 227 17 0 8281 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 35900

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 1870
/proc/meminfo: memFree=27683680/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=35900 CPUtime=1122.1 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 8555 0 0 0 112086 124 0 0 20 0 1 0 317275171 36761600 8471 33554432000 134512640 134579096 4290469072 4290468044 14636080 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 8975 8471 227 17 0 8281 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 35900

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 1870
/proc/meminfo: memFree=27677356/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=35900 CPUtime=1182.09 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 8555 0 0 0 118078 131 0 0 20 0 1 0 317275171 36761600 8471 33554432000 134512640 134579096 4290469072 4290467952 134516856 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 8975 8471 227 17 0 8281 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 35900

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 1870
/proc/meminfo: memFree=27675304/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=35900 CPUtime=1242.08 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 8555 0 0 0 124071 137 0 0 20 0 1 0 317275171 36761600 8471 33554432000 134512640 134579096 4290469072 4290467920 134528256 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 8975 8471 227 17 0 8281 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 35900

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 1870
/proc/meminfo: memFree=27673752/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=38260 CPUtime=1302.08 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 9137 0 0 0 130066 142 0 0 20 0 1 0 317275171 39178240 9027 33554432000 134512640 134579096 4290469072 4290467920 134528360 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 9565 9027 227 17 0 8871 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 38260

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 1.98 3/178 1871
/proc/meminfo: memFree=27670652/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=41068 CPUtime=1362.07 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 9860 0 0 0 136061 146 0 0 20 0 1 0 317275171 42053632 9750 33554432000 134512640 134579096 4290469072 4290467728 134524561 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 10267 9750 227 17 0 9573 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 41068

[startup+1422.31 s]
/proc/loadavg: 2.09 2.04 1.99 3/178 1871
/proc/meminfo: memFree=27670896/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=41252 CPUtime=1422.06 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 9872 0 0 0 142053 153 0 0 20 0 1 0 317275171 42242048 9762 33554432000 134512640 134579096 4290469072 4290468000 134559526 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 10313 9762 227 17 0 9619 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 41252

[startup+1482.3 s]
/proc/loadavg: 2.12 2.06 2.00 3/178 1871
/proc/meminfo: memFree=27669284/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=42048 CPUtime=1482.04 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 10059 0 0 0 148045 159 0 0 20 0 1 0 317275171 43057152 9949 33554432000 134512640 134579096 4290469072 4290467920 134528360 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 10512 9949 227 17 0 9818 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 42048

[startup+1542.3 s]
/proc/loadavg: 2.12 2.07 2.00 3/179 1874
/proc/meminfo: memFree=27667848/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=43248 CPUtime=1542.03 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 10357 0 0 0 154040 163 0 0 20 0 1 0 317275171 44285952 10261 33554432000 134512640 134579096 4290469072 4290467904 134517885 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 10812 10261 227 17 0 10118 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 43248

[startup+1602.3 s]
/proc/loadavg: 2.04 2.06 2.00 3/178 1874
/proc/meminfo: memFree=27666736/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=44992 CPUtime=1602.02 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 10773 0 0 0 160034 168 0 0 20 0 1 0 317275171 46071808 10693 33554432000 134512640 134579096 4290469072 4290467872 134528574 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 11248 10693 227 17 0 10554 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 44992

[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/178 1875
/proc/meminfo: memFree=27666240/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=45092 CPUtime=1662.01 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 10806 0 0 0 166029 172 0 0 20 0 1 0 317275171 46174208 10726 33554432000 134512640 134579096 4290469072 4290467920 134527740 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 11273 10726 227 17 0 10579 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 45092

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 1875
/proc/meminfo: memFree=27655628/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=45896 CPUtime=1722.01 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 10985 0 0 0 172025 176 0 0 20 0 1 0 317275171 46997504 10905 33554432000 134512640 134579096 4290469072 4290467920 134528344 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 11474 10905 227 17 0 10780 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 45896

[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/178 1875
/proc/meminfo: memFree=27655192/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=45896 CPUtime=1782 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 10986 0 0 0 178022 178 0 0 20 0 1 0 317275171 46997504 10929 33554432000 134512640 134579096 4290469072 4290467920 134527737 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 11474 10929 227 17 0 10780 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 45896

Solver just ended. Dumping a history of the last processes samples

[startup+1783.11 s]
/proc/loadavg: 2.06 2.04 2.00 3/178 1875
/proc/meminfo: memFree=27656556/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=45896 CPUtime=1782.8 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 10986 0 0 0 178102 178 0 0 20 0 1 0 317275171 46997504 10929 33554432000 134512640 134579096 4290469072 4290467892 134556261 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 11474 10929 227 17 0 10780 0
Current children cumulated CPU time (s) 1782.8
Current children cumulated vsize (KiB) 45896

[startup+1783.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/178 1875
/proc/meminfo: memFree=27656556/32873844 swapFree=7116/7116
[pid=1772] ppid=1770 vsize=45896 CPUtime=1782.99 cores=0,2,4,6
/proc/1772/stat : 1772 (Pueblo) R 1770 1772 1217 0 -1 4202496 10986 0 0 0 178121 178 0 0 20 0 1 0 317275171 46997504 10929 33554432000 134512640 134579096 4290469072 4290467920 134527762 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1772/statm: 11474 10929 227 17 0 10780 0
Current children cumulated CPU time (s) 1782.99
Current children cumulated vsize (KiB) 45896

Child status: 10
Real time (s): 1783.31
CPU time (s): 1783.02
CPU user time (s): 1781.23
CPU system time (s): 1.78873
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 45896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.23
system time used= 1.78873
maximum resident set size= 43736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10991
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= 29
involuntary context switches= 2348

runsolver used 2.6236 second user time and 7.10692 second system time

The end