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-3720107-1338507818/watcher-3720107-1338507818 -o /tmp/evaluation-result-3720107-1338507818/solver-3720107-1338507818 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720107-1338507818.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
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.67 4/176 31025
/proc/meminfo: memFree=29602880/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/31025/stat : 31025 (runsolver) D 31023 30519 30519 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 1 0 316907418 12095488 48 33554432000 4194304 5436572 140736192745488 140736192741488 4268383 0 0 4096 24578 18446744071580543392 0 0 17 3 0 0 0 0 0
/proc/31025/statm: 2953 48 29 304 0 2645 0
[startup+0.103544 s]
/proc/loadavg: 1.92 1.98 1.67 4/176 31025
/proc/meminfo: memFree=29602880/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=3100 CPUtime=0 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 316907418 3174400 261 33554432000 134512640 134579096 4293443216 4293310564 2331445 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 775 261 215 17 0 81 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3100
[startup+0.200261 s]
/proc/loadavg: 1.92 1.98 1.67 4/176 31025
/proc/meminfo: memFree=29602880/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=4028 CPUtime=0.09 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 574 0 0 0 9 0 0 0 20 0 1 0 316907418 4124672 511 33554432000 134512640 134579096 4293443216 4293441784 1582375 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 1007 511 229 17 0 313 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4028
[startup+0.300257 s]
/proc/loadavg: 1.92 1.98 1.67 4/176 31025
/proc/meminfo: memFree=29602880/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=4288 CPUtime=0.19 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 642 0 0 0 19 0 0 0 20 0 1 0 316907418 4390912 579 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 1072 579 229 17 0 378 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 4288
[startup+0.700227 s]
/proc/loadavg: 1.92 1.98 1.67 4/176 31025
/proc/meminfo: memFree=29602880/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=5064 CPUtime=0.59 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 822 0 0 0 59 0 0 0 20 0 1 0 316907418 5185536 759 33554432000 134512640 134579096 4293443216 4293441784 1582375 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 1266 759 229 17 0 572 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 5064
[startup+1.50023 s]
/proc/loadavg: 1.92 1.98 1.67 3/177 31026
/proc/meminfo: memFree=29599920/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=5828 CPUtime=1.39 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 1018 0 0 0 139 0 0 0 20 0 1 0 316907418 5967872 955 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 1457 955 229 17 0 763 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 5828
[startup+3.10023 s]
/proc/loadavg: 1.92 1.98 1.67 3/177 31026
/proc/meminfo: memFree=29598432/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=6588 CPUtime=2.99 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 1198 0 0 0 298 1 0 0 20 0 1 0 316907418 6746112 1135 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 1647 1135 229 17 0 953 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 6588
[startup+6.30023 s]
/proc/loadavg: 1.93 1.98 1.68 3/177 31026
/proc/meminfo: memFree=29596204/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=7092 CPUtime=6.19 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 1342 0 0 0 618 1 0 0 20 0 1 0 316907418 7262208 1279 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 1773 1279 229 17 0 1079 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 7092
[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.68 3/177 31026
/proc/meminfo: memFree=29593968/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=7856 CPUtime=12.59 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 1510 0 0 0 1255 4 0 0 20 0 1 0 316907418 8044544 1447 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 1964 1447 229 17 0 1270 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 7856
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.68 3/177 31026
/proc/meminfo: memFree=29592244/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=8544 CPUtime=25.38 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 1702 0 0 0 2530 8 0 0 20 0 1 0 316907418 8749056 1638 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 2136 1638 229 17 0 1442 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 8544
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.69 3/177 31026
/proc/meminfo: memFree=29589700/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=9592 CPUtime=50.99 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 1969 0 0 0 5082 17 0 0 20 0 1 0 316907418 9822208 1890 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 2398 1890 229 17 0 1704 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 9592
[startup+102.3 s]
/proc/loadavg: 2.02 2.00 1.71 3/177 31026
/proc/meminfo: memFree=29585420/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=10864 CPUtime=102.18 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 2325 0 0 0 10186 32 0 0 20 0 1 0 316907418 11124736 2224 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 2716 2224 229 17 0 2022 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 10864
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 1.73 3/177 31026
/proc/meminfo: memFree=29583556/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=11728 CPUtime=162.16 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 2589 0 0 0 16165 51 0 0 20 0 1 0 316907418 12009472 2442 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 2932 2442 229 17 0 2238 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 11728
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 1.74 3/177 31026
/proc/meminfo: memFree=29581072/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=12308 CPUtime=222.15 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 2737 0 0 0 22148 67 0 0 20 0 1 0 316907418 12603392 2585 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 3077 2585 229 17 0 2383 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 12308
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/177 31027
/proc/meminfo: memFree=29579088/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=12576 CPUtime=282.14 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 2799 0 0 0 28127 87 0 0 20 0 1 0 316907418 12877824 2645 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 3144 2645 229 17 0 2450 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 12576
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.76 3/177 31027
/proc/meminfo: memFree=29577908/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=13480 CPUtime=342.14 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 3063 0 0 0 34106 108 0 0 20 0 1 0 316907418 13803520 2883 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 3370 2883 229 17 0 2676 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 13480
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/178 31030
/proc/meminfo: memFree=29575408/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=13748 CPUtime=402.13 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 3192 0 0 0 40086 127 0 0 20 0 1 0 316907418 14077952 2950 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 3437 2950 229 17 0 2743 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 13748
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/177 31030
/proc/meminfo: memFree=29575176/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=13984 CPUtime=462.12 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 3242 0 0 0 46066 146 0 0 20 0 1 0 316907418 14319616 3000 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 3496 3000 229 17 0 2802 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 13984
[startup+522.3 s]
/proc/loadavg: 2.04 2.01 1.80 3/177 31030
/proc/meminfo: memFree=29574680/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=14588 CPUtime=522.11 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 3417 0 0 0 52044 167 0 0 20 0 1 0 316907418 14938112 3143 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 3647 3143 229 17 0 2953 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 14588
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 1.81 3/177 31031
/proc/meminfo: memFree=29574060/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=14460 CPUtime=582.1 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 3437 0 0 0 58023 187 0 0 20 0 1 0 316907418 14807040 3122 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 3615 3122 229 17 0 2921 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 14460
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/177 31031
/proc/meminfo: memFree=29572696/32873844 swapFree=7632/7632
################
# More data... #
################
/proc/meminfo: memFree=29564004/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=17420 CPUtime=942.04 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 4407 0 0 0 93905 299 0 0 20 0 1 0 316907418 17838080 3849 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 4355 3849 229 17 0 3661 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 17420
[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 1.86 3/178 31035
/proc/meminfo: memFree=29563872/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=16788 CPUtime=1002.03 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 4407 0 0 0 99889 314 0 0 20 0 1 0 316907418 17190912 3711 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 4197 3711 229 17 0 3503 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 16788
[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 1.87 3/178 31058
/proc/meminfo: memFree=29563436/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=17560 CPUtime=1062.02 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 4666 0 0 0 105872 330 0 0 20 0 1 0 316907418 17981440 3904 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 4390 3904 229 17 0 3696 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 17560
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 31058
/proc/meminfo: memFree=29563320/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=17524 CPUtime=1122.01 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 4843 0 0 0 111857 344 0 0 20 0 1 0 316907418 17944576 3895 33554432000 134512640 134579096 4293443216 4293442064 134527740 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 4381 3895 229 17 0 3687 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 17524
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 31059
/proc/meminfo: memFree=29563320/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=18040 CPUtime=1182 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 5111 0 0 0 117838 362 0 0 20 0 1 0 316907418 18472960 4024 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 4510 4024 229 17 0 3816 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 18040
[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 1.89 3/177 31059
/proc/meminfo: memFree=29562700/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=18040 CPUtime=1242 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 5111 0 0 0 123819 381 0 0 20 0 1 0 316907418 18472960 4024 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 4510 4024 229 17 0 3816 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 18040
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.90 3/177 31059
/proc/meminfo: memFree=29562204/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=18040 CPUtime=1301.99 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 5111 0 0 0 129799 400 0 0 20 0 1 0 316907418 18472960 4024 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 4510 4024 229 17 0 3816 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 18040
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 31059
/proc/meminfo: memFree=29561708/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=17532 CPUtime=1361.97 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 5111 0 0 0 135783 414 0 0 20 0 1 0 316907418 17952768 3897 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 4383 3897 229 17 0 3689 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 17532
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 31059
/proc/meminfo: memFree=29559784/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=17416 CPUtime=1421.97 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 5111 0 0 0 141765 432 0 0 20 0 1 0 316907418 17833984 3868 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 4354 3868 229 17 0 3660 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 17416
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 31060
/proc/meminfo: memFree=29559908/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=17180 CPUtime=1481.96 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 5111 0 0 0 147747 449 0 0 20 0 1 0 316907418 17592320 3809 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 4295 3809 229 17 0 3601 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 17180
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 31060
/proc/meminfo: memFree=29560652/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=17368 CPUtime=1541.96 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 5151 0 0 0 153728 468 0 0 20 0 1 0 316907418 17784832 3842 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 4342 3842 229 17 0 3648 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 17368
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 31063
/proc/meminfo: memFree=29559836/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=17312 CPUtime=1601.94 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 5170 0 0 0 159707 487 0 0 20 0 1 0 316907418 17727488 3842 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 4328 3842 229 17 0 3634 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 17312
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 31063
/proc/meminfo: memFree=29560092/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=17320 CPUtime=1661.93 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 5250 0 0 0 165688 505 0 0 20 0 1 0 316907418 17735680 3844 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 4330 3844 229 17 0 3636 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 17320
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 31063
/proc/meminfo: memFree=29559844/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=17648 CPUtime=1721.92 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 5310 0 0 0 171669 523 0 0 20 0 1 0 316907418 18071552 3904 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 4412 3904 229 17 0 3718 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 17648
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 31063
/proc/meminfo: memFree=29558976/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=17528 CPUtime=1781.92 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 5310 0 0 0 177654 538 0 0 20 0 1 0 316907418 17948672 3896 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 4382 3896 229 17 0 3688 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 17528
Solver just ended. Dumping a history of the last processes samples
[startup+1782.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 31063
/proc/meminfo: memFree=29558976/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=17528 CPUtime=1782.02 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 5310 0 0 0 177664 538 0 0 20 0 1 0 316907418 17948672 3896 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 4382 3896 229 17 0 3688 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 17528
[startup+1782.8 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 31063
/proc/meminfo: memFree=29558976/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=17520 CPUtime=1782.42 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 5310 0 0 0 177704 538 0 0 20 0 1 0 316907418 17940480 3894 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 4380 3894 229 17 0 3686 0
Current children cumulated CPU time (s) 1782.42
Current children cumulated vsize (KiB) 17520
[startup+1783.21 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 31063
/proc/meminfo: memFree=29558984/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=17516 CPUtime=1782.82 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 5310 0 0 0 177744 538 0 0 20 0 1 0 316907418 17936384 3893 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 4379 3893 229 17 0 3685 0
Current children cumulated CPU time (s) 1782.82
Current children cumulated vsize (KiB) 17516
[startup+1783.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 31063
/proc/meminfo: memFree=29558984/32873844 swapFree=7632/7632
[pid=31025] ppid=31023 vsize=17508 CPUtime=1782.91 cores=1,3,5,7
/proc/31025/stat : 31025 (Pueblo) R 31023 31025 30519 0 -1 4202496 5310 0 0 0 177753 538 0 0 20 0 1 0 316907418 17928192 3891 33554432000 134512640 134579096 4293443216 4293442188 5309488 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/31025/statm: 4377 3891 229 17 0 3683 0
Current children cumulated CPU time (s) 1782.91
Current children cumulated vsize (KiB) 17508
Child status: 10
Real time (s): 1783.38
CPU time (s): 1783
CPU user time (s): 1777.62
CPU system time (s): 5.38218
CPU usage (%): 99.9787
Max. virtual memory (cumulated for all children) (KiB): 18328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1777.62
system time used= 5.38218
maximum resident set size= 16324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5315
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= 14
involuntary context switches= 1834
runsolver used 2.69059 second user time and 7.04393 second system time
The end