0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.09 c Default LC presolving (default).
0.00/0.09 c ** Before presolving: virtualMemUsedAtLc = 89173832, getVmSize() = 77819904, SCIPgetMemUsed() = 46179265, SCIPgetMemTotal() = 53955961, SCIPgetMemExternEstim() = 35217871
0.00/0.09 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.59/0.62 c ** Estimated virtualMemUsedAtSolver = 105755356, getVmSize() = 153038848, SCIPgetMemUsed() = 84008836, SCIPgetMemTotal() = 123415164, SCIPgetMemExternEstim() = 35217871
0.59/0.62 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.59/0.62 c Original Problem :
0.59/0.62 c Problem name : instance-4464431-1722378598
0.59/0.62 c Variables : 4644 (4644 binary, 0 integer, 0 implicit integer, 0 continuous)
0.59/0.62 c Constraints : 31254
0.59/0.62 c Objective sense : minimize
0.59/0.62 c Presolved Problem :
0.59/0.62 c Variables : 4644 (4644 binary, 0 integer, 0 implicit integer, 0 continuous)
0.59/0.62 c Constraints : 31254
0.59/0.62 c Constraints : Number
0.59/0.62 c knapsack : 78
0.59/0.62 c setppc : 948
0.59/0.62 c logicor : 30228
0.59/0.62 c ** Instance transfer method used: 0
0.59/0.66 c ** ParaScipInstance copy does not increase the number of variables. **
0.69/0.71 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.69/0.71 c Nodes Active
0.69/0.71 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
144.29/144.90 c 145 2 1 1 - 0.0000 -
164.71/165.49 c 165 5 4 1 - 0.0000 -
202.75/203.66 c 204 6 5 1 - 0.0000 -
243.69/244.79 c 245 10 9 1 - 0.0000 -
250.17/251.20 c 251 12 11 1 - 0.0000 -
302.77/304.10 c 304 13 12 1 - 0.0000 -
314.93/316.26 c 316 14 13 1 - 0.0000 -
320.40/321.79 c 322 15 14 1 - 0.0000 -
330.97/332.30 c 332 17 16 1 - 0.0000 -
370.50/372.08 c 372 21 20 1 - 0.0000 -
386.42/388.07 c 388 22 21 1 - 0.0000 -
405.14/406.80 c 407 23 22 1 - 0.0000 -
428.64/430.46 c 430 24 23 1 - 0.0000 -
452.53/454.42 c 454 25 24 1 - 0.0000 -
467.17/469.15 c 469 26 25 1 - 0.0000 -
492.07/494.18 c 494 27 26 1 - 0.0000 -
510.48/512.69 c 513 28 27 1 - 0.0000 -
537.96/540.27 c 540 32 31 1 - 0.0000 -
550.60/552.94 c 553 33 32 1 - 0.0000 -
567.24/569.67 c 570 34 33 1 - 0.0000 -
582.87/585.37 c 585 35 34 1 - 0.0000 -
589.44/591.95 c 592 37 36 1 - 0.0000 -
607.25/609.89 c 610 39 38 1 - 0.0000 -
624.09/626.78 c 627 40 39 1 - 0.0000 -
643.10/645.87 c 646 41 40 1 - 0.0000 -
658.73/661.55 c 662 42 41 1 - 0.0000 -
677.85/680.79 c 681 44 43 1 - 0.0000 -
690.10/693.04 c 693 45 44 1 - 0.0000 -
709.71/712.70 c 713 46 45 1 - 0.0000 -
727.33/730.47 c 730 47 46 1 - 0.0000 -
736.29/739.43 c 739 48 47 1 - 0.0000 -
742.88/746.02 c 746 49 48 1 - 0.0000 -
769.55/772.85 c 773 52 51 1 - 0.0000 -
774.92/778.20 c 778 53 52 1 - 0.0000 -
822.22/825.74 c 826 55 54 1 - 0.0000 -
836.25/839.88 c 840 56 55 1 - 0.0000 -
872.41/876.16 c 876 57 56 1 - 0.0000 -
877.98/881.71 c 882 58 57 1 - 0.0000 -
927.66/931.69 c 932 59 58 1 - 0.0000 -
944.69/948.71 c 949 60 59 1 - 0.0000 -
951.36/955.40 c 955 61 60 1 - 0.0000 -
960.82/964.95 c 965 62 61 1 - 0.0000 -
971.57/975.78 c 976 64 63 1 - 0.0000 -
979.73/983.97 c 984 65 64 1 - 0.0000 -
988.80/993.06 c 993 67 66 1 - 0.0000 -
1046.05/1050.50 c 1051 68 67 1 - 0.0000 -
1062.08/1066.69 c 1067 70 69 1 - 0.0000 -
1070.84/1075.43 c 1075 71 70 1 - 0.0000 -
1085.98/1090.60 c 1091 72 71 1 - 0.0000 -
1107.30/1112.05 c 1112 73 72 1 - 0.0000 -
1132.97/1137.87 c 1138 74 73 1 - 0.0000 -
1153.49/1158.43 c 1158 76 75 1 - 0.0000 -
1160.07/1165.06 c 1165 78 77 1 - 0.0000 -
1169.42/1174.42 c 1174 79 78 1 - 0.0000 -
1189.13/1194.22 c 1194 80 79 1 - 0.0000 -
1206.16/1211.30 c 1211 82 81 1 - 0.0000 -
1250.17/1255.59 c 1256 84 83 1 - 0.0000 -
1318.57/1324.29 c 1324 86 85 1 - 0.0000 -
1323.75/1329.40 c 1329 88 87 1 - 0.0000 -
1347.55/1353.37 c 1353 89 88 1 - 0.0000 -
1380.91/1386.89 c 1387 90 89 1 - 0.0000 -
1397.23/1403.20 c 1403 92 91 1 - 0.0000 -
1407.59/1413.68 c 1414 94 93 1 - 0.0000 -
1440.85/1447.03 c 1447 95 94 1 - 0.0000 -
1473.50/1479.87 c 1480 96 95 1 - 0.0000 -
1482.86/1489.20 c 1489 97 96 1 - 0.0000 -
1491.43/1497.82 c 1498 98 97 1 - 0.0000 -
1496.91/1503.30 c 1503 100 99 1 - 0.0000 -
1508.56/1515.06 c 1515 102 101 1 - 0.0000 -
1518.90/1525.45 c 1525 106 105 1 - 0.0000 -
1537.04/1543.62 c 1544 110 109 1 - 0.0000 -
1543.71/1550.32 c 1550 111 110 1 - 0.0000 -
1567.80/1574.55 c 1575 112 111 1 - 0.0000 -
1591.62/1598.40 c 1598 116 115 1 - 0.0000 -
1616.82/1623.74 c 1624 117 116 1 - 0.0000 -
1643.55/1650.66 c 1651 118 119 1 - 0.0000 -
1657.09/1664.29 c 1664 120 119 1 - 0.0000 -
1687.48/1694.73 c 1695 122 123 1 - 0.0000 -
1711.60/1718.99 c 1719 123 122 1 - 0.0000 -
1717.68/1725.06 c 1725 126 125 1 - 0.0000 -
1743.58/1751.09 c 1751 127 126 1 - 0.0000 -
1758.62/1766.14 c 1766 128 127 1 - 0.0000 -
1767.98/1775.52 c 1776 130 129 1 - 0.0000 -
1789.01/1796.67 c 1797 131 130 1 - 0.0000 -
1800.07/1807.78 c 1808 132 131 1 - 0.0000 -
1809.53/1817.22 c 1817 134 133 1 - 0.0000 -
1816.51/1824.23 c 1824 135 134 1 - 0.0000 -
1822.39/1830.12 c 1830 136 135 1 - 0.0000 -
1830.56/1838.32 c 1838 137 136 1 - 0.0000 -
1841.32/1849.12 c 1849 138 137 1 - 0.0000 -
1864.33/1872.27 c 1872 139 138 1 - 0.0000 -
1879.47/1887.45 c 1887 140 139 1 - 0.0000 -
1885.45/1893.48 c 1893 141 140 1 - 0.0000 -
1904.98/1913.08 c 1913 142 141 1 - 0.0000 -
1911.85/1919.99 c 1920 143 142 1 - 0.0000 -
1928.70/1936.84 c 1937 144 143 1 - 0.0000 -
1940.06/1948.28 c 1948 145 144 1 - 0.0000 -
1965.76/1974.05 c 1974 148 147 1 - 0.0000 -
1974.92/1983.24 c 1983 149 148 1 - 0.0000 -
1989.27/1997.61 c 1998 150 149 1 - 0.0000 -
1994.75/2003.19 c 2003 151 150 1 - 0.0000 -
2025.73/2034.24 c 2034 152 151 1 - 0.0000 -
2059.20/2067.81 c 2068 155 154 1 - 0.0000 -
2066.88/2075.50 c 2076 156 155 1 - 0.0000 -
2074.95/2083.62 c 2084 157 156 1 - 0.0000 -
2086.31/2095.05 c 2095 158 157 1 - 0.0000 -
2095.47/2104.28 c 2104 159 158 1 - 0.0000 -
2125.37/2134.25 c 2134 160 159 1 - 0.0000 -
2148.28/2157.23 c 2157 162 161 1 - 0.0000 -
2163.62/2172.64 c 2173 165 164 1 - 0.0000 -
2168.90/2177.91 c 2178 167 166 1 - 0.0000 -
2190.82/2199.94 c 2200 169 168 1 - 0.0000 -
2196.01/2205.14 c 2205 170 169 1 - 0.0000 -
2207.96/2217.18 c 2217 172 171 1 - 0.0000 -
2215.83/2225.10 c 2225 173 172 1 - 0.0000 -
2228.88/2238.18 c 2238 177 176 1 - 0.0000 -
2264.94/2274.31 c 2274 178 177 1 - 0.0000 -
2273.72/2283.11 c 2283 180 179 1 - 0.0000 -
2287.47/2296.94 c 2297 182 181 1 - 0.0000 -
2316.16/2325.72 c 2326 184 183 1 - 0.0000 -
2338.28/2347.92 c 2348 185 184 1 - 0.0000 -
2350.44/2360.16 c 2360 187 186 1 - 0.0000 -
2364.88/2374.69 c 2375 188 187 1 - 0.0000 -
2404.53/2414.41 c 2414 190 189 1 - 0.0000 -
2415.78/2425.78 c 2426 192 191 1 - 0.0000 -
2422.67/2432.60 c 2433 194 193 1 - 0.0000 -
2449.27/2459.39 c 2459 195 194 1 - 0.0000 -
2459.13/2469.29 c 2469 196 195 1 - 0.0000 -
2476.07/2486.28 c 2486 197 196 1 - 0.0000 -
2481.85/2492.08 c 2492 198 197 1 - 0.0000 -
2493.70/2503.97 c 2504 200 199 1 - 0.0000 -
2503.47/2513.75 c 2514 201 200 1 - 0.0000 -
2510.84/2521.14 c 2521 202 201 1 - 0.0000 -
2518.31/2528.68 c 2529 204 203 1 - 0.0000 -
2532.76/2543.15 c 2543 205 204 1 - 0.0000 -
2564.54/2575.07 c 2575 206 205 1 - 0.0000 -
2571.71/2582.22 c 2582 207 206 1 - 0.0000 -
2589.34/2599.96 c 2600 208 207 1 - 0.0000 -
2597.22/2607.86 c 2608 210 209 1 - 0.0000 -
2606.09/2616.79 c 2617 211 210 1 - 0.0000 -
2620.54/2631.24 c 2631 212 211 1 - 0.0000 -
2646.54/2657.35 c 2657 216 215 1 - 0.0000 -
2651.82/2662.67 c 2663 217 216 1 - 0.0000 -
2659.49/2670.37 c 2670 218 217 1 - 0.0000 -
2686.09/2697.07 c 2697 219 218 1 - 0.0000 -
2698.84/2709.82 c 2710 220 219 1 - 0.0000 -
2710.79/2721.88 c 2722 221 220 1 - 0.0000 -
2721.25/2732.33 c 2732 222 221 1 - 0.0000 -
2765.09/2776.38 c 2776 223 222 1 - 0.0000 -
2775.86/2787.15 c 2787 226 225 1 - 0.0000 -
2787.12/2798.48 c 2798 227 226 1 - 0.0000 -
2799.27/2810.63 c 2811 229 228 1 - 0.0000 -
2826.07/2837.51 c 2838 230 229 1 - 0.0000 -
2834.65/2846.14 c 2846 231 230 1 - 0.0000 -
2841.92/2853.43 c 2853 232 231 1 - 0.0000 -
2866.62/2878.23 c 2878 235 234 1 - 0.0000 -
2898.41/2910.11 c 2910 242 241 1 - 0.0000 -
2916.94/2928.74 c 2929 243 242 1 - 0.0000 -
2925.71/2937.59 c 2938 244 243 1 - 0.0000 -
2940.75/2952.64 c 2953 245 244 1 - 0.0000 -
2954.00/2965.91 c 2966 246 245 1 - 0.0000 -
2980.31/2992.33 c 2992 248 247 1 - 0.0000 -
2985.59/2997.66 c 2998 252 251 1 - 0.0000 -
2993.36/3005.45 c 3005 254 253 1 - 0.0000 -
3016.37/3028.56 c 3029 255 254 1 - 0.0000 -
3023.34/3035.52 c 3036 257 256 1 - 0.0000 -
3034.60/3046.88 c 3047 259 258 1 - 0.0000 -
3042.57/3054.89 c 3055 260 259 1 - 0.0000 -
3052.43/3064.74 c 3065 261 260 1 - 0.0000 -
3070.77/3083.18 c 3083 262 261 1 - 0.0000 -
3078.43/3090.82 c 3091 267 266 1 - 0.0000 -
3090.89/3103.35 c 3103 270 269 1 - 0.0000 -
3096.67/3109.18 c 3109 271 270 1 - 0.0000 -
3104.44/3116.97 c 3117 272 271 1 - 0.0000 -
3110.62/3123.13 c 3123 273 272 1 - 0.0000 -
3116.69/3129.27 c 3129 275 274 1 - 0.0000 -
3130.45/3143.04 c 3143 276 275 1 - 0.0000 -
3149.48/3162.16 c 3162 279 278 1 - 0.0000 -
3180.76/3193.52 c 3194 280 279 1 - 0.0000 -
3189.33/3202.13 c 3202 281 280 1 - 0.0000 -
3201.98/3214.81 c 3215 282 281 1 - 0.0000 -
3225.79/3238.72 c 3239 285 284 1 - 0.0000 -
3233.46/3246.40 c 3246 287 286 1 - 0.0000 -
3246.91/3259.95 c 3260 288 287 1 - 0.0000 -
3253.68/3266.74 c 3267 290 289 1 - 0.0000 -
3261.65/3274.79 c 3275 291 290 1 - 0.0000 -
3283.08/3296.22 c 3296 292 291 1 - 0.0000 -
3291.74/3304.93 c 3305 294 293 1 - 0.0000 -
3297.52/3310.71 c 3311 295 294 1 - 0.0000 -
3312.57/3325.82 c 3326 296 295 1 - 0.0000 -
3329.31/3342.66 c 3343 300 299 1 - 0.0000 -
3338.77/3352.10 c 3352 301 300 1 - 0.0000 -
3344.55/3357.90 c 3358 302 301 1 - 0.0000 -
3371.95/3385.43 c 3385 303 302 1 - 0.0000 -
3380.31/3393.85 c 3394 304 303 1 - 0.0000 -
3388.09/3401.69 c 3402 305 304 1 - 0.0000 -
3395.07/3408.60 c 3409 306 305 1 - 0.0000 -
3403.94/3417.56 c 3418 307 306 1 - 0.0000 -
3452.65/3466.47 c 3466 308 307 1 - 0.0000 -
3470.09/3483.90 c 3484 310 309 1 - 0.0000 -
3480.85/3494.72 c 3495 311 310 1 - 0.0000 -
3486.53/3500.46 c 3500 314 313 1 - 0.0000 -
3503.07/3517.03 c 3517 317 316 1 - 0.0000 -
3510.44/3524.45 c 3524 318 317 1 - 0.0000 -
3529.07/3543.12 c 3543 321 320 1 - 0.0000 -
3583.26/3597.54 c 3598 322 321 1 - 0.0000 -
3583.77/3598.07 c SCIP Status : c solving was interrupted [hard time limit reached]
3583.77/3598.07 c Total Time : 3598.0600
3583.77/3598.07 c solving : 3598.0600
3583.77/3598.07 c presolving : 0.5255 (included in solving)
3583.77/3598.07 c B&B Tree :
3583.77/3598.07 c nodes (total) : 1
3583.77/3598.07 c Solution :
3583.77/3598.07 c Solutions found : 0
3583.77/3598.07 c Primal Bound : -
3583.77/3598.07 c Dual Bound : +0.00000000000000e+00
3583.77/3598.07 c Gap : -
3583.77/3598.09 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62777 MiB free)
memory of node 1: 64473 MiB (62986 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464431-1722378598/watcher-4464431-1722378598 -o /tmp/evaluation-result-4464431-1722378598/solver-4464431-1722378598 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722378594-27313 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464431-1722378598.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=27431, runsolver pid=27428
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 0.41 0.15 0.11 5/267 27432
/proc/meminfo: memFree=128725420/131524600 swapFree=131071996/131071996
[pid=27431] ppid=27428 vsize=77776 memory=65720 CPUtime=0.1 cores=0,2
/proc/27431/stat : 27431 (fscip) R 27428 27431 27303 0 -1 4194304 14182 0 0 0 8 2 0 0 20 0 1 0 4248028 79642624 16430 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
/proc/27431/statm: 19444 16430 2614 3035 0 15840 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 77776 KiB
Current children cumulated memory: 65720 KiB
[startup+0.205632 s]*
/proc/loadavg: 0.41 0.15 0.11 5/267 27432
/proc/meminfo: memFree=128701412/131524600 swapFree=131071996/131071996
[pid=27431] ppid=27428 vsize=93832 memory=82136 CPUtime=0.2 cores=0,2
/proc/27431/stat : 27431 (fscip) R 27428 27431 27303 0 -1 4194304 22461 0 0 0 17 3 0 0 20 0 1 0 4248028 96083968 20534 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
/proc/27431/statm: 23458 20534 2710 3035 0 19854 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 93832 KiB
Current children cumulated memory: 82136 KiB
[startup+0.305632 s]*
/proc/loadavg: 0.41 0.15 0.11 7/267 27432
/proc/meminfo: memFree=128697184/131524600 swapFree=131071996/131071996
[pid=27431] ppid=27428 vsize=98040 memory=86292 CPUtime=0.3 cores=0,2
/proc/27431/stat : 27431 (fscip) R 27428 27431 27303 0 -1 4194304 24942 0 0 0 27 3 0 0 20 0 1 0 4248028 100392960 21573 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
/proc/27431/statm: 24510 21573 2758 3035 0 20906 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 98040 KiB
Current children cumulated memory: 86292 KiB
[startup+0.700823 s]
/proc/loadavg: 0.41 0.15 0.11 7/267 27432
/proc/meminfo: memFree=128673480/131524600 swapFree=131071996/131071996
[pid=27431] ppid=27428 vsize=235156 memory=161120 CPUtime=0.69 cores=0,2
/proc/27431/stat : 27431 (fscip) S 27428 27431 27303 0 -1 1077936128 46189 0 0 0 63 6 0 0 20 0 2 0 4248028 240799744 40280 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
/proc/27431/statm: 58789 40280 2774 3035 0 44320 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 235156 KiB
Current children cumulated memory: 161120 KiB
[startup+1.50082 s]
/proc/loadavg: 0.41 0.15 0.11 5/269 27434
/proc/meminfo: memFree=128562008/131524600 swapFree=131071996/131071996
[pid=27431] ppid=27428 vsize=308888 memory=262288 CPUtime=1.48 cores=0,2
/proc/27431/stat : 27431 (fscip) S 27428 27431 27303 0 -1 1077936128 73926 0 0 0 138 10 0 0 20 0 3 0 4248028 316301312 65572 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
/proc/27431/statm: 77222 65572 2934 3035 0 72014 0
[pid=27431/tid=27433] ppid=27428 vsize=308888 memory=4216 CPUtime=0.82 cores=0,2
/proc/27431/task/27433/stat : 27433 (fscip) R 27428 27431 27303 0 -1 4194368 33153 0 0 0 77 5 0 0 20 0 3 0 4248091 316301312 65572 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
[pid=27431/tid=27434] ppid=27428 vsize=308888 memory=2280 CPUtime=0 cores=0,2
/proc/27431/task/27434/stat : 27434 (fscip) S 27428 27431 27303 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4248099 316301312 65572 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 308888 KiB
Current children cumulated memory: 262288 KiB
[startup+3.10547 s]
/proc/loadavg: 0.41 0.15 0.11 5/269 27434
/proc/meminfo: memFree=128517720/131524600 swapFree=131071996/131071996
[pid=27431] ppid=27428 vsize=308888 memory=262440 CPUtime=3.07 cores=0,2
/proc/27431/stat : 27431 (fscip) S 27428 27431 27303 0 -1 1077936128 76738 0 0 0 297 10 0 0 20 0 3 0 4248028 316301312 65610 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
/proc/27431/statm: 77222 65610 2934 3035 0 72014 0
[pid=27431/tid=27433] ppid=27428 vsize=308888 memory=2280 CPUtime=2.41 cores=0,2
/proc/27431/task/27433/stat : 27433 (fscip) R 27428 27431 27303 0 -1 4194368 35958 0 0 0 236 5 0 0 20 0 3 0 4248091 316301312 65610 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
[pid=27431/tid=27434] ppid=27428 vsize=308888 memory=203880 CPUtime=0 cores=0,2
/proc/27431/task/27434/stat : 27434 (fscip) S 27428 27431 27303 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4248099 316301312 65610 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 308888 KiB
Current children cumulated memory: 262440 KiB
[startup+6.30023 s]
/proc/loadavg: 0.69 0.22 0.13 5/269 27436
/proc/meminfo: memFree=128516192/131524600 swapFree=131071996/131071996
[pid=27431] ppid=27428 vsize=308888 memory=262952 CPUtime=6.26 cores=0,2
/proc/27431/stat : 27431 (fscip) S 27428 27431 27303 0 -1 1077936128 82267 0 0 0 615 11 0 0 20 0 3 0 4248028 316301312 65738 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
/proc/27431/statm: 77222 65738 2950 3035 0 72251 0
[pid=27431/tid=27433] ppid=27428 vsize=308888 memory=11536 CPUtime=5.59 cores=0,2
/proc/27431/task/27433/stat : 27433 (fscip) R 27428 27431 27303 0 -1 4194368 41480 0 0 0 554 5 0 0 20 0 3 0 4248091 316301312 65738 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
[pid=27431/tid=27434] ppid=27428 vsize=308888 memory=262440 CPUtime=0 cores=0,2
/proc/27431/task/27434/stat : 27434 (fscip) S 27428 27431 27303 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4248099 316301312 65738 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 308888 KiB
Current children cumulated memory: 262952 KiB
[startup+12.7002 s]
/proc/loadavg: 0.96 0.28 0.15 5/269 27436
/proc/meminfo: memFree=128508232/131524600 swapFree=131071996/131071996
[pid=27431] ppid=27428 vsize=308888 memory=263012 CPUtime=12.64 cores=0,2
/proc/27431/stat : 27431 (fscip) S 27428 27431 27303 0 -1 1077936128 97560 0 0 0 1252 12 0 0 20 0 3 0 4248028 316301312 65753 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
/proc/27431/statm: 77222 65753 2950 3035 0 72251 0
[pid=27431/tid=27433] ppid=27428 vsize=308888 memory=263012 CPUtime=11.96 cores=0,2
/proc/27431/task/27433/stat : 27433 (fscip) R 27428 27431 27303 0 -1 4194368 56753 0 0 0 1190 6 0 0 20 0 3 0 4248091 316301312 65753 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
[pid=27431/tid=27434] ppid=27428 vsize=308888 memory=2273 CPUtime=0 cores=0,2
/proc/27431/task/27434/stat : 27434 (fscip) S 27428 27431 27303 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 4248099 316301312 65753 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 308888 KiB
Current children cumulated memory: 263012 KiB
[startup+25.5003 s]
/proc/loadavg: 1.70 0.48 0.22 5/269 27439
/proc/meminfo: memFree=128419552/131524600 swapFree=131071996/131071996
[pid=27431] ppid=27428 vsize=374424 memory=274536 CPUtime=25.38 cores=0,2
/proc/27431/stat : 27431 (fscip) S 27428 27431 27303 0 -1 1077936128 121304 0 0 0 2525 13 0 0 20 0 3 0 4248028 383410176 68634 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
/proc/27431/statm: 93606 68634 2966 3035 0 75687 0
[pid=27431/tid=27433] ppid=27428 vsize=374424 memory=274536 CPUtime=24.72 cores=0,2
/proc/27431/task/27433/stat : 27433 (fscip) R 27428 27431 27303 0 -1 4194368 80477 0 0 0 2464 8 0 0 20 0 3 0 4248091 383410176 68634 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
[pid=27431/tid=27434] ppid=27428 vsize=374424 memory=274332 CPUtime=0 cores=0,2
/proc/27431/task/27434/stat : 27434 (fscip) S 27428 27431 27303 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 3 0 4248099 383410176 68634 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 374424 KiB
Current children cumulated memory: 274536 KiB
[startup+51.1056 s]
/proc/loadavg: 2.49 0.76 0.32 5/269 27443
/proc/meminfo: memFree=128348532/131524600 swapFree=131071996/131071996
[pid=27431] ppid=27428 vsize=374424 memory=278676 CPUtime=50.87 cores=0,2
/proc/27431/stat : 27431 (fscip) S 27428 27431 27303 0 -1 1077936128 152239 0 0 0 5072 15 0 0 20 0 3 0 4248028 383410176 69669 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
/proc/27431/statm: 93606 69669 2966 3035 0 78188 0
[pid=27431/tid=27433] ppid=27428 vsize=374424 memory=278544 CPUtime=50.21 cores=0,2
/proc/27431/task/27433/stat : 27433 (fscip) R 27428 27431 27303 0 -1 4194368 111405 0 0 0 5011 10 0 0 20 0 3 0 4248091 383410176 69669 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
[pid=27431/tid=27434] ppid=27428 vsize=374424 memory=11536 CPUtime=0 cores=0,2
/proc/27431/task/27434/stat : 27434 (fscip) S 27428 27431 27303 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 3 0 4248099 383410176 69669 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 374424 KiB
Current children cumulated memory: 278676 KiB
[startup+102.3 s]
/proc/loadavg: 3.42 1.28 0.52 5/271 27514
/proc/meminfo: memFree=128255480/131524600 swapFree=131071996/131071996
[pid=27431] ppid=27428 vsize=374424 memory=283536 CPUtime=101.86 cores=0,2
/proc/27431/stat : 27431 (fscip) S 27428 27431 27303 0 -1 1077936128 191636 0 0 0 10168 18 0 0 20 0 3 0 4248028 383410176 70884 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
/proc/27431/statm: 93606 70884 2966 3035 0 83196 0
[pid=27431/tid=27433] ppid=27428 vsize=374424 memory=11536 CPUtime=101.19 cores=0,2
/proc/27431/task/27433/stat : 27433 (fscip) R 27428 27431 27303 0 -1 4194368 150788 0 0 0 10107 12 0 0 20 0 3 0 4248091 383410176 70884 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
[pid=27431/tid=27434] ppid=27428 vsize=374424 memory=282080 CPUtime=0 cores=0,2
/proc/27431/task/27434/stat : 27434 (fscip) S 27428 27431 27303 0 -1 1077936192 75 0 0 0 0 0 0 0 20 0 3 0 4248099 383410176 70884 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 374424 KiB
Current children cumulated memory: 283536 KiB
[startup+162.3 s]
/proc/loadavg: 3.85 1.79 0.75 5/271 27526
/proc/meminfo: memFree=128090092/131524600 swapFree=131071996/131071996
[pid=27431] ppid=27428 vsize=439960 memory=327408 CPUtime=161.62 cores=0,2
/proc/27431/stat : 27431 (fscip) S 27428 27431 27303 0 -1 1077936128 235649 0 0 0 16141 21 0 0 20 0 3 0 4248028 450519040 81852 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
/proc/27431/statm: 109990 81852 2982 3035 0 96803 0
[pid=27431/tid=27433] ppid=27428 vsize=439960 memory=287464 CPUtime=160.95 cores=0,2
/proc/27431/task/27433/stat : 27433 (fscip) R 27428 27431 27303 0 -1 4194368 194760 0 0 0 16080 15 0 0 20 0 3 0 4248091 450519040 81852 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
[pid=27431/tid=27434] ppid=27428 vsize=439960 memory=327408 CPUtime=0 cores=0,2
/proc/27431/task/27434/stat : 27434 (fscip) S 27428 27431 27303 0 -1 1077936192 84 0 0 0 0 0 0 0 20 0 3 0 4248099 450519040 81852 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 439960 KiB
Current children cumulated memory: 327408 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 2.21 0.96 5/271 27537
/proc/meminfo: memFree=127874564/131524600 swapFree=131071996/131071996
[pid=27431] ppid=27428 vsize=439960 memory=327604 CPUtime=221.38 cores=0,2
/proc/27431/stat : 27431 (fscip) S 27428 27431 27303 0 -1 1077936128 252982 0 0 0 22116 22 0 0 20 0 3 0 4248028 450519040 81901 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
/proc/27431/statm: 109990 81901 3030 3035 0 96803 0
[pid=27431/tid=27433] ppid=27428 vsize=439960 memory=11536 CPUtime=220.71 cores=0,2
/proc/27431/task/27433/stat : 27433 (fscip) R 27428 27431 27303 0 -1 4194368 212054 0 0 0 22055 16 0 0 20 0 3 0 4248091 450519040 81901 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
[pid=27431/tid=27434] ppid=27428 vsize=439960 memory=11536 CPUtime=0 cores=0,2
/proc/27431/task/27434/stat : 27434 (fscip) S 27428 27431 27303 0 -1 1077936192 87 0 0 0 0 0 0 0 20 0 3 0 4248099 450519040 81901 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
Current children cumulated CPU time: 221.38 s
Current children cumulated vsize: 439960 KiB
Current children cumulated memory: 327604 KiB
################
# More data... #
################
/proc/27431/statm: 126374 114133 3030 3035 0 119894 0
[pid=27431/tid=27433] ppid=27428 vsize=505496 memory=456532 CPUtime=3388.06 cores=0,2
/proc/27431/task/27433/stat : 27433 (fscip) R 27428 27431 27303 0 -1 4194368 719947 0 0 0 338750 56 0 0 20 0 3 0 4248091 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
[pid=27431/tid=27434] ppid=27428 vsize=505496 memory=456532 CPUtime=0.03 cores=0,2
/proc/27431/task/27434/stat : 27434 (fscip) S 27428 27431 27303 0 -1 1077936192 381 0 0 0 0 3 0 0 20 0 3 0 4248099 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
Current children cumulated CPU time: 3388.78 s
Current children cumulated vsize: 505496 KiB
Current children cumulated memory: 456532 KiB
[startup+3462.3 s]
/proc/loadavg: 4.24 4.16 4.07 5/264 29200
/proc/meminfo: memFree=124801728/131524600 swapFree=131071996/131071996
[pid=27431] ppid=27428 vsize=505496 memory=456532 CPUtime=3448.57 cores=0,2
/proc/27431/stat : 27431 (fscip) S 27428 27431 27303 0 -1 1077936128 764404 0 0 0 344790 67 0 0 20 0 3 0 4248028 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
/proc/27431/statm: 126374 114133 3030 3035 0 119894 0
[pid=27431/tid=27433] ppid=27428 vsize=505496 memory=456532 CPUtime=3447.83 cores=0,2
/proc/27431/task/27433/stat : 27433 (fscip) R 27428 27431 27303 0 -1 4194368 721737 0 0 0 344727 56 0 0 20 0 3 0 4248091 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
[pid=27431/tid=27434] ppid=27428 vsize=505496 memory=456532 CPUtime=0.03 cores=0,2
/proc/27431/task/27434/stat : 27434 (fscip) S 27428 27431 27303 0 -1 1077936192 386 0 0 0 0 3 0 0 20 0 3 0 4248099 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
Current children cumulated CPU time: 3448.57 s
Current children cumulated vsize: 505496 KiB
Current children cumulated memory: 456532 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.15 4.07 5/264 29210
/proc/meminfo: memFree=124786540/131524600 swapFree=131071996/131071996
[pid=27431] ppid=27428 vsize=505496 memory=456532 CPUtime=3508.35 cores=0,2
/proc/27431/stat : 27431 (fscip) S 27428 27431 27303 0 -1 1077936128 765701 0 0 0 350768 67 0 0 20 0 3 0 4248028 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
/proc/27431/statm: 126374 114133 3030 3035 0 119894 0
[pid=27431/tid=27433] ppid=27428 vsize=505496 memory=5552 CPUtime=3507.61 cores=0,2
/proc/27431/task/27433/stat : 27433 (fscip) R 27428 27431 27303 0 -1 4194368 723005 0 0 0 350705 56 0 0 20 0 3 0 4248091 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
[pid=27431/tid=27434] ppid=27428 vsize=505496 memory=456532 CPUtime=0.03 cores=0,2
/proc/27431/task/27434/stat : 27434 (fscip) S 27428 27431 27303 0 -1 1077936192 391 0 0 0 0 3 0 0 20 0 3 0 4248099 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
Current children cumulated CPU time: 3508.35 s
Current children cumulated vsize: 505496 KiB
Current children cumulated memory: 456532 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.15 4.08 5/265 29389
/proc/meminfo: memFree=124762492/131524600 swapFree=131071996/131071996
[pid=27431] ppid=27428 vsize=505496 memory=456532 CPUtime=3568.12 cores=0,2
/proc/27431/stat : 27431 (fscip) S 27428 27431 27303 0 -1 1077936128 767569 0 0 0 356745 67 0 0 20 0 3 0 4248028 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
/proc/27431/statm: 126374 114133 3030 3035 0 119894 0
[pid=27431/tid=27433] ppid=27428 vsize=505496 memory=456532 CPUtime=3567.39 cores=0,2
/proc/27431/task/27433/stat : 27433 (fscip) R 27428 27431 27303 0 -1 4194368 724846 0 0 0 356682 57 0 0 20 0 3 0 4248091 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
[pid=27431/tid=27434] ppid=27428 vsize=505496 memory=0 CPUtime=0.03 cores=0,2
/proc/27431/task/27434/stat : 27434 (fscip) S 27428 27431 27303 0 -1 1077936192 396 0 0 0 0 3 0 0 20 0 3 0 4248099 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
Current children cumulated CPU time: 3568.12 s
Current children cumulated vsize: 505496 KiB
Current children cumulated memory: 456532 KiB
[startup+3598.1 s]
# the end of solver process 27431 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.19 s, system=0.682538 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.15 4.08 5/266 29391
/proc/meminfo: memFree=124762404/131524600 swapFree=131071996/131071996
[pid=27431] ppid=27428 vsize=505496 memory=456532 CPUtime=3569.82 cores=0,2
/proc/27431/stat : 27431 (fscip) S 27428 27431 27303 0 -1 1077936128 767570 0 0 0 356915 67 0 0 20 0 3 0 4248028 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
/proc/27431/statm: 126374 114133 3030 3035 0 119894 0
[pid=27431/tid=27433] ppid=27428 vsize=505496 memory=-7234307692537405051 CPUtime=3569.09 cores=0,2
/proc/27431/task/27433/stat : 27433 (fscip) R 27428 27431 27303 0 -1 4194368 724847 0 0 0 356852 57 0 0 20 0 3 0 4248091 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
[pid=27431/tid=27434] ppid=27428 vsize=505496 memory=-5155633680935826750 CPUtime=0.03 cores=0,2
/proc/27431/task/27434/stat : 27434 (fscip) S 27428 27431 27303 0 -1 1077936192 396 0 0 0 0 3 0 0 20 0 3 0 4248099 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
Current children cumulated CPU time: 3569.82 s
Current children cumulated vsize: 505496 KiB
Current children cumulated memory: 456532 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.14 4.07 5/266 29391
/proc/meminfo: memFree=124760704/131524600 swapFree=131071996/131071996
[pid=27431] ppid=27428 vsize=505496 memory=456532 CPUtime=3576.19 cores=0,2
/proc/27431/stat : 27431 (fscip) S 27428 27431 27303 0 -1 1077936128 767581 0 0 0 357552 67 0 0 20 0 3 0 4248028 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
/proc/27431/statm: 126374 114133 3030 3035 0 119894 0
[pid=27431/tid=27433] ppid=27428 vsize=505496 memory=11536 CPUtime=3575.46 cores=0,2
/proc/27431/task/27433/stat : 27433 (fscip) R 27428 27431 27303 0 -1 4194368 724858 0 0 0 357489 57 0 0 20 0 3 0 4248091 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
[pid=27431/tid=27434] ppid=27428 vsize=505496 memory=456532 CPUtime=0.03 cores=0,2
/proc/27431/task/27434/stat : 27434 (fscip) S 27428 27431 27303 0 -1 1077936192 396 0 0 0 0 3 0 0 20 0 3 0 4248099 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
Current children cumulated CPU time: 3576.19 s
Current children cumulated vsize: 505496 KiB
Current children cumulated memory: 456532 KiB
[startup+3593.6 s]
/proc/loadavg: 4.14 4.14 4.07 5/266 29393
/proc/meminfo: memFree=124759304/131524600 swapFree=131071996/131071996
[pid=27431] ppid=27428 vsize=505496 memory=456532 CPUtime=3579.38 cores=0,2
/proc/27431/stat : 27431 (fscip) S 27428 27431 27303 0 -1 1077936128 767581 0 0 0 357871 67 0 0 20 0 3 0 4248028 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
/proc/27431/statm: 126374 114133 3030 3035 0 119894 0
[pid=27431/tid=27433] ppid=27428 vsize=505496 memory=456532 CPUtime=3578.65 cores=0,2
/proc/27431/task/27433/stat : 27433 (fscip) R 27428 27431 27303 0 -1 4194368 724858 0 0 0 357808 57 0 0 20 0 3 0 4248091 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
[pid=27431/tid=27434] ppid=27428 vsize=505496 memory=456532 CPUtime=0.03 cores=0,2
/proc/27431/task/27434/stat : 27434 (fscip) S 27428 27431 27303 0 -1 1077936192 396 0 0 0 0 3 0 0 20 0 3 0 4248099 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
Current children cumulated CPU time: 3579.38 s
Current children cumulated vsize: 505496 KiB
Current children cumulated memory: 456532 KiB
[startup+3595.2 s]
/proc/loadavg: 4.13 4.14 4.07 6/253 29491
/proc/meminfo: memFree=127783600/131524600 swapFree=131071996/131071996
[pid=27431] ppid=27428 vsize=505496 memory=456532 CPUtime=3580.97 cores=0,2
/proc/27431/stat : 27431 (fscip) S 27428 27431 27303 0 -1 1077936128 767587 0 0 0 358030 67 0 0 20 0 3 0 4248028 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
/proc/27431/statm: 126374 114133 3030 3035 0 119894 0
[pid=27431/tid=27433] ppid=27428 vsize=505496 memory=11536 CPUtime=3580.24 cores=0,2
/proc/27431/task/27433/stat : 27433 (fscip) R 27428 27431 27303 0 -1 4194368 724864 0 0 0 357967 57 0 0 20 0 3 0 4248091 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
[pid=27431/tid=27434] ppid=27428 vsize=505496 memory=456532 CPUtime=0.03 cores=0,2
/proc/27431/task/27434/stat : 27434 (fscip) S 27428 27431 27303 0 -1 1077936192 396 0 0 0 0 3 0 0 20 0 3 0 4248099 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
Current children cumulated CPU time: 3580.97 s
Current children cumulated vsize: 505496 KiB
Current children cumulated memory: 456532 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.14 4.07 4/261 29553
/proc/meminfo: memFree=127751024/131524600 swapFree=131071996/131071996
[pid=27431] ppid=27428 vsize=505496 memory=456532 CPUtime=3582.57 cores=0,2
/proc/27431/stat : 27431 (fscip) S 27428 27431 27303 0 -1 1077936128 767587 0 0 0 358190 67 0 0 20 0 3 0 4248028 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
/proc/27431/statm: 126374 114133 3030 3035 0 119894 0
[pid=27431/tid=27433] ppid=27428 vsize=505496 memory=14712 CPUtime=3581.84 cores=0,2
/proc/27431/task/27433/stat : 27433 (fscip) R 27428 27431 27303 0 -1 4194368 724864 0 0 0 358127 57 0 0 20 0 3 0 4248091 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
[pid=27431/tid=27434] ppid=27428 vsize=505496 memory=456532 CPUtime=0.03 cores=0,2
/proc/27431/task/27434/stat : 27434 (fscip) S 27428 27431 27303 0 -1 1077936192 396 0 0 0 0 3 0 0 20 0 3 0 4248099 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
Current children cumulated CPU time: 3582.57 s
Current children cumulated vsize: 505496 KiB
Current children cumulated memory: 456532 KiB
[startup+3597.6 s]
/proc/loadavg: 4.13 4.14 4.07 5/265 29586
/proc/meminfo: memFree=127582200/131524600 swapFree=131071996/131071996
[pid=27431] ppid=27428 vsize=505496 memory=456532 CPUtime=3583.36 cores=0,2
/proc/27431/stat : 27431 (fscip) S 27428 27431 27303 0 -1 1077936128 767995 0 0 0 358269 67 0 0 20 0 3 0 4248028 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
/proc/27431/statm: 126374 114133 3030 3035 0 119894 0
[pid=27431/tid=27433] ppid=27428 vsize=505496 memory=12076 CPUtime=3582.64 cores=0,2
/proc/27431/task/27433/stat : 27433 (fscip) R 27428 27431 27303 0 -1 4194368 725250 0 0 0 358207 57 0 0 20 0 3 0 4248091 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
[pid=27431/tid=27434] ppid=27428 vsize=505496 memory=14712 CPUtime=0.03 cores=0,2
/proc/27431/task/27434/stat : 27434 (fscip) S 27428 27431 27303 0 -1 1077936192 396 0 0 0 0 3 0 0 20 0 3 0 4248099 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
Current children cumulated CPU time: 3583.36 s
Current children cumulated vsize: 505496 KiB
Current children cumulated memory: 456532 KiB
[startup+3598 s]*
/proc/loadavg: 4.13 4.14 4.07 4/261 29601
/proc/meminfo: memFree=127559564/131524600 swapFree=131071996/131071996
[pid=27431] ppid=27428 vsize=505496 memory=456532 CPUtime=3583.77 cores=0,2
/proc/27431/stat : 27431 (fscip) R 27428 27431 27303 0 -1 1077936128 768041 0 0 0 358310 67 0 0 20 0 3 0 4248028 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
/proc/27431/statm: 126374 114133 3030 3035 0 119894 0
[pid=27431/tid=27433] ppid=27428 vsize=505496 memory=-7305802336621911927 CPUtime=3583.04 cores=0,2
/proc/27431/task/27433/stat : 27433 (fscip) R 27428 27431 27303 0 -1 4194368 725296 0 0 0 358247 57 0 0 20 0 3 0 4248091 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
[pid=27431/tid=27434] ppid=27428 vsize=505496 memory=52596 CPUtime=0.03 cores=0,2
/proc/27431/task/27434/stat : 27434 (fscip) S 27428 27431 27303 0 -1 1077936192 396 0 0 0 0 3 0 0 20 0 3 0 4248099 517627904 114133 134679101440 4194304 16623229 140728207991104 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36491264 140728207995926 140728207996042 140728207996042 140728208003056 0
Current children cumulated CPU time: 3583.77 s
Current children cumulated vsize: 505496 KiB
Current children cumulated memory: 456532 KiB
Child status: 0
Real time (s): 3598.1
CPU time (s): 3583.87
CPU user time (s): 3583.19
CPU system time (s): 0.682538
CPU usage (%): 99.6046
Max. virtual memory (cumulated for all children) (KiB): 505496
Max. memory (cumulated for all children) (KiB): 456532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.19
system time used= 0.682538
maximum resident set size= 456532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 770529
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= 4128
involuntary context switches= 25277
# summary of solver processes directly reported to runsolver:
# pid: 27431
# total CPU time (s): 3583.87
# total CPU user time (s): 3583.19
# total CPU system time (s): 0.682538
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.08716 second user time and 17.514 second system time
The end
Begin job on nodeC015 at 2024-07-31 00:29:58
IDJOB=4464431
IDBENCH=147757
IDSOLVER=3092
FILE ID=nodeC015/4464431-1722378598
RUNJOBID= nodeC015-1722378594-27313
SLURM_JOB_ID= 8249828
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464431-1722378598/watcher-4464431-1722378598 -o /tmp/evaluation-result-4464431-1722378598/solver-4464431-1722378598 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722378594-27313 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464431-1722378598.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b71388011e4b80d0b0325c4a241ada38
RANDOM SEED=1453536771
nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.104
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3686.125
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.595
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.374
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.891
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3686.149
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.437
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.110
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128796952 kB
MemAvailable: 128659832 kB
Buffers: 89540 kB
Cached: 611672 kB
SwapCached: 0 kB
Active: 252444 kB
Inactive: 2000580 kB
Active(anon): 1544 kB
Inactive(anon): 1573352 kB
Active(file): 250900 kB
Inactive(file): 427228 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 118408 kB
Writeback: 20 kB
AnonPages: 1551852 kB
Mapped: 124572 kB
Shmem: 23384 kB
KReclaimable: 49148 kB
Slab: 129756 kB
SReclaimable: 49148 kB
SUnreclaim: 80608 kB
KernelStack: 4252 kB
PageTables: 12140 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1535464 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9696 kB
HardwareCorrupted: 0 kB
AnonHugePages: 456704 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 158420 kB
DirectMap2M: 12197888 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 890000 MiB
End job on nodeC015 at 2024-07-31 01:29:56