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-3720077-1338507813/watcher-3720077-1338507813 -o /tmp/evaluation-result-3720077-1338507813/solver-3720077-1338507813 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720077-1338507813.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.68 4/176 29121
/proc/meminfo: memFree=29338492/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=3100 CPUtime=0 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 333 0 0 0 0 0 0 0 20 0 1 0 316909841 3174400 271 33554432000 134512640 134579096 4289946832 4289814228 2331377 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29121/statm: 775 271 221 17 0 81 0
[startup+0.014337 s]
/proc/loadavg: 2.00 2.00 1.68 4/176 29121
/proc/meminfo: memFree=29338492/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=3232 CPUtime=0.01 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 370 0 0 0 1 0 0 0 20 0 1 0 316909841 3309568 308 33554432000 134512640 134579096 4289946832 4289814256 134546735 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29121/statm: 808 308 221 17 0 114 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3232
[startup+0.100239 s]
/proc/loadavg: 2.00 2.00 1.68 4/176 29121
/proc/meminfo: memFree=29338492/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=4028 CPUtime=0.09 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 556 0 0 0 9 0 0 0 20 0 1 0 316909841 4124672 494 33554432000 134512640 134579096 4289946832 4289945680 134527726 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29121/statm: 1007 494 229 17 0 313 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4028
[startup+0.300225 s]
/proc/loadavg: 2.00 2.00 1.68 4/176 29121
/proc/meminfo: memFree=29338492/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=4560 CPUtime=0.29 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 696 0 0 0 29 0 0 0 20 0 1 0 316909841 4669440 634 33554432000 134512640 134579096 4289946832 4289945680 134528392 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29121/statm: 1140 634 229 17 0 446 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4560
[startup+0.70021 s]
/proc/loadavg: 2.00 2.00 1.68 4/176 29121
/proc/meminfo: memFree=29338492/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=4812 CPUtime=0.69 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 764 0 0 0 69 0 0 0 20 0 1 0 316909841 4927488 702 33554432000 134512640 134579096 4289946832 4289945680 134527812 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29121/statm: 1203 702 229 17 0 509 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4812
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 1.68 3/177 29122
/proc/meminfo: memFree=29337136/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=5324 CPUtime=1.49 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 919 0 0 0 149 0 0 0 20 0 1 0 316909841 5451776 845 33554432000 134512640 134579096 4289946832 4289945804 4154416 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29121/statm: 1331 845 229 17 0 637 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5324
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 1.68 3/177 29122
/proc/meminfo: memFree=29335772/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=5840 CPUtime=3.09 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 1039 0 0 0 309 0 0 0 20 0 1 0 316909841 5980160 959 33554432000 134512640 134579096 4289946832 4289945632 134528609 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29121/statm: 1460 959 229 17 0 766 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5840
[startup+6.30021 s]
/proc/loadavg: 2.00 2.00 1.68 3/177 29122
/proc/meminfo: memFree=29334780/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=6556 CPUtime=6.28 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 1224 0 0 0 628 0 0 0 20 0 1 0 316909841 6713344 1125 33554432000 134512640 134579096 4289946832 4289945712 134516812 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29121/statm: 1639 1125 229 17 0 945 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 6556
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.68 3/177 29122
/proc/meminfo: memFree=29330976/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=6720 CPUtime=12.69 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 1269 0 0 0 1268 1 0 0 20 0 1 0 316909841 6881280 1170 33554432000 134512640 134579096 4289946832 4289945680 134527750 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29121/statm: 1680 1170 229 17 0 986 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6720
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.68 3/177 29122
/proc/meminfo: memFree=29329904/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=7432 CPUtime=25.48 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 1504 0 0 0 2546 2 0 0 20 0 1 0 316909841 7610368 1357 33554432000 134512640 134579096 4289946832 4289945632 134528574 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29121/statm: 1858 1357 229 17 0 1164 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 7432
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.69 3/177 29170
/proc/meminfo: memFree=29387660/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=8104 CPUtime=51.07 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 1727 0 0 0 5102 5 0 0 20 0 1 0 316909841 8298496 1535 33554432000 134512640 134579096 4289946832 4289945648 134519077 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 2026 1535 229 17 0 1332 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 8104
[startup+102.306 s]
/proc/loadavg: 2.05 2.01 1.71 3/177 29170
/proc/meminfo: memFree=29313604/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=9540 CPUtime=102.27 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 2178 0 0 0 10216 11 0 0 20 0 1 0 316909841 9768960 1884 33554432000 134512640 134579096 4289946832 4289945804 4154416 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 2385 1884 229 17 0 1691 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 9540
[startup+162.3 s]
/proc/loadavg: 2.05 2.02 1.73 3/177 29171
/proc/meminfo: memFree=29231856/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=10480 CPUtime=162.25 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 2410 0 0 0 16209 16 0 0 20 0 1 0 316909841 10731520 2116 33554432000 134512640 134579096 4289946832 4289945680 134527824 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 2620 2116 229 17 0 1926 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 10480
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 1.75 3/177 29171
/proc/meminfo: memFree=29152232/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=10748 CPUtime=222.25 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 2484 0 0 0 22203 22 0 0 20 0 1 0 316909841 11005952 2189 33554432000 134512640 134579096 4289946832 4289945664 134517922 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 2687 2189 229 17 0 1993 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 10748
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.76 3/177 29171
/proc/meminfo: memFree=29061400/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=11120 CPUtime=282.24 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 2578 0 0 0 28195 29 0 0 20 0 1 0 316909841 11386880 2283 33554432000 134512640 134579096 4289946832 4289945680 134527740 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 2780 2283 229 17 0 2086 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 11120
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/177 29171
/proc/meminfo: memFree=28997288/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=11496 CPUtime=342.23 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 2753 0 0 0 34186 37 0 0 20 0 1 0 316909841 11771904 2383 33554432000 134512640 134579096 4289946832 4289945680 134527762 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 2874 2383 229 17 0 2180 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 11496
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/178 29174
/proc/meminfo: memFree=28927992/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=11968 CPUtime=402.22 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 2860 0 0 0 40174 48 0 0 20 0 1 0 316909841 12255232 2482 33554432000 134512640 134579096 4289946832 4289945680 134527962 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 2992 2482 229 17 0 2298 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 11968
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/177 29175
/proc/meminfo: memFree=28890456/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=12168 CPUtime=462.21 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 2982 0 0 0 46168 53 0 0 20 0 1 0 316909841 12460032 2556 33554432000 134512640 134579096 4289946832 4289945680 134527824 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 3042 2556 229 17 0 2348 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 12168
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/177 29175
/proc/meminfo: memFree=28841628/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=12832 CPUtime=522.2 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 3148 0 0 0 52162 58 0 0 20 0 1 0 316909841 13139968 2722 33554432000 134512640 134579096 4289946832 4289945696 134520067 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 3208 2722 229 17 0 2514 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 12832
[startup+582.3 s]
/proc/loadavg: 2.05 2.01 1.82 3/177 29175
/proc/meminfo: memFree=28781156/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=13004 CPUtime=582.2 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 3231 0 0 0 58157 63 0 0 20 0 1 0 316909841 13316096 2765 33554432000 134512640 134579096 4289946832 4289945632 134528577 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 3251 2765 229 17 0 2557 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 13004
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28672904/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=13620 CPUtime=882.15 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 3528 0 0 0 88139 76 0 0 20 0 1 0 316909841 13946880 2904 33554432000 134512640 134579096 4289946832 4289945680 134527737 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 3405 2904 229 17 0 2711 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 13620
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 29176
/proc/meminfo: memFree=28672644/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=13600 CPUtime=942.14 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 3528 0 0 0 94136 78 0 0 20 0 1 0 316909841 13926400 2904 33554432000 134512640 134579096 4289946832 4289945760 134559218 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 3400 2904 229 17 0 2706 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 13600
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 29179
/proc/meminfo: memFree=28671740/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=13860 CPUtime=1002.13 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 3683 0 0 0 100130 83 0 0 20 0 1 0 316909841 14192640 2979 33554432000 134512640 134579096 4289946832 4289945680 134527742 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 3465 2979 229 17 0 2771 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 13860
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 29202
/proc/meminfo: memFree=28671436/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=14488 CPUtime=1062.12 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 3846 0 0 0 106123 89 0 0 20 0 1 0 316909841 14835712 3127 33554432000 134512640 134579096 4289946832 4289943536 134533489 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 3622 3127 229 17 0 2928 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 14488
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 29203
/proc/meminfo: memFree=28671320/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=14488 CPUtime=1122.11 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 3846 0 0 0 112117 94 0 0 20 0 1 0 316909841 14835712 3127 33554432000 134512640 134579096 4289946832 4289945680 134527824 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 3622 3127 229 17 0 2928 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 14488
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 1.89 3/177 29203
/proc/meminfo: memFree=28671444/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=14488 CPUtime=1182.11 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 3846 0 0 0 118113 98 0 0 20 0 1 0 316909841 14835712 3127 33554432000 134512640 134579096 4289946832 4289945680 134527973 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 3622 3127 229 17 0 2928 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 14488
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.89 3/177 29203
/proc/meminfo: memFree=28628292/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=14488 CPUtime=1242.1 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 3846 0 0 0 124108 102 0 0 20 0 1 0 316909841 14835712 3127 33554432000 134512640 134579096 4289946832 4289945680 134528052 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 3622 3127 229 17 0 2928 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 14488
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 29203
/proc/meminfo: memFree=28581048/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=14488 CPUtime=1302.09 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 3846 0 0 0 130103 106 0 0 20 0 1 0 316909841 14835712 3127 33554432000 134512640 134579096 4289946832 4289945804 4154416 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 3622 3127 229 17 0 2928 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 14488
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 29203
/proc/meminfo: memFree=28542980/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=14488 CPUtime=1362.08 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 3846 0 0 0 136099 109 0 0 20 0 1 0 316909841 14835712 3127 33554432000 134512640 134579096 4289946832 4289945680 134527759 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 3622 3127 229 17 0 2928 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 14488
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 29204
/proc/meminfo: memFree=28533928/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=14488 CPUtime=1422.07 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 3846 0 0 0 142095 112 0 0 20 0 1 0 316909841 14835712 3127 33554432000 134512640 134579096 4289946832 4289945804 4154416 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 3622 3127 229 17 0 2928 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 14488
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 29204
/proc/meminfo: memFree=28533140/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=14616 CPUtime=1482.05 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 3946 0 0 0 148087 118 0 0 20 0 1 0 316909841 14966784 3166 33554432000 134512640 134579096 4289946832 4289945680 134527740 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 3654 3166 229 17 0 2960 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 14616
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 29204
/proc/meminfo: memFree=28532060/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=15588 CPUtime=1542.04 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 4187 0 0 0 154083 121 0 0 20 0 1 0 316909841 15962112 3407 33554432000 134512640 134579096 4289946832 4289945680 134527740 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 3897 3407 229 17 0 3203 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 15588
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 29207
/proc/meminfo: memFree=28532236/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=15696 CPUtime=1602.04 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 4225 0 0 0 160079 125 0 0 20 0 1 0 316909841 16072704 3438 33554432000 134512640 134579096 4289946832 4289945680 134527737 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 3924 3438 229 17 0 3230 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 15696
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 29207
/proc/meminfo: memFree=28532368/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=15672 CPUtime=1662.02 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 4225 0 0 0 166072 130 0 0 20 0 1 0 316909841 16048128 3432 33554432000 134512640 134579096 4289946832 4289945612 134528838 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 3918 3432 229 17 0 3224 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 15672
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 29208
/proc/meminfo: memFree=28532492/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=15808 CPUtime=1722.02 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 4250 0 0 0 172067 135 0 0 20 0 1 0 316909841 16187392 3457 33554432000 134512640 134579096 4289946832 4289945680 134527759 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 3952 3457 229 17 0 3258 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 15808
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 29208
/proc/meminfo: memFree=28532244/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=15788 CPUtime=1782.01 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 4250 0 0 0 178063 138 0 0 20 0 1 0 316909841 16166912 3457 33554432000 134512640 134579096 4289946832 4289945680 134527737 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 3947 3457 229 17 0 3253 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 15788
Solver just ended. Dumping a history of the last processes samples
[startup+1782.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 29208
/proc/meminfo: memFree=28532244/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=15788 CPUtime=1782.41 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 4250 0 0 0 178103 138 0 0 20 0 1 0 316909841 16166912 3457 33554432000 134512640 134579096 4289946832 4289945680 134527759 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 3947 3457 229 17 0 3253 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (KiB) 15788
[startup+1783.11 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 29208
/proc/meminfo: memFree=28532244/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=15788 CPUtime=1782.81 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 4250 0 0 0 178143 138 0 0 20 0 1 0 316909841 16166912 3457 33554432000 134512640 134579096 4289946832 4289945680 134527729 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 3947 3457 229 17 0 3253 0
Current children cumulated CPU time (s) 1782.81
Current children cumulated vsize (KiB) 15788
[startup+1783.2 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 29208
/proc/meminfo: memFree=28532244/32873844 swapFree=6872/6872
[pid=29121] ppid=29119 vsize=15788 CPUtime=1782.91 cores=0,2,4,6
/proc/29121/stat : 29121 (Pueblo) R 29119 29121 28759 0 -1 4202496 4250 0 0 0 178152 139 0 0 20 0 1 0 316909841 16166912 3457 33554432000 134512640 134579096 4289946832 4289945680 134527740 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29121/statm: 3947 3457 229 17 0 3253 0
Current children cumulated CPU time (s) 1782.91
Current children cumulated vsize (KiB) 15788
Child status: 10
Real time (s): 1783.28
CPU time (s): 1783
CPU user time (s): 1781.61
CPU system time (s): 1.39079
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 15808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.61
system time used= 1.39079
maximum resident set size= 13848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4255
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= 11
involuntary context switches= 1871
runsolver used 7.01893 second user time and 16.6905 second system time
The end