0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.09 c Default LC presolving (default).
0.09/0.10 c ** Before presolving: virtualMemUsedAtLc = 86929189, getVmSize() = 76505088, SCIPgetMemUsed() = 45101569, SCIPgetMemTotal() = 52650569, SCIPgetMemExternEstim() = 34278620
0.09/0.10 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.59/0.62 c ** Estimated virtualMemUsedAtSolver = 103546189, getVmSize() = 150663168, SCIPgetMemUsed() = 82273888, SCIPgetMemTotal() = 121040664, SCIPgetMemExternEstim() = 34278620
0.59/0.62 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.59/0.62 c Original Problem :
0.59/0.62 c Problem name : instance-4464429-1722378598
0.59/0.62 c Variables : 4608 (4608 binary, 0 integer, 0 implicit integer, 0 continuous)
0.59/0.62 c Constraints : 30348
0.59/0.62 c Objective sense : minimize
0.59/0.62 c Presolved Problem :
0.59/0.62 c Variables : 4608 (4608 binary, 0 integer, 0 implicit integer, 0 continuous)
0.59/0.62 c Constraints : 30348
0.59/0.62 c Constraints : Number
0.59/0.62 c knapsack : 78
0.59/0.62 c setppc : 942
0.59/0.62 c logicor : 29328
0.59/0.62 c ** Instance transfer method used: 0
0.59/0.67 c ** ParaScipInstance copy does not increase the number of variables. **
0.69/0.71 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.69/0.71 c Nodes Active
0.69/0.71 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
206.85/207.62 c 208 2 1 1 - 0.0000 -
214.33/215.15 c 215 6 5 1 - 0.0000 -
236.25/237.18 c 237 8 7 1 - 0.0000 -
250.30/251.29 c 251 9 8 1 - 0.0000 -
258.07/259.07 c 259 12 11 1 - 0.0000 -
296.94/298.06 c 298 13 12 1 - 0.0000 -
306.11/307.25 c 307 14 13 1 - 0.0000 -
331.11/332.38 c 332 15 14 1 - 0.0000 -
340.79/342.02 c 342 23 22 1 - 0.0000 -
377.43/378.88 c 379 26 25 1 - 0.0000 -
390.78/392.22 c 392 27 26 1 - 0.0000 -
413.39/414.94 c 415 29 28 1 - 0.0000 -
431.02/432.66 c 433 32 31 1 - 0.0000 -
458.21/459.91 c 460 36 35 1 - 0.0000 -
472.75/474.57 c 475 38 37 1 - 0.0000 -
483.01/484.85 c 485 40 39 1 - 0.0000 -
506.72/508.67 c 509 42 41 1 - 0.0000 -
511.90/513.82 c 514 44 43 1 - 0.0000 -
529.14/531.13 c 531 46 45 1 - 0.0000 -
534.12/536.17 c 536 54 53 1 - 0.0000 -
545.97/548.06 c 548 56 55 1 - 0.0000 -
558.71/560.85 c 561 60 59 1 - 0.0000 -
587.10/589.37 c 589 71 70 1 - 0.0000 -
601.55/603.86 c 604 72 71 1 - 0.0000 -
621.67/624.10 c 624 74 73 1 - 0.0000 -
646.57/649.03 c 649 75 74 1 - 0.0000 -
665.50/668.01 c 668 76 75 1 - 0.0000 -
685.21/687.86 c 688 77 76 1 - 0.0000 -
706.33/709.08 c 709 79 78 1 - 0.0000 -
719.27/722.08 c 722 80 79 1 - 0.0000 -
738.30/741.15 c 741 81 80 1 - 0.0000 -
750.75/753.66 c 754 82 81 1 - 0.0000 -
790.29/793.36 c 793 86 85 1 - 0.0000 -
812.70/815.84 c 816 89 88 1 - 0.0000 -
827.44/830.66 c 831 90 89 1 - 0.0000 -
850.35/853.70 c 854 92 91 1 - 0.0000 -
868.38/871.71 c 872 93 92 1 - 0.0000 -
875.46/878.85 c 879 94 93 1 - 0.0000 -
901.95/905.42 c 905 96 95 1 - 0.0000 -
920.17/923.77 c 924 97 96 1 - 0.0000 -
939.79/943.41 c 943 98 97 1 - 0.0000 -
960.51/964.25 c 964 99 98 1 - 0.0000 -
995.77/999.69 c 1000 100 99 1 - 0.0000 -
1004.24/1008.13 c 1008 101 100 1 - 0.0000 -
1022.66/1026.67 c 1027 102 101 1 - 0.0000 -
1052.15/1056.24 c 1056 105 104 1 - 0.0000 -
1073.66/1077.87 c 1078 107 106 1 - 0.0000 -
1078.94/1083.11 c 1083 112 111 1 - 0.0000 -
1094.69/1098.96 c 1099 113 112 1 - 0.0000 -
1121.80/1126.16 c 1126 115 114 1 - 0.0000 -
1162.06/1166.55 c 1167 119 118 1 - 0.0000 -
1168.53/1173.05 c 1173 120 119 1 - 0.0000 -
1182.08/1186.63 c 1187 122 121 1 - 0.0000 -
1199.62/1204.29 c 1204 123 122 1 - 0.0000 -
1217.26/1221.92 c 1222 124 123 1 - 0.0000 -
1228.33/1233.06 c 1233 125 124 1 - 0.0000 -
1245.76/1250.50 c 1251 126 125 1 - 0.0000 -
1252.84/1257.66 c 1258 127 126 1 - 0.0000 -
1286.02/1290.91 c 1291 128 127 1 - 0.0000 -
1291.01/1295.95 c 1296 129 128 1 - 0.0000 -
1316.32/1321.36 c 1321 132 131 1 - 0.0000 -
1325.59/1330.69 c 1331 133 132 1 - 0.0000 -
1343.34/1348.46 c 1348 135 134 1 - 0.0000 -
1362.08/1367.25 c 1367 137 136 1 - 0.0000 -
1377.33/1382.60 c 1383 138 137 1 - 0.0000 -
1387.49/1392.72 c 1393 139 138 1 - 0.0000 -
1399.95/1405.29 c 1405 140 139 1 - 0.0000 -
1425.27/1430.68 c 1431 141 140 1 - 0.0000 -
1459.66/1465.14 c 1465 142 141 1 - 0.0000 -
1480.98/1486.58 c 1487 145 144 1 - 0.0000 -
1490.25/1495.90 c 1496 146 145 1 - 0.0000 -
1507.50/1513.14 c 1513 148 147 1 - 0.0000 -
1532.71/1538.45 c 1538 150 149 1 - 0.0000 -
1553.14/1558.96 c 1559 152 151 1 - 0.0000 -
1581.85/1587.72 c 1588 153 152 1 - 0.0000 -
1587.83/1593.74 c 1594 154 153 1 - 0.0000 -
1608.26/1614.29 c 1614 158 157 1 - 0.0000 -
1631.18/1637.25 c 1637 160 159 1 - 0.0000 -
1648.83/1654.95 c 1655 164 163 1 - 0.0000 -
1668.86/1675.00 c 1675 166 165 1 - 0.0000 -
1684.21/1690.48 c 1690 168 167 1 - 0.0000 -
1691.79/1698.06 c 1698 169 168 1 - 0.0000 -
1713.52/1719.83 c 1720 170 169 1 - 0.0000 -
1719.30/1725.67 c 1726 171 170 1 - 0.0000 -
1725.08/1731.40 c 1731 172 171 1 - 0.0000 -
1745.21/1751.61 c 1752 176 175 1 - 0.0000 -
1762.45/1768.95 c 1769 177 176 1 - 0.0000 -
1779.60/1786.14 c 1786 179 178 1 - 0.0000 -
1789.96/1796.54 c 1797 180 179 1 - 0.0000 -
1819.76/1826.43 c 1826 181 180 1 - 0.0000 -
1834.11/1840.83 c 1841 182 181 1 - 0.0000 -
1850.16/1856.97 c 1857 187 186 1 - 0.0000 -
1864.32/1871.14 c 1871 188 187 1 - 0.0000 -
1889.03/1895.94 c 1896 189 188 1 - 0.0000 -
1894.42/1901.32 c 1901 190 189 1 - 0.0000 -
1906.97/1913.95 c 1914 192 191 1 - 0.0000 -
1931.99/1939.04 c 1939 194 193 1 - 0.0000 -
1952.82/1959.94 c 1960 197 196 1 - 0.0000 -
1958.20/1965.39 c 1965 198 197 1 - 0.0000 -
1973.05/1980.25 c 1980 199 198 1 - 0.0000 -
1989.90/1997.14 c 1997 201 200 1 - 0.0000 -
2019.71/2027.04 c 2027 203 202 1 - 0.0000 -
2048.20/2055.63 c 2056 204 203 1 - 0.0000 -
2065.14/2072.66 c 2073 207 206 1 - 0.0000 -
2082.29/2089.84 c 2090 208 207 1 - 0.0000 -
2101.43/2109.08 c 2109 210 209 1 - 0.0000 -
2143.08/2150.89 c 2151 212 211 1 - 0.0000 -
2173.68/2181.58 c 2182 219 218 1 - 0.0000 -
2191.33/2199.27 c 2199 223 222 1 - 0.0000 -
2198.90/2206.80 c 2207 224 223 1 - 0.0000 -
2215.74/2223.74 c 2224 225 224 1 - 0.0000 -
2229.20/2237.27 c 2237 226 225 1 - 0.0000 -
2247.23/2255.31 c 2255 227 226 1 - 0.0000 -
2263.08/2271.20 c 2271 228 227 1 - 0.0000 -
2288.99/2297.24 c 2297 229 228 1 - 0.0000 -
2297.06/2305.32 c 2305 230 229 1 - 0.0000 -
2312.52/2320.88 c 2321 231 230 1 - 0.0000 -
2323.08/2331.40 c 2331 232 231 1 - 0.0000 -
2357.47/2365.98 c 2366 236 235 1 - 0.0000 -
2372.32/2380.89 c 2381 237 236 1 - 0.0000 -
2377.90/2386.41 c 2386 238 237 1 - 0.0000 -
2387.37/2395.93 c 2396 241 240 1 - 0.0000 -
2400.62/2409.28 c 2409 242 241 1 - 0.0000 -
2407.60/2416.20 c 2416 244 243 1 - 0.0000 -
2429.53/2438.26 c 2438 245 244 1 - 0.0000 -
2435.71/2444.48 c 2444 248 247 1 - 0.0000 -
2447.47/2456.21 c 2456 249 248 1 - 0.0000 -
2452.55/2461.34 c 2461 250 249 1 - 0.0000 -
2470.20/2479.05 c 2479 252 251 1 - 0.0000 -
2475.98/2484.87 c 2485 254 253 1 - 0.0000 -
2494.31/2503.29 c 2503 255 254 1 - 0.0000 -
2508.96/2517.96 c 2518 260 259 1 - 0.0000 -
2515.64/2524.60 c 2525 261 260 1 - 0.0000 -
2530.00/2539.03 c 2539 262 261 1 - 0.0000 -
2551.23/2560.37 c 2560 262 263 1 - 0.0000 -
2557.10/2566.21 c 2566 264 263 1 - 0.0000 -
2565.07/2574.20 c 2574 265 264 1 - 0.0000 -
2595.37/2604.60 c 2605 268 269 1 - 0.0000 -
2620.38/2629.79 c 2630 269 268 1 - 0.0000 -
2637.03/2646.44 c 2646 272 271 1 - 0.0000 -
2664.55/2674.10 c 2674 273 272 1 - 0.0000 -
2669.92/2679.43 c 2679 274 273 1 - 0.0000 -
2686.27/2695.81 c 2696 275 274 1 - 0.0000 -
2694.44/2704.09 c 2704 276 275 1 - 0.0000 -
2700.22/2709.84 c 2710 277 276 1 - 0.0000 -
2751.54/2761.32 c 2761 278 277 1 - 0.0000 -
2761.41/2771.25 c 2771 279 278 1 - 0.0000 -
2796.10/2806.01 c 2806 280 279 1 - 0.0000 -
2806.46/2816.43 c 2816 281 280 1 - 0.0000 -
2827.29/2837.36 c 2837 282 281 1 - 0.0000 -
2871.34/2881.57 c 2882 284 283 1 - 0.0000 -
2882.40/2892.67 c 2893 285 284 1 - 0.0000 -
2920.48/2930.87 c 2931 286 285 1 - 0.0000 -
2939.61/2950.00 c 2950 287 286 1 - 0.0000 -
2945.09/2955.58 c 2956 288 287 1 - 0.0000 -
2968.12/2978.68 c 2979 289 288 1 - 0.0000 -
2998.02/3008.64 c 3009 292 291 1 - 0.0000 -
3007.99/3018.67 c 3019 293 292 1 - 0.0000 -
3017.25/3027.98 c 3028 294 293 1 - 0.0000 -
3041.87/3052.68 c 3053 295 294 1 - 0.0000 -
3063.21/3074.04 c 3074 296 295 1 - 0.0000 -
3077.35/3088.22 c 3088 297 296 1 - 0.0000 -
3082.54/3093.44 c 3093 298 297 1 - 0.0000 -
3107.16/3118.12 c 3118 299 298 1 - 0.0000 -
3131.38/3142.44 c 3142 300 299 1 - 0.0000 -
3141.45/3152.57 c 3153 302 301 1 - 0.0000 -
3161.58/3172.73 c 3173 303 302 1 - 0.0000 -
3171.25/3182.49 c 3182 305 304 1 - 0.0000 -
3204.04/3215.32 c 3215 307 306 1 - 0.0000 -
3212.11/3223.43 c 3223 308 307 1 - 0.0000 -
3235.93/3247.36 c 3247 309 308 1 - 0.0000 -
3251.48/3262.98 c 3263 310 309 1 - 0.0000 -
3259.05/3270.58 c 3271 311 310 1 - 0.0000 -
3281.38/3292.95 c 3293 312 311 1 - 0.0000 -
3319.16/3330.83 c 3331 314 313 1 - 0.0000 -
3334.81/3346.55 c 3347 315 314 1 - 0.0000 -
3340.79/3352.59 c 3353 319 318 1 - 0.0000 -
3372.59/3384.42 c 3384 322 321 1 - 0.0000 -
3388.14/3400.04 c 3400 324 323 1 - 0.0000 -
3400.20/3412.13 c 3412 325 324 1 - 0.0000 -
3406.07/3418.08 c 3418 326 325 1 - 0.0000 -
3414.74/3426.79 c 3427 327 326 1 - 0.0000 -
3435.96/3448.01 c 3448 328 327 1 - 0.0000 -
3458.17/3470.30 c 3470 329 328 1 - 0.0000 -
3475.71/3487.91 c 3488 330 329 1 - 0.0000 -
3490.65/3502.99 c 3503 332 331 1 - 0.0000 -
3503.20/3515.59 c 3516 335 334 1 - 0.0000 -
3522.23/3534.64 c 3535 339 338 1 - 0.0000 -
3529.51/3541.97 c 3542 340 339 1 - 0.0000 -
3538.47/3550.95 c 3551 341 340 1 - 0.0000 -
3550.93/3563.43 c 3563 342 341 1 - 0.0000 -
3570.06/3582.69 c 3583 343 342 1 - 0.0000 -
3576.13/3588.76 c 3589 344 343 1 - 0.0000 -
3585.30/3598.00 c 3598 344 343 0 - 0.0000 -
3585.40/3598.06 c SCIP Status : c solving was interrupted [hard time limit reached]
3585.40/3598.06 c Total Time : 3598.0700
3585.40/3598.06 c solving : 3598.0700
3585.40/3598.06 c presolving : 0.5221 (included in solving)
3585.40/3598.06 c B&B Tree :
3585.40/3598.06 c nodes (total) : 1
3585.40/3598.06 c Solution :
3585.40/3598.06 c Solutions found : 0
3585.40/3598.06 c Primal Bound : -
3585.40/3598.06 c Dual Bound : +0.00000000000000e+00
3585.40/3598.06 c Gap : -
3585.40/3598.09 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (55994 MiB free)
memory of node 1: 64473 MiB (62090 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464429-1722378598/watcher-4464429-1722378598 -o /tmp/evaluation-result-4464429-1722378598/solver-4464429-1722378598 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722378597-30070 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464429-1722378598.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30183, runsolver pid=30180
[startup+0.100188 s]*
/proc/loadavg: 0.44 0.16 0.11 5/261 30184
/proc/meminfo: memFree=120852688/131524600 swapFree=131071996/131071996
[pid=30183] ppid=30180 vsize=76344 memory=64164 CPUtime=0.09 cores=0,2
/proc/30183/stat : 30183 (fscip) R 30180 30183 30060 0 -1 4194304 13849 0 0 0 8 1 0 0 20 0 1 0 4464428 78176256 16041 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
/proc/30183/statm: 19086 16041 2598 3035 0 15482 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 76344 KiB
Current children cumulated memory: 64164 KiB
[startup+0.205679 s]*
/proc/loadavg: 0.44 0.16 0.11 5/261 30184
/proc/meminfo: memFree=120760612/131524600 swapFree=131071996/131071996
[pid=30183] ppid=30180 vsize=92052 memory=80372 CPUtime=0.2 cores=0,2
/proc/30183/stat : 30183 (fscip) R 30180 30183 30060 0 -1 4194304 21415 0 0 0 18 2 0 0 20 0 1 0 4464428 94261248 20093 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
/proc/30183/statm: 23013 20093 2710 3035 0 19409 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 92052 KiB
Current children cumulated memory: 80372 KiB
[startup+0.305757 s]*
/proc/loadavg: 0.44 0.16 0.11 5/261 30184
/proc/meminfo: memFree=120667884/131524600 swapFree=131071996/131071996
[pid=30183] ppid=30180 vsize=95820 memory=84244 CPUtime=0.3 cores=0,2
/proc/30183/stat : 30183 (fscip) R 30180 30183 30060 0 -1 4194304 23645 0 0 0 27 3 0 0 20 0 1 0 4464428 98119680 21061 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
/proc/30183/statm: 23955 21061 2742 3035 0 20351 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 95820 KiB
Current children cumulated memory: 84244 KiB
[startup+0.700243 s]
/proc/loadavg: 0.44 0.16 0.11 5/262 30185
/proc/meminfo: memFree=120441216/131524600 swapFree=131071996/131071996
[pid=30183] ppid=30180 vsize=220864 memory=144280 CPUtime=0.69 cores=0,2
/proc/30183/stat : 30183 (fscip) S 30180 30183 30060 0 -1 1077936128 44032 0 0 0 63 6 0 0 20 0 2 0 4464428 226164736 36004 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
/proc/30183/statm: 55216 36070 2774 3035 0 40079 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 220864 KiB
Current children cumulated memory: 144280 KiB
[startup+1.50025 s]
/proc/loadavg: 0.44 0.16 0.11 5/265 30188
/proc/meminfo: memFree=120193248/131524600 swapFree=131071996/131071996
[pid=30183] ppid=30180 vsize=294736 memory=246448 CPUtime=1.48 cores=0,2
/proc/30183/stat : 30183 (fscip) S 30180 30183 30060 0 -1 1077936128 71382 0 0 0 138 10 0 0 20 0 3 0 4464428 301809664 61612 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
/proc/30183/statm: 73684 61612 2934 3035 0 67964 0
[pid=30183/tid=30187] ppid=30180 vsize=294736 memory=4320 CPUtime=0.81 cores=0,2
/proc/30183/task/30187/stat : 30187 (fscip) R 30180 30183 30060 0 -1 4194368 31888 0 0 0 77 4 0 0 20 0 3 0 4464490 301809664 61612 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
[pid=30183/tid=30188] ppid=30180 vsize=294736 memory=2280 CPUtime=0 cores=0,2
/proc/30183/task/30188/stat : 30188 (fscip) S 30180 30183 30060 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4464499 301809664 61612 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 294736 KiB
Current children cumulated memory: 246448 KiB
[startup+3.10549 s]
/proc/loadavg: 0.44 0.16 0.11 5/265 30188
/proc/meminfo: memFree=120068936/131524600 swapFree=131071996/131071996
[pid=30183] ppid=30180 vsize=294736 memory=246564 CPUtime=3.08 cores=0,2
/proc/30183/stat : 30183 (fscip) S 30180 30183 30060 0 -1 1077936128 74658 0 0 0 297 11 0 0 20 0 3 0 4464428 301809664 61641 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
/proc/30183/statm: 73684 61641 2934 3035 0 67964 0
[pid=30183/tid=30187] ppid=30180 vsize=294736 memory=2280 CPUtime=2.41 cores=0,2
/proc/30183/task/30187/stat : 30187 (fscip) R 30180 30183 30060 0 -1 4194368 35157 0 0 0 236 5 0 0 20 0 3 0 4464490 301809664 61641 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
[pid=30183/tid=30188] ppid=30180 vsize=294736 memory=188428 CPUtime=0 cores=0,2
/proc/30183/task/30188/stat : 30188 (fscip) S 30180 30183 30060 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4464499 301809664 61641 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 294736 KiB
Current children cumulated memory: 246564 KiB
[startup+6.30021 s]
/proc/loadavg: 0.89 0.26 0.14 5/265 30246
/proc/meminfo: memFree=119989800/131524600 swapFree=131071996/131071996
[pid=30183] ppid=30180 vsize=294736 memory=248004 CPUtime=6.27 cores=0,2
/proc/30183/stat : 30183 (fscip) S 30180 30183 30060 0 -1 1077936128 80699 0 0 0 616 11 0 0 20 0 3 0 4464428 301809664 62001 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
/proc/30183/statm: 73684 62001 2934 3035 0 68617 0
[pid=30183/tid=30187] ppid=30180 vsize=294736 memory=11592 CPUtime=5.6 cores=0,2
/proc/30183/task/30187/stat : 30187 (fscip) R 30180 30183 30060 0 -1 4194368 41191 0 0 0 555 5 0 0 20 0 3 0 4464490 301809664 62001 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
[pid=30183/tid=30188] ppid=30180 vsize=294736 memory=246636 CPUtime=0 cores=0,2
/proc/30183/task/30188/stat : 30188 (fscip) S 30180 30183 30060 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4464499 301809664 62001 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 294736 KiB
Current children cumulated memory: 248004 KiB
[startup+12.7002 s]
/proc/loadavg: 1.22 0.34 0.17 5/265 30246
/proc/meminfo: memFree=119918076/131524600 swapFree=131071996/131071996
[pid=30183] ppid=30180 vsize=294736 memory=248068 CPUtime=12.64 cores=0,2
/proc/30183/stat : 30183 (fscip) S 30180 30183 30060 0 -1 1077936128 86764 0 0 0 1253 11 0 0 20 0 3 0 4464428 301809664 62017 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
/proc/30183/statm: 73684 62017 2950 3035 0 68617 0
[pid=30183/tid=30187] ppid=30180 vsize=294736 memory=248068 CPUtime=11.97 cores=0,2
/proc/30183/task/30187/stat : 30187 (fscip) R 30180 30183 30060 0 -1 4194368 47235 0 0 0 1192 5 0 0 20 0 3 0 4464490 301809664 62017 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
[pid=30183/tid=30188] ppid=30180 vsize=294736 memory=2273 CPUtime=0 cores=0,2
/proc/30183/task/30188/stat : 30188 (fscip) S 30180 30183 30060 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 4464499 301809664 62017 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 294736 KiB
Current children cumulated memory: 248068 KiB
[startup+25.5003 s]
/proc/loadavg: 1.83 0.52 0.23 5/264 30247
/proc/meminfo: memFree=119914788/131524600 swapFree=131071996/131071996
[pid=30183] ppid=30180 vsize=294736 memory=248068 CPUtime=25.4 cores=0,2
/proc/30183/stat : 30183 (fscip) S 30180 30183 30060 0 -1 1077936128 106356 0 0 0 2528 12 0 0 20 0 3 0 4464428 301809664 62017 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
/proc/30183/statm: 73684 62017 2950 3035 0 68617 0
[pid=30183/tid=30187] ppid=30180 vsize=294736 memory=248068 CPUtime=24.73 cores=0,2
/proc/30183/task/30187/stat : 30187 (fscip) R 30180 30183 30060 0 -1 4194368 66813 0 0 0 2467 6 0 0 20 0 3 0 4464490 301809664 62017 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
[pid=30183/tid=30188] ppid=30180 vsize=294736 memory=248068 CPUtime=0 cores=0,2
/proc/30183/task/30188/stat : 30188 (fscip) S 30180 30183 30060 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 4464499 301809664 62017 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 294736 KiB
Current children cumulated memory: 248068 KiB
[startup+51.1052 s]
/proc/loadavg: 2.63 0.82 0.34 5/264 30252
/proc/meminfo: memFree=119891068/131524600 swapFree=131071996/131071996
[pid=30183] ppid=30180 vsize=368860 memory=262548 CPUtime=50.92 cores=0,2
/proc/30183/stat : 30183 (fscip) S 30180 30183 30060 0 -1 1077936128 151643 0 0 0 5076 16 0 0 20 0 3 0 4464428 377712640 65637 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
/proc/30183/statm: 92215 65637 2966 3035 0 74543 0
[pid=30183/tid=30187] ppid=30180 vsize=368860 memory=262544 CPUtime=50.25 cores=0,2
/proc/30183/task/30187/stat : 30187 (fscip) R 30180 30183 30060 0 -1 4194368 112080 0 0 0 5015 10 0 0 20 0 3 0 4464490 377712640 65637 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
[pid=30183/tid=30188] ppid=30180 vsize=368860 memory=11592 CPUtime=0 cores=0,2
/proc/30183/task/30188/stat : 30188 (fscip) S 30180 30183 30060 0 -1 1077936192 69 0 0 0 0 0 0 0 20 0 3 0 4464499 377712640 65637 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 368860 KiB
Current children cumulated memory: 262548 KiB
[startup+102.3 s]
/proc/loadavg: 3.41 1.31 0.53 5/264 30263
/proc/meminfo: memFree=119750736/131524600 swapFree=131071996/131071996
[pid=30183] ppid=30180 vsize=368860 memory=265568 CPUtime=101.93 cores=0,2
/proc/30183/stat : 30183 (fscip) S 30180 30183 30060 0 -1 1077936128 185816 0 0 0 10175 18 0 0 20 0 3 0 4464428 377712640 66392 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
/proc/30183/statm: 92215 66392 2966 3035 0 77240 0
[pid=30183/tid=30187] ppid=30180 vsize=368860 memory=265568 CPUtime=101.26 cores=0,2
/proc/30183/task/30187/stat : 30187 (fscip) R 30180 30183 30060 0 -1 4194368 146243 0 0 0 10114 12 0 0 20 0 3 0 4464490 377712640 66392 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
[pid=30183/tid=30188] ppid=30180 vsize=368860 memory=265564 CPUtime=0 cores=0,2
/proc/30183/task/30188/stat : 30188 (fscip) S 30180 30183 30060 0 -1 1077936192 79 0 0 0 0 0 0 0 20 0 3 0 4464499 377712640 66392 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 368860 KiB
Current children cumulated memory: 265568 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 1.85 0.77 5/266 30275
/proc/meminfo: memFree=119072472/131524600 swapFree=131071996/131071996
[pid=30183] ppid=30180 vsize=368860 memory=271100 CPUtime=161.71 cores=0,2
/proc/30183/stat : 30183 (fscip) S 30180 30183 30060 0 -1 1077936128 205222 0 0 0 16151 20 0 0 20 0 3 0 4464428 377712640 67775 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
/proc/30183/statm: 92215 67775 2966 3035 0 81637 0
[pid=30183/tid=30187] ppid=30180 vsize=368860 memory=265932 CPUtime=161.04 cores=0,2
/proc/30183/task/30187/stat : 30187 (fscip) R 30180 30183 30060 0 -1 4194368 165642 0 0 0 16090 14 0 0 20 0 3 0 4464490 377712640 67775 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
[pid=30183/tid=30188] ppid=30180 vsize=368860 memory=271100 CPUtime=0 cores=0,2
/proc/30183/task/30188/stat : 30188 (fscip) S 30180 30183 30060 0 -1 1077936192 86 0 0 0 0 0 0 0 20 0 3 0 4464499 377712640 67775 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 368860 KiB
Current children cumulated memory: 271100 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.26 0.98 5/265 30381
/proc/meminfo: memFree=120310080/131524600 swapFree=131071996/131071996
[pid=30183] ppid=30180 vsize=434396 memory=314856 CPUtime=221.5 cores=0,2
/proc/30183/stat : 30183 (fscip) S 30180 30183 30060 0 -1 1077936128 235662 0 0 0 22127 23 0 0 20 0 3 0 4464428 444821504 78714 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
/proc/30183/statm: 108599 78714 2982 3035 0 94739 0
[pid=30183/tid=30187] ppid=30180 vsize=434396 memory=314768 CPUtime=220.83 cores=0,2
/proc/30183/task/30187/stat : 30187 (fscip) R 30180 30183 30060 0 -1 4194368 196023 0 0 0 22066 17 0 0 20 0 3 0 4464490 444821504 78714 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
[pid=30183/tid=30188] ppid=30180 vsize=434396 memory=11592 CPUtime=0 cores=0,2
/proc/30183/task/30188/stat : 30188 (fscip) S 30180 30183 30060 0 -1 1077936192 93 0 0 0 0 0 0 0 20 0 3 0 4464499 444821504 78714 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 434396 KiB
Current children cumulated memory: 314856 KiB
################
# More data... #
################
/proc/30183/statm: 141721 117099 3030 3035 0 126369 0
[pid=30183/tid=30187] ppid=30180 vsize=566884 memory=468396 CPUtime=3389.69 cores=0,2
/proc/30183/task/30187/stat : 30187 (fscip) R 30180 30183 30060 0 -1 4194368 537841 0 0 0 338913 56 0 0 20 0 3 0 4464490 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
[pid=30183/tid=30188] ppid=30180 vsize=566884 memory=468396 CPUtime=0.03 cores=0,2
/proc/30183/task/30188/stat : 30188 (fscip) S 30180 30183 30060 0 -1 1077936192 382 0 0 0 1 2 0 0 20 0 3 0 4464499 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
Current children cumulated CPU time: 3390.43 s
Current children cumulated vsize: 566884 KiB
Current children cumulated memory: 468396 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.04 5/266 31973
/proc/meminfo: memFree=117711300/131524600 swapFree=131071996/131071996
[pid=30183] ppid=30180 vsize=566884 memory=468396 CPUtime=3450.2 cores=0,2
/proc/30183/stat : 30183 (fscip) S 30180 30183 30060 0 -1 1077936128 579597 0 0 0 344954 66 0 0 20 0 3 0 4464428 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
/proc/30183/statm: 141721 117099 3030 3035 0 126369 0
[pid=30183/tid=30187] ppid=30180 vsize=566884 memory=468396 CPUtime=3449.47 cores=0,2
/proc/30183/task/30187/stat : 30187 (fscip) R 30180 30183 30060 0 -1 4194368 538622 0 0 0 344891 56 0 0 20 0 3 0 4464490 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
[pid=30183/tid=30188] ppid=30180 vsize=566884 memory=468396 CPUtime=0.03 cores=0,2
/proc/30183/task/30188/stat : 30188 (fscip) S 30180 30183 30060 0 -1 1077936192 387 0 0 0 1 2 0 0 20 0 3 0 4464499 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
Current children cumulated CPU time: 3450.2 s
Current children cumulated vsize: 566884 KiB
Current children cumulated memory: 468396 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.05 5/268 32153
/proc/meminfo: memFree=117658468/131524600 swapFree=131071996/131071996
[pid=30183] ppid=30180 vsize=566884 memory=468396 CPUtime=3509.98 cores=0,2
/proc/30183/stat : 30183 (fscip) S 30180 30183 30060 0 -1 1077936128 580656 0 0 0 350932 66 0 0 20 0 3 0 4464428 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
/proc/30183/statm: 141721 117099 3030 3035 0 126369 0
[pid=30183/tid=30187] ppid=30180 vsize=566884 memory=11592 CPUtime=3509.24 cores=0,2
/proc/30183/task/30187/stat : 30187 (fscip) R 30180 30183 30060 0 -1 4194368 539658 0 0 0 350868 56 0 0 20 0 3 0 4464490 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
[pid=30183/tid=30188] ppid=30180 vsize=566884 memory=11592 CPUtime=0.04 cores=0,2
/proc/30183/task/30188/stat : 30188 (fscip) S 30180 30183 30060 0 -1 1077936192 392 0 0 0 1 3 0 0 20 0 3 0 4464499 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
Current children cumulated CPU time: 3509.98 s
Current children cumulated vsize: 566884 KiB
Current children cumulated memory: 468396 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.09 4.04 5/268 32163
/proc/meminfo: memFree=117615616/131524600 swapFree=131071996/131071996
[pid=30183] ppid=30180 vsize=566884 memory=468396 CPUtime=3569.76 cores=0,2
/proc/30183/stat : 30183 (fscip) S 30180 30183 30060 0 -1 1077936128 581025 0 0 0 356910 66 0 0 20 0 3 0 4464428 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
/proc/30183/statm: 141721 117099 3030 3035 0 126369 0
[pid=30183/tid=30187] ppid=30180 vsize=566884 memory=11592 CPUtime=3569.02 cores=0,2
/proc/30183/task/30187/stat : 30187 (fscip) R 30180 30183 30060 0 -1 4194368 540008 0 0 0 356846 56 0 0 20 0 3 0 4464490 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
[pid=30183/tid=30188] ppid=30180 vsize=566884 memory=468396 CPUtime=0.04 cores=0,2
/proc/30183/task/30188/stat : 30188 (fscip) S 30180 30183 30060 0 -1 1077936192 397 0 0 0 1 3 0 0 20 0 3 0 4464499 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
Current children cumulated CPU time: 3569.76 s
Current children cumulated vsize: 566884 KiB
Current children cumulated memory: 468396 KiB
[startup+3598.1 s]
# the end of solver process 30183 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.84 s, system=0.67101 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.05 4.09 4.04 5/268 32163
/proc/meminfo: memFree=117612204/131524600 swapFree=131071996/131071996
[pid=30183] ppid=30180 vsize=566884 memory=468396 CPUtime=3571.45 cores=0,2
/proc/30183/stat : 30183 (fscip) S 30180 30183 30060 0 -1 1077936128 581156 0 0 0 357079 66 0 0 20 0 3 0 4464428 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
/proc/30183/statm: 141721 117099 3030 3035 0 126369 0
[pid=30183/tid=30187] ppid=30180 vsize=566884 memory=-7380392105938609785 CPUtime=3570.72 cores=0,2
/proc/30183/task/30187/stat : 30187 (fscip) R 30180 30183 30060 0 -1 4194368 540136 0 0 0 357016 56 0 0 20 0 3 0 4464490 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
[pid=30183/tid=30188] ppid=30180 vsize=566884 memory=0 CPUtime=0.04 cores=0,2
/proc/30183/task/30188/stat : 30188 (fscip) S 30180 30183 30060 0 -1 1077936192 397 0 0 0 1 3 0 0 20 0 3 0 4464499 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
Current children cumulated CPU time: 3571.45 s
Current children cumulated vsize: 566884 KiB
Current children cumulated memory: 468396 KiB
[startup+3590.4 s]
/proc/loadavg: 4.04 4.09 4.04 5/268 32165
/proc/meminfo: memFree=117609992/131524600 swapFree=131071996/131071996
[pid=30183] ppid=30180 vsize=566884 memory=468396 CPUtime=3577.83 cores=0,2
/proc/30183/stat : 30183 (fscip) S 30180 30183 30060 0 -1 1077936128 581170 0 0 0 357717 66 0 0 20 0 3 0 4464428 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
/proc/30183/statm: 141721 117099 3030 3035 0 126369 0
[pid=30183/tid=30187] ppid=30180 vsize=566884 memory=468396 CPUtime=3577.09 cores=0,2
/proc/30183/task/30187/stat : 30187 (fscip) R 30180 30183 30060 0 -1 4194368 540150 0 0 0 357653 56 0 0 20 0 3 0 4464490 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
[pid=30183/tid=30188] ppid=30180 vsize=566884 memory=4788 CPUtime=0.04 cores=0,2
/proc/30183/task/30188/stat : 30188 (fscip) S 30180 30183 30060 0 -1 1077936192 397 0 0 0 1 3 0 0 20 0 3 0 4464499 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
Current children cumulated CPU time: 3577.83 s
Current children cumulated vsize: 566884 KiB
Current children cumulated memory: 468396 KiB
[startup+3593.6 s]
/proc/loadavg: 4.04 4.09 4.04 5/268 32165
/proc/meminfo: memFree=117610040/131524600 swapFree=131071996/131071996
[pid=30183] ppid=30180 vsize=566884 memory=468396 CPUtime=3581.02 cores=0,2
/proc/30183/stat : 30183 (fscip) S 30180 30183 30060 0 -1 1077936128 581170 0 0 0 358036 66 0 0 20 0 3 0 4464428 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
/proc/30183/statm: 141721 117099 3030 3035 0 126369 0
[pid=30183/tid=30187] ppid=30180 vsize=566884 memory=468396 CPUtime=3580.28 cores=0,2
/proc/30183/task/30187/stat : 30187 (fscip) R 30180 30183 30060 0 -1 4194368 540150 0 0 0 357972 56 0 0 20 0 3 0 4464490 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
[pid=30183/tid=30188] ppid=30180 vsize=566884 memory=2280 CPUtime=0.04 cores=0,2
/proc/30183/task/30188/stat : 30188 (fscip) S 30180 30183 30060 0 -1 1077936192 397 0 0 0 1 3 0 0 20 0 3 0 4464499 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
Current children cumulated CPU time: 3581.02 s
Current children cumulated vsize: 566884 KiB
Current children cumulated memory: 468396 KiB
[startup+3595.2 s]
/proc/loadavg: 4.04 4.09 4.04 5/268 32165
/proc/meminfo: memFree=117609640/131524600 swapFree=131071996/131071996
[pid=30183] ppid=30180 vsize=566884 memory=468396 CPUtime=3582.61 cores=0,2
/proc/30183/stat : 30183 (fscip) S 30180 30183 30060 0 -1 1077936128 581170 0 0 0 358195 66 0 0 20 0 3 0 4464428 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
/proc/30183/statm: 141721 117099 3030 3035 0 126369 0
[pid=30183/tid=30187] ppid=30180 vsize=566884 memory=468396 CPUtime=3581.87 cores=0,2
/proc/30183/task/30187/stat : 30187 (fscip) R 30180 30183 30060 0 -1 4194368 540150 0 0 0 358131 56 0 0 20 0 3 0 4464490 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
[pid=30183/tid=30188] ppid=30180 vsize=566884 memory=948956 CPUtime=0.04 cores=0,2
/proc/30183/task/30188/stat : 30188 (fscip) S 30180 30183 30060 0 -1 1077936192 397 0 0 0 1 3 0 0 20 0 3 0 4464499 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
Current children cumulated CPU time: 3582.61 s
Current children cumulated vsize: 566884 KiB
Current children cumulated memory: 468396 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.10 4.05 5/268 32166
/proc/meminfo: memFree=117609492/131524600 swapFree=131071996/131071996
[pid=30183] ppid=30180 vsize=566884 memory=468396 CPUtime=3584.2 cores=0,2
/proc/30183/stat : 30183 (fscip) S 30180 30183 30060 0 -1 1077936128 581170 0 0 0 358354 66 0 0 20 0 3 0 4464428 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
/proc/30183/statm: 141721 117099 3030 3035 0 126369 0
[pid=30183/tid=30187] ppid=30180 vsize=566884 memory=164 CPUtime=3583.47 cores=0,2
/proc/30183/task/30187/stat : 30187 (fscip) R 30180 30183 30060 0 -1 4194368 540150 0 0 0 358291 56 0 0 20 0 3 0 4464490 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
[pid=30183/tid=30188] ppid=30180 vsize=566884 memory=5604 CPUtime=0.04 cores=0,2
/proc/30183/task/30188/stat : 30188 (fscip) S 30180 30183 30060 0 -1 1077936192 397 0 0 0 1 3 0 0 20 0 3 0 4464499 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
Current children cumulated CPU time: 3584.2 s
Current children cumulated vsize: 566884 KiB
Current children cumulated memory: 468396 KiB
[startup+3597.6 s]
/proc/loadavg: 4.12 4.10 4.05 5/268 32166
/proc/meminfo: memFree=117606648/131524600 swapFree=131071996/131071996
[pid=30183] ppid=30180 vsize=566884 memory=468396 CPUtime=3585 cores=0,2
/proc/30183/stat : 30183 (fscip) S 30180 30183 30060 0 -1 1077936128 581170 0 0 0 358434 66 0 0 20 0 3 0 4464428 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
/proc/30183/statm: 141721 117099 3030 3035 0 126369 0
[pid=30183/tid=30187] ppid=30180 vsize=566884 memory=12852 CPUtime=3584.26 cores=0,2
/proc/30183/task/30187/stat : 30187 (fscip) R 30180 30183 30060 0 -1 4194368 540150 0 0 0 358370 56 0 0 20 0 3 0 4464490 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
[pid=30183/tid=30188] ppid=30180 vsize=566884 memory=13328 CPUtime=0.04 cores=0,2
/proc/30183/task/30188/stat : 30188 (fscip) S 30180 30183 30060 0 -1 1077936192 397 0 0 0 1 3 0 0 20 0 3 0 4464499 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
Current children cumulated CPU time: 3585 s
Current children cumulated vsize: 566884 KiB
Current children cumulated memory: 468396 KiB
[startup+3598 s]*
/proc/loadavg: 4.12 4.10 4.05 4/260 32254
/proc/meminfo: memFree=120313216/131524600 swapFree=131071996/131071996
[pid=30183] ppid=30180 vsize=566884 memory=468396 CPUtime=3585.4 cores=0,2
/proc/30183/stat : 30183 (fscip) S 30180 30183 30060 0 -1 1077936128 581446 0 0 0 358474 66 0 0 20 0 3 0 4464428 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
/proc/30183/statm: 141721 117099 3030 3035 0 126369 0
[pid=30183/tid=30187] ppid=30180 vsize=566884 memory=-7523944344061043579 CPUtime=3584.67 cores=0,2
/proc/30183/task/30187/stat : 30187 (fscip) R 30180 30183 30060 0 -1 4194368 540427 0 0 0 358411 56 0 0 20 0 3 0 4464490 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
[pid=30183/tid=30188] ppid=30180 vsize=566884 memory=3304 CPUtime=0.04 cores=0,2
/proc/30183/task/30188/stat : 30188 (fscip) S 30180 30183 30060 0 -1 1077936192 397 0 0 0 1 3 0 0 20 0 3 0 4464499 580489216 117099 134679101440 4194304 16623229 140730276312752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31133696 140730276316182 140730276316298 140730276316298 140730276323312 0
Current children cumulated CPU time: 3585.4 s
Current children cumulated vsize: 566884 KiB
Current children cumulated memory: 468396 KiB
Child status: 0
Real time (s): 3598.1
CPU time (s): 3585.51
CPU user time (s): 3584.84
CPU system time (s): 0.67101
CPU usage (%): 99.6501
Max. virtual memory (cumulated for all children) (KiB): 566884
Max. memory (cumulated for all children) (KiB): 468396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.84
system time used= 0.67101
maximum resident set size= 468400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 584886
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4128
involuntary context switches= 24681
# summary of solver processes directly reported to runsolver:
# pid: 30183
# total CPU time (s): 3585.51
# total CPU user time (s): 3584.84
# total CPU system time (s): 0.67101
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.24974 second user time and 16.7587 second system time
The end
Begin job on nodeC035 at 2024-07-31 00:29:58
IDJOB=4464429
IDBENCH=147758
IDSOLVER=3092
FILE ID=nodeC035/4464429-1722378598
RUNJOBID= nodeC035-1722378597-30070
SLURM_JOB_ID= 8249858
Free space on /tmp= 889980 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464429-1722378598/watcher-4464429-1722378598 -o /tmp/evaluation-result-4464429-1722378598/solver-4464429-1722378598 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722378597-30070 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464429-1722378598.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d1aade7dcf65cc3dbe16a05e614ec6ef
RANDOM SEED=881201410
nodeC035.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 : 3666.560
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 : 7000.79
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 : 3674.320
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 : 7006.92
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 : 3653.617
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 : 7000.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.460
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 : 7006.92
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 : 3600.715
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 : 7000.79
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 : 3674.317
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 : 7006.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.231
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 : 7000.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.453
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 : 7006.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 120922352 kB
MemAvailable: 128919824 kB
Buffers: 82584 kB
Cached: 8710300 kB
SwapCached: 0 kB
Active: 265584 kB
Inactive: 9771888 kB
Active(anon): 1552 kB
Inactive(anon): 1264368 kB
Active(file): 264032 kB
Inactive(file): 8507520 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 127600 kB
Writeback: 8 kB
AnonPages: 1240848 kB
Mapped: 121308 kB
Shmem: 21336 kB
KReclaimable: 131488 kB
Slab: 220988 kB
SReclaimable: 131488 kB
SUnreclaim: 89500 kB
KernelStack: 4288 kB
PageTables: 11664 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1537052 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9920 kB
HardwareCorrupted: 0 kB
AnonHugePages: 299008 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: 254676 kB
DirectMap2M: 7907328 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 889964 MiB
End job on nodeC035 at 2024-07-31 01:29:56