0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
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.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
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.2.1 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 = 88245108, getVmSize() = 77393920, SCIPgetMemUsed() = 45660929, SCIPgetMemTotal() = 53550937, SCIPgetMemExternEstim() = 34694171
0.00/0.09 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.49/0.60 c ** Estimated virtualMemUsedAtSolver = 104885792, getVmSize() = 153837568, SCIPgetMemUsed() = 83295726, SCIPgetMemTotal() = 122634518, SCIPgetMemExternEstim() = 34694171
0.49/0.60 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.49/0.60 c Original Problem :
0.49/0.60 c Problem name : instance-4441910-1721294471
0.49/0.60 c Variables : 4626 (4626 binary, 0 integer, 0 implicit integer, 0 continuous)
0.49/0.60 c Constraints : 30747
0.49/0.60 c Objective sense : minimize
0.49/0.60 c Presolved Problem :
0.49/0.60 c Variables : 4626 (4626 binary, 0 integer, 0 implicit integer, 0 continuous)
0.49/0.60 c Constraints : 30747
0.49/0.60 c Constraints : Number
0.49/0.60 c knapsack : 78
0.49/0.60 c setppc : 945
0.49/0.60 c logicor : 29724
0.49/0.60 c ** Instance transfer method used: 0
0.59/0.64 c ** ParaScipInstance copy does not increase the number of variables. **
0.59/0.68 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.59/0.68 c Nodes Active
0.59/0.68 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
173.92/175.60 c 176 2 1 1 - 0.0000 -
194.51/196.48 c 196 5 4 1 - 0.0000 -
218.39/220.50 c 221 7 6 1 - 0.0000 -
240.08/242.47 c 242 8 7 1 - 0.0000 -
252.16/254.69 c 255 12 11 1 - 0.0000 -
284.85/287.63 c 288 17 16 1 - 0.0000 -
303.96/306.90 c 307 18 17 1 - 0.0000 -
318.52/321.65 c 322 19 18 1 - 0.0000 -
328.93/332.17 c 332 21 20 1 - 0.0000 -
352.11/355.55 c 356 22 21 1 - 0.0000 -
379.73/383.47 c 383 24 23 1 - 0.0000 -
396.96/400.84 c 401 25 24 1 - 0.0000 -
433.51/437.72 c 438 26 25 1 - 0.0000 -
445.48/449.89 c 450 27 26 1 - 0.0000 -
471.61/476.28 c 476 29 28 1 - 0.0000 -
484.20/488.98 c 489 30 29 1 - 0.0000 -
531.90/537.18 c 537 31 30 1 - 0.0000 -
557.96/563.39 c 563 32 31 1 - 0.0000 -
568.03/573.47 c 573 34 33 1 - 0.0000 -
583.37/588.80 c 589 35 34 1 - 0.0000 -
622.74/628.37 c 628 38 37 1 - 0.0000 -
632.41/638.03 c 638 40 39 1 - 0.0000 -
665.59/671.33 c 671 41 40 1 - 0.0000 -
680.64/686.48 c 686 42 41 1 - 0.0000 -
711.21/717.19 c 717 44 43 1 - 0.0000 -
734.82/740.80 c 741 45 44 1 - 0.0000 -
754.75/760.85 c 761 46 45 1 - 0.0000 -
770.00/776.18 c 776 47 46 1 - 0.0000 -
780.96/787.10 c 787 49 48 1 - 0.0000 -
791.22/797.44 c 797 50 49 1 - 0.0000 -
797.00/803.28 c 803 53 52 1 - 0.0000 -
839.74/846.13 c 846 54 53 1 - 0.0000 -
849.20/855.67 c 856 56 55 1 - 0.0000 -
861.67/868.12 c 868 57 56 1 - 0.0000 -
877.40/883.91 c 884 60 59 1 - 0.0000 -
896.94/903.50 c 904 63 62 1 - 0.0000 -
905.41/912.09 c 912 64 63 1 - 0.0000 -
924.84/931.58 c 932 66 65 1 - 0.0000 -
937.60/944.37 c 944 67 66 1 - 0.0000 -
948.07/954.88 c 955 68 67 1 - 0.0000 -
966.90/973.77 c 974 69 68 1 - 0.0000 -
983.85/990.79 c 991 70 69 1 - 0.0000 -
991.43/998.39 c 998 71 70 1 - 0.0000 -
1021.91/1028.98 c 1029 72 71 1 - 0.0000 -
1037.85/1044.96 c 1045 74 73 1 - 0.0000 -
1061.97/1069.15 c 1069 75 74 1 - 0.0000 -
1082.99/1090.28 c 1090 79 78 1 - 0.0000 -
1103.22/1110.52 c 1111 81 80 1 - 0.0000 -
1116.17/1123.56 c 1124 82 81 1 - 0.0000 -
1139.60/1147.00 c 1147 83 82 1 - 0.0000 -
1150.55/1158.03 c 1158 84 83 1 - 0.0000 -
1171.27/1178.89 c 1179 85 84 1 - 0.0000 -
1183.33/1190.90 c 1191 86 85 1 - 0.0000 -
1195.79/1203.45 c 1203 87 86 1 - 0.0000 -
1206.45/1214.10 c 1214 88 87 1 - 0.0000 -
1233.95/1241.71 c 1242 92 91 1 - 0.0000 -
1245.32/1253.10 c 1253 94 93 1 - 0.0000 -
1271.22/1279.15 c 1279 96 95 1 - 0.0000 -
1282.48/1290.44 c 1290 98 97 1 - 0.0000 -
1288.16/1296.19 c 1296 102 101 1 - 0.0000 -
1296.43/1304.45 c 1304 103 102 1 - 0.0000 -
1309.59/1317.62 c 1318 104 103 1 - 0.0000 -
1314.67/1322.75 c 1323 105 104 1 - 0.0000 -
1326.82/1334.90 c 1335 106 105 1 - 0.0000 -
1336.68/1344.82 c 1345 110 109 1 - 0.0000 -
1351.42/1359.69 c 1360 112 111 1 - 0.0000 -
1375.14/1383.41 c 1383 114 113 1 - 0.0000 -
1407.52/1415.93 c 1416 114 115 1 - 0.0000 -
1416.29/1424.76 c 1425 116 115 1 - 0.0000 -
1439.61/1448.13 c 1448 117 116 1 - 0.0000 -
1459.63/1468.23 c 1468 120 119 1 - 0.0000 -
1464.72/1473.35 c 1473 123 122 1 - 0.0000 -
1483.94/1492.67 c 1493 124 125 1 - 0.0000 -
1528.47/1537.38 c 1537 125 124 1 - 0.0000 -
1545.21/1554.15 c 1554 126 125 1 - 0.0000 -
1557.84/1566.81 c 1567 127 126 1 - 0.0000 -
1564.22/1573.20 c 1573 128 127 1 - 0.0000 -
1574.47/1583.59 c 1584 130 127 1 - 0.0000 -
1582.05/1591.19 c 1591 131 128 1 - 0.0000 -
1604.85/1614.09 c 1614 132 129 1 - 0.0000 -
1623.57/1632.81 c 1633 133 130 1 - 0.0000 -
1630.64/1639.95 c 1640 135 132 1 - 0.0000 -
1647.67/1657.07 c 1657 136 133 1 - 0.0000 -
1684.81/1694.38 c 1694 137 134 1 - 0.0000 -
1694.27/1703.85 c 1704 138 135 1 - 0.0000 -
1716.37/1726.01 c 1726 139 136 1 - 0.0000 -
1742.46/1752.22 c 1752 143 138 1 - 0.0000 -
1760.40/1770.25 c 1770 144 139 1 - 0.0000 -
1773.26/1783.15 c 1783 145 140 1 - 0.0000 -
1780.92/1790.88 c 1791 147 142 1 - 0.0000 -
1820.48/1830.50 c 1831 148 143 1 - 0.0000 -
1829.64/1839.71 c 1840 150 145 1 - 0.0000 -
1848.47/1858.65 c 1859 152 147 1 - 0.0000 -
1867.60/1877.87 c 1878 159 154 1 - 0.0000 -
1884.93/1895.23 c 1895 160 155 1 - 0.0000 -
1902.77/1913.19 c 1913 163 158 1 - 0.0000 -
1930.87/1941.35 c 1941 168 163 1 - 0.0000 -
1943.72/1954.22 c 1954 169 164 1 - 0.0000 -
1952.99/1963.54 c 1964 171 166 1 - 0.0000 -
1983.09/1993.76 c 1994 172 167 1 - 0.0000 -
2002.03/2012.75 c 2013 173 168 1 - 0.0000 -
2016.28/2027.03 c 2027 175 170 1 - 0.0000 -
2021.65/2032.47 c 2032 176 171 1 - 0.0000 -
2041.09/2051.96 c 2052 178 173 1 - 0.0000 -
2046.27/2057.13 c 2057 180 175 1 - 0.0000 -
2080.36/2091.37 c 2091 182 177 1 - 0.0000 -
2086.06/2097.06 c 2097 184 179 1 - 0.0000 -
2092.93/2103.97 c 2104 185 180 1 - 0.0000 -
2103.69/2114.77 c 2115 186 181 1 - 0.0000 -
2109.28/2120.35 c 2120 188 183 1 - 0.0000 -
2127.72/2138.85 c 2139 189 184 1 - 0.0000 -
2138.28/2149.40 c 2149 193 188 1 - 0.0000 -
2148.25/2159.43 c 2159 194 189 1 - 0.0000 -
2174.17/2185.41 c 2185 195 190 1 - 0.0000 -
2179.55/2190.82 c 2191 196 191 1 - 0.0000 -
2186.23/2197.50 c 2198 197 192 1 - 0.0000 -
2208.45/2219.88 c 2220 198 193 1 - 0.0000 -
2216.42/2227.82 c 2228 199 194 1 - 0.0000 -
2250.22/2261.75 c 2262 200 195 1 - 0.0000 -
2258.79/2270.34 c 2270 201 196 1 - 0.0000 -
2264.96/2276.53 c 2277 202 197 1 - 0.0000 -
2274.83/2286.46 c 2286 204 199 1 - 0.0000 -
2298.25/2309.90 c 2310 205 200 1 - 0.0000 -
2306.32/2318.08 c 2318 207 202 1 - 0.0000 -
2345.19/2357.01 c 2357 208 203 1 - 0.0000 -
2350.86/2362.79 c 2363 209 204 1 - 0.0000 -
2356.94/2368.84 c 2369 210 205 1 - 0.0000 -
2408.65/2420.70 c 2421 211 206 1 - 0.0000 -
2422.71/2434.86 c 2435 212 207 1 - 0.0000 -
2454.40/2466.69 c 2467 214 209 1 - 0.0000 -
2469.25/2481.57 c 2482 215 210 1 - 0.0000 -
2474.63/2486.92 c 2487 217 212 1 - 0.0000 -
2496.76/2509.14 c 2509 218 213 1 - 0.0000 -
2512.40/2524.87 c 2525 219 214 1 - 0.0000 -
2523.57/2536.08 c 2536 221 216 1 - 0.0000 -
2535.53/2548.02 c 2548 222 217 1 - 0.0000 -
2545.29/2557.84 c 2558 223 218 1 - 0.0000 -
2562.43/2575.09 c 2575 224 219 1 - 0.0000 -
2568.90/2581.57 c 2582 225 220 1 - 0.0000 -
2583.55/2596.23 c 2596 226 221 1 - 0.0000 -
2592.81/2605.51 c 2606 227 222 1 - 0.0000 -
2601.18/2613.92 c 2614 228 223 1 - 0.0000 -
2617.12/2629.98 c 2630 229 224 1 - 0.0000 -
2630.77/2643.66 c 2644 230 225 1 - 0.0000 -
2638.74/2651.61 c 2652 231 226 1 - 0.0000 -
2657.27/2670.26 c 2670 232 227 1 - 0.0000 -
2692.23/2705.36 c 2705 234 229 1 - 0.0000 -
2724.71/2737.99 c 2738 236 231 1 - 0.0000 -
2743.03/2756.32 c 2756 237 232 1 - 0.0000 -
2750.90/2764.24 c 2764 240 235 1 - 0.0000 -
2770.74/2784.18 c 2784 242 237 1 - 0.0000 -
2787.37/2800.89 c 2801 244 239 1 - 0.0000 -
2792.45/2805.97 c 2806 245 240 1 - 0.0000 -
2811.97/2825.58 c 2826 246 241 1 - 0.0000 -
2818.04/2831.65 c 2832 247 242 1 - 0.0000 -
2831.59/2845.30 c 2845 248 243 1 - 0.0000 -
2839.86/2853.56 c 2854 250 245 1 - 0.0000 -
2857.88/2871.61 c 2872 252 247 1 - 0.0000 -
2875.51/2889.34 c 2889 253 248 1 - 0.0000 -
2883.79/2897.62 c 2898 254 249 1 - 0.0000 -
2900.03/2913.98 c 2914 255 250 1 - 0.0000 -
2905.90/2919.88 c 2920 257 252 1 - 0.0000 -
2914.77/2928.75 c 2929 258 253 1 - 0.0000 -
2924.83/2938.82 c 2939 260 255 1 - 0.0000 -
2933.69/2947.74 c 2948 261 256 1 - 0.0000 -
2967.16/2981.39 c 2981 262 257 1 - 0.0000 -
2989.77/3004.01 c 3004 263 258 1 - 0.0000 -
3009.99/3024.36 c 3024 265 260 1 - 0.0000 -
3025.83/3040.22 c 3040 266 261 1 - 0.0000 -
3034.99/3049.47 c 3049 267 262 1 - 0.0000 -
3046.55/3061.02 c 3061 268 263 1 - 0.0000 -
3068.46/3083.09 c 3083 269 264 1 - 0.0000 -
3076.43/3091.05 c 3091 270 265 1 - 0.0000 -
3084.89/3099.57 c 3100 271 266 1 - 0.0000 -
3099.44/3114.12 c 3114 272 267 1 - 0.0000 -
3128.33/3143.13 c 3143 273 268 1 - 0.0000 -
3138.19/3153.07 c 3153 274 269 1 - 0.0000 -
3162.58/3177.53 c 3178 275 270 1 - 0.0000 -
3182.90/3197.92 c 3198 276 271 1 - 0.0000 -
3217.56/3232.77 c 3233 278 273 1 - 0.0000 -
3256.01/3271.34 c 3271 280 275 1 - 0.0000 -
3264.18/3279.52 c 3280 281 276 1 - 0.0000 -
3288.88/3304.39 c 3304 282 277 1 - 0.0000 -
3309.70/3325.27 c 3325 283 278 1 - 0.0000 -
3319.36/3334.99 c 3335 284 279 1 - 0.0000 -
3329.32/3344.98 c 3345 285 280 1 - 0.0000 -
3336.79/3352.40 c 3352 286 281 1 - 0.0000 -
3343.07/3358.77 c 3359 287 282 1 - 0.0000 -
3389.99/3405.86 c 3406 288 283 1 - 0.0000 -
3414.49/3430.46 c 3430 290 285 1 - 0.0000 -
3426.64/3442.68 c 3443 291 286 1 - 0.0000 -
3436.30/3452.37 c 3452 292 287 1 - 0.0000 -
3462.90/3479.07 c 3479 293 288 1 - 0.0000 -
3469.47/3485.65 c 3486 294 289 1 - 0.0000 -
3484.51/3500.79 c 3501 295 290 1 - 0.0000 -
3492.38/3508.64 c 3509 296 291 1 - 0.0000 -
3522.36/3538.75 c 3539 297 292 1 - 0.0000 -
3530.73/3547.17 c 3547 298 293 1 - 0.0000 -
3539.89/3556.36 c 3556 299 294 1 - 0.0000 -
3567.97/3584.51 c 3585 300 295 1 - 0.0000 -
3574.14/3590.79 c 3591 301 296 1 - 0.0000 -
3583.30/3599.99 c 3600 301 296 0 - 0.0000 -
3583.41/3600.06 c SCIP Status : c solving was interrupted [hard time limit reached]
3583.41/3600.06 c Total Time : 3600.0700
3583.41/3600.06 c solving : 3600.0700
3583.41/3600.06 c presolving : 0.5104 (included in solving)
3583.41/3600.06 c B&B Tree :
3583.41/3600.06 c nodes (total) : 1
3583.41/3600.06 c Solution :
3583.41/3600.06 c Solutions found : 0
3583.41/3600.06 c Primal Bound : -
3583.41/3600.06 c Dual Bound : +0.00000000000000e+00
3583.41/3600.06 c Gap : -
3583.41/3600.10 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 (60341 MiB free)
memory of node 1: 64473 MiB (61491 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441910-1721294471/watcher-4441910-1721294471 -o /tmp/evaluation-result-4441910-1721294471/solver-4441910-1721294471 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721294255-950165 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4441910-1721294471.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=950655, runsolver pid=950652
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 4.01 3.19 3.39 5/265 950656
/proc/meminfo: memFree=124701724/131524600 swapFree=131071996/131071996
[pid=950655] ppid=950652 vsize=77388 memory=65252 CPUtime=0.09 cores=0,2
/proc/950655/stat : 950655 (fscip) R 950652 950655 950155 0 -1 4194304 14091 0 0 0 8 1 0 0 20 0 1 0 181616023 79245312 16313 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
/proc/950655/statm: 19347 16313 2606 3032 0 15747 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 77388 KiB
Current children cumulated memory: 65252 KiB
[startup+0.205618 s]*
/proc/loadavg: 4.01 3.19 3.39 5/265 950656
/proc/meminfo: memFree=124685568/131524600 swapFree=131071996/131071996
[pid=950655] ppid=950652 vsize=93076 memory=81384 CPUtime=0.2 cores=0,2
/proc/950655/stat : 950655 (fscip) R 950652 950655 950155 0 -1 4194304 21734 0 0 0 18 2 0 0 20 0 1 0 181616023 95309824 20346 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
/proc/950655/statm: 23269 20346 2686 3032 0 19669 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 93076 KiB
Current children cumulated memory: 81384 KiB
[startup+0.305619 s]*
/proc/loadavg: 4.01 3.19 3.39 5/265 950656
/proc/meminfo: memFree=124681032/131524600 swapFree=131071996/131071996
[pid=950655] ppid=950652 vsize=98844 memory=86516 CPUtime=0.3 cores=0,2
/proc/950655/stat : 950655 (fscip) R 950652 950655 950155 0 -1 4194304 24231 0 0 0 28 2 0 0 20 0 1 0 181616023 101216256 21629 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
/proc/950655/statm: 24711 21629 2734 3032 0 21111 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 98844 KiB
Current children cumulated memory: 86516 KiB
[startup+0.701032 s]
/proc/loadavg: 4.01 3.19 3.39 5/265 950656
/proc/meminfo: memFree=124658572/131524600 swapFree=131071996/131071996
[pid=950655] ppid=950652 vsize=242576 memory=174924 CPUtime=0.68 cores=0,2
/proc/950655/stat : 950655 (fscip) S 950652 950655 950155 0 -1 1077936128 48800 0 0 0 62 6 0 0 20 0 3 0 181616023 248397824 43731 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
/proc/950655/statm: 60644 43731 2782 3032 0 49654 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 242576 KiB
Current children cumulated memory: 174924 KiB
[startup+1.50103 s]
/proc/loadavg: 4.01 3.19 3.39 5/267 950658
/proc/meminfo: memFree=124540320/131524600 swapFree=131071996/131071996
[pid=950655] ppid=950652 vsize=308112 memory=257984 CPUtime=1.48 cores=0,2
/proc/950655/stat : 950655 (fscip) S 950652 950655 950155 0 -1 1077936128 70876 0 0 0 138 10 0 0 20 0 3 0 181616023 315506688 64496 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
/proc/950655/statm: 77028 64496 2910 3032 0 70840 0
[pid=950655/tid=950657] ppid=950652 vsize=308112 memory=4312 CPUtime=0.83 cores=0,2
/proc/950655/task/950657/stat : 950657 (fscip) R 950652 950655 950155 0 -1 4194368 31022 0 0 0 79 4 0 0 20 0 3 0 181616083 315506688 64496 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
[pid=950655/tid=950658] ppid=950652 vsize=308112 memory=2268 CPUtime=0 cores=0,2
/proc/950655/task/950658/stat : 950658 (fscip) S 950652 950655 950155 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 181616091 315506688 64496 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 308112 KiB
Current children cumulated memory: 257984 KiB
[startup+3.10502 s]
/proc/loadavg: 4.01 3.20 3.39 5/267 950658
/proc/meminfo: memFree=124506976/131524600 swapFree=131071996/131071996
[pid=950655] ppid=950652 vsize=308112 memory=260120 CPUtime=3.07 cores=0,2
/proc/950655/stat : 950655 (fscip) S 950652 950655 950155 0 -1 1077936128 74116 0 0 0 297 10 0 0 20 0 3 0 181616023 315506688 65030 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
/proc/950655/statm: 77028 65030 2910 3032 0 71443 0
[pid=950655/tid=950657] ppid=950652 vsize=308112 memory=2268 CPUtime=2.42 cores=0,2
/proc/950655/task/950657/stat : 950657 (fscip) R 950652 950655 950155 0 -1 4194368 34255 0 0 0 238 4 0 0 20 0 3 0 181616083 315506688 65030 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
[pid=950655/tid=950658] ppid=950652 vsize=308112 memory=1904 CPUtime=0 cores=0,2
/proc/950655/task/950658/stat : 950658 (fscip) S 950652 950655 950155 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 181616091 315506688 65030 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 308112 KiB
Current children cumulated memory: 260120 KiB
[startup+6.30103 s]
/proc/loadavg: 4.01 3.20 3.39 5/267 950658
/proc/meminfo: memFree=124504696/131524600 swapFree=131071996/131071996
[pid=950655] ppid=950652 vsize=308112 memory=262184 CPUtime=6.23 cores=0,2
/proc/950655/stat : 950655 (fscip) S 950652 950655 950155 0 -1 1077936128 80911 0 0 0 613 10 0 0 20 0 3 0 181616023 315506688 65546 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
/proc/950655/statm: 77028 65546 2910 3032 0 71867 0
[pid=950655/tid=950657] ppid=950652 vsize=308112 memory=0 CPUtime=5.59 cores=0,2
/proc/950655/task/950657/stat : 950657 (fscip) R 950652 950655 950155 0 -1 4194368 41043 0 0 0 554 5 0 0 20 0 3 0 181616083 315506688 65546 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
[pid=950655/tid=950658] ppid=950652 vsize=308112 memory=3833547714579743320 CPUtime=0 cores=0,2
/proc/950655/task/950658/stat : 950658 (fscip) S 950652 950655 950155 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 181616091 315506688 65546 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 308112 KiB
Current children cumulated memory: 262184 KiB
[startup+12.701 s]
/proc/loadavg: 4.01 3.22 3.40 5/267 950659
/proc/meminfo: memFree=124502664/131524600 swapFree=131071996/131071996
[pid=950655] ppid=950652 vsize=308112 memory=263512 CPUtime=12.59 cores=0,2
/proc/950655/stat : 950655 (fscip) S 950652 950655 950155 0 -1 1077936128 98045 0 0 0 1247 12 0 0 20 0 3 0 181616023 315506688 65878 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
/proc/950655/statm: 77028 65878 2910 3032 0 72269 0
[pid=950655/tid=950657] ppid=950652 vsize=308112 memory=260168 CPUtime=11.93 cores=0,2
/proc/950655/task/950657/stat : 950657 (fscip) R 950652 950655 950155 0 -1 4194368 58156 0 0 0 1187 6 0 0 20 0 3 0 181616083 315506688 65878 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
[pid=950655/tid=950658] ppid=950652 vsize=308112 memory=263512 CPUtime=0 cores=0,2
/proc/950655/task/950658/stat : 950658 (fscip) S 950652 950655 950155 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 181616091 315506688 65878 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 308112 KiB
Current children cumulated memory: 263512 KiB
[startup+25.501 s]
/proc/loadavg: 4.01 3.25 3.41 5/267 950661
/proc/meminfo: memFree=124488428/131524600 swapFree=131071996/131071996
[pid=950655] ppid=950652 vsize=308112 memory=263656 CPUtime=25.27 cores=0,2
/proc/950655/stat : 950655 (fscip) S 950652 950655 950155 0 -1 1077936128 114889 0 0 0 2514 13 0 0 20 0 3 0 181616023 315506688 65914 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
/proc/950655/statm: 77028 65914 2926 3032 0 72269 0
[pid=950655/tid=950657] ppid=950652 vsize=308112 memory=12088 CPUtime=24.61 cores=0,2
/proc/950655/task/950657/stat : 950657 (fscip) R 950652 950655 950155 0 -1 4194368 74986 0 0 0 2454 7 0 0 20 0 3 0 181616083 315506688 65914 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
[pid=950655/tid=950658] ppid=950652 vsize=308112 memory=263512 CPUtime=0 cores=0,2
/proc/950655/task/950658/stat : 950658 (fscip) S 950652 950655 950155 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 181616091 315506688 65914 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
Current children cumulated CPU time: 25.27 s
Current children cumulated vsize: 308112 KiB
Current children cumulated memory: 263656 KiB
[startup+51.106 s]
/proc/loadavg: 4.06 3.33 3.43 5/265 950665
/proc/meminfo: memFree=124465084/131524600 swapFree=131071996/131071996
[pid=950655] ppid=950652 vsize=373648 memory=280940 CPUtime=50.61 cores=0,2
/proc/950655/stat : 950655 (fscip) S 950652 950655 950155 0 -1 1077936128 144161 0 0 0 5046 15 0 0 20 0 3 0 181616023 382615552 70235 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
/proc/950655/statm: 93412 70235 2926 3032 0 78292 0
[pid=950655/tid=950657] ppid=950652 vsize=373648 memory=278436 CPUtime=49.96 cores=0,2
/proc/950655/task/950657/stat : 950657 (fscip) R 950652 950655 950155 0 -1 4194368 104248 0 0 0 4987 9 0 0 20 0 3 0 181616083 382615552 70235 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
[pid=950655/tid=950658] ppid=950652 vsize=373648 memory=280708 CPUtime=0 cores=0,2
/proc/950655/task/950658/stat : 950658 (fscip) S 950652 950655 950155 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 181616091 382615552 70235 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
Current children cumulated CPU time: 50.61 s
Current children cumulated vsize: 373648 KiB
Current children cumulated memory: 280940 KiB
[startup+102.301 s]
/proc/loadavg: 4.14 3.47 3.47 5/265 950675
/proc/meminfo: memFree=124451704/131524600 swapFree=131071996/131071996
[pid=950655] ppid=950652 vsize=373648 memory=286128 CPUtime=101.32 cores=0,2
/proc/950655/stat : 950655 (fscip) S 950652 950655 950155 0 -1 1077936128 178683 0 0 0 10115 17 0 0 20 0 3 0 181616023 382615552 71532 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
/proc/950655/statm: 93412 71532 2926 3032 0 82420 0
[pid=950655/tid=950657] ppid=950652 vsize=373648 memory=12088 CPUtime=100.68 cores=0,2
/proc/950655/task/950657/stat : 950657 (fscip) R 950652 950655 950155 0 -1 4194368 138756 0 0 0 10056 12 0 0 20 0 3 0 181616083 382615552 71532 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
[pid=950655/tid=950658] ppid=950652 vsize=373648 memory=286108 CPUtime=0 cores=0,2
/proc/950655/task/950658/stat : 950658 (fscip) S 950652 950655 950155 0 -1 1077936192 73 0 0 0 0 0 0 0 20 0 3 0 181616091 382615552 71532 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
Current children cumulated CPU time: 101.32 s
Current children cumulated vsize: 373648 KiB
Current children cumulated memory: 286128 KiB
[startup+162.301 s]
/proc/loadavg: 4.09 3.58 3.51 5/265 950685
/proc/meminfo: memFree=124398288/131524600 swapFree=131071996/131071996
[pid=950655] ppid=950652 vsize=373648 memory=287864 CPUtime=160.74 cores=0,2
/proc/950655/stat : 950655 (fscip) S 950652 950655 950155 0 -1 1077936128 212679 0 0 0 16055 19 0 0 20 0 3 0 181616023 382615552 71966 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
/proc/950655/statm: 93412 71966 2926 3032 0 85768 0
[pid=950655/tid=950657] ppid=950652 vsize=373648 memory=287724 CPUtime=160.1 cores=0,2
/proc/950655/task/950657/stat : 950657 (fscip) R 950652 950655 950155 0 -1 4194368 172740 0 0 0 15996 14 0 0 20 0 3 0 181616083 382615552 71966 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
[pid=950655/tid=950658] ppid=950652 vsize=373648 memory=287860 CPUtime=0 cores=0,2
/proc/950655/task/950658/stat : 950658 (fscip) S 950652 950655 950155 0 -1 1077936192 85 0 0 0 0 0 0 0 20 0 3 0 181616091 382615552 71966 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
Current children cumulated CPU time: 160.74 s
Current children cumulated vsize: 373648 KiB
Current children cumulated memory: 287864 KiB
[startup+222.301 s]
/proc/loadavg: 4.06 3.67 3.55 5/266 950697
/proc/meminfo: memFree=124325332/131524600 swapFree=131071996/131071996
[pid=950655] ppid=950652 vsize=439184 memory=328932 CPUtime=220.17 cores=0,2
/proc/950655/stat : 950655 (fscip) S 950652 950655 950155 0 -1 1077936128 238741 0 0 0 21996 21 0 0 20 0 3 0 181616023 449724416 82233 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
/proc/950655/statm: 109796 82233 2974 3032 0 96789 0
[pid=950655/tid=950657] ppid=950652 vsize=439184 memory=12088 CPUtime=219.53 cores=0,2
/proc/950655/task/950657/stat : 950657 (fscip) R 950652 950655 950155 0 -1 4194368 198727 0 0 0 21937 16 0 0 20 0 3 0 181616083 449724416 82233 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
[pid=950655/tid=950658] ppid=950652 vsize=439184 memory=25944 CPUtime=0 cores=0,2
/proc/950655/task/950658/stat : 950658 (fscip) S 950652 950655 950155 0 -1 1077936192 94 0 0 0 0 0 0 0 20 0 3 0 181616091 449724416 82233 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
Current children cumulated CPU time: 220.17 s
Current children cumulated vsize: 439184 KiB
Current children cumulated memory: 328932 KiB
################
# More data... #
################
Current children cumulated memory: 446556 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 952763
/proc/meminfo: memFree=122732908/131524600 swapFree=131071996/131071996
[pid=950655] ppid=950652 vsize=504720 memory=446556 CPUtime=3446.27 cores=0,2
/proc/950655/stat : 950655 (fscip) S 950652 950655 950155 0 -1 1077936128 786798 0 0 0 344551 76 0 0 20 0 3 0 181616023 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
/proc/950655/statm: 126180 111639 2974 3032 0 117455 0
[pid=950655/tid=950657] ppid=950652 vsize=504720 memory=446556 CPUtime=3445.55 cores=0,2
/proc/950655/task/950657/stat : 950657 (fscip) R 950652 950655 950155 0 -1 4194368 745340 0 0 0 344489 66 0 0 20 0 3 0 181616083 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
[pid=950655/tid=950658] ppid=950652 vsize=504720 memory=446556 CPUtime=0.04 cores=0,2
/proc/950655/task/950658/stat : 950658 (fscip) S 950652 950655 950155 0 -1 1077936192 382 0 0 0 1 3 0 0 20 0 3 0 181616091 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
Current children cumulated CPU time: 3446.27 s
Current children cumulated vsize: 504720 KiB
Current children cumulated memory: 446556 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 952773
/proc/meminfo: memFree=122536392/131524600 swapFree=131071996/131071996
[pid=950655] ppid=950652 vsize=504720 memory=446556 CPUtime=3506.03 cores=0,2
/proc/950655/stat : 950655 (fscip) S 950652 950655 950155 0 -1 1077936128 787346 0 0 0 350527 76 0 0 20 0 3 0 181616023 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
/proc/950655/statm: 126180 111639 2974 3032 0 117455 0
[pid=950655/tid=950657] ppid=950652 vsize=504720 memory=12088 CPUtime=3505.31 cores=0,2
/proc/950655/task/950657/stat : 950657 (fscip) R 950652 950655 950155 0 -1 4194368 745868 0 0 0 350465 66 0 0 20 0 3 0 181616083 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
[pid=950655/tid=950658] ppid=950652 vsize=504720 memory=446556 CPUtime=0.04 cores=0,2
/proc/950655/task/950658/stat : 950658 (fscip) S 950652 950655 950155 0 -1 1077936192 387 0 0 0 1 3 0 0 20 0 3 0 181616091 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
Current children cumulated CPU time: 3506.03 s
Current children cumulated vsize: 504720 KiB
Current children cumulated memory: 446556 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 952789
/proc/meminfo: memFree=122069060/131524600 swapFree=131071996/131071996
[pid=950655] ppid=950652 vsize=504720 memory=446556 CPUtime=3565.78 cores=0,2
/proc/950655/stat : 950655 (fscip) S 950652 950655 950155 0 -1 1077936128 787727 0 0 0 356502 76 0 0 20 0 3 0 181616023 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
/proc/950655/statm: 126180 111639 2974 3032 0 117455 0
[pid=950655/tid=950657] ppid=950652 vsize=504720 memory=446556 CPUtime=3565.07 cores=0,2
/proc/950655/task/950657/stat : 950657 (fscip) R 950652 950655 950155 0 -1 4194368 746242 0 0 0 356440 67 0 0 20 0 3 0 181616083 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
[pid=950655/tid=950658] ppid=950652 vsize=504720 memory=44880 CPUtime=0.04 cores=0,2
/proc/950655/task/950658/stat : 950658 (fscip) S 950652 950655 950155 0 -1 1077936192 392 0 0 0 1 3 0 0 20 0 3 0 181616091 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
Current children cumulated CPU time: 3565.78 s
Current children cumulated vsize: 504720 KiB
Current children cumulated memory: 446556 KiB
[startup+3600.11 s]
# the end of solver process 950655 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.75 s, system=0.776797 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.11 4.09 5/265 952789
/proc/meminfo: memFree=122069060/131524600 swapFree=131071996/131071996
[pid=950655] ppid=950652 vsize=504720 memory=446556 CPUtime=3567.47 cores=0,2
/proc/950655/stat : 950655 (fscip) S 950652 950655 950155 0 -1 1077936128 787727 0 0 0 356671 76 0 0 20 0 3 0 181616023 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
/proc/950655/statm: 126180 111639 2974 3032 0 117455 0
[pid=950655/tid=950657] ppid=950652 vsize=504720 memory=6720659948247859052 CPUtime=3566.77 cores=0,2
/proc/950655/task/950657/stat : 950657 (fscip) R 950652 950655 950155 0 -1 4194368 746242 0 0 0 356610 67 0 0 20 0 3 0 181616083 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
[pid=950655/tid=950658] ppid=950652 vsize=504720 memory=-4421386491868899682 CPUtime=0.04 cores=0,2
/proc/950655/task/950658/stat : 950658 (fscip) S 950652 950655 950155 0 -1 1077936192 392 0 0 0 1 3 0 0 20 0 3 0 181616091 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
Current children cumulated CPU time: 3567.47 s
Current children cumulated vsize: 504720 KiB
Current children cumulated memory: 446556 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 952790
/proc/meminfo: memFree=122068976/131524600 swapFree=131071996/131071996
[pid=950655] ppid=950652 vsize=504720 memory=446556 CPUtime=3573.84 cores=0,2
/proc/950655/stat : 950655 (fscip) S 950652 950655 950155 0 -1 1077936128 787740 0 0 0 357308 76 0 0 20 0 3 0 181616023 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
/proc/950655/statm: 126180 111639 2974 3032 0 117455 0
[pid=950655/tid=950657] ppid=950652 vsize=504720 memory=446556 CPUtime=3573.14 cores=0,2
/proc/950655/task/950657/stat : 950657 (fscip) R 950652 950655 950155 0 -1 4194368 746245 0 0 0 357247 67 0 0 20 0 3 0 181616083 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
[pid=950655/tid=950658] ppid=950652 vsize=504720 memory=446556 CPUtime=0.04 cores=0,2
/proc/950655/task/950658/stat : 950658 (fscip) S 950652 950655 950155 0 -1 1077936192 392 0 0 0 1 3 0 0 20 0 3 0 181616091 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
Current children cumulated CPU time: 3573.84 s
Current children cumulated vsize: 504720 KiB
Current children cumulated memory: 446556 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 952886
/proc/meminfo: memFree=122256648/131524600 swapFree=131071996/131071996
[pid=950655] ppid=950652 vsize=504720 memory=446556 CPUtime=3580.22 cores=0,2
/proc/950655/stat : 950655 (fscip) S 950652 950655 950155 0 -1 1077936128 787770 0 0 0 357946 76 0 0 20 0 3 0 181616023 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
/proc/950655/statm: 126180 111639 2974 3032 0 117455 0
[pid=950655/tid=950657] ppid=950652 vsize=504720 memory=446556 CPUtime=3579.51 cores=0,2
/proc/950655/task/950657/stat : 950657 (fscip) R 950652 950655 950155 0 -1 4194368 746275 0 0 0 357884 67 0 0 20 0 3 0 181616083 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
[pid=950655/tid=950658] ppid=950652 vsize=504720 memory=44880 CPUtime=0.04 cores=0,2
/proc/950655/task/950658/stat : 950658 (fscip) S 950652 950655 950155 0 -1 1077936192 392 0 0 0 1 3 0 0 20 0 3 0 181616091 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
Current children cumulated CPU time: 3580.22 s
Current children cumulated vsize: 504720 KiB
Current children cumulated memory: 446556 KiB
[startup+3598.4 s]
/proc/loadavg: 4.10 4.10 4.09 6/266 952889
/proc/meminfo: memFree=122002148/131524600 swapFree=131071996/131071996
[pid=950655] ppid=950652 vsize=504720 memory=446556 CPUtime=3581.81 cores=0,2
/proc/950655/stat : 950655 (fscip) S 950652 950655 950155 0 -1 1077936128 787774 0 0 0 358105 76 0 0 20 0 3 0 181616023 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
/proc/950655/statm: 126180 111639 2974 3032 0 117455 0
[pid=950655/tid=950657] ppid=950652 vsize=504720 memory=446556 CPUtime=3581.1 cores=0,2
/proc/950655/task/950657/stat : 950657 (fscip) R 950652 950655 950155 0 -1 4194368 746277 0 0 0 358043 67 0 0 20 0 3 0 181616083 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
[pid=950655/tid=950658] ppid=950652 vsize=504720 memory=37404 CPUtime=0.04 cores=0,2
/proc/950655/task/950658/stat : 950658 (fscip) S 950652 950655 950155 0 -1 1077936192 394 0 0 0 1 3 0 0 20 0 3 0 181616091 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
Current children cumulated CPU time: 3581.81 s
Current children cumulated vsize: 504720 KiB
Current children cumulated memory: 446556 KiB
[startup+3599.2 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 952889
/proc/meminfo: memFree=121973988/131524600 swapFree=131071996/131071996
[pid=950655] ppid=950652 vsize=504720 memory=446556 CPUtime=3582.61 cores=0,2
/proc/950655/stat : 950655 (fscip) S 950652 950655 950155 0 -1 1077936128 787776 0 0 0 358185 76 0 0 20 0 3 0 181616023 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
/proc/950655/statm: 126180 111639 2974 3032 0 117455 0
[pid=950655/tid=950657] ppid=950652 vsize=504720 memory=32872 CPUtime=3581.9 cores=0,2
/proc/950655/task/950657/stat : 950657 (fscip) R 950652 950655 950155 0 -1 4194368 746279 0 0 0 358123 67 0 0 20 0 3 0 181616083 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
[pid=950655/tid=950658] ppid=950652 vsize=504720 memory=5500 CPUtime=0.04 cores=0,2
/proc/950655/task/950658/stat : 950658 (fscip) S 950652 950655 950155 0 -1 1077936192 394 0 0 0 1 3 0 0 20 0 3 0 181616091 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
Current children cumulated CPU time: 3582.61 s
Current children cumulated vsize: 504720 KiB
Current children cumulated memory: 446556 KiB
[startup+3599.6 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 952889
/proc/meminfo: memFree=121973988/131524600 swapFree=131071996/131071996
[pid=950655] ppid=950652 vsize=504720 memory=446556 CPUtime=3583 cores=0,2
/proc/950655/stat : 950655 (fscip) S 950652 950655 950155 0 -1 1077936128 787776 0 0 0 358224 76 0 0 20 0 3 0 181616023 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
/proc/950655/statm: 126180 111639 2974 3032 0 117455 0
[pid=950655/tid=950657] ppid=950652 vsize=504720 memory=44880 CPUtime=3582.3 cores=0,2
/proc/950655/task/950657/stat : 950657 (fscip) R 950652 950655 950155 0 -1 4194368 746279 0 0 0 358163 67 0 0 20 0 3 0 181616083 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
[pid=950655/tid=950658] ppid=950652 vsize=504720 memory=12512 CPUtime=0.04 cores=0,2
/proc/950655/task/950658/stat : 950658 (fscip) S 950652 950655 950155 0 -1 1077936192 394 0 0 0 1 3 0 0 20 0 3 0 181616091 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
Current children cumulated CPU time: 3583 s
Current children cumulated vsize: 504720 KiB
Current children cumulated memory: 446556 KiB
[startup+3600 s]*
/proc/loadavg: 4.09 4.10 4.09 5/266 952889
/proc/meminfo: memFree=121964400/131524600 swapFree=131071996/131071996
[pid=950655] ppid=950652 vsize=504720 memory=446556 CPUtime=3583.41 cores=0,2
/proc/950655/stat : 950655 (fscip) S 950652 950655 950155 0 -1 1077936128 787972 0 0 0 358265 76 0 0 20 0 3 0 181616023 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
/proc/950655/statm: 126180 111639 2974 3032 0 117455 0
[pid=950655/tid=950657] ppid=950652 vsize=504720 memory=-6152597041565580140 CPUtime=3582.7 cores=0,2
/proc/950655/task/950657/stat : 950657 (fscip) R 950652 950655 950155 0 -1 4194368 746472 0 0 0 358203 67 0 0 20 0 3 0 181616083 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
[pid=950655/tid=950658] ppid=950652 vsize=504720 memory=-9044459746194447340 CPUtime=0.04 cores=0,2
/proc/950655/task/950658/stat : 950658 (fscip) S 950652 950655 950155 0 -1 1077936192 394 0 0 0 1 3 0 0 20 0 3 0 181616091 516833280 111639 134679101440 4194304 16613245 140733005684560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33427456 140733005685780 140733005685896 140733005685896 140733005692912 0
Current children cumulated CPU time: 3583.41 s
Current children cumulated vsize: 504720 KiB
Current children cumulated memory: 446556 KiB
[startup+3600.11 s]*
/proc/loadavg: 4.09 4.10 4.09 5/264 952889
/proc/meminfo: memFree=122399540/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3600.11
CPU time (s): 3583.52
CPU user time (s): 3582.75
CPU system time (s): 0.776797
CPU usage (%): 99.5392
Max. virtual memory (cumulated for all children) (KiB): 504720
Max. memory (cumulated for all children) (KiB): 446556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.75
system time used= 0.776797
maximum resident set size= 446556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 791579
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= 4112
involuntary context switches= 28014
# summary of solver processes directly reported to runsolver:
# pid: 950655
# total CPU time (s): 3583.52
# total CPU user time (s): 3582.75
# total CPU system time (s): 0.776797
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.26804 second user time and 17.1996 second system time
The end
Begin job on nodeC032 at 2024-07-18 11:21:23
IDJOB=4441910
IDBENCH=147756
IDSOLVER=3064
FILE ID=nodeC032/4441910-1721294471
RUNJOBID= nodeC032-1721294255-950165
SLURM_JOB_ID= 7542614
Free space on /tmp= 889992 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.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-4441910-1721294471/watcher-4441910-1721294471 -o /tmp/evaluation-result-4441910-1721294471/solver-4441910-1721294471 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721294255-950165 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4441910-1721294471.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d2d0eb539d1ad3b17959abe287928b07
RANDOM SEED=112561548
nodeC032.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 : 3657.362
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.33
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 : 3600.476
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 : 3673.058
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.33
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 : 3686.708
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 : 3668.432
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.33
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.746
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 : 3600.039
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.33
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.254
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: 124757024 kB
MemAvailable: 127230816 kB
Buffers: 482444 kB
Cached: 2807240 kB
SwapCached: 0 kB
Active: 928976 kB
Inactive: 5181060 kB
Active(anon): 1580 kB
Inactive(anon): 2856168 kB
Active(file): 927396 kB
Inactive(file): 2324892 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 59112 kB
Writeback: 0 kB
AnonPages: 2820092 kB
Mapped: 142212 kB
Shmem: 37720 kB
KReclaimable: 122656 kB
Slab: 238112 kB
SReclaimable: 122656 kB
SUnreclaim: 115456 kB
KernelStack: 4300 kB
PageTables: 15052 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1952328 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68960 kB
HardwareCorrupted: 0 kB
AnonHugePages: 587776 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: 226004 kB
DirectMap2M: 21567488 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 889952 MiB
End job on nodeC032 at 2024-07-18 12:21:23