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.09/0.11 c Default LC presolving (default).
0.09/0.11 c ** Before presolving: virtualMemUsedAtLc = 86767382, getVmSize() = 76410880, SCIPgetMemUsed() = 44916449, SCIPgetMemTotal() = 52663329, SCIPgetMemExternEstim() = 34104053
0.09/0.11 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.58/0.62 c ** Estimated virtualMemUsedAtSolver = 100592856, getVmSize() = 146386944, SCIPgetMemUsed() = 82035656, SCIPgetMemTotal() = 116785232, SCIPgetMemExternEstim() = 34104053
0.58/0.62 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.58/0.62 c Original Problem :
0.58/0.62 c Problem name : instance-4442000-1721297367
0.58/0.62 c Variables : 4602 (4602 binary, 0 integer, 0 implicit integer, 0 continuous)
0.58/0.62 c Constraints : 30179
0.58/0.62 c Objective sense : minimize
0.58/0.62 c Presolved Problem :
0.58/0.62 c Variables : 4602 (4602 binary, 0 integer, 0 implicit integer, 0 continuous)
0.58/0.62 c Constraints : 30179
0.58/0.62 c Constraints : Number
0.58/0.62 c knapsack : 78
0.58/0.62 c setppc : 941
0.58/0.62 c logicor : 29160
0.58/0.62 c ** Instance transfer method used: 0
0.58/0.68 c ** ParaScipInstance copy does not increase the number of variables. **
0.69/0.72 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.69/0.72 c Nodes Active
0.69/0.72 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
165.45/165.95 c 166 2 1 1 - 0.0000 -
172.64/173.10 c 173 10 9 1 - 0.0000 -
178.42/178.94 c 179 12 11 1 - 0.0000 -
209.25/209.86 c 210 13 12 1 - 0.0000 -
273.19/273.97 c 274 15 14 1 - 0.0000 -
283.27/284.01 c 284 16 15 1 - 0.0000 -
305.21/306.04 c 306 17 16 1 - 0.0000 -
312.19/313.02 c 313 19 18 1 - 0.0000 -
321.06/321.91 c 322 23 22 1 - 0.0000 -
337.73/338.68 c 339 24 23 1 - 0.0000 -
343.12/344.09 c 344 25 24 1 - 0.0000 -
351.20/352.10 c 352 27 26 1 - 0.0000 -
366.06/367.08 c 367 32 31 1 - 0.0000 -
377.33/378.34 c 378 36 35 1 - 0.0000 -
387.01/388.03 c 388 38 37 1 - 0.0000 -
394.68/395.76 c 396 43 42 1 - 0.0000 -
399.77/400.83 c 401 44 43 1 - 0.0000 -
419.62/420.79 c 421 60 59 1 - 0.0000 -
436.38/437.54 c 438 61 60 1 - 0.0000 -
447.65/448.87 c 449 62 61 1 - 0.0000 -
492.33/493.64 c 494 64 63 1 - 0.0000 -
504.00/505.30 c 505 65 64 1 - 0.0000 -
524.46/525.86 c 526 66 65 1 - 0.0000 -
544.60/546.02 c 546 71 70 1 - 0.0000 -
555.37/556.82 c 557 72 71 1 - 0.0000 -
580.30/581.89 c 582 74 73 1 - 0.0000 -
597.17/598.70 c 599 75 74 1 - 0.0000 -
611.73/613.38 c 613 76 75 1 - 0.0000 -
643.04/644.76 c 645 79 78 1 - 0.0000 -
662.30/664.00 c 664 81 80 1 - 0.0000 -
695.91/697.70 c 698 83 82 1 - 0.0000 -
724.24/726.12 c 726 84 83 1 - 0.0000 -
742.67/744.65 c 745 86 85 1 - 0.0000 -
757.63/759.64 c 760 88 87 1 - 0.0000 -
763.41/765.45 c 765 90 89 1 - 0.0000 -
789.94/792.04 c 792 91 90 1 - 0.0000 -
795.72/797.84 c 798 92 91 1 - 0.0000 -
817.16/819.37 c 819 94 93 1 - 0.0000 -
841.19/843.46 c 843 97 96 1 - 0.0000 -
877.69/880.00 c 880 99 98 1 - 0.0000 -
912.78/915.29 c 915 103 102 1 - 0.0000 -
932.82/935.30 c 935 106 105 1 - 0.0000 -
969.61/972.21 c 972 108 107 1 - 0.0000 -
988.95/991.65 c 992 110 109 1 - 0.0000 -
1013.98/1016.78 c 1017 111 110 1 - 0.0000 -
1052.48/1055.32 c 1055 115 114 1 - 0.0000 -
1064.84/1067.72 c 1068 116 115 1 - 0.0000 -
1083.58/1086.58 c 1087 117 116 1 - 0.0000 -
1096.65/1099.68 c 1100 118 117 1 - 0.0000 -
1114.10/1117.18 c 1117 120 119 1 - 0.0000 -
1128.96/1132.06 c 1132 121 120 1 - 0.0000 -
1153.78/1156.96 c 1157 123 122 1 - 0.0000 -
1172.33/1175.50 c 1176 124 123 1 - 0.0000 -
1201.44/1204.72 c 1205 127 126 1 - 0.0000 -
1223.08/1226.43 c 1226 129 128 1 - 0.0000 -
1241.13/1244.54 c 1245 135 134 1 - 0.0000 -
1251.40/1254.83 c 1255 136 135 1 - 0.0000 -
1275.93/1279.40 c 1279 137 136 1 - 0.0000 -
1284.60/1288.18 c 1288 138 137 1 - 0.0000 -
1320.40/1324.01 c 1324 140 139 1 - 0.0000 -
1335.75/1339.49 c 1339 141 140 1 - 0.0000 -
1356.29/1360.05 c 1360 142 141 1 - 0.0000 -
1374.34/1378.17 c 1378 144 143 1 - 0.0000 -
1399.56/1403.43 c 1403 146 145 1 - 0.0000 -
1414.92/1418.86 c 1419 148 147 1 - 0.0000 -
1424.20/1428.17 c 1428 149 148 1 - 0.0000 -
1442.74/1446.76 c 1447 150 149 1 - 0.0000 -
1447.82/1451.84 c 1452 151 150 1 - 0.0000 -
1453.80/1457.83 c 1458 152 151 1 - 0.0000 -
1491.10/1495.27 c 1495 153 152 1 - 0.0000 -
1529.69/1533.97 c 1534 154 153 1 - 0.0000 -
1557.31/1561.66 c 1562 156 155 1 - 0.0000 -
1578.84/1583.22 c 1583 157 156 1 - 0.0000 -
1587.72/1592.19 c 1592 158 157 1 - 0.0000 -
1612.05/1616.52 c 1617 159 158 1 - 0.0000 -
1625.61/1630.12 c 1630 160 159 1 - 0.0000 -
1659.01/1663.67 c 1664 162 161 1 - 0.0000 -
1687.92/1692.64 c 1693 164 163 1 - 0.0000 -
1700.89/1705.68 c 1706 165 164 1 - 0.0000 -
1711.36/1716.16 c 1716 166 165 1 - 0.0000 -
1730.80/1735.68 c 1736 170 169 1 - 0.0000 -
1739.37/1744.29 c 1744 172 171 1 - 0.0000 -
1767.00/1771.96 c 1772 174 173 1 - 0.0000 -
1790.23/1795.21 c 1795 175 174 1 - 0.0000 -
1804.99/1810.08 c 1810 176 175 1 - 0.0000 -
1830.41/1835.57 c 1836 178 177 1 - 0.0000 -
1863.61/1868.84 c 1869 180 179 1 - 0.0000 -
1889.74/1895.05 c 1895 181 180 1 - 0.0000 -
1901.90/1907.23 c 1907 182 181 1 - 0.0000 -
1907.38/1912.72 c 1913 184 183 1 - 0.0000 -
1924.83/1930.23 c 1930 187 186 1 - 0.0000 -
1945.67/1951.19 c 1951 191 190 1 - 0.0000 -
1967.41/1972.93 c 1973 193 192 1 - 0.0000 -
1990.94/1996.56 c 1997 196 195 1 - 0.0000 -
2008.58/2014.26 c 2014 198 197 1 - 0.0000 -
2022.64/2028.36 c 2028 199 198 1 - 0.0000 -
2034.21/2039.97 c 2040 200 199 1 - 0.0000 -
2047.17/2052.99 c 2053 202 201 1 - 0.0000 -
2066.41/2072.28 c 2072 203 202 1 - 0.0000 -
2094.13/2100.00 c 2100 204 203 1 - 0.0000 -
2112.87/2118.86 c 2119 205 204 1 - 0.0000 -
2132.22/2138.22 c 2138 206 205 1 - 0.0000 -
2164.93/2171.07 c 2171 208 207 1 - 0.0000 -
2181.28/2187.43 c 2187 209 208 1 - 0.0000 -
2186.47/2192.61 c 2193 210 209 1 - 0.0000 -
2212.69/2218.94 c 2219 212 211 1 - 0.0000 -
2230.94/2237.22 c 2237 213 212 1 - 0.0000 -
2245.00/2251.31 c 2251 214 213 1 - 0.0000 -
2254.68/2261.05 c 2261 215 214 1 - 0.0000 -
2261.85/2268.20 c 2268 216 215 1 - 0.0000 -
2267.33/2273.72 c 2274 218 217 1 - 0.0000 -
2286.78/2293.23 c 2293 219 218 1 - 0.0000 -
2293.36/2299.88 c 2300 220 219 1 - 0.0000 -
2312.70/2319.27 c 2319 223 222 1 - 0.0000 -
2325.57/2332.10 c 2332 224 223 1 - 0.0000 -
2343.31/2349.99 c 2350 225 224 1 - 0.0000 -
2350.29/2356.99 c 2357 226 225 1 - 0.0000 -
2371.53/2378.27 c 2378 228 227 1 - 0.0000 -
2383.10/2389.85 c 2390 229 228 1 - 0.0000 -
2398.26/2405.03 c 2405 230 229 1 - 0.0000 -
2408.02/2414.81 c 2415 231 230 1 - 0.0000 -
2417.00/2423.87 c 2424 232 231 1 - 0.0000 -
2423.08/2429.92 c 2430 233 232 1 - 0.0000 -
2477.22/2484.27 c 2484 234 233 1 - 0.0000 -
2500.45/2507.55 c 2508 236 235 1 - 0.0000 -
2507.94/2515.08 c 2515 240 239 1 - 0.0000 -
2536.75/2544.00 c 2544 241 240 1 - 0.0000 -
2550.71/2557.98 c 2558 242 241 1 - 0.0000 -
2574.64/2581.94 c 2582 243 242 1 - 0.0000 -
2599.87/2607.20 c 2607 244 243 1 - 0.0000 -
2626.79/2634.23 c 2634 245 244 1 - 0.0000 -
2643.24/2650.73 c 2651 246 245 1 - 0.0000 -
2658.30/2665.80 c 2666 247 246 1 - 0.0000 -
2671.76/2679.35 c 2679 248 247 1 - 0.0000 -
2690.30/2697.94 c 2698 250 249 1 - 0.0000 -
2698.08/2705.78 c 2706 251 250 1 - 0.0000 -
2729.69/2737.42 c 2737 252 251 1 - 0.0000 -
2738.37/2746.16 c 2746 254 253 1 - 0.0000 -
2761.49/2769.39 c 2769 256 255 1 - 0.0000 -
2780.54/2788.47 c 2788 258 257 1 - 0.0000 -
2798.49/2806.44 c 2806 259 258 1 - 0.0000 -
2811.65/2819.63 c 2820 260 259 1 - 0.0000 -
2827.50/2835.59 c 2836 261 260 1 - 0.0000 -
2860.01/2868.16 c 2868 265 264 1 - 0.0000 -
2866.09/2874.20 c 2874 266 265 1 - 0.0000 -
2886.93/2895.13 c 2895 268 267 1 - 0.0000 -
2905.97/2914.24 c 2914 269 268 1 - 0.0000 -
2914.34/2922.60 c 2923 270 269 1 - 0.0000 -
2929.60/2937.95 c 2938 271 270 1 - 0.0000 -
2945.35/2953.74 c 2954 272 271 1 - 0.0000 -
2966.39/2974.84 c 2975 273 272 1 - 0.0000 -
2976.57/2985.08 c 2985 274 273 1 - 0.0000 -
2994.61/3003.11 c 3003 277 276 1 - 0.0000 -
3018.45/3027.03 c 3027 280 279 1 - 0.0000 -
3034.10/3042.73 c 3043 281 280 1 - 0.0000 -
3061.32/3070.09 c 3070 282 281 1 - 0.0000 -
3078.86/3087.60 c 3088 283 282 1 - 0.0000 -
3084.25/3093.04 c 3093 284 283 1 - 0.0000 -
3100.60/3109.44 c 3109 285 284 1 - 0.0000 -
3109.77/3118.62 c 3119 286 285 1 - 0.0000 -
3126.02/3134.99 c 3135 287 286 1 - 0.0000 -
3136.39/3145.38 c 3145 288 287 1 - 0.0000 -
3154.74/3163.79 c 3164 292 291 1 - 0.0000 -
3176.08/3185.11 c 3185 294 293 1 - 0.0000 -
3194.33/3203.45 c 3203 295 294 1 - 0.0000 -
3212.17/3221.34 c 3221 296 295 1 - 0.0000 -
3219.75/3228.99 c 3229 297 296 1 - 0.0000 -
3235.31/3244.52 c 3245 298 297 1 - 0.0000 -
3245.38/3254.66 c 3255 299 298 1 - 0.0000 -
3296.93/3306.38 c 3306 302 301 1 - 0.0000 -
3309.39/3318.83 c 3319 304 303 1 - 0.0000 -
3344.59/3354.16 c 3354 305 304 1 - 0.0000 -
3358.35/3367.92 c 3368 306 305 1 - 0.0000 -
3385.06/3394.70 c 3395 307 306 1 - 0.0000 -
3424.45/3434.24 c 3434 308 307 1 - 0.0000 -
3448.37/3458.27 c 3458 312 311 1 - 0.0000 -
3465.62/3475.55 c 3476 315 314 1 - 0.0000 -
3477.79/3487.75 c 3488 316 315 1 - 0.0000 -
3503.02/3513.07 c 3513 317 316 1 - 0.0000 -
3534.93/3545.00 c 3545 318 317 1 - 0.0000 -
3544.00/3554.15 c 3554 319 318 1 - 0.0000 -
3579.31/3589.59 c 3590 320 319 1 - 0.0000 -
3589.68/3599.99 c 3600 320 319 0 - 0.0000 -
3589.78/3600.07 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.78/3600.07 c Total Time : 3600.0600
3589.78/3600.07 c solving : 3600.0600
3589.78/3600.07 c presolving : 0.5224 (included in solving)
3589.78/3600.07 c B&B Tree :
3589.78/3600.07 c nodes (total) : 1
3589.78/3600.07 c Solution :
3589.78/3600.07 c Solutions found : 0
3589.78/3600.07 c Primal Bound : -
3589.78/3600.07 c Dual Bound : +0.00000000000000e+00
3589.78/3600.07 c Gap : -
3589.78/3600.09 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62495 MiB free)
memory of node 1: 64473 MiB (62037 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442000-1721297367/watcher-4442000-1721297367 -o /tmp/evaluation-result-4442000-1721297367/solver-4442000-1721297367 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721293769-954238 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4442000-1721297367.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Current StackSize limit: 8192 KiB
solver pid=956346, runsolver pid=956343
[startup+0.100665 s]*
/proc/loadavg: 4.12 4.12 4.08 5/260 956347
/proc/meminfo: memFree=127468032/131524600 swapFree=131071996/131071996
[pid=956346] ppid=956343 vsize=74620 memory=63272 CPUtime=0.09 cores=4,6
/proc/956346/stat : 956346 (fscip) R 956343 956346 954227 0 -1 4194304 13691 0 0 0 8 1 0 0 20 0 1 0 181902871 76410880 15818 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
/proc/956346/statm: 18655 15818 2542 3032 0 15055 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74620 KiB
Current children cumulated memory: 63272 KiB
[startup+0.205629 s]*
/proc/loadavg: 4.12 4.12 4.08 5/260 956347
/proc/meminfo: memFree=127446808/131524600 swapFree=131071996/131071996
[pid=956346] ppid=956343 vsize=86088 memory=74400 CPUtime=0.19 cores=4,6
/proc/956346/stat : 956346 (fscip) R 956343 956346 954227 0 -1 4194304 20874 0 0 0 17 2 0 0 20 0 1 0 181902871 88154112 18600 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
/proc/956346/statm: 21522 18600 2686 3032 0 17922 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 86088 KiB
Current children cumulated memory: 74400 KiB
[startup+0.305707 s]*
/proc/loadavg: 4.12 4.12 4.08 5/260 956347
/proc/meminfo: memFree=127450492/131524600 swapFree=131071996/131071996
[pid=956346] ppid=956343 vsize=92920 memory=81468 CPUtime=0.29 cores=4,6
/proc/956346/stat : 956346 (fscip) R 956343 956346 954227 0 -1 4194304 24097 0 0 0 27 2 0 0 20 0 1 0 181902871 95150080 20367 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
/proc/956346/statm: 23230 20367 2734 3032 0 19630 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 92920 KiB
Current children cumulated memory: 81468 KiB
[startup+0.700669 s]
/proc/loadavg: 4.12 4.12 4.08 5/260 956347
/proc/meminfo: memFree=127429864/131524600 swapFree=131071996/131071996
[pid=956346] ppid=956343 vsize=228668 memory=148164 CPUtime=0.69 cores=4,6
/proc/956346/stat : 956346 (fscip) S 956343 956346 954227 0 -1 1077936128 43739 0 0 0 64 5 0 0 20 0 2 0 181902871 234156032 37041 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
/proc/956346/statm: 57167 37041 2766 3032 0 41276 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 228668 KiB
Current children cumulated memory: 148164 KiB
[startup+1.50067 s]
/proc/loadavg: 4.12 4.12 4.08 5/262 956349
/proc/meminfo: memFree=127322444/131524600 swapFree=131071996/131071996
[pid=956346] ppid=956343 vsize=302400 memory=246332 CPUtime=1.47 cores=4,6
/proc/956346/stat : 956346 (fscip) S 956343 956346 954227 0 -1 1077936128 70108 0 0 0 138 9 0 0 20 0 3 0 181902871 309657600 61583 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
/proc/956346/statm: 75600 61583 2910 3032 0 68331 0
[pid=956346/tid=956348] ppid=956343 vsize=302400 memory=4236 CPUtime=0.8 cores=4,6
/proc/956346/task/956348/stat : 956348 (fscip) R 956343 956346 954227 0 -1 4194368 30394 0 0 0 76 4 0 0 20 0 3 0 181902934 309657600 61583 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
[pid=956346/tid=956349] ppid=956343 vsize=302400 memory=2248 CPUtime=0 cores=4,6
/proc/956346/task/956349/stat : 956349 (fscip) S 956343 956346 954227 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 181902944 309657600 61583 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 302400 KiB
Current children cumulated memory: 246332 KiB
[startup+3.10566 s]
/proc/loadavg: 4.12 4.12 4.08 5/262 956349
/proc/meminfo: memFree=127283124/131524600 swapFree=131071996/131071996
[pid=956346] ppid=956343 vsize=302400 memory=248716 CPUtime=3.06 cores=4,6
/proc/956346/stat : 956346 (fscip) S 956343 956346 954227 0 -1 1077936128 73507 0 0 0 296 10 0 0 20 0 3 0 181902871 309657600 62179 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
/proc/956346/statm: 75600 62179 2910 3032 0 69136 0
[pid=956346/tid=956348] ppid=956343 vsize=302400 memory=2248 CPUtime=2.39 cores=4,6
/proc/956346/task/956348/stat : 956348 (fscip) R 956343 956346 954227 0 -1 4194368 33786 0 0 0 234 5 0 0 20 0 3 0 181902934 309657600 62179 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
[pid=956346/tid=956349] ppid=956343 vsize=302400 memory=32192 CPUtime=0 cores=4,6
/proc/956346/task/956349/stat : 956349 (fscip) S 956343 956346 954227 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 181902944 309657600 62179 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 302400 KiB
Current children cumulated memory: 248716 KiB
[startup+6.3002 s]
/proc/loadavg: 4.11 4.12 4.08 5/262 956349
/proc/meminfo: memFree=127281940/131524600 swapFree=131071996/131071996
[pid=956346] ppid=956343 vsize=302400 memory=250524 CPUtime=6.24 cores=4,6
/proc/956346/stat : 956346 (fscip) S 956343 956346 954227 0 -1 1077936128 80121 0 0 0 614 10 0 0 20 0 3 0 181902871 309657600 62631 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
/proc/956346/statm: 75600 62631 2910 3032 0 69409 0
[pid=956346/tid=956348] ppid=956343 vsize=302400 memory=0 CPUtime=5.57 cores=4,6
/proc/956346/task/956348/stat : 956348 (fscip) R 956343 956346 954227 0 -1 4194368 40393 0 0 0 551 6 0 0 20 0 3 0 181902934 309657600 62631 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
[pid=956346/tid=956349] ppid=956343 vsize=302400 memory=3761490545944904280 CPUtime=0 cores=4,6
/proc/956346/task/956349/stat : 956349 (fscip) S 956343 956346 954227 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 181902944 309657600 62631 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 302400 KiB
Current children cumulated memory: 250524 KiB
[startup+12.7002 s]
/proc/loadavg: 4.02 4.10 4.08 5/254 956579
/proc/meminfo: memFree=128317592/131524600 swapFree=131071996/131071996
[pid=956346] ppid=956343 vsize=302400 memory=250524 CPUtime=12.62 cores=4,6
/proc/956346/stat : 956346 (fscip) S 956343 956346 954227 0 -1 1077936128 95548 0 0 0 1251 11 0 0 20 0 3 0 181902871 309657600 62631 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
/proc/956346/statm: 75600 62631 2910 3032 0 69409 0
[pid=956346/tid=956348] ppid=956343 vsize=302400 memory=250524 CPUtime=11.95 cores=4,6
/proc/956346/task/956348/stat : 956348 (fscip) R 956343 956346 954227 0 -1 4194368 55799 0 0 0 1189 6 0 0 20 0 3 0 181902934 309657600 62631 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
[pid=956346/tid=956349] ppid=956343 vsize=302400 memory=248716 CPUtime=0 cores=4,6
/proc/956346/task/956349/stat : 956349 (fscip) S 956343 956346 954227 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 181902944 309657600 62631 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 302400 KiB
Current children cumulated memory: 250524 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.13 4.09 5/262 957306
/proc/meminfo: memFree=128057480/131524600 swapFree=131071996/131071996
[pid=956346] ppid=956343 vsize=367936 memory=260292 CPUtime=25.4 cores=4,6
/proc/956346/stat : 956346 (fscip) S 956343 956346 954227 0 -1 1077936128 116569 0 0 0 2527 13 0 0 20 0 3 0 181902871 376766464 65073 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
/proc/956346/statm: 91984 65073 2926 3032 0 72874 0
[pid=956346/tid=956348] ppid=956343 vsize=367936 memory=2592 CPUtime=24.72 cores=4,6
/proc/956346/task/956348/stat : 956348 (fscip) R 956343 956346 954227 0 -1 4194368 76806 0 0 0 2464 8 0 0 20 0 3 0 181902934 376766464 65073 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
[pid=956346/tid=956349] ppid=956343 vsize=367936 memory=259628 CPUtime=0 cores=4,6
/proc/956346/task/956349/stat : 956349 (fscip) S 956343 956346 954227 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 181902944 376766464 65073 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 367936 KiB
Current children cumulated memory: 260292 KiB
[startup+51.1053 s]
/proc/loadavg: 4.18 4.13 4.09 5/265 957316
/proc/meminfo: memFree=127948588/131524600 swapFree=131071996/131071996
[pid=956346] ppid=956343 vsize=367936 memory=265688 CPUtime=50.94 cores=4,6
/proc/956346/stat : 956346 (fscip) S 956343 956346 954227 0 -1 1077936128 149976 0 0 0 5080 14 0 0 20 0 3 0 181902871 376766464 66422 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
/proc/956346/statm: 91984 66422 2926 3032 0 76219 0
[pid=956346/tid=956348] ppid=956343 vsize=367936 memory=265588 CPUtime=50.26 cores=4,6
/proc/956346/task/956348/stat : 956348 (fscip) R 956343 956346 954227 0 -1 4194368 110199 0 0 0 5017 9 0 0 20 0 3 0 181902934 376766464 66422 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
[pid=956346/tid=956349] ppid=956343 vsize=367936 memory=43436 CPUtime=0 cores=4,6
/proc/956346/task/956349/stat : 956349 (fscip) S 956343 956346 954227 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 181902944 376766464 66422 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 367936 KiB
Current children cumulated memory: 265688 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 957326
/proc/meminfo: memFree=127845792/131524600 swapFree=131071996/131071996
[pid=956346] ppid=956343 vsize=367936 memory=270836 CPUtime=102.01 cores=4,6
/proc/956346/stat : 956346 (fscip) S 956343 956346 954227 0 -1 1077936128 186069 0 0 0 10184 17 0 0 20 0 3 0 181902871 376766464 67709 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
/proc/956346/statm: 91984 67709 2926 3032 0 79595 0
[pid=956346/tid=956348] ppid=956343 vsize=367936 memory=5468 CPUtime=101.33 cores=4,6
/proc/956346/task/956348/stat : 956348 (fscip) R 956343 956346 954227 0 -1 4194368 146278 0 0 0 10121 12 0 0 20 0 3 0 181902934 376766464 67709 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
[pid=956346/tid=956349] ppid=956343 vsize=367936 memory=6735269665583770266 CPUtime=0 cores=4,6
/proc/956346/task/956349/stat : 956349 (fscip) S 956343 956346 954227 0 -1 1077936192 77 0 0 0 0 0 0 0 20 0 3 0 181902944 376766464 67709 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 367936 KiB
Current children cumulated memory: 270836 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/265 957336
/proc/meminfo: memFree=127711956/131524600 swapFree=131071996/131071996
[pid=956346] ppid=956343 vsize=433472 memory=316896 CPUtime=161.86 cores=4,6
/proc/956346/stat : 956346 (fscip) S 956343 956346 954227 0 -1 1077936128 231467 0 0 0 16165 21 0 0 20 0 3 0 181902871 443875328 79224 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
/proc/956346/statm: 108368 79224 2942 3032 0 94378 0
[pid=956346/tid=956348] ppid=956343 vsize=433472 memory=272412 CPUtime=161.18 cores=4,6
/proc/956346/task/956348/stat : 956348 (fscip) R 956343 956346 954227 0 -1 4194368 191664 0 0 0 16102 16 0 0 20 0 3 0 181902934 443875328 79224 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
[pid=956346/tid=956349] ppid=956343 vsize=433472 memory=275540 CPUtime=0 cores=4,6
/proc/956346/task/956349/stat : 956349 (fscip) S 956343 956346 954227 0 -1 1077936192 89 0 0 0 0 0 0 0 20 0 3 0 181902944 443875328 79224 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 433472 KiB
Current children cumulated memory: 316896 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 957347
/proc/meminfo: memFree=127642788/131524600 swapFree=131071996/131071996
[pid=956346] ppid=956343 vsize=433472 memory=317104 CPUtime=221.72 cores=4,6
/proc/956346/stat : 956346 (fscip) S 956343 956346 954227 0 -1 1077936128 245989 0 0 0 22150 22 0 0 20 0 3 0 181902871 443875328 79276 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
/proc/956346/statm: 108368 79276 2990 3032 0 94378 0
[pid=956346/tid=956348] ppid=956343 vsize=433472 memory=316908 CPUtime=221.04 cores=4,6
/proc/956346/task/956348/stat : 956348 (fscip) R 956343 956346 954227 0 -1 4194368 206115 0 0 0 22087 17 0 0 20 0 3 0 181902934 443875328 79276 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
[pid=956346/tid=956349] ppid=956343 vsize=433472 memory=317104 CPUtime=0 cores=4,6
/proc/956346/task/956349/stat : 956349 (fscip) S 956343 956346 954227 0 -1 1077936192 96 0 0 0 0 0 0 0 20 0 3 0 181902944 443875328 79276 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 433472 KiB
Current children cumulated memory: 317104 KiB
################
# More data... #
################
/proc/956346/statm: 124752 102687 2990 3032 0 114998 0
[pid=956346/tid=956348] ppid=956343 vsize=499008 memory=410748 CPUtime=3391.92 cores=4,6
/proc/956346/task/956348/stat : 956348 (fscip) R 956343 956346 954227 0 -1 4194368 362536 0 0 0 339164 28 0 0 20 0 3 0 181902934 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
[pid=956346/tid=956349] ppid=956343 vsize=499008 memory=410748 CPUtime=0.03 cores=4,6
/proc/956346/task/956349/stat : 956349 (fscip) S 956343 956346 954227 0 -1 1077936192 341 0 0 0 1 2 0 0 20 0 3 0 181902944 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
Current children cumulated CPU time: 3392.64 s
Current children cumulated vsize: 499008 KiB
Current children cumulated memory: 410748 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/263 959122
/proc/meminfo: memFree=126199136/131524600 swapFree=131071996/131071996
[pid=956346] ppid=956343 vsize=499008 memory=410748 CPUtime=3452.46 cores=4,6
/proc/956346/stat : 956346 (fscip) S 956343 956346 954227 0 -1 1077936128 404631 0 0 0 345210 36 0 0 20 0 3 0 181902871 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
/proc/956346/statm: 124752 102687 2990 3032 0 114998 0
[pid=956346/tid=956348] ppid=956343 vsize=499008 memory=410748 CPUtime=3451.74 cores=4,6
/proc/956346/task/956348/stat : 956348 (fscip) R 956343 956346 954227 0 -1 4194368 363743 0 0 0 345146 28 0 0 20 0 3 0 181902934 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
[pid=956346/tid=956349] ppid=956343 vsize=499008 memory=7682470852109311393 CPUtime=0.03 cores=4,6
/proc/956346/task/956349/stat : 956349 (fscip) S 956343 956346 954227 0 -1 1077936192 346 0 0 0 1 2 0 0 20 0 3 0 181902944 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
Current children cumulated CPU time: 3452.46 s
Current children cumulated vsize: 499008 KiB
Current children cumulated memory: 410748 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/263 959133
/proc/meminfo: memFree=126181944/131524600 swapFree=131071996/131071996
[pid=956346] ppid=956343 vsize=499008 memory=410748 CPUtime=3512.29 cores=4,6
/proc/956346/stat : 956346 (fscip) S 956343 956346 954227 0 -1 1077936128 406132 0 0 0 351192 37 0 0 20 0 3 0 181902871 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
/proc/956346/statm: 124752 102687 2990 3032 0 114998 0
[pid=956346/tid=956348] ppid=956343 vsize=499008 memory=410748 CPUtime=3511.56 cores=4,6
/proc/956346/task/956348/stat : 956348 (fscip) R 956343 956346 954227 0 -1 4194368 365235 0 0 0 351128 28 0 0 20 0 3 0 181902934 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
[pid=956346/tid=956349] ppid=956343 vsize=499008 memory=410748 CPUtime=0.03 cores=4,6
/proc/956346/task/956349/stat : 956349 (fscip) S 956343 956346 954227 0 -1 1077936192 351 0 0 0 1 2 0 0 20 0 3 0 181902944 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
Current children cumulated CPU time: 3512.29 s
Current children cumulated vsize: 499008 KiB
Current children cumulated memory: 410748 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/263 959144
/proc/meminfo: memFree=126165184/131524600 swapFree=131071996/131071996
[pid=956346] ppid=956343 vsize=499008 memory=410748 CPUtime=3572.13 cores=4,6
/proc/956346/stat : 956346 (fscip) S 956343 956346 954227 0 -1 1077936128 407587 0 0 0 357176 37 0 0 20 0 3 0 181902871 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
/proc/956346/statm: 124752 102687 2990 3032 0 114998 0
[pid=956346/tid=956348] ppid=956343 vsize=499008 memory=410748 CPUtime=3571.39 cores=4,6
/proc/956346/task/956348/stat : 956348 (fscip) R 956343 956346 954227 0 -1 4194368 366674 0 0 0 357111 28 0 0 20 0 3 0 181902934 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
[pid=956346/tid=956349] ppid=956343 vsize=499008 memory=43436 CPUtime=0.03 cores=4,6
/proc/956346/task/956349/stat : 956349 (fscip) S 956343 956346 954227 0 -1 1077936192 356 0 0 0 1 2 0 0 20 0 3 0 181902944 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
Current children cumulated CPU time: 3572.13 s
Current children cumulated vsize: 499008 KiB
Current children cumulated memory: 410748 KiB
[startup+3600.1 s]
# the end of solver process 956346 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.5 s, system=0.378923 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.14 4.11 5/263 959144
/proc/meminfo: memFree=126164428/131524600 swapFree=131071996/131071996
[pid=956346] ppid=956343 vsize=499008 memory=410748 CPUtime=3573.83 cores=4,6
/proc/956346/stat : 956346 (fscip) S 956343 956346 954227 0 -1 1077936128 407587 0 0 0 357346 37 0 0 20 0 3 0 181902871 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
/proc/956346/statm: 124752 102687 2990 3032 0 114998 0
[pid=956346/tid=956348] ppid=956343 vsize=499008 memory=6720659931001208684 CPUtime=3573.09 cores=4,6
/proc/956346/task/956348/stat : 956348 (fscip) R 956343 956346 954227 0 -1 4194368 366674 0 0 0 357281 28 0 0 20 0 3 0 181902934 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
[pid=956346/tid=956349] ppid=956343 vsize=499008 memory=7682470852109311393 CPUtime=0.03 cores=4,6
/proc/956346/task/956349/stat : 956349 (fscip) S 956343 956346 954227 0 -1 1077936192 356 0 0 0 1 2 0 0 20 0 3 0 181902944 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
Current children cumulated CPU time: 3573.83 s
Current children cumulated vsize: 499008 KiB
Current children cumulated memory: 410748 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.13 4.10 5/263 959145
/proc/meminfo: memFree=126161292/131524600 swapFree=131071996/131071996
[pid=956346] ppid=956343 vsize=499008 memory=410748 CPUtime=3580.21 cores=4,6
/proc/956346/stat : 956346 (fscip) S 956343 956346 954227 0 -1 1077936128 407627 0 0 0 357984 37 0 0 20 0 3 0 181902871 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
/proc/956346/statm: 124752 102687 2990 3032 0 114998 0
[pid=956346/tid=956348] ppid=956343 vsize=499008 memory=43436 CPUtime=3579.47 cores=4,6
/proc/956346/task/956348/stat : 956348 (fscip) R 956343 956346 954227 0 -1 4194368 366704 0 0 0 357919 28 0 0 20 0 3 0 181902934 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
[pid=956346/tid=956349] ppid=956343 vsize=499008 memory=12420 CPUtime=0.03 cores=4,6
/proc/956346/task/956349/stat : 956349 (fscip) S 956343 956346 954227 0 -1 1077936192 356 0 0 0 1 2 0 0 20 0 3 0 181902944 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
Current children cumulated CPU time: 3580.21 s
Current children cumulated vsize: 499008 KiB
Current children cumulated memory: 410748 KiB
[startup+3596.8 s]
/proc/loadavg: 4.16 4.14 4.11 5/261 959239
/proc/meminfo: memFree=126079732/131524600 swapFree=131071996/131071996
[pid=956346] ppid=956343 vsize=499008 memory=410748 CPUtime=3586.59 cores=4,6
/proc/956346/stat : 956346 (fscip) S 956343 956346 954227 0 -1 1077936128 407627 0 0 0 358622 37 0 0 20 0 3 0 181902871 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
/proc/956346/statm: 124752 102687 2990 3032 0 114998 0
[pid=956346/tid=956348] ppid=956343 vsize=499008 memory=43436 CPUtime=3585.85 cores=4,6
/proc/956346/task/956348/stat : 956348 (fscip) R 956343 956346 954227 0 -1 4194368 366704 0 0 0 358557 28 0 0 20 0 3 0 181902934 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
[pid=956346/tid=956349] ppid=956343 vsize=499008 memory=410748 CPUtime=0.03 cores=4,6
/proc/956346/task/956349/stat : 956349 (fscip) S 956343 956346 954227 0 -1 1077936192 356 0 0 0 1 2 0 0 20 0 3 0 181902944 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
Current children cumulated CPU time: 3586.59 s
Current children cumulated vsize: 499008 KiB
Current children cumulated memory: 410748 KiB
[startup+3598.4 s]
/proc/loadavg: 4.16 4.14 4.11 5/261 959241
/proc/meminfo: memFree=125997580/131524600 swapFree=131071996/131071996
[pid=956346] ppid=956343 vsize=499008 memory=410748 CPUtime=3588.18 cores=4,6
/proc/956346/stat : 956346 (fscip) S 956343 956346 954227 0 -1 1077936128 407627 0 0 0 358781 37 0 0 20 0 3 0 181902871 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
/proc/956346/statm: 124752 102687 2990 3032 0 114998 0
[pid=956346/tid=956348] ppid=956343 vsize=499008 memory=410748 CPUtime=3587.45 cores=4,6
/proc/956346/task/956348/stat : 956348 (fscip) R 956343 956346 954227 0 -1 4194368 366704 0 0 0 358717 28 0 0 20 0 3 0 181902934 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
[pid=956346/tid=956349] ppid=956343 vsize=499008 memory=11648 CPUtime=0.03 cores=4,6
/proc/956346/task/956349/stat : 956349 (fscip) S 956343 956346 954227 0 -1 1077936192 356 0 0 0 1 2 0 0 20 0 3 0 181902944 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
Current children cumulated CPU time: 3588.18 s
Current children cumulated vsize: 499008 KiB
Current children cumulated memory: 410748 KiB
[startup+3599.2 s]
/proc/loadavg: 4.16 4.14 4.11 5/260 959241
/proc/meminfo: memFree=125919656/131524600 swapFree=131071996/131071996
[pid=956346] ppid=956343 vsize=499008 memory=410748 CPUtime=3588.98 cores=4,6
/proc/956346/stat : 956346 (fscip) S 956343 956346 954227 0 -1 1077936128 407629 0 0 0 358861 37 0 0 20 0 3 0 181902871 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
/proc/956346/statm: 124752 102687 2990 3032 0 114998 0
[pid=956346/tid=956348] ppid=956343 vsize=499008 memory=43436 CPUtime=3588.25 cores=4,6
/proc/956346/task/956348/stat : 956348 (fscip) R 956343 956346 954227 0 -1 4194368 366706 0 0 0 358797 28 0 0 20 0 3 0 181902934 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
[pid=956346/tid=956349] ppid=956343 vsize=499008 memory=11664 CPUtime=0.03 cores=4,6
/proc/956346/task/956349/stat : 956349 (fscip) S 956343 956346 954227 0 -1 1077936192 356 0 0 0 1 2 0 0 20 0 3 0 181902944 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
Current children cumulated CPU time: 3588.98 s
Current children cumulated vsize: 499008 KiB
Current children cumulated memory: 410748 KiB
[startup+3599.6 s]
/proc/loadavg: 4.16 4.14 4.11 5/260 959241
/proc/meminfo: memFree=125919656/131524600 swapFree=131071996/131071996
[pid=956346] ppid=956343 vsize=499008 memory=410748 CPUtime=3589.38 cores=4,6
/proc/956346/stat : 956346 (fscip) S 956343 956346 954227 0 -1 1077936128 407629 0 0 0 358901 37 0 0 20 0 3 0 181902871 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
/proc/956346/statm: 124752 102687 2990 3032 0 114998 0
[pid=956346/tid=956348] ppid=956343 vsize=499008 memory=5468 CPUtime=3588.64 cores=4,6
/proc/956346/task/956348/stat : 956348 (fscip) R 956343 956346 954227 0 -1 4194368 366706 0 0 0 358836 28 0 0 20 0 3 0 181902934 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
[pid=956346/tid=956349] ppid=956343 vsize=499008 memory=6720663246715895663 CPUtime=0.03 cores=4,6
/proc/956346/task/956349/stat : 956349 (fscip) S 956343 956346 954227 0 -1 1077936192 356 0 0 0 1 2 0 0 20 0 3 0 181902944 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
Current children cumulated CPU time: 3589.38 s
Current children cumulated vsize: 499008 KiB
Current children cumulated memory: 410748 KiB
[startup+3600 s]*
/proc/loadavg: 4.16 4.14 4.11 5/260 959241
/proc/meminfo: memFree=125915740/131524600 swapFree=131071996/131071996
[pid=956346] ppid=956343 vsize=499008 memory=410748 CPUtime=3589.78 cores=4,6
/proc/956346/stat : 956346 (fscip) S 956343 956346 954227 0 -1 1077936128 407632 0 0 0 358941 37 0 0 20 0 3 0 181902871 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
/proc/956346/statm: 124752 102687 2990 3032 0 114998 0
[pid=956346/tid=956348] ppid=956343 vsize=499008 memory=19524 CPUtime=3589.05 cores=4,6
/proc/956346/task/956348/stat : 956348 (fscip) R 956343 956346 954227 0 -1 4194368 366707 0 0 0 358877 28 0 0 20 0 3 0 181902934 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
[pid=956346/tid=956349] ppid=956343 vsize=499008 memory=7096 CPUtime=0.03 cores=4,6
/proc/956346/task/956349/stat : 956349 (fscip) S 956343 956346 954227 0 -1 1077936192 356 0 0 0 1 2 0 0 20 0 3 0 181902944 510984192 102687 134679101440 4194304 16613245 140736233283008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28966912 140736233284628 140736233284744 140736233284744 140736233291760 0
Current children cumulated CPU time: 3589.78 s
Current children cumulated vsize: 499008 KiB
Current children cumulated memory: 410748 KiB
Child status: 0
Real time (s): 3600.1
CPU time (s): 3589.88
CPU user time (s): 3589.5
CPU system time (s): 0.378923
CPU usage (%): 99.7163
Max. virtual memory (cumulated for all children) (KiB): 499008
Max. memory (cumulated for all children) (KiB): 410748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.5
system time used= 0.378923
maximum resident set size= 410752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 409766
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= 4061
involuntary context switches= 1220
# summary of solver processes directly reported to runsolver:
# pid: 956346
# total CPU time (s): 3589.88
# total CPU user time (s): 3589.5
# total CPU system time (s): 0.378923
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.21968 second user time and 15.9804 second system time
The end
Begin job on nodeC026 at 2024-07-18 12:09:40
IDJOB=4442000
IDBENCH=147759
IDSOLVER=3064
FILE ID=nodeC026/4442000-1721297367
RUNJOBID= nodeC026-1721293769-954238
SLURM_JOB_ID= 7542600
Free space on /tmp= 889996 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-11,19,21.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-4442000-1721297367/watcher-4442000-1721297367 -o /tmp/evaluation-result-4442000-1721297367/solver-4442000-1721297367 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721293769-954238 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4442000-1721297367.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 94ed12462fdb637cfaac2f219d20a948
RANDOM SEED=2019029349
nodeC026.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 : 3600.846
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.74
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 : 3684.389
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.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.468
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.74
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 : 3599.883
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.45
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 : 3670.603
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.74
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 : 3684.429
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.45
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 : 3662.435
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.74
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 : 3599.897
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.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127521736 kB
MemAvailable: 128215116 kB
Buffers: 501756 kB
Cached: 1028808 kB
SwapCached: 0 kB
Active: 986516 kB
Inactive: 2402348 kB
Active(anon): 1572 kB
Inactive(anon): 1894484 kB
Active(file): 984944 kB
Inactive(file): 507864 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 87844 kB
Writeback: 0 kB
AnonPages: 1855104 kB
Mapped: 141840 kB
Shmem: 37720 kB
KReclaimable: 80792 kB
Slab: 191284 kB
SReclaimable: 80792 kB
SUnreclaim: 110492 kB
KernelStack: 4220 kB
PageTables: 13124 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1321448 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 67808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 387072 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: 260820 kB
DirectMap2M: 27824128 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 889960 MiB
End job on nodeC026 at 2024-07-18 13:09:40