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.20/0.22 c Default LC presolving (default).
0.20/0.22 c ** Before presolving: virtualMemUsedAtLc = 96308804, getVmSize() = 88838144, SCIPgetMemUsed() = 57958793, SCIPgetMemTotal() = 65091329, SCIPgetMemExternEstim() = 31217475
0.20/0.22 c ** set memory limit for presolving in LC to 8.79606e+12 for SCIP **
32.80/32.90 c ** Estimated virtualMemUsedAtSolver = 198411728, getVmSize() = 298172416, SCIPgetMemUsed() = 197014742, SCIPgetMemTotal() = 266400118, SCIPgetMemExternEstim() = 31217475
32.80/32.90 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
32.80/32.90 c Original Problem :
32.80/32.90 c Problem name : instance-4464483-1722385142
32.80/32.90 c Variables : 16065 (16065 binary, 0 integer, 0 implicit integer, 0 continuous)
32.80/32.90 c Constraints : 16337
32.80/32.90 c Objective sense : minimize
32.80/32.90 c Presolved Problem :
32.80/32.90 c Variables : 14551 (14551 binary, 0 integer, 0 implicit integer, 0 continuous)
32.80/32.90 c Constraints : 14800
32.80/32.90 c Constraints : Number
32.80/32.90 c knapsack : 1
32.80/32.90 c setppc : 1821
32.80/32.90 c orbitope : 1
32.80/32.90 c logicor : 12977
32.80/32.90 c ** Instance transfer method used: 0
32.80/32.93 c ** ParaScipInstance copy increased the number of variables. **
32.90/33.02 c LC is working with racing ramp-up and with rebuilding tree after racing.
32.90/33.02 c Nodes Active
32.90/33.02 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
664.87/666.83 c 667 2 1 1 - 0.0000 -
696.17/698.26 c 698 6 5 1 - 0.0000 -
704.24/706.37 c 706 7 6 1 - 0.0000 -
724.27/726.47 c 726 8 7 1 - 0.0000 -
749.60/751.80 c 752 10 9 1 - 0.0000 -
771.74/774.03 c 774 12 11 1 - 0.0000 -
968.97/971.85 c 972 14 13 1 - 0.0000 -
986.82/989.77 c 990 15 14 1 - 0.0000 -
1022.43/1025.41 c 1025 18 17 1 - 0.0000 -
1040.09/1043.14 c 1043 19 18 1 - 0.0000 -
1056.83/1059.91 c 1060 21 20 1 - 0.0000 -
1073.09/1076.27 c 1076 22 21 1 - 0.0000 -
1084.87/1088.07 c 1088 23 22 1 - 0.0000 -
1097.42/1100.60 c 1101 26 23 1 - 0.0000 -
1104.50/1107.75 c 1108 27 22 1 - 0.0000 -
1117.56/1120.85 c 1121 29 22 1 - 0.0000 -
1132.52/1135.88 c 1136 32 21 1 - 0.0000 -
1144.29/1147.62 c 1148 33 22 1 - 0.0000 -
1151.78/1155.13 c 1155 34 21 1 - 0.0000 -
1159.54/1162.97 c 1163 36 21 1 - 0.0000 -
1165.52/1168.99 c 1169 38 23 1 - 0.0000 -
1178.88/1182.30 c 1182 40 21 1 - 0.0000 -
1189.25/1192.78 c 1193 49 22 1 - 0.0000 -
1197.42/1200.97 c 1201 52 21 1 - 0.0000 -
1205.51/1209.06 c 1209 54 21 1 - 0.0000 -
1213.67/1217.22 c 1217 56 23 1 - 0.0000 -
1222.74/1226.39 c 1226 59 22 1 - 0.0000 -
1227.82/1231.45 c 1231 61 22 1 - 0.0000 -
1239.88/1243.58 c 1244 63 22 1 - 0.0000 -
1246.86/1250.51 c 1251 66 21 1 - 0.0000 -
1260.91/1264.69 c 1265 68 21 1 - 0.0000 -
1275.87/1279.64 c 1280 71 20 1 - 0.0000 -
1288.63/1292.44 c 1292 73 22 1 - 0.0000 -
1294.22/1298.04 c 1298 74 21 1 - 0.0000 -
1303.88/1307.75 c 1308 76 23 1 - 0.0000 -
1381.75/1385.89 c 1386 77 22 1 - 0.0000 -
1387.43/1391.55 c 1392 80 21 1 - 0.0000 -
1399.00/1403.13 c 1403 81 22 1 - 0.0000 -
1405.27/1409.45 c 1409 82 21 1 - 0.0000 -
1412.66/1416.80 c 1417 82 23 1 - 0.0000 -
1420.53/1424.77 c 1425 85 22 1 - 0.0000 -
1439.38/1443.66 c 1444 89 20 1 - 0.0000 -
1448.86/1453.18 c 1453 90 21 1 - 0.0000 -
1466.09/1470.46 c 1470 91 20 1 - 0.0000 -
1482.44/1486.80 c 1487 93 20 1 - 0.0000 -
1502.88/1507.35 c 1507 95 20 1 - 0.0000 -
1516.93/1521.47 c 1521 97 22 1 - 0.0000 -
1524.31/1528.83 c 1529 98 21 1 - 0.0000 -
1560.00/1564.63 c 1565 100 21 1 - 0.0000 -
1575.75/1580.41 c 1580 102 21 1 - 0.0000 -
1592.31/1597.09 c 1597 104 21 1 - 0.0000 -
1606.56/1611.30 c 1611 106 23 1 - 0.0000 -
1612.05/1616.89 c 1617 107 22 1 - 0.0000 -
1617.13/1621.92 c 1622 109 22 1 - 0.0000 -
1628.01/1632.80 c 1633 111 22 1 - 0.0000 -
1636.79/1641.60 c 1642 113 22 1 - 0.0000 -
1643.07/1647.94 c 1648 114 21 1 - 0.0000 -
1649.17/1654.01 c 1654 115 20 1 - 0.0000 -
1666.51/1671.40 c 1671 117 20 1 - 0.0000 -
1671.50/1676.46 c 1676 118 21 1 - 0.0000 -
1680.98/1685.93 c 1686 119 22 1 - 0.0000 -
1690.86/1695.86 c 1696 120 21 1 - 0.0000 -
1699.73/1704.72 c 1705 122 21 1 - 0.0000 -
1710.02/1715.09 c 1715 124 23 1 - 0.0000 -
1715.89/1720.93 c 1721 127 22 1 - 0.0000 -
1753.10/1758.27 c 1758 132 21 1 - 0.0000 -
1763.58/1768.73 c 1769 134 21 1 - 0.0000 -
1772.16/1777.33 c 1777 136 21 1 - 0.0000 -
1785.62/1790.84 c 1791 138 21 1 - 0.0000 -
1795.60/1800.86 c 1801 140 21 1 - 0.0000 -
1803.08/1808.39 c 1808 141 20 1 - 0.0000 -
1820.24/1825.52 c 1826 142 21 1 - 0.0000 -
1843.29/1848.69 c 1849 143 22 1 - 0.0000 -
1862.24/1867.66 c 1868 144 23 1 - 0.0000 -
2018.97/2024.77 c 2025 145 24 1 - 0.0000 -
2028.94/2034.72 c 2035 147 24 1 - 0.0000 -
2081.82/2087.71 c 2088 151 24 1 - 0.0000 -
2103.47/2109.40 c 2109 152 23 1 - 0.0000 -
2109.36/2115.32 c 2115 153 24 1 - 0.0000 -
2121.53/2127.59 c 2128 154 25 1 - 0.0000 -
2138.59/2144.68 c 2145 155 26 1 - 0.0000 -
2152.25/2158.30 c 2158 156 27 1 - 0.0000 -
2161.23/2167.38 c 2167 159 26 1 - 0.0000 -
2167.72/2173.88 c 2174 162 25 1 - 0.0000 -
2177.49/2183.61 c 2184 163 26 1 - 0.0000 -
2183.08/2189.22 c 2189 164 25 1 - 0.0000 -
2189.76/2195.97 c 2196 166 25 1 - 0.0000 -
2196.05/2202.20 c 2202 168 25 1 - 0.0000 -
2210.01/2216.28 c 2216 172 27 1 - 0.0000 -
2224.38/2230.63 c 2231 173 26 1 - 0.0000 -
2232.06/2238.38 c 2238 177 26 1 - 0.0000 -
2238.64/2244.90 c 2245 181 26 1 - 0.0000 -
2259.80/2266.11 c 2266 184 25 1 - 0.0000 -
2271.96/2278.34 c 2278 187 26 1 - 0.0000 -
2290.62/2297.07 c 2297 190 27 1 - 0.0000 -
2298.90/2305.39 c 2305 192 27 1 - 0.0000 -
2318.16/2324.67 c 2325 193 26 1 - 0.0000 -
2325.14/2331.66 c 2332 194 25 1 - 0.0000 -
2331.12/2337.66 c 2338 195 26 1 - 0.0000 -
2338.62/2345.17 c 2345 196 25 1 - 0.0000 -
2353.97/2360.52 c 2361 198 25 1 - 0.0000 -
2361.35/2367.99 c 2368 200 25 1 - 0.0000 -
2369.33/2375.97 c 2376 202 25 1 - 0.0000 -
2379.11/2385.70 c 2386 203 26 1 - 0.0000 -
2384.89/2391.59 c 2392 205 24 1 - 0.0000 -
2397.48/2404.17 c 2404 207 26 1 - 0.0000 -
2412.44/2419.13 c 2419 210 27 1 - 0.0000 -
2421.60/2428.37 c 2428 211 26 1 - 0.0000 -
2429.08/2435.87 c 2436 212 27 1 - 0.0000 -
2436.87/2443.66 c 2444 213 28 1 - 0.0000 -
2442.85/2449.69 c 2450 214 27 1 - 0.0000 -
2449.13/2455.96 c 2456 216 27 1 - 0.0000 -
2455.23/2462.05 c 2462 218 27 1 - 0.0000 -
2460.61/2467.41 c 2467 220 27 1 - 0.0000 -
2467.99/2474.89 c 2475 222 27 1 - 0.0000 -
2476.18/2483.07 c 2483 224 27 1 - 0.0000 -
2483.95/2490.84 c 2491 226 27 1 - 0.0000 -
2497.23/2504.12 c 2504 231 26 1 - 0.0000 -
2505.79/2512.71 c 2513 233 28 1 - 0.0000 -
2517.46/2524.42 c 2524 236 27 1 - 0.0000 -
2529.43/2536.44 c 2536 238 27 1 - 0.0000 -
2544.31/2551.31 c 2551 240 27 1 - 0.0000 -
2559.37/2566.41 c 2566 242 27 1 - 0.0000 -
2576.53/2583.67 c 2584 244 27 1 - 0.0000 -
2587.41/2594.59 c 2595 247 28 1 - 0.0000 -
2606.36/2613.55 c 2614 249 28 1 - 0.0000 -
2614.04/2621.25 c 2621 251 28 1 - 0.0000 -
2629.11/2636.34 c 2636 253 28 1 - 0.0000 -
2634.19/2641.44 c 2641 258 27 1 - 0.0000 -
2651.86/2659.16 c 2659 259 26 1 - 0.0000 -
2662.42/2669.74 c 2670 262 27 1 - 0.0000 -
2669.51/2676.86 c 2677 264 27 1 - 0.0000 -
2682.08/2689.47 c 2689 266 27 1 - 0.0000 -
2693.35/2700.74 c 2701 270 27 1 - 0.0000 -
2701.64/2709.07 c 2709 273 26 1 - 0.0000 -
2714.90/2722.39 c 2722 278 27 1 - 0.0000 -
2722.08/2729.52 c 2730 280 27 1 - 0.0000 -
2741.33/2748.83 c 2749 283 28 1 - 0.0000 -
2756.40/2763.99 c 2764 284 29 1 - 0.0000 -
2799.79/2807.46 c 2807 285 30 1 - 0.0000 -
2821.84/2829.59 c 2830 288 31 1 - 0.0000 -
2832.11/2839.80 c 2840 292 31 1 - 0.0000 -
2840.98/2848.80 c 2849 293 32 1 - 0.0000 -
2847.17/2854.97 c 2855 296 31 1 - 0.0000 -
2853.15/2860.93 c 2861 301 32 1 - 0.0000 -
2861.12/2869.01 c 2869 304 31 1 - 0.0000 -
2875.47/2883.31 c 2883 306 31 1 - 0.0000 -
2882.55/2890.41 c 2890 309 30 1 - 0.0000 -
2888.25/2896.17 c 2896 311 30 1 - 0.0000 -
2905.89/2913.83 c 2914 316 31 1 - 0.0000 -
2952.06/2960.19 c 2960 317 30 1 - 0.0000 -
2980.66/2988.88 c 2989 319 32 1 - 0.0000 -
2992.52/3000.78 c 3001 320 33 1 - 0.0000 -
3000.70/3009.01 c 3009 324 33 1 - 0.0000 -
3009.07/3017.39 c 3017 328 33 1 - 0.0000 -
3015.87/3024.20 c 3024 330 35 1 - 0.0000 -
3021.75/3030.01 c 3030 331 34 1 - 0.0000 -
3027.43/3035.70 c 3036 332 33 1 - 0.0000 -
3033.31/3041.68 c 3042 333 32 1 - 0.0000 -
3041.59/3049.90 c 3050 334 31 1 - 0.0000 -
3067.13/3075.59 c 3076 336 31 1 - 0.0000 -
3072.42/3080.88 c 3081 338 33 1 - 0.0000 -
3097.36/3105.87 c 3106 339 32 1 - 0.0000 -
3105.34/3113.88 c 3114 340 33 1 - 0.0000 -
3126.69/3135.26 c 3135 341 32 1 - 0.0000 -
3136.97/3145.58 c 3146 343 32 1 - 0.0000 -
3144.16/3152.74 c 3153 344 33 1 - 0.0000 -
3152.64/3161.20 c 3161 345 32 1 - 0.0000 -
3181.96/3190.66 c 3191 347 32 1 - 0.0000 -
3191.64/3200.31 c 3200 349 32 1 - 0.0000 -
3242.42/3251.28 c 3251 350 31 1 - 0.0000 -
3248.40/3257.21 c 3257 352 33 1 - 0.0000 -
3262.77/3271.60 c 3272 354 35 1 - 0.0000 -
3268.66/3277.59 c 3278 355 34 1 - 0.0000 -
3276.84/3285.79 c 3286 357 34 1 - 0.0000 -
3283.13/3292.06 c 3292 358 35 1 - 0.0000 -
3288.22/3297.16 c 3297 359 34 1 - 0.0000 -
3302.58/3311.52 c 3312 361 34 1 - 0.0000 -
3318.34/3327.32 c 3327 362 33 1 - 0.0000 -
3330.81/3339.89 c 3340 365 34 1 - 0.0000 -
3337.49/3346.59 c 3347 367 34 1 - 0.0000 -
3344.48/3353.53 c 3354 368 33 1 - 0.0000 -
3350.17/3359.27 c 3359 369 32 1 - 0.0000 -
3362.74/3371.81 c 3372 372 35 1 - 0.0000 -
3368.63/3377.78 c 3378 373 34 1 - 0.0000 -
3373.92/3383.04 c 3383 374 35 1 - 0.0000 -
3380.50/3389.63 c 3390 376 33 1 - 0.0000 -
3400.96/3410.18 c 3410 378 33 1 - 0.0000 -
3412.62/3421.80 c 3422 379 34 1 - 0.0000 -
3417.71/3426.99 c 3427 380 33 1 - 0.0000 -
3425.39/3434.63 c 3435 382 33 1 - 0.0000 -
3444.35/3453.62 c 3454 384 31 1 - 0.0000 -
3465.40/3474.79 c 3475 385 30 1 - 0.0000 -
3483.36/3492.72 c 3493 386 31 1 - 0.0000 -
3500.51/3509.92 c 3510 387 30 1 - 0.0000 -
3554.49/3564.03 c 3564 389 30 1 - 0.0000 -
3585.71/3595.38 c 3595 391 30 1 - 0.0000 -
3588.41/3598.10 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.41/3598.10 c Total Time : 3598.0900
3588.41/3598.10 c solving : 3598.0900
3588.41/3598.10 c presolving : 32.6718 (included in solving)
3588.41/3598.10 c B&B Tree :
3588.41/3598.10 c nodes (total) : 1
3588.41/3598.10 c Solution :
3588.41/3598.10 c Solutions found : 0
3588.41/3598.10 c Primal Bound : -
3588.41/3598.10 c Dual Bound : +0.00000000000000e+00
3588.41/3598.10 c Gap : -
3588.53/3598.19 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: 64059 MiB (59432 MiB free)
memory of node 1: 64510 MiB (58696 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464483-1722385142/watcher-4464483-1722385142 -o /tmp/evaluation-result-4464483-1722385142/solver-4464483-1722385142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722378594-29096 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464483-1722385142.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=32581, runsolver pid=32578
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 4.51 4.46 4.40 5/247 32582
/proc/meminfo: memFree=120937504/131655788 swapFree=131071996/131071996
[pid=32581] ppid=32578 vsize=48224 memory=36676 CPUtime=0.1 cores=1,3
/proc/32581/stat : 32581 (fscip) R 32578 32581 29084 0 -1 4194304 7067 0 0 0 8 2 0 0 20 0 1 0 5109824 49381376 9169 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
/proc/32581/statm: 12056 9169 2347 3035 0 8452 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 36676 KiB
[startup+0.205413 s]*
/proc/loadavg: 4.51 4.46 4.40 5/247 32582
/proc/meminfo: memFree=120905416/131655788 swapFree=131071996/131071996
[pid=32581] ppid=32578 vsize=81720 memory=70816 CPUtime=0.2 cores=1,3
/proc/32581/stat : 32581 (fscip) R 32578 32581 29084 0 -1 4194304 15506 0 0 0 17 3 0 0 20 0 1 0 5109824 83681280 17704 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
/proc/32581/statm: 20430 17704 2539 3035 0 16826 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 81720 KiB
Current children cumulated memory: 70816 KiB
[startup+0.305529 s]*
/proc/loadavg: 4.51 4.46 4.40 5/247 32582
/proc/meminfo: memFree=120894860/131655788 swapFree=131071996/131071996
[pid=32581] ppid=32578 vsize=92108 memory=78692 CPUtime=0.3 cores=1,3
/proc/32581/stat : 32581 (fscip) R 32578 32581 29084 0 -1 4194304 17430 0 0 0 26 4 0 0 20 0 1 0 5109824 94318592 19673 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
/proc/32581/statm: 23027 19673 2598 3035 0 19423 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 92108 KiB
Current children cumulated memory: 78692 KiB
[startup+0.700291 s]
/proc/loadavg: 4.51 4.46 4.40 5/247 32582
/proc/meminfo: memFree=120873448/131655788 swapFree=131071996/131071996
[pid=32581] ppid=32578 vsize=113572 memory=100528 CPUtime=0.69 cores=1,3
/proc/32581/stat : 32581 (fscip) R 32578 32581 29084 0 -1 4194304 24640 0 0 0 63 6 0 0 20 0 1 0 5109824 116297728 25132 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
/proc/32581/statm: 28393 25132 2662 3035 0 24789 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 113572 KiB
Current children cumulated memory: 100528 KiB
[startup+1.50034 s]
/proc/loadavg: 4.51 4.46 4.40 5/247 32582
/proc/meminfo: memFree=120867848/131655788 swapFree=131071996/131071996
[pid=32581] ppid=32578 vsize=149504 memory=134972 CPUtime=1.49 cores=1,3
/proc/32581/stat : 32581 (fscip) R 32578 32581 29084 0 -1 4194304 32922 0 0 0 141 8 0 0 20 0 1 0 5109824 153092096 33743 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
/proc/32581/statm: 37376 33743 2758 3035 0 33772 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 149504 KiB
Current children cumulated memory: 134972 KiB
[startup+3.11255 s]
/proc/loadavg: 4.47 4.45 4.40 5/247 32583
/proc/meminfo: memFree=120827164/131655788 swapFree=131071996/131071996
[pid=32581] ppid=32578 vsize=161868 memory=147164 CPUtime=3.09 cores=1,3
/proc/32581/stat : 32581 (fscip) R 32578 32581 29084 0 -1 4194304 35936 0 0 0 301 8 0 0 20 0 1 0 5109824 165752832 36791 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
/proc/32581/statm: 40467 36791 2774 3035 0 36863 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 161868 KiB
Current children cumulated memory: 147164 KiB
[startup+6.30032 s]
/proc/loadavg: 4.47 4.45 4.40 5/247 32583
/proc/meminfo: memFree=120826028/131655788 swapFree=131071996/131071996
[pid=32581] ppid=32578 vsize=164324 memory=149480 CPUtime=6.27 cores=1,3
/proc/32581/stat : 32581 (fscip) R 32578 32581 29084 0 -1 4194304 36558 0 0 0 619 8 0 0 20 0 1 0 5109824 168267776 37370 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
/proc/32581/statm: 41081 37370 2774 3035 0 37477 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 164324 KiB
Current children cumulated memory: 149480 KiB
[startup+12.7003 s]
/proc/loadavg: 4.39 4.44 4.39 5/247 32586
/proc/meminfo: memFree=120818968/131655788 swapFree=131071996/131071996
[pid=32581] ppid=32578 vsize=168172 memory=153320 CPUtime=12.66 cores=1,3
/proc/32581/stat : 32581 (fscip) R 32578 32581 29084 0 -1 4194304 37557 0 0 0 1257 9 0 0 20 0 1 0 5109824 172208128 38330 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
/proc/32581/statm: 42043 38330 2774 3035 0 38439 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 168172 KiB
Current children cumulated memory: 153320 KiB
[startup+25.5003 s]
/proc/loadavg: 4.33 4.42 4.39 5/247 32587
/proc/meminfo: memFree=120813628/131655788 swapFree=131071996/131071996
[pid=32581] ppid=32578 vsize=169328 memory=154364 CPUtime=25.42 cores=1,3
/proc/32581/stat : 32581 (fscip) R 32578 32581 29084 0 -1 4194304 37818 0 0 0 2533 9 0 0 20 0 1 0 5109824 173391872 38591 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
/proc/32581/statm: 42332 38591 2774 3035 0 38728 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 169328 KiB
Current children cumulated memory: 154364 KiB
[startup+51.112 s]
/proc/loadavg: 4.28 4.40 4.38 5/249 32592
/proc/meminfo: memFree=120549540/131655788 swapFree=131071996/131071996
[pid=32581] ppid=32578 vsize=527984 memory=404588 CPUtime=50.93 cores=1,3
/proc/32581/stat : 32581 (fscip) S 32578 32581 29084 0 -1 1077936128 152715 0 0 0 5066 27 0 0 20 0 3 0 5109824 540655616 101147 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
/proc/32581/statm: 131996 101147 2950 3035 0 118639 0
[pid=32581/tid=32590] ppid=32578 vsize=527984 memory=404040 CPUtime=18.09 cores=1,3
/proc/32581/task/32590/stat : 32590 (fscip) R 32578 32581 29084 0 -1 4194368 90063 0 0 0 1795 14 0 0 20 0 3 0 5113114 540655616 101147 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
[pid=32581/tid=32591] ppid=32578 vsize=527984 memory=-5155626886384741253 CPUtime=0 cores=1,3
/proc/32581/task/32591/stat : 32591 (fscip) S 32578 32581 29084 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 5113127 540655616 101147 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 527984 KiB
Current children cumulated memory: 404588 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.35 4.36 5/251 32607
/proc/meminfo: memFree=120535600/131655788 swapFree=131071996/131071996
[pid=32581] ppid=32578 vsize=527984 memory=412568 CPUtime=101.98 cores=1,3
/proc/32581/stat : 32581 (fscip) S 32578 32581 29084 0 -1 1077936128 198590 0 0 0 10168 30 0 0 20 0 3 0 5109824 540655616 103142 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
/proc/32581/statm: 131996 103142 2966 3035 0 120761 0
[pid=32581/tid=32590] ppid=32578 vsize=527984 memory=11352 CPUtime=69.14 cores=1,3
/proc/32581/task/32590/stat : 32590 (fscip) R 32578 32581 29084 0 -1 4194368 135903 0 0 0 6897 17 0 0 20 0 3 0 5113114 540655616 103142 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
[pid=32581/tid=32591] ppid=32578 vsize=527984 memory=11352 CPUtime=0 cores=1,3
/proc/32581/task/32591/stat : 32591 (fscip) S 32578 32581 29084 0 -1 1077936192 67 0 0 0 0 0 0 0 20 0 3 0 5113127 540655616 103142 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 527984 KiB
Current children cumulated memory: 412568 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 4.32 4.35 5/251 32617
/proc/meminfo: memFree=120483860/131655788 swapFree=131071996/131071996
[pid=32581] ppid=32578 vsize=559244 memory=458420 CPUtime=161.82 cores=1,3
/proc/32581/stat : 32581 (fscip) S 32578 32581 29084 0 -1 1077936128 224040 0 0 0 16150 32 0 0 20 0 3 0 5109824 572665856 114605 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
/proc/32581/statm: 139811 114605 2982 3035 0 132372 0
[pid=32581/tid=32590] ppid=32578 vsize=559244 memory=449404 CPUtime=128.98 cores=1,3
/proc/32581/task/32590/stat : 32590 (fscip) R 32578 32581 29084 0 -1 4194368 161335 0 0 0 12879 19 0 0 20 0 3 0 5113114 572665856 114605 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
[pid=32581/tid=32591] ppid=32578 vsize=559244 memory=456312 CPUtime=0 cores=1,3
/proc/32581/task/32591/stat : 32591 (fscip) S 32578 32581 29084 0 -1 1077936192 85 0 0 0 0 0 0 0 20 0 3 0 5113127 572665856 114605 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 559244 KiB
Current children cumulated memory: 458420 KiB
[startup+222.3 s]
/proc/loadavg: 4.62 4.43 4.39 5/251 32629
/proc/meminfo: memFree=120461616/131655788 swapFree=131071996/131071996
[pid=32581] ppid=32578 vsize=628148 memory=475744 CPUtime=221.68 cores=1,3
/proc/32581/stat : 32581 (fscip) S 32578 32581 29084 0 -1 1077936128 273450 0 0 0 22131 37 0 0 20 0 3 0 5109824 643223552 118936 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
/proc/32581/statm: 157037 118936 2982 3035 0 137394 0
[pid=32581/tid=32590] ppid=32578 vsize=628148 memory=473856 CPUtime=188.83 cores=1,3
/proc/32581/task/32590/stat : 32590 (fscip) R 32578 32581 29084 0 -1 4194368 210740 0 0 0 18860 23 0 0 20 0 3 0 5113114 643223552 118936 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
[pid=32581/tid=32591] ppid=32578 vsize=628148 memory=475500 CPUtime=0 cores=1,3
/proc/32581/task/32591/stat : 32591 (fscip) S 32578 32581 29084 0 -1 1077936192 92 0 0 0 0 0 0 0 20 0 3 0 5113127 643223552 118936 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 628148 KiB
Current children cumulated memory: 475744 KiB
[startup+282.3 s]
/proc/loadavg: 4.28 4.36 4.36 5/251 32639
/proc/meminfo: memFree=120439820/131655788 swapFree=131071996/131071996
[pid=32581] ppid=32578 vsize=628148 memory=487600 CPUtime=281.53 cores=1,3
/proc/32581/stat : 32581 (fscip) S 32578 32581 29084 0 -1 1077936128 317285 0 0 0 28113 40 0 0 20 0 3 0 5109824 643223552 121900 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
/proc/32581/statm: 157037 121900 2982 3035 0 140335 0
[pid=32581/tid=32590] ppid=32578 vsize=628148 memory=484280 CPUtime=248.68 cores=1,3
/proc/32581/task/32590/stat : 32590 (fscip) R 32578 32581 29084 0 -1 4194368 254563 0 0 0 24842 26 0 0 20 0 3 0 5113114 643223552 121900 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
[pid=32581/tid=32591] ppid=32578 vsize=628148 memory=487372 CPUtime=0 cores=1,3
/proc/32581/task/32591/stat : 32591 (fscip) S 32578 32581 29084 0 -1 1077936192 102 0 0 0 0 0 0 0 20 0 3 0 5113127 643223552 121900 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 628148 KiB
Current children cumulated memory: 487600 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.31 4.35 5/251 32649
/proc/meminfo: memFree=120339836/131655788 swapFree=131071996/131071996
[pid=32581] ppid=32578 vsize=629268 memory=493240 CPUtime=341.38 cores=1,3
/proc/32581/stat : 32581 (fscip) S 32578 32581 29084 0 -1 1077936128 336709 0 0 0 34097 41 0 0 20 0 3 0 5109824 644370432 123310 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
/proc/32581/statm: 157317 123310 2982 3035 0 142195 0
################
# More data... #
################
[pid=32581] ppid=32578 vsize=697548 memory=638104 CPUtime=3453.03 cores=1,3
/proc/32581/stat : 32581 (fscip) S 32578 32581 29084 0 -1 1077936128 635349 0 0 0 345234 69 0 0 20 0 3 0 5109824 714289152 159526 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
/proc/32581/statm: 174387 159526 3334 3035 0 166643 0
[pid=32581/tid=32590] ppid=32578 vsize=697548 memory=16744 CPUtime=3420.08 cores=1,3
/proc/32581/task/32590/stat : 32590 (fscip) R 32578 32581 29084 0 -1 4194368 571475 0 0 0 341958 50 0 0 20 0 3 0 5113114 714289152 159526 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
[pid=32581/tid=32591] ppid=32578 vsize=697548 memory=638104 CPUtime=0.05 cores=1,3
/proc/32581/task/32591/stat : 32591 (fscip) S 32578 32581 29084 0 -1 1077936192 417 0 0 0 2 3 0 0 20 0 3 0 5113127 714289152 159526 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
Current children cumulated CPU time: 3453.03 s
Current children cumulated vsize: 697548 KiB
Current children cumulated memory: 638104 KiB
[startup+3522.3 s]
/proc/loadavg: 4.31 4.18 4.16 5/249 34588
/proc/meminfo: memFree=122156252/131655788 swapFree=131071996/131071996
[pid=32581] ppid=32578 vsize=697548 memory=638104 CPUtime=3512.88 cores=1,3
/proc/32581/stat : 32581 (fscip) S 32578 32581 29084 0 -1 1077936128 636645 0 0 0 351219 69 0 0 20 0 3 0 5109824 714289152 159526 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
/proc/32581/statm: 174387 159526 3334 3035 0 166643 0
[pid=32581/tid=32590] ppid=32578 vsize=697548 memory=638104 CPUtime=3479.95 cores=1,3
/proc/32581/task/32590/stat : 32590 (fscip) R 32578 32581 29084 0 -1 4194368 572746 0 0 0 347944 51 0 0 20 0 3 0 5113114 714289152 159526 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
[pid=32581/tid=32591] ppid=32578 vsize=697548 memory=16084 CPUtime=0.05 cores=1,3
/proc/32581/task/32591/stat : 32591 (fscip) S 32578 32581 29084 0 -1 1077936192 423 0 0 0 2 3 0 0 20 0 3 0 5113127 714289152 159526 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
Current children cumulated CPU time: 3512.88 s
Current children cumulated vsize: 697548 KiB
Current children cumulated memory: 638104 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.16 4.15 5/249 34599
/proc/meminfo: memFree=122137936/131655788 swapFree=131071996/131071996
[pid=32581] ppid=32578 vsize=697548 memory=638104 CPUtime=3572.74 cores=1,3
/proc/32581/stat : 32581 (fscip) S 32578 32581 29084 0 -1 1077936128 637728 0 0 0 357205 69 0 0 20 0 3 0 5109824 714289152 159526 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
/proc/32581/statm: 174387 159526 3334 3035 0 166643 0
[pid=32581/tid=32590] ppid=32578 vsize=697548 memory=638104 CPUtime=3539.81 cores=1,3
/proc/32581/task/32590/stat : 32590 (fscip) R 32578 32581 29084 0 -1 4194368 573821 0 0 0 353930 51 0 0 20 0 3 0 5113114 714289152 159526 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
[pid=32581/tid=32591] ppid=32578 vsize=697548 memory=638104 CPUtime=0.05 cores=1,3
/proc/32581/task/32591/stat : 32591 (fscip) S 32578 32581 29084 0 -1 1077936192 429 0 0 0 2 3 0 0 20 0 3 0 5113127 714289152 159526 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
Current children cumulated CPU time: 3572.74 s
Current children cumulated vsize: 697548 KiB
Current children cumulated memory: 638104 KiB
[startup+3598.22 s]
# the end of solver process 32581 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.91 s, system=0.714729 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.16 4.16 4.15 5/249 34599
/proc/meminfo: memFree=122137880/131655788 swapFree=131071996/131071996
[pid=32581] ppid=32578 vsize=697548 memory=638104 CPUtime=3574.45 cores=1,3
/proc/32581/stat : 32581 (fscip) S 32578 32581 29084 0 -1 1077936128 637728 0 0 0 357376 69 0 0 20 0 3 0 5109824 714289152 159526 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
/proc/32581/statm: 174387 159526 3334 3035 0 166643 0
[pid=32581/tid=32590] ppid=32578 vsize=697548 memory=-7451605275046403703 CPUtime=3541.51 cores=1,3
/proc/32581/task/32590/stat : 32590 (fscip) R 32578 32581 29084 0 -1 4194368 573821 0 0 0 354100 51 0 0 20 0 3 0 5113114 714289152 159526 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
[pid=32581/tid=32591] ppid=32578 vsize=697548 memory=-7449981232481269698 CPUtime=0.05 cores=1,3
/proc/32581/task/32591/stat : 32591 (fscip) S 32578 32581 29084 0 -1 1077936192 429 0 0 0 2 3 0 0 20 0 3 0 5113127 714289152 159526 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
Current children cumulated CPU time: 3574.45 s
Current children cumulated vsize: 697548 KiB
Current children cumulated memory: 638104 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.16 4.15 5/249 34599
/proc/meminfo: memFree=122131912/131655788 swapFree=131071996/131071996
[pid=32581] ppid=32578 vsize=697548 memory=638104 CPUtime=3580.82 cores=1,3
/proc/32581/stat : 32581 (fscip) S 32578 32581 29084 0 -1 1077936128 638464 0 0 0 358013 69 0 0 20 0 3 0 5109824 714289152 159526 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
/proc/32581/statm: 174387 159526 3334 3035 0 166643 0
[pid=32581/tid=32590] ppid=32578 vsize=697548 memory=638104 CPUtime=3547.89 cores=1,3
/proc/32581/task/32590/stat : 32590 (fscip) R 32578 32581 29084 0 -1 4194368 574557 0 0 0 354738 51 0 0 20 0 3 0 5113114 714289152 159526 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
[pid=32581/tid=32591] ppid=32578 vsize=697548 memory=638104 CPUtime=0.05 cores=1,3
/proc/32581/task/32591/stat : 32591 (fscip) S 32578 32581 29084 0 -1 1077936192 429 0 0 0 2 3 0 0 20 0 3 0 5113127 714289152 159526 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
Current children cumulated CPU time: 3580.82 s
Current children cumulated vsize: 697548 KiB
Current children cumulated memory: 638104 KiB
[startup+3593.6 s]
/proc/loadavg: 4.13 4.15 4.15 5/249 34600
/proc/meminfo: memFree=122131828/131655788 swapFree=131071996/131071996
[pid=32581] ppid=32578 vsize=697548 memory=638104 CPUtime=3584.01 cores=1,3
/proc/32581/stat : 32581 (fscip) S 32578 32581 29084 0 -1 1077936128 638471 0 0 0 358332 69 0 0 20 0 3 0 5109824 714289152 159526 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
/proc/32581/statm: 174387 159526 3334 3035 0 166643 0
[pid=32581/tid=32590] ppid=32578 vsize=697548 memory=638104 CPUtime=3551.08 cores=1,3
/proc/32581/task/32590/stat : 32590 (fscip) R 32578 32581 29084 0 -1 4194368 574564 0 0 0 355057 51 0 0 20 0 3 0 5113114 714289152 159526 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
[pid=32581/tid=32591] ppid=32578 vsize=697548 memory=-7307771561947258489 CPUtime=0.05 cores=1,3
/proc/32581/task/32591/stat : 32591 (fscip) S 32578 32581 29084 0 -1 1077936192 429 0 0 0 2 3 0 0 20 0 3 0 5113127 714289152 159526 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
Current children cumulated CPU time: 3584.01 s
Current children cumulated vsize: 697548 KiB
Current children cumulated memory: 638104 KiB
[startup+3595.2 s]
/proc/loadavg: 4.13 4.15 4.15 5/249 34600
/proc/meminfo: memFree=122131780/131655788 swapFree=131071996/131071996
[pid=32581] ppid=32578 vsize=697548 memory=638104 CPUtime=3585.61 cores=1,3
/proc/32581/stat : 32581 (fscip) S 32578 32581 29084 0 -1 1077936128 638473 0 0 0 358492 69 0 0 20 0 3 0 5109824 714289152 159526 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
/proc/32581/statm: 174387 159526 3334 3035 0 166643 0
[pid=32581/tid=32590] ppid=32578 vsize=697548 memory=11352 CPUtime=3552.67 cores=1,3
/proc/32581/task/32590/stat : 32590 (fscip) R 32578 32581 29084 0 -1 4194368 574566 0 0 0 355216 51 0 0 20 0 3 0 5113114 714289152 159526 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
[pid=32581/tid=32591] ppid=32578 vsize=697548 memory=16744 CPUtime=0.05 cores=1,3
/proc/32581/task/32591/stat : 32591 (fscip) S 32578 32581 29084 0 -1 1077936192 429 0 0 0 2 3 0 0 20 0 3 0 5113127 714289152 159526 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
Current children cumulated CPU time: 3585.61 s
Current children cumulated vsize: 697548 KiB
Current children cumulated memory: 638104 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.15 4.15 5/249 34600
/proc/meminfo: memFree=122131804/131655788 swapFree=131071996/131071996
[pid=32581] ppid=32578 vsize=697548 memory=638104 CPUtime=3587.21 cores=1,3
/proc/32581/stat : 32581 (fscip) S 32578 32581 29084 0 -1 1077936128 638629 0 0 0 358652 69 0 0 20 0 3 0 5109824 714289152 159526 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
/proc/32581/statm: 174387 159526 3334 3035 0 166643 0
[pid=32581/tid=32590] ppid=32578 vsize=697548 memory=638104 CPUtime=3554.27 cores=1,3
/proc/32581/task/32590/stat : 32590 (fscip) R 32578 32581 29084 0 -1 4194368 574705 0 0 0 355376 51 0 0 20 0 3 0 5113114 714289152 159526 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
[pid=32581/tid=32591] ppid=32578 vsize=697548 memory=638104 CPUtime=0.05 cores=1,3
/proc/32581/task/32591/stat : 32591 (fscip) S 32578 32581 29084 0 -1 1077936192 429 0 0 0 2 3 0 0 20 0 3 0 5113127 714289152 159526 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
Current children cumulated CPU time: 3587.21 s
Current children cumulated vsize: 697548 KiB
Current children cumulated memory: 638104 KiB
[startup+3597.6 s]
/proc/loadavg: 4.13 4.15 4.15 5/249 34600
/proc/meminfo: memFree=122131780/131655788 swapFree=131071996/131071996
[pid=32581] ppid=32578 vsize=697548 memory=638104 CPUtime=3588 cores=1,3
/proc/32581/stat : 32581 (fscip) S 32578 32581 29084 0 -1 1077936128 638630 0 0 0 358731 69 0 0 20 0 3 0 5109824 714289152 159526 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
/proc/32581/statm: 174387 159526 3334 3035 0 166643 0
[pid=32581/tid=32590] ppid=32578 vsize=697548 memory=12220 CPUtime=3555.07 cores=1,3
/proc/32581/task/32590/stat : 32590 (fscip) R 32578 32581 29084 0 -1 4194368 574706 0 0 0 355456 51 0 0 20 0 3 0 5113114 714289152 159526 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
[pid=32581/tid=32591] ppid=32578 vsize=697548 memory=16744 CPUtime=0.05 cores=1,3
/proc/32581/task/32591/stat : 32591 (fscip) S 32578 32581 29084 0 -1 1077936192 429 0 0 0 2 3 0 0 20 0 3 0 5113127 714289152 159526 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
Current children cumulated CPU time: 3588 s
Current children cumulated vsize: 697548 KiB
Current children cumulated memory: 638104 KiB
[startup+3598 s]*
/proc/loadavg: 4.12 4.15 4.15 6/249 34600
/proc/meminfo: memFree=122131772/131655788 swapFree=131071996/131071996
[pid=32581] ppid=32578 vsize=666460 memory=607016 CPUtime=3588.41 cores=1,3
/proc/32581/stat : 32581 (fscip) S 32578 32581 29084 0 -1 1077936128 638669 0 0 0 358772 69 0 0 20 0 3 0 5109824 682455040 151754 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
/proc/32581/statm: 166615 151754 3334 3035 0 158871 0
[pid=32581/tid=32590] ppid=32578 vsize=666460 memory=638104 CPUtime=3555.48 cores=1,3
/proc/32581/task/32590/stat : 32590 (fscip) R 32578 32581 29084 0 -1 4194368 574819 0 0 0 355497 51 0 0 20 0 3 0 5113114 682455040 151754 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
[pid=32581/tid=32591] ppid=32578 vsize=666460 memory=-7449981232481269698 CPUtime=0.05 cores=1,3
/proc/32581/task/32591/stat : 32591 (fscip) S 32578 32581 29084 0 -1 1077936192 429 0 0 0 2 3 0 0 20 0 3 0 5113127 682455040 151754 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
Current children cumulated CPU time: 3588.41 s
Current children cumulated vsize: 666460 KiB
Current children cumulated memory: 607016 KiB
[startup+3598.12 s]
/proc/loadavg: 4.12 4.15 4.15 6/249 34600
/proc/meminfo: memFree=122131772/131655788 swapFree=131071996/131071996
[pid=32581] ppid=32578 vsize=662144 memory=603064 CPUtime=3588.53 cores=1,3
/proc/32581/stat : 32581 (fscip) R 32578 32581 29084 0 -1 4194304 640011 0 0 0 358783 70 0 0 20 0 2 0 5109824 678035456 150766 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
/proc/32581/statm: 165536 150766 3334 3035 0 157792 0
[pid=32581/tid=32591] ppid=32578 vsize=662144 memory=-7307771561947258489 CPUtime=0.05 cores=1,3
/proc/32581/task/32591/stat : 32591 (fscip) S 32578 32581 29084 0 -1 1077936192 429 0 0 0 2 3 0 0 20 0 2 0 5113127 678035456 150766 134679101440 4194304 16623229 140726201299168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44703744 140726201308182 140726201308298 140726201308298 140726201315312 0
Current children cumulated CPU time: 3588.53 s
Current children cumulated vsize: 662144 KiB
Current children cumulated memory: 603064 KiB
Child status: 0
Real time (s): 3598.22
CPU time (s): 3588.62
CPU user time (s): 3587.91
CPU system time (s): 0.714729
CPU usage (%): 99.7334
Max. virtual memory (cumulated for all children) (KiB): 697548
Max. memory (cumulated for all children) (KiB): 638104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.91
system time used= 0.714729
maximum resident set size= 638104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 641063
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= 4265
involuntary context switches= 4358
# summary of solver processes directly reported to runsolver:
# pid: 32581
# total CPU time (s): 3588.62
# total CPU user time (s): 3587.91
# total CPU system time (s): 0.714729
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6696 second user time and 32.9453 second system time
The end
Begin job on nodeC002 at 2024-07-31 02:19:02
IDJOB=4464483
IDBENCH=158288
IDSOLVER=3092
FILE ID=nodeC002/4464483-1722385142
RUNJOBID= nodeC002-1722378594-29096
SLURM_JOB_ID= 8249832
Free space on /tmp= 723692 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K135.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-4464483-1722385142/watcher-4464483-1722385142 -o /tmp/evaluation-result-4464483-1722385142/solver-4464483-1722385142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722378594-29096 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464483-1722385142.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a9d7c7f4b9c33e38d48644f753677e90
RANDOM SEED=1367756045
nodeC002.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 : 0xb00001f
cpu MHz : 3622.983
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.65
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 : 0xb00001f
cpu MHz : 1197.206
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.23
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 : 0xb00001f
cpu MHz : 1197.346
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.65
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 : 0xb00001f
cpu MHz : 3491.833
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.23
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 : 0xb00001f
cpu MHz : 3668.890
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.65
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 : 0xb00001f
cpu MHz : 3663.992
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.23
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 : 0xb00001f
cpu MHz : 1197.225
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.65
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 : 0xb00001f
cpu MHz : 1197.228
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 120964196 kB
MemAvailable: 125872692 kB
Buffers: 105216 kB
Cached: 5591988 kB
SwapCached: 0 kB
Active: 274692 kB
Inactive: 9857696 kB
Active(anon): 1916 kB
Inactive(anon): 4462504 kB
Active(file): 272776 kB
Inactive(file): 5395192 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 29392 kB
Writeback: 160 kB
AnonPages: 4434036 kB
Mapped: 128252 kB
Shmem: 29512 kB
KReclaimable: 161120 kB
Slab: 245840 kB
SReclaimable: 161120 kB
SUnreclaim: 84720 kB
KernelStack: 3980 kB
PageTables: 18920 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2331656 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2410496 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: 224072 kB
DirectMap2M: 19603456 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723668 MiB
End job on nodeC002 at 2024-07-31 03:19:00