| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| FiberSCIP 2024-07-02 | ? | 3591.03 | 3600.02 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-bg512142.opb |
| MD5SUM | c14f7c55e56be8814a9acdc0ce68bb69 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 24875458587 |
| Best CPU time to get the best result obtained on this benchmark | 3600.04 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 16800 |
| Total number of constraints | 945 |
| Number of constraints which are clauses | 11 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 934 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 183 |
| Number of terms in the objective function | 9600 |
| Biggest coefficient in the objective function | 5368709120000 |
| Number of bits for the biggest coefficient in the objective function | 43 |
| Sum of the numbers in the objective function | 773893279252632 |
| Number of bits of the sum of numbers in the objective function | 50 |
| Biggest number in a constraint | 5368709120000 |
| Number of bits of the biggest number in a constraint | 43 |
| Biggest sum of numbers in a constraint | 773893279252632 |
| Number of bits of the biggest sum of numbers | 50 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty] 0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657] 0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB) 0.00/0.00 c External libraries: 0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291] 0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD) 0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp) 0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo) 0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty) 0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy) 0.00/0.00 c SCIP cannot read the problem file. Try to solve it by FJ_BIGINT. 376.41/377.48 c num_threads: 1 376.41/377.48 c timelimit: 3600.000000 376.41/377.48 c Parsing file: HOME/instance-4434584-1721064090.opb 376.41/377.48 c (FJ) starting FJ with 1 threads. 376.41/377.48 c (FJ) copying 16800 x 945 matrix with 74090 nonzeros. 376.41/377.48 c (FJ) initializing FJ with 16800 vars 945 constraints 376.41/377.48 c (FJ) 0: starting solve. weightUpdateDecay=1, relaxContinuous=0, seed=0 376.41/377.48 c (FJ) 0: step 0 viol 252 good 1783 bumps 0 376.41/377.48 c (FJ) 0: step 100000 viol 284 good 8 bumps 25673 376.41/377.48 c (FJ) 0: step 200000 viol 304 good 0 bumps 59259 376.41/377.48 c (FJ) 0: step 300000 viol 314 good 0 bumps 78566 376.41/377.48 c (FJ) 0: step 400000 viol 329 good 8 bumps 109070 376.41/377.48 c (FJ) 0: step 500000 viol 334 good 4 bumps 135726 376.41/377.48 c (FJ) 0: step 600000 viol 342 good 0 bumps 181456 376.41/377.48 c (FJ) 0: step 700000 viol 336 good 0 bumps 221991 376.41/377.48 c (FJ) 0: step 800000 viol 339 good 1 bumps 270297 376.41/377.48 c (FJ) 0: step 900000 viol 345 good 1 bumps 315179 376.41/377.48 c (FJ) 0: step 1000000 viol 363 good 0 bumps 363752 376.41/377.48 c (FJ) 0: step 1100000 viol 359 good 0 bumps 407643 376.41/377.48 c (FJ) 0: step 1200000 viol 344 good 0 bumps 453378 376.41/377.48 c (FJ) 0: step 1300000 viol 342 good 0 bumps 502547 376.41/377.48 c (FJ) 0: step 1400000 viol 329 good 16 bumps 550890 376.41/377.48 c (FJ) 0: step 1500000 viol 334 good 0 bumps 560288 376.41/377.48 c (FJ) 0: step 1600000 viol 337 good 0 bumps 572815 376.41/377.48 c (FJ) 0: step 1700000 viol 329 good 0 bumps 619309 376.41/377.48 c (FJ) 0: step 1800000 viol 327 good 1 bumps 667385 376.41/377.48 c (FJ) 0: step 1900000 viol 319 good 0 bumps 716637 376.41/377.48 c (FJ) 0: step 2000000 viol 326 good 1 bumps 763584 376.41/377.48 c (FJ) 0: step 2100000 viol 323 good 1 bumps 812717 376.41/377.48 c (FJ) 0: step 2200000 viol 337 good 0 bumps 861380 376.41/377.48 c (FJ) 0: step 2300000 viol 337 good 0 bumps 909114 376.41/377.48 c (FJ) 0: step 2400000 viol 334 good 0 bumps 950054 376.41/377.48 c (FJ) 0: step 2500000 viol 339 good 0 bumps 989930 376.41/377.48 c (FJ) 0: step 2600000 viol 318 good 1 bumps 1029876 376.41/377.48 c (FJ) 0: step 2700000 viol 324 good 1 bumps 1068230 376.41/377.48 c (FJ) 0: step 2800000 viol 325 good 2 bumps 1109364 376.41/377.48 c (FJ) 0: step 2900000 viol 328 good 5 bumps 1154875 376.41/377.48 c (FJ) 0: step 3000000 viol 335 good 1 bumps 1202271 376.41/377.48 c (FJ) 0: step 3100000 viol 336 good 0 bumps 1251239 376.41/377.48 c (FJ) 0: step 3200000 viol 328 good 63 bumps 1297896 376.41/377.48 c (FJ) 0: step 3300000 viol 334 good 0 bumps 1346754 376.41/377.48 c (FJ) 0: step 3400000 viol 333 good 1 bumps 1391742 376.41/377.48 c (FJ) 0: step 3500000 viol 331 good 0 bumps 1439648 376.41/377.48 c (FJ) 0: step 3600000 viol 337 good 1 bumps 1486295 376.41/377.48 c (FJ) 0: step 3700000 viol 316 good 1 bumps 1531472 376.41/377.48 c (FJ) 0: step 3800000 viol 314 good 1 bumps 1580919 376.41/377.48 c (FJ) 0: step 3900000 viol 317 good 1 bumps 1629900 376.41/377.48 c (FJ) 0: step 4000000 viol 329 good 1 bumps 1678628 376.41/377.48 c (FJ) 0: step 4100000 viol 329 good 0 bumps 1728106 376.41/377.48 c (FJ) 0: step 4200000 viol 331 good 0 bumps 1776140 376.41/377.48 c (FJ) 0: step 4300000 viol 328 good 0 bumps 1825640 376.41/377.48 c (FJ) 0: step 4400000 viol 313 good 0 bumps 1874850 376.41/377.48 c (FJ) 0: step 4500000 viol 322 good 1 bumps 1921367 376.41/377.48 c (FJ) 0: step 4600000 viol 322 good 0 bumps 1946514 376.41/377.48 c (FJ) 0: step 4700000 viol 328 good 1 bumps 1981654 376.41/377.48 c (FJ) 0: step 4800000 viol 334 good 1 bumps 2027529 376.41/377.48 c (FJ) 0: step 4900000 viol 331 good 1 bumps 2073940 376.41/377.48 c (FJ) 0: step 5000000 viol 324 good 0 bumps 2123628 376.41/377.48 c (FJ) 0: step 5100000 viol 319 good 9 bumps 2154581 376.41/377.48 c (FJ) 0: step 5200000 viol 321 good 0 bumps 2168424 376.41/377.48 c (FJ) 0: step 5300000 viol 335 good 2 bumps 2209067 376.41/377.48 c (FJ) 0: step 5400000 viol 332 good 0 bumps 2253391 376.41/377.48 c (FJ) 0: step 5500000 viol 334 good 0 bumps 2302976 376.41/377.48 c (FJ) 0: step 5600000 viol 326 good 42 bumps 2338293 376.41/377.48 c (FJ) 0: step 5700000 viol 332 good 0 bumps 2387485 376.41/377.48 c (FJ) 0: step 5800000 viol 332 good 17 bumps 2402540 376.41/377.48 c (FJ) 0: step 5900000 viol 340 good 9 bumps 2414254 376.41/377.48 c (FJ) 0: step 6000000 viol 345 good 1 bumps 2461791 376.41/377.48 c (FJ) 0: step 6100000 viol 345 good 0 bumps 2511541 376.41/377.48 c (FJ) 0: step 6200000 viol 330 good 0 bumps 2541493 376.41/377.48 c (FJ) 0: step 6300000 viol 321 good 0 bumps 2584756 376.41/377.48 c (FJ) 0: step 6400000 viol 337 good 0 bumps 2634608 376.41/377.48 c (FJ) 0: step 6500000 viol 325 good 1 bumps 2682232 376.41/377.48 c (FJ) 0: step 6600000 viol 323 good 0 bumps 2732072 376.41/377.48 c (FJ) 0: step 6700000 viol 331 good 1 bumps 2781170 376.41/377.48 c (FJ) 0: step 6800000 viol 331 good 2 bumps 2830411 376.41/377.48 c (FJ) 0: step 6900000 viol 332 good 1 bumps 2879799 376.41/377.48 c (FJ) 0: step 7000000 viol 332 good 0 bumps 2924456 376.41/377.48 c (FJ) 0: step 7100000 viol 339 good 1 bumps 2964932 821.74/823.84 c (FJ) 0: step 7200000 viol 335 good 1 bumps 3014049 821.74/823.84 c (FJ) 0: step 7300000 viol 340 good 1 bumps 3062996 821.74/823.84 c (FJ) 0: step 7400000 viol 339 good 0 bumps 3106031 821.74/823.84 c (FJ) 0: step 7500000 viol 331 good 0 bumps 3155366 821.74/823.84 c (FJ) 0: step 7600000 viol 323 good 0 bumps 3204714 821.74/823.84 c (FJ) 0: step 7700000 viol 322 good 0 bumps 3252732 821.74/823.84 c (FJ) 0: step 7800000 viol 331 good 1 bumps 3301776 821.74/823.84 c (FJ) 0: step 7900000 viol 330 good 0 bumps 3350752 821.74/823.84 c (FJ) 0: step 8000000 viol 329 good 0 bumps 3398902 821.74/823.84 c (FJ) 0: step 8100000 viol 329 good 0 bumps 3447557 821.74/823.84 c (FJ) 0: step 8200000 viol 339 good 1 bumps 3495459 821.74/823.84 c (FJ) 0: step 8300000 viol 336 good 1 bumps 3544315 821.74/823.84 c (FJ) 0: step 8400000 viol 332 good 0 bumps 3593259 821.74/823.84 c (FJ) 0: step 8500000 viol 317 good 0 bumps 3638197 821.74/823.84 c (FJ) 0: step 8600000 viol 321 good 0 bumps 3677763 821.74/823.84 c (FJ) 0: step 8700000 viol 329 good 52 bumps 3726381 821.74/823.84 c (FJ) 0: step 8800000 viol 325 good 1 bumps 3775477 821.74/823.84 c (FJ) 0: step 8900000 viol 326 good 0 bumps 3824469 821.74/823.84 c (FJ) 0: step 9000000 viol 323 good 1 bumps 3871674 821.74/823.84 c (FJ) 0: step 9100000 viol 326 good 1 bumps 3915708 821.74/823.84 c (FJ) 0: step 9200000 viol 333 good 0 bumps 3957430 821.74/823.84 c (FJ) 0: step 9300000 viol 332 good 1 bumps 4006233 821.74/823.84 c (FJ) 0: step 9400000 viol 332 good 0 bumps 4055337 821.74/823.84 c (FJ) 0: step 9500000 viol 320 good 1 bumps 4104405 821.74/823.84 c (FJ) 0: step 9600000 viol 318 good 1 bumps 4153495 821.74/823.84 c (FJ) 0: step 9700000 viol 323 good 1 bumps 4202685 821.74/823.84 c (FJ) 0: step 9800000 viol 322 good 1 bumps 4250977 821.74/823.84 c (FJ) 0: step 9900000 viol 325 good 1 bumps 4299900 821.74/823.84 c (FJ) 0: step 10000000 viol 332 good 0 bumps 4348069 821.74/823.84 c (FJ) 0: step 10100000 viol 337 good 1 bumps 4396941 821.74/823.84 c (FJ) 0: step 10200000 viol 336 good 1 bumps 4446086 821.74/823.84 c (FJ) 0: step 10300000 viol 317 good 1 bumps 4495076 821.74/823.84 c (FJ) 0: step 10400000 viol 327 good 0 bumps 4543363 821.74/823.84 c (FJ) 0: step 10500000 viol 328 good 1 bumps 4589241 821.74/823.84 c (FJ) 0: step 10600000 viol 328 good 1 bumps 4632817 821.74/823.84 c (FJ) 0: step 10700000 viol 341 good 0 bumps 4675282 821.74/823.84 c (FJ) 0: step 10800000 viol 336 good 0 bumps 4724084 821.74/823.84 c (FJ) 0: step 10900000 viol 334 good 0 bumps 4772940 821.74/823.84 c (FJ) 0: step 11000000 viol 327 good 0 bumps 4819182 821.74/823.84 c (FJ) 0: step 11100000 viol 329 good 1 bumps 4864458 821.74/823.84 c (FJ) 0: step 11200000 viol 322 good 11 bumps 4880200 821.74/823.84 c (FJ) 0: step 11300000 viol 310 good 0 bumps 4916192 821.74/823.84 c (FJ) 0: step 11400000 viol 322 good 1 bumps 4964675 821.74/823.84 c (FJ) 0: step 11500000 viol 328 good 0 bumps 5012866 821.74/823.84 c (FJ) 0: step 11600000 viol 321 good 0 bumps 5058015 821.74/823.84 c (FJ) 0: step 11700000 viol 322 good 2 bumps 5097310 821.74/823.84 c (FJ) 0: step 11800000 viol 330 good 0 bumps 5136747 821.74/823.84 c (FJ) 0: step 11900000 viol 332 good 0 bumps 5183204 821.74/823.84 c (FJ) 0: step 12000000 viol 329 good 1 bumps 5230048 821.74/823.84 c (FJ) 0: step 12100000 viol 327 good 2 bumps 5275577 821.74/823.84 c (FJ) 0: step 12200000 viol 338 good 1 bumps 5324635 821.74/823.84 c (FJ) 0: step 12300000 viol 334 good 0 bumps 5373737 821.74/823.84 c (FJ) 0: step 12400000 viol 329 good 1 bumps 5422884 821.74/823.84 c (FJ) 0: step 12500000 viol 334 good 0 bumps 5471672 821.74/823.84 c (FJ) 0: step 12600000 viol 330 good 0 bumps 5520516 821.74/823.84 c (FJ) 0: step 12700000 viol 344 good 1 bumps 5569643 821.74/823.84 c (FJ) 0: step 12800000 viol 338 good 61 bumps 5618585 821.74/823.84 c (FJ) 0: step 12900000 viol 338 good 1 bumps 5667561 821.74/823.84 c (FJ) 0: step 13000000 viol 335 good 0 bumps 5716255 821.74/823.84 c (FJ) 0: step 13100000 viol 337 good 0 bumps 5761634 821.74/823.84 c (FJ) 0: step 13200000 viol 328 good 0 bumps 5806123 821.74/823.84 c (FJ) 0: step 13300000 viol 329 good 1 bumps 5841900 821.74/823.84 c (FJ) 0: step 13400000 viol 334 good 4 bumps 5887040 821.74/823.84 c (FJ) 0: step 13500000 viol 334 good 1 bumps 5923959 821.74/823.84 c (FJ) 0: step 13600000 viol 339 good 1 bumps 5972608 821.74/823.84 c (FJ) 0: step 13700000 viol 333 good 1 bumps 6016004 821.74/823.84 c (FJ) 0: step 13800000 viol 338 good 1 bumps 6055595 821.74/823.84 c (FJ) 0: step 13900000 viol 332 good 0 bumps 6099017 821.74/823.84 c (FJ) 0: step 14000000 viol 321 good 1 bumps 6146754 821.74/823.84 c (FJ) 0: step 14100000 viol 323 good 0 bumps 6195072 821.74/823.84 c (FJ) 0: step 14200000 viol 324 good 1 bumps 6242989 821.74/823.84 c (FJ) 0: step 14300000 viol 330 good 0 bumps 6291755 821.74/823.84 c (FJ) 0: step 14400000 viol 331 good 1 bumps 6340906 821.74/823.84 c (FJ) 0: step 14500000 viol 315 good 1 bumps 6384504 821.74/823.84 c (FJ) 0: step 14600000 viol 327 good 2 bumps 6422801 821.74/823.84 c (FJ) 0: step 14700000 viol 326 good 43 bumps 6452514 1257.26/1260.45 c (FJ) 0: step 14800000 viol 323 good 0 bumps 6501071 1257.26/1260.45 c (FJ) 0: step 14900000 viol 332 good 0 bumps 6550072 1257.26/1260.45 c (FJ) 0: step 15000000 viol 333 good 0 bumps 6598789 1257.26/1260.45 c (FJ) 0: step 15100000 viol 331 good 0 bumps 6647571 1257.26/1260.45 c (FJ) 0: step 15200000 viol 323 good 0 bumps 6696059 1257.26/1260.45 c (FJ) 0: step 15300000 viol 328 good 1 bumps 6742649 1257.26/1260.45 c (FJ) 0: step 15400000 viol 329 good 1 bumps 6784501 1257.26/1260.45 c (FJ) 0: step 15500000 viol 324 good 0 bumps 6831249 1257.26/1260.45 c (FJ) 0: step 15600000 viol 328 good 14 bumps 6843983 1257.26/1260.45 c (FJ) 0: step 15700000 viol 329 good 1 bumps 6857703 1257.26/1260.45 c (FJ) 0: step 15800000 viol 327 good 0 bumps 6895064 1257.26/1260.45 c (FJ) 0: step 15900000 viol 339 good 1 bumps 6944398 1257.26/1260.45 c (FJ) 0: step 16000000 viol 338 good 7 bumps 6984325 1257.26/1260.45 c (FJ) 0: step 16100000 viol 325 good 0 bumps 7032831 1257.26/1260.45 c (FJ) 0: step 16200000 viol 316 good 0 bumps 7081914 1257.26/1260.45 c (FJ) 0: step 16300000 viol 321 good 1 bumps 7131145 1257.26/1260.45 c (FJ) 0: step 16400000 viol 313 good 10 bumps 7177686 1257.26/1260.45 c (FJ) 0: step 16500000 viol 318 good 1 bumps 7226014 1257.26/1260.45 c (FJ) 0: step 16600000 viol 309 good 23 bumps 7267274 1257.26/1260.45 c (FJ) 0: step 16700000 viol 305 good 1 bumps 7315406 1257.26/1260.45 c (FJ) 0: step 16800000 viol 316 good 0 bumps 7363735 1257.26/1260.45 c (FJ) 0: step 16900000 viol 318 good 1 bumps 7406135 1257.26/1260.45 c (FJ) 0: step 17000000 viol 321 good 1 bumps 7449779 1257.26/1260.45 c (FJ) 0: step 17100000 viol 313 good 0 bumps 7498831 1257.26/1260.45 c (FJ) 0: step 17200000 viol 317 good 1 bumps 7547939 1257.26/1260.45 c (FJ) 0: step 17300000 viol 329 good 189 bumps 7597011 1257.26/1260.45 c (FJ) 0: step 17400000 viol 331 good 0 bumps 7646544 1257.26/1260.45 c (FJ) 0: step 17500000 viol 335 good 0 bumps 7681775 1257.26/1260.45 c (FJ) 0: step 17600000 viol 326 good 0 bumps 7731378 1257.26/1260.45 c (FJ) 0: step 17700000 viol 334 good 0 bumps 7775941 1257.26/1260.45 c (FJ) 0: step 17800000 viol 330 good 0 bumps 7822847 1257.26/1260.45 c (FJ) 0: step 17900000 viol 332 good 0 bumps 7871612 1257.26/1260.45 c (FJ) 0: step 18000000 viol 338 good 0 bumps 7920701 1257.26/1260.45 c (FJ) 0: step 18100000 viol 332 good 16 bumps 7964975 1257.26/1260.45 c (FJ) 0: step 18200000 viol 331 good 5 bumps 7977928 1257.26/1260.45 c (FJ) 0: step 18300000 viol 320 good 1 bumps 8023948 1257.26/1260.45 c (FJ) 0: step 18400000 viol 321 good 0 bumps 8072740 1257.26/1260.45 c (FJ) 0: step 18500000 viol 327 good 1 bumps 8121786 1257.26/1260.45 c (FJ) 0: step 18600000 viol 322 good 1 bumps 8170429 1257.26/1260.45 c (FJ) 0: step 18700000 viol 329 good 0 bumps 8219457 1257.26/1260.45 c (FJ) 0: step 18800000 viol 334 good 0 bumps 8268730 1257.26/1260.45 c (FJ) 0: step 18900000 viol 332 good 1 bumps 8317536 1257.26/1260.45 c (FJ) 0: step 19000000 viol 329 good 1 bumps 8365485 1257.26/1260.45 c (FJ) 0: step 19100000 viol 330 good 1 bumps 8414752 1257.26/1260.45 c (FJ) 0: step 19200000 viol 333 good 0 bumps 8464368 1257.26/1260.45 c (FJ) 0: step 19300000 viol 332 good 0 bumps 8513726 1257.26/1260.45 c (FJ) 0: step 19400000 viol 326 good 0 bumps 8562427 1257.26/1260.45 c (FJ) 0: step 19500000 viol 331 good 55 bumps 8609385 1257.26/1260.45 c (FJ) 0: step 19600000 viol 330 good 0 bumps 8656790 1257.26/1260.45 c (FJ) 0: step 19700000 viol 321 good 1 bumps 8704899 1257.26/1260.45 c (FJ) 0: step 19800000 viol 319 good 1 bumps 8753774 1257.26/1260.45 c (FJ) 0: step 19900000 viol 317 good 1 bumps 8801632 1257.26/1260.45 c (FJ) 0: step 20000000 viol 322 good 0 bumps 8850819 1257.26/1260.45 c (FJ) 0: step 20100000 viol 329 good 1 bumps 8900131 1257.26/1260.45 c (FJ) 0: step 20200000 viol 331 good 0 bumps 8948886 1257.26/1260.45 c (FJ) 0: step 20300000 viol 328 good 1 bumps 8997646 1257.26/1260.45 c (FJ) 0: step 20400000 viol 327 good 0 bumps 9046066 1257.26/1260.45 c (FJ) 0: step 20500000 viol 320 good 1 bumps 9092867 1257.26/1260.45 c (FJ) 0: step 20600000 viol 314 good 1 bumps 9141196 1257.26/1260.45 c (FJ) 0: step 20700000 viol 321 good 0 bumps 9183539 1257.26/1260.45 c (FJ) 0: step 20800000 viol 317 good 1 bumps 9218224 1257.26/1260.45 c (FJ) 0: step 20900000 viol 317 good 1 bumps 9262168 1257.26/1260.45 c (FJ) 0: step 21000000 viol 325 good 0 bumps 9311558 1257.26/1260.45 c (FJ) 0: step 21100000 viol 329 good 0 bumps 9360499 1257.26/1260.45 c (FJ) 0: step 21200000 viol 329 good 0 bumps 9409671 1257.26/1260.45 c (FJ) 0: step 21300000 viol 328 good 0 bumps 9443070 1257.26/1260.45 c (FJ) 0: step 21400000 viol 328 good 4 bumps 9457803 1257.26/1260.45 c (FJ) 0: step 21500000 viol 330 good 2 bumps 9473684 1257.26/1260.45 c (FJ) 0: step 21600000 viol 332 good 0 bumps 9495708 1257.26/1260.45 c (FJ) 0: step 21700000 viol 339 good 0 bumps 9544290 1257.26/1260.45 c (FJ) 0: step 21800000 viol 333 good 0 bumps 9593021 1257.26/1260.45 c (FJ) 0: step 21900000 viol 329 good 0 bumps 9642167 1257.26/1260.45 c (FJ) 0: step 22000000 viol 341 good 0 bumps 9689626 1257.26/1260.45 c (FJ) 0: step 22100000 viol 334 good 0 bumps 9738408 1257.26/1260.45 c (FJ) 0: step 22200000 viol 326 good 0 bumps 9784507 1257.26/1260.45 c (FJ) 0: step 22300000 viol 328 good 0 bumps 9828873 1718.72/1723.07 c (FJ) 0: step 22400000 viol 334 good 1 bumps 9867146 1718.72/1723.07 c (FJ) 0: step 22500000 viol 324 good 1 bumps 9915912 1718.72/1723.07 c (FJ) 0: step 22600000 viol 330 good 1 bumps 9965258 1718.72/1723.07 c (FJ) 0: step 22700000 viol 329 good 0 bumps 10014157 1718.72/1723.07 c (FJ) 0: step 22800000 viol 334 good 0 bumps 10063063 1718.72/1723.07 c (FJ) 0: step 22900000 viol 330 good 0 bumps 10110891 1718.72/1723.07 c (FJ) 0: step 23000000 viol 329 good 1 bumps 10158308 1718.72/1723.07 c (FJ) 0: step 23100000 viol 322 good 0 bumps 10204357 1718.72/1723.07 c (FJ) 0: step 23200000 viol 321 good 0 bumps 10252191 1718.72/1723.07 c (FJ) 0: step 23300000 viol 326 good 1 bumps 10301224 1718.72/1723.07 c (FJ) 0: step 23400000 viol 331 good 1 bumps 10350350 1718.72/1723.07 c (FJ) 0: step 23500000 viol 336 good 0 bumps 10399221 1718.72/1723.07 c (FJ) 0: step 23600000 viol 337 good 1 bumps 10448269 1718.72/1723.07 c (FJ) 0: step 23700000 viol 330 good 0 bumps 10496854 1718.72/1723.07 c (FJ) 0: step 23800000 viol 327 good 1 bumps 10545883 1718.72/1723.07 c (FJ) 0: step 23900000 viol 326 good 0 bumps 10592907 1718.72/1723.07 c (FJ) 0: step 24000000 viol 321 good 1 bumps 10641809 1718.72/1723.07 c (FJ) 0: step 24100000 viol 328 good 1 bumps 10690819 1718.72/1723.07 c (FJ) 0: step 24200000 viol 336 good 1 bumps 10740023 1718.72/1723.07 c (FJ) 0: step 24300000 viol 327 good 1 bumps 10788578 1718.72/1723.07 c (FJ) 0: step 24400000 viol 333 good 1 bumps 10838009 1718.72/1723.07 c (FJ) 0: step 24500000 viol 320 good 1 bumps 10887002 1718.72/1723.07 c (FJ) 0: step 24600000 viol 327 good 0 bumps 10936115 1718.72/1723.07 c (FJ) 0: step 24700000 viol 330 good 1 bumps 10985407 1718.72/1723.07 c (FJ) 0: step 24800000 viol 333 good 0 bumps 11034538 1718.72/1723.07 c (FJ) 0: step 24900000 viol 322 good 18 bumps 11061818 1718.72/1723.07 c (FJ) 0: step 25000000 viol 323 good 0 bumps 11109114 1718.72/1723.07 c (FJ) 0: step 25100000 viol 328 good 1 bumps 11158058 1718.72/1723.07 c (FJ) 0: step 25200000 viol 331 good 1 bumps 11206256 1718.72/1723.07 c (FJ) 0: step 25300000 viol 333 good 0 bumps 11255317 1718.72/1723.07 c (FJ) 0: step 25400000 viol 337 good 1 bumps 11303987 1718.72/1723.07 c (FJ) 0: step 25500000 viol 326 good 0 bumps 11352956 1718.72/1723.07 c (FJ) 0: step 25600000 viol 325 good 0 bumps 11402013 1718.72/1723.07 c (FJ) 0: step 25700000 viol 329 good 0 bumps 11450751 1718.72/1723.07 c (FJ) 0: step 25800000 viol 330 good 0 bumps 11499228 1718.72/1723.07 c (FJ) 0: step 25900000 viol 329 good 1 bumps 11548139 1718.72/1723.07 c (FJ) 0: step 26000000 viol 333 good 1 bumps 11596641 1718.72/1723.07 c (FJ) 0: step 26100000 viol 328 good 0 bumps 11645538 1718.72/1723.07 c (FJ) 0: step 26200000 viol 318 good 1 bumps 11693115 1718.72/1723.07 c (FJ) 0: step 26300000 viol 328 good 0 bumps 11741573 1718.72/1723.07 c (FJ) 0: step 26400000 viol 333 good 0 bumps 11790272 1718.72/1723.07 c (FJ) 0: step 26500000 viol 336 good 1 bumps 11838633 1718.72/1723.07 c (FJ) 0: step 26600000 viol 334 good 1 bumps 11887600 1718.72/1723.07 c (FJ) 0: step 26700000 viol 333 good 1 bumps 11936020 1718.72/1723.07 c (FJ) 0: step 26800000 viol 329 good 2 bumps 11984724 1718.72/1723.07 c (FJ) 0: step 26900000 viol 341 good 1 bumps 12033703 1718.72/1723.07 c (FJ) 0: step 27000000 viol 343 good 0 bumps 12082558 1718.72/1723.07 c (FJ) 0: step 27100000 viol 344 good 0 bumps 12130244 1718.72/1723.07 c (FJ) 0: step 27200000 viol 335 good 0 bumps 12179102 1718.72/1723.07 c (FJ) 0: step 27300000 viol 343 good 0 bumps 12227583 1718.72/1723.07 c (FJ) 0: step 27400000 viol 332 good 112 bumps 12271181 1718.72/1723.07 c (FJ) 0: step 27500000 viol 329 good 0 bumps 12319987 1718.72/1723.07 c (FJ) 0: step 27600000 viol 328 good 0 bumps 12369124 1718.72/1723.07 c (FJ) 0: step 27700000 viol 325 good 1 bumps 12412775 1718.72/1723.07 c (FJ) 0: step 27800000 viol 322 good 0 bumps 12452299 1718.72/1723.07 c (FJ) 0: step 27900000 viol 324 good 1 bumps 12494195 1718.72/1723.07 c (FJ) 0: step 28000000 viol 328 good 0 bumps 12543295 1718.72/1723.07 c (FJ) 0: step 28100000 viol 326 good 1 bumps 12592696 1718.72/1723.07 c (FJ) 0: step 28200000 viol 331 good 1 bumps 12641953 1718.72/1723.07 c (FJ) 0: step 28300000 viol 343 good 0 bumps 12691316 1718.72/1723.07 c (FJ) 0: step 28400000 viol 336 good 1 bumps 12740607 1718.72/1723.07 c (FJ) 0: step 28500000 viol 327 good 1 bumps 12789355 1718.72/1723.07 c (FJ) 0: step 28600000 viol 328 good 0 bumps 12836707 1718.72/1723.07 c (FJ) 0: step 28700000 viol 332 good 1 bumps 12860522 1718.72/1723.07 c (FJ) 0: step 28800000 viol 330 good 0 bumps 12909646 1718.72/1723.07 c (FJ) 0: step 28900000 viol 332 good 0 bumps 12958528 1718.72/1723.07 c (FJ) 0: step 29000000 viol 329 good 0 bumps 13006391 1718.72/1723.07 c (FJ) 0: step 29100000 viol 328 good 0 bumps 13053567 1718.72/1723.07 c (FJ) 0: step 29200000 viol 327 good 0 bumps 13101672 1718.72/1723.07 c (FJ) 0: step 29300000 viol 335 good 1 bumps 13150954 1718.72/1723.07 c (FJ) 0: step 29400000 viol 321 good 0 bumps 13199061 1718.72/1723.07 c (FJ) 0: step 29500000 viol 322 good 0 bumps 13248029 1718.72/1723.07 c (FJ) 0: step 29600000 viol 321 good 1 bumps 13296811 1718.72/1723.07 c (FJ) 0: step 29700000 viol 323 good 1 bumps 13345554 1718.72/1723.07 c (FJ) 0: step 29800000 viol 333 good 1 bumps 13394896 2141.26/2146.60 c (FJ) 0: step 29900000 viol 332 good 1 bumps 13439033 2141.26/2146.60 c (FJ) 0: step 30000000 viol 319 good 1 bumps 13487290 2141.26/2146.60 c (FJ) 0: step 30100000 viol 315 good 0 bumps 13536251 2141.26/2146.60 c (FJ) 0: step 30200000 viol 316 good 0 bumps 13583300 2141.26/2146.60 c (FJ) 0: step 30300000 viol 317 good 1 bumps 13632243 2141.26/2146.60 c (FJ) 0: step 30400000 viol 310 good 0 bumps 13681054 2141.26/2146.60 c (FJ) 0: step 30500000 viol 314 good 0 bumps 13726545 2141.26/2146.60 c (FJ) 0: step 30600000 viol 323 good 1 bumps 13775433 2141.26/2146.60 c (FJ) 0: step 30700000 viol 336 good 1 bumps 13824443 2141.26/2146.60 c (FJ) 0: step 30800000 viol 335 good 1 bumps 13873645 2141.26/2146.60 c (FJ) 0: step 30900000 viol 330 good 0 bumps 13922743 2141.26/2146.60 c (FJ) 0: step 31000000 viol 335 good 1 bumps 13971702 2141.26/2146.60 c (FJ) 0: step 31100000 viol 333 good 16 bumps 14020467 2141.26/2146.60 c (FJ) 0: step 31200000 viol 322 good 1 bumps 14061652 2141.26/2146.60 c (FJ) 0: step 31300000 viol 323 good 0 bumps 14110900 2141.26/2146.60 c (FJ) 0: step 31400000 viol 316 good 0 bumps 14159643 2141.26/2146.60 c (FJ) 0: step 31500000 viol 325 good 1 bumps 14205229 2141.26/2146.60 c (FJ) 0: step 31600000 viol 320 good 1 bumps 14254179 2141.26/2146.60 c (FJ) 0: step 31700000 viol 320 good 1 bumps 14303298 2141.26/2146.60 c (FJ) 0: step 31800000 viol 324 good 0 bumps 14351161 2141.26/2146.60 c (FJ) 0: step 31900000 viol 328 good 0 bumps 14395267 2141.26/2146.60 c (FJ) 0: step 32000000 viol 329 good 3 bumps 14441739 2141.26/2146.60 c (FJ) 0: step 32100000 viol 323 good 0 bumps 14484995 2141.26/2146.60 c (FJ) 0: step 32200000 viol 325 good 2 bumps 14528549 2141.26/2146.60 c (FJ) 0: step 32300000 viol 322 good 0 bumps 14571019 2141.26/2146.60 c (FJ) 0: step 32400000 viol 322 good 1 bumps 14612389 2141.26/2146.60 c (FJ) 0: step 32500000 viol 323 good 0 bumps 14650679 2141.26/2146.60 c (FJ) 0: step 32600000 viol 321 good 1 bumps 14693037 2141.26/2146.60 c (FJ) 0: step 32700000 viol 316 good 0 bumps 14735183 2141.26/2146.60 c (FJ) 0: step 32800000 viol 307 good 0 bumps 14781239 2141.26/2146.60 c (FJ) 0: step 32900000 viol 314 good 0 bumps 14830416 2141.26/2146.60 c (FJ) 0: step 33000000 viol 333 good 0 bumps 14879143 2141.26/2146.60 c (FJ) 0: step 33100000 viol 334 good 0 bumps 14927656 2141.26/2146.60 c (FJ) 0: step 33200000 viol 344 good 0 bumps 14976202 2141.26/2146.60 c (FJ) 0: step 33300000 viol 333 good 0 bumps 15024960 2141.26/2146.60 c (FJ) 0: step 33400000 viol 331 good 0 bumps 15073788 2141.26/2146.60 c (FJ) 0: step 33500000 viol 339 good 0 bumps 15118933 2141.26/2146.60 c (FJ) 0: step 33600000 viol 324 good 1 bumps 15167887 2141.26/2146.60 c (FJ) 0: step 33700000 viol 325 good 2 bumps 15215090 2141.26/2146.60 c (FJ) 0: step 33800000 viol 325 good 0 bumps 15258958 2141.26/2146.60 c (FJ) 0: step 33900000 viol 323 good 1 bumps 15307778 2141.26/2146.60 c (FJ) 0: step 34000000 viol 331 good 19 bumps 15344537 2141.26/2146.60 c (FJ) 0: step 34100000 viol 325 good 0 bumps 15358410 2141.26/2146.60 c (FJ) 0: step 34200000 viol 325 good 2 bumps 15406321 2141.26/2146.60 c (FJ) 0: step 34300000 viol 323 good 0 bumps 15451366 2141.26/2146.60 c (FJ) 0: step 34400000 viol 332 good 0 bumps 15500270 2141.26/2146.60 c (FJ) 0: step 34500000 viol 320 good 1 bumps 15549125 2141.26/2146.60 c (FJ) 0: step 34600000 viol 335 good 1 bumps 15598181 2141.26/2146.60 c (FJ) 0: step 34700000 viol 329 good 0 bumps 15647219 2141.26/2146.60 c (FJ) 0: step 34800000 viol 330 good 1 bumps 15696075 2141.26/2146.60 c (FJ) 0: step 34900000 viol 323 good 0 bumps 15745181 2141.26/2146.60 c (FJ) 0: step 35000000 viol 328 good 0 bumps 15794201 2141.26/2146.60 c (FJ) 0: step 35100000 viol 333 good 0 bumps 15843320 2141.26/2146.60 c (FJ) 0: step 35200000 viol 330 good 0 bumps 15892193 2141.26/2146.60 c (FJ) 0: step 35300000 viol 333 good 75 bumps 15939981 2141.26/2146.60 c (FJ) 0: step 35400000 viol 326 good 0 bumps 15987361 2141.26/2146.60 c (FJ) 0: step 35500000 viol 326 good 18 bumps 16005212 2141.26/2146.60 c (FJ) 0: step 35600000 viol 331 good 22 bumps 16017318 2141.26/2146.60 c (FJ) 0: step 35700000 viol 332 good 1 bumps 16030296 2141.26/2146.60 c (FJ) 0: step 35800000 viol 337 good 30 bumps 16043270 2141.26/2146.60 c (FJ) 0: step 35900000 viol 340 good 1 bumps 16058852 2141.26/2146.60 c (FJ) 0: step 36000000 viol 341 good 0 bumps 16108350 2141.26/2146.60 c (FJ) 0: step 36100000 viol 330 good 0 bumps 16155441 2141.26/2146.60 c (FJ) 0: step 36200000 viol 331 good 17 bumps 16202504 2141.26/2146.60 c (FJ) 0: step 36300000 viol 326 good 1 bumps 16251706 2141.26/2146.60 c (FJ) 0: step 36400000 viol 330 good 1 bumps 16300683 2141.26/2146.60 c (FJ) 0: step 36500000 viol 328 good 0 bumps 16349327 2141.26/2146.60 c (FJ) 0: step 36600000 viol 335 good 1 bumps 16398465 2141.26/2146.60 c (FJ) 0: step 36700000 viol 324 good 0 bumps 16447301 2141.26/2146.60 c (FJ) 0: step 36800000 viol 320 good 0 bumps 16496300 2141.26/2146.60 c (FJ) 0: step 36900000 viol 324 good 1 bumps 16541914 2141.26/2146.60 c (FJ) 0: step 37000000 viol 324 good 0 bumps 16582541 2141.26/2146.60 c (FJ) 0: step 37100000 viol 318 good 2 bumps 16627579 2141.26/2146.60 c (FJ) 0: step 37200000 viol 321 good 0 bumps 16671701 2567.79/2574.28 c (FJ) 0: step 37300000 viol 314 good 0 bumps 16717183 2567.79/2574.28 c (FJ) 0: step 37400000 viol 316 good 0 bumps 16764622 2567.79/2574.28 c (FJ) 0: step 37500000 viol 323 good 1 bumps 16814060 2567.79/2574.28 c (FJ) 0: step 37600000 viol 314 good 0 bumps 16863478 2567.79/2574.28 c (FJ) 0: step 37700000 viol 318 good 1 bumps 16912577 2567.79/2574.28 c (FJ) 0: step 37800000 viol 316 good 1 bumps 16939368 2567.79/2574.28 c (FJ) 0: step 37900000 viol 324 good 1 bumps 16986773 2567.79/2574.28 c (FJ) 0: step 38000000 viol 324 good 0 bumps 17035722 2567.79/2574.28 c (FJ) 0: step 38100000 viol 338 good 1 bumps 17084839 2567.79/2574.28 c (FJ) 0: step 38200000 viol 335 good 1 bumps 17134154 2567.79/2574.28 c (FJ) 0: step 38300000 viol 331 good 1 bumps 17177724 2567.79/2574.28 c (FJ) 0: step 38400000 viol 325 good 0 bumps 17217007 2567.79/2574.28 c (FJ) 0: step 38500000 viol 332 good 0 bumps 17257385 2567.79/2574.28 c (FJ) 0: step 38600000 viol 334 good 0 bumps 17300348 2567.79/2574.28 c (FJ) 0: step 38700000 viol 324 good 1 bumps 17349804 2567.79/2574.28 c (FJ) 0: step 38800000 viol 327 good 0 bumps 17399170 2567.79/2574.28 c (FJ) 0: step 38900000 viol 324 good 1 bumps 17448287 2567.79/2574.28 c (FJ) 0: step 39000000 viol 324 good 0 bumps 17497393 2567.79/2574.28 c (FJ) 0: step 39100000 viol 314 good 1 bumps 17545724 2567.79/2574.28 c (FJ) 0: step 39200000 viol 314 good 0 bumps 17594733 2567.79/2574.28 c (FJ) 0: step 39300000 viol 319 good 0 bumps 17642534 2567.79/2574.28 c (FJ) 0: step 39400000 viol 323 good 1 bumps 17691949 2567.79/2574.28 c (FJ) 0: step 39500000 viol 320 good 1 bumps 17740995 2567.79/2574.28 c (FJ) 0: step 39600000 viol 315 good 0 bumps 17790081 2567.79/2574.28 c (FJ) 0: step 39700000 viol 317 good 0 bumps 17838822 2567.79/2574.28 c (FJ) 0: step 39800000 viol 323 good 1 bumps 17887611 2567.79/2574.28 c (FJ) 0: step 39900000 viol 321 good 0 bumps 17936421 2567.79/2574.28 c (FJ) 0: step 40000000 viol 306 good 0 bumps 17985225 2567.79/2574.28 c (FJ) 0: step 40100000 viol 293 good 0 bumps 18033893 2567.79/2574.28 c (FJ) 0: step 40200000 viol 298 good 0 bumps 18079202 2567.79/2574.28 c (FJ) 0: step 40300000 viol 300 good 7 bumps 18103113 2567.79/2574.28 c (FJ) 0: step 40400000 viol 300 good 17 bumps 18111609 2567.79/2574.28 c (FJ) 0: step 40500000 viol 307 good 0 bumps 18133511 2567.79/2574.28 c (FJ) 0: step 40600000 viol 312 good 0 bumps 18182699 2567.79/2574.28 c (FJ) 0: step 40700000 viol 321 good 0 bumps 18231852 2567.79/2574.28 c (FJ) 0: step 40800000 viol 310 good 1 bumps 18280987 2567.79/2574.28 c (FJ) 0: step 40900000 viol 319 good 0 bumps 18330356 2567.79/2574.28 c (FJ) 0: step 41000000 viol 328 good 0 bumps 18379657 2567.79/2574.28 c (FJ) 0: step 41100000 viol 322 good 2 bumps 18419210 2567.79/2574.28 c (FJ) 0: step 41200000 viol 310 good 1 bumps 18456292 2567.79/2574.28 c (FJ) 0: step 41300000 viol 311 good 1 bumps 18497733 2567.79/2574.28 c (FJ) 0: step 41400000 viol 317 good 1 bumps 18547031 2567.79/2574.28 c (FJ) 0: step 41500000 viol 314 good 1 bumps 18595712 2567.79/2574.28 c (FJ) 0: step 41600000 viol 321 good 0 bumps 18641794 2567.79/2574.28 c (FJ) 0: step 41700000 viol 320 good 1 bumps 18685600 2567.79/2574.28 c (FJ) 0: step 41800000 viol 327 good 0 bumps 18730558 2567.79/2574.28 c (FJ) 0: step 41900000 viol 321 good 0 bumps 18776782 2567.79/2574.28 c (FJ) 0: step 42000000 viol 310 good 0 bumps 18816352 2567.79/2574.28 c (FJ) 0: step 42100000 viol 317 good 2 bumps 18855452 2567.79/2574.28 c (FJ) 0: step 42200000 viol 317 good 1 bumps 18897436 2567.79/2574.28 c (FJ) 0: step 42300000 viol 326 good 0 bumps 18937869 2567.79/2574.28 c (FJ) 0: step 42400000 viol 332 good 2 bumps 18977146 2567.79/2574.28 c (FJ) 0: step 42500000 viol 338 good 0 bumps 19017505 2567.79/2574.28 c (FJ) 0: step 42600000 viol 331 good 0 bumps 19066349 2567.79/2574.28 c (FJ) 0: step 42700000 viol 321 good 0 bumps 19115205 2567.79/2574.28 c (FJ) 0: step 42800000 viol 310 good 1 bumps 19161128 2567.79/2574.28 c (FJ) 0: step 42900000 viol 317 good 0 bumps 19210182 2567.79/2574.28 c (FJ) 0: step 43000000 viol 315 good 1 bumps 19254948 2567.79/2574.28 c (FJ) 0: step 43100000 viol 319 good 0 bumps 19304174 2567.79/2574.28 c (FJ) 0: step 43200000 viol 308 good 1 bumps 19353009 2567.79/2574.28 c (FJ) 0: step 43300000 viol 317 good 0 bumps 19401975 2567.79/2574.28 c (FJ) 0: step 43400000 viol 325 good 0 bumps 19449853 2567.79/2574.28 c (FJ) 0: step 43500000 viol 324 good 1 bumps 19497137 2567.79/2574.28 c (FJ) 0: step 43600000 viol 322 good 1 bumps 19546073 2567.79/2574.28 c (FJ) 0: step 43700000 viol 322 good 0 bumps 19595291 2567.79/2574.28 c (FJ) 0: step 43800000 viol 328 good 0 bumps 19644499 2567.79/2574.28 c (FJ) 0: step 43900000 viol 335 good 0 bumps 19693588 2567.79/2574.28 c (FJ) 0: step 44000000 viol 337 good 1 bumps 19742672 2567.79/2574.28 c (FJ) 0: step 44100000 viol 336 good 1 bumps 19791668 2567.79/2574.28 c (FJ) 0: step 44200000 viol 338 good 1 bumps 19840660 2567.79/2574.28 c (FJ) 0: step 44300000 viol 329 good 1 bumps 19889480 2567.79/2574.28 c (FJ) 0: step 44400000 viol 332 good 1 bumps 19938427 2567.79/2574.28 c (FJ) 0: step 44500000 viol 330 good 0 bumps 19987203 2567.79/2574.28 c (FJ) 0: step 44600000 viol 331 good 1 bumps 20035985 3025.26/3032.83 c (FJ) 0: step 44700000 viol 328 good 0 bumps 20078997 3025.26/3032.83 c (FJ) 0: step 44800000 viol 314 good 1 bumps 20122235 3025.26/3032.83 c (FJ) 0: step 44900000 viol 315 good 0 bumps 20171185 3025.26/3032.83 c (FJ) 0: step 45000000 viol 317 good 0 bumps 20213250 3025.26/3032.83 c (FJ) 0: step 45100000 viol 322 good 0 bumps 20261581 3025.26/3032.83 c (FJ) 0: step 45200000 viol 328 good 1 bumps 20310706 3025.26/3032.83 c (FJ) 0: step 45300000 viol 323 good 0 bumps 20359649 3025.26/3032.83 c (FJ) 0: step 45400000 viol 330 good 1 bumps 20408808 3025.26/3032.83 c (FJ) 0: step 45500000 viol 329 good 0 bumps 20457735 3025.26/3032.83 c (FJ) 0: step 45600000 viol 337 good 0 bumps 20506660 3025.26/3032.83 c (FJ) 0: step 45700000 viol 319 good 0 bumps 20555681 3025.26/3032.83 c (FJ) 0: step 45800000 viol 323 good 1 bumps 20603352 3025.26/3032.83 c (FJ) 0: step 45900000 viol 327 good 0 bumps 20648263 3025.26/3032.83 c (FJ) 0: step 46000000 viol 344 good 1 bumps 20697232 3025.26/3032.83 c (FJ) 0: step 46100000 viol 340 good 1 bumps 20741175 3025.26/3032.83 c (FJ) 0: step 46200000 viol 341 good 1 bumps 20789825 3025.26/3032.83 c (FJ) 0: step 46300000 viol 338 good 0 bumps 20838795 3025.26/3032.83 c (FJ) 0: step 46400000 viol 338 good 4 bumps 20887596 3025.26/3032.83 c (FJ) 0: step 46500000 viol 322 good 0 bumps 20935932 3025.26/3032.83 c (FJ) 0: step 46600000 viol 323 good 0 bumps 20980238 3025.26/3032.83 c (FJ) 0: step 46700000 viol 324 good 1 bumps 21028083 3025.26/3032.83 c (FJ) 0: step 46800000 viol 318 good 1 bumps 21076855 3025.26/3032.83 c (FJ) 0: step 46900000 viol 316 good 0 bumps 21126224 3025.26/3032.83 c (FJ) 0: step 47000000 viol 306 good 0 bumps 21175508 3025.26/3032.83 c (FJ) 0: step 47100000 viol 315 good 0 bumps 21224233 3025.26/3032.83 c (FJ) 0: step 47200000 viol 314 good 0 bumps 21272783 3025.26/3032.83 c (FJ) 0: step 47300000 viol 317 good 1 bumps 21321237 3025.26/3032.83 c (FJ) 0: step 47400000 viol 312 good 0 bumps 21370176 3025.26/3032.83 c (FJ) 0: step 47500000 viol 319 good 1 bumps 21418943 3025.26/3032.83 c (FJ) 0: step 47600000 viol 315 good 1 bumps 21466994 3025.26/3032.83 c (FJ) 0: step 47700000 viol 319 good 0 bumps 21514650 3025.26/3032.83 c (FJ) 0: step 47800000 viol 322 good 0 bumps 21563384 3025.26/3032.83 c (FJ) 0: step 47900000 viol 335 good 1 bumps 21612276 3025.26/3032.83 c (FJ) 0: step 48000000 viol 335 good 0 bumps 21661276 3025.26/3032.83 c (FJ) 0: step 48100000 viol 328 good 0 bumps 21709294 3025.26/3032.83 c (FJ) 0: step 48200000 viol 336 good 2 bumps 21758167 3025.26/3032.83 c (FJ) 0: step 48300000 viol 339 good 0 bumps 21807213 3025.26/3032.83 c (FJ) 0: step 48400000 viol 348 good 0 bumps 21856333 3025.26/3032.83 c (FJ) 0: step 48500000 viol 344 good 1 bumps 21905104 3025.26/3032.83 c (FJ) 0: step 48600000 viol 352 good 0 bumps 21953701 3025.26/3032.83 c (FJ) 0: step 48700000 viol 339 good 1 bumps 22002382 3025.26/3032.83 c (FJ) 0: step 48800000 viol 333 good 1 bumps 22051272 3025.26/3032.83 c (FJ) 0: step 48900000 viol 326 good 0 bumps 22100143 3025.26/3032.83 c (FJ) 0: step 49000000 viol 336 good 1 bumps 22148730 3025.26/3032.83 c (FJ) 0: step 49100000 viol 329 good 3 bumps 22192730 3025.26/3032.83 c (FJ) 0: step 49200000 viol 327 good 0 bumps 22227788 3025.26/3032.83 c (FJ) 0: step 49300000 viol 331 good 0 bumps 22270783 3025.26/3032.83 c (FJ) 0: step 49400000 viol 326 good 1 bumps 22319007 3025.26/3032.83 c (FJ) 0: step 49500000 viol 328 good 1 bumps 22358379 3025.26/3032.83 c (FJ) 0: step 49600000 viol 321 good 1 bumps 22407090 3025.26/3032.83 c (FJ) 0: step 49700000 viol 325 good 1 bumps 22456272 3025.26/3032.83 c (FJ) 0: step 49800000 viol 323 good 0 bumps 22505161 3025.26/3032.83 c (FJ) 0: step 49900000 viol 326 good 1 bumps 22554132 3025.26/3032.83 c (FJ) 0: step 50000000 viol 322 good 1 bumps 22602841 3025.26/3032.83 c (FJ) 0: step 50100000 viol 325 good 0 bumps 22652263 3025.26/3032.83 c (FJ) 0: step 50200000 viol 329 good 1 bumps 22700955 3025.26/3032.83 c (FJ) 0: step 50300000 viol 328 good 0 bumps 22748637 3025.26/3032.83 c (FJ) 0: step 50400000 viol 323 good 0 bumps 22797611 3025.26/3032.83 c (FJ) 0: step 50500000 viol 321 good 1 bumps 22845119 3025.26/3032.83 c (FJ) 0: step 50600000 viol 320 good 1 bumps 22892998 3025.26/3032.83 c (FJ) 0: step 50700000 viol 326 good 1 bumps 22935081 3025.26/3032.83 c (FJ) 0: step 50800000 viol 327 good 1 bumps 22984403 3025.26/3032.83 c (FJ) 0: step 50900000 viol 328 good 0 bumps 23033150 3025.26/3032.83 c (FJ) 0: step 51000000 viol 326 good 0 bumps 23082035 3025.26/3032.83 c (FJ) 0: step 51100000 viol 311 good 0 bumps 23130529 3025.26/3032.83 c (FJ) 0: step 51200000 viol 315 good 1 bumps 23179509 3025.26/3032.83 c (FJ) 0: step 51300000 viol 323 good 0 bumps 23228259 3025.26/3032.83 c (FJ) 0: step 51400000 viol 327 good 1 bumps 23276872 3025.26/3032.83 c (FJ) 0: step 51500000 viol 322 good 0 bumps 23325761 3025.26/3032.83 c (FJ) 0: step 51600000 viol 327 good 0 bumps 23374986 3025.26/3032.83 c (FJ) 0: step 51700000 viol 332 good 1 bumps 23418701 3025.26/3032.83 c (FJ) 0: step 51800000 viol 333 good 0 bumps 23465472 3025.26/3032.83 c (FJ) 0: step 51900000 viol 322 good 0 bumps 23514582 3025.26/3032.83 c (FJ) 0: step 52000000 viol 322 good 1 bumps 23562413 3025.26/3032.83 c (FJ) 0: step 52100000 viol 325 good 0 bumps 23611785 3459.56/3468.24 c (FJ) 0: step 52200000 viol 316 good 1 bumps 23660300 3459.56/3468.24 c (FJ) 0: step 52300000 viol 320 good 0 bumps 23709367 3459.56/3468.24 c (FJ) 0: step 52400000 viol 321 good 70 bumps 23758576 3459.56/3468.24 c (FJ) 0: step 52500000 viol 333 good 0 bumps 23797876 3459.56/3468.24 c (FJ) 0: step 52600000 viol 326 good 1 bumps 23846849 3459.56/3468.24 c (FJ) 0: step 52700000 viol 320 good 1 bumps 23895151 3459.56/3468.24 c (FJ) 0: step 52800000 viol 327 good 1 bumps 23933948 3459.56/3468.24 c (FJ) 0: step 52900000 viol 333 good 1 bumps 23972266 3459.56/3468.24 c (FJ) 0: step 53000000 viol 331 good 0 bumps 24021474 3459.56/3468.24 c (FJ) 0: step 53100000 viol 330 good 0 bumps 24070815 3459.56/3468.24 c (FJ) 0: step 53200000 viol 325 good 0 bumps 24120101 3459.56/3468.24 c (FJ) 0: step 53300000 viol 324 good 1 bumps 24168177 3459.56/3468.24 c (FJ) 0: step 53400000 viol 327 good 1 bumps 24217301 3459.56/3468.24 c (FJ) 0: step 53500000 viol 331 good 0 bumps 24265797 3459.56/3468.24 c (FJ) 0: step 53600000 viol 334 good 1 bumps 24310353 3459.56/3468.24 c (FJ) 0: step 53700000 viol 343 good 1 bumps 24357785 3459.56/3468.24 c (FJ) 0: step 53800000 viol 349 good 1 bumps 24407358 3459.56/3468.24 c (FJ) 0: step 53900000 viol 349 good 0 bumps 24456815 3459.56/3468.24 c (FJ) 0: step 54000000 viol 338 good 0 bumps 24505927 3459.56/3468.24 c (FJ) 0: step 54100000 viol 345 good 1 bumps 24555331 3459.56/3468.24 c (FJ) 0: step 54200000 viol 341 good 189 bumps 24604370 3459.56/3468.24 c (FJ) 0: step 54300000 viol 333 good 1 bumps 24653595 3459.56/3468.24 c (FJ) 0: step 54400000 viol 329 good 1 bumps 24702864 3459.56/3468.24 c (FJ) 0: step 54500000 viol 323 good 0 bumps 24751591 3459.56/3468.24 c (FJ) 0: step 54600000 viol 327 good 1 bumps 24800713 3459.56/3468.24 c (FJ) 0: step 54700000 viol 330 good 0 bumps 24849998 3459.56/3468.24 c (FJ) 0: step 54800000 viol 330 good 0 bumps 24899135 3459.56/3468.24 c (FJ) 0: step 54900000 viol 330 good 1 bumps 24947393 3459.56/3468.24 c (FJ) 0: step 55000000 viol 328 good 1 bumps 24996478 3459.56/3468.24 c (FJ) 0: step 55100000 viol 324 good 1 bumps 25045925 3459.56/3468.24 c (FJ) 0: step 55200000 viol 330 good 4 bumps 25095295 3459.56/3468.24 c (FJ) 0: step 55300000 viol 328 good 0 bumps 25144798 3459.56/3468.24 c (FJ) 0: step 55400000 viol 320 good 1 bumps 25194158 3459.56/3468.24 c (FJ) 0: step 55500000 viol 321 good 1 bumps 25223636 3459.56/3468.24 c (FJ) 0: step 55600000 viol 320 good 3 bumps 25247341 3459.56/3468.24 c (FJ) 0: step 55700000 viol 322 good 1 bumps 25256237 3459.56/3468.24 c (FJ) 0: step 55800000 viol 328 good 0 bumps 25265370 3459.56/3468.24 c (FJ) 0: step 55900000 viol 330 good 0 bumps 25314589 3459.56/3468.24 c (FJ) 0: step 56000000 viol 334 good 9 bumps 25330183 3459.56/3468.24 c (FJ) 0: step 56100000 viol 334 good 1 bumps 25350065 3459.56/3468.24 c (FJ) 0: step 56200000 viol 332 good 0 bumps 25399068 3459.56/3468.24 c (FJ) 0: step 56300000 viol 323 good 1 bumps 25448224 3459.56/3468.24 c (FJ) 0: step 56400000 viol 316 good 1 bumps 25497129 3459.56/3468.24 c (FJ) 0: step 56500000 viol 316 good 1 bumps 25546217 3459.56/3468.24 c (FJ) 0: step 56600000 viol 327 good 2 bumps 25595113 3459.56/3468.24 c (FJ) 0: step 56700000 viol 320 good 0 bumps 25644146 3459.56/3468.24 c (FJ) 0: step 56800000 viol 319 good 0 bumps 25693262 3459.56/3468.24 c (FJ) 0: step 56900000 viol 321 good 1 bumps 25742457 3459.56/3468.24 c (FJ) 0: step 57000000 viol 314 good 0 bumps 25789893 3459.56/3468.24 c (FJ) 0: step 57100000 viol 320 good 1 bumps 25838942 3459.56/3468.24 c (FJ) 0: step 57200000 viol 302 good 1 bumps 25886901 3459.56/3468.24 c (FJ) 0: step 57300000 viol 310 good 1 bumps 25936241 3459.56/3468.24 c (FJ) 0: step 57400000 viol 313 good 1 bumps 25985531 3459.56/3468.24 c (FJ) 0: step 57500000 viol 321 good 1 bumps 26033439 3459.56/3468.24 c (FJ) 0: step 57600000 viol 328 good 2 bumps 26080340 3459.56/3468.24 c (FJ) 0: step 57700000 viol 326 good 0 bumps 26126416 3459.56/3468.24 c (FJ) 0: step 57800000 viol 328 good 1 bumps 26175399 3459.56/3468.24 c (FJ) 0: step 57900000 viol 317 good 0 bumps 26224439 3459.56/3468.24 c (FJ) 0: step 58000000 viol 318 good 0 bumps 26271299 3459.56/3468.24 c (FJ) 0: step 58100000 viol 318 good 0 bumps 26312935 3459.56/3468.24 c (FJ) 0: step 58200000 viol 315 good 0 bumps 26362185 3459.56/3468.24 c (FJ) 0: step 58300000 viol 325 good 0 bumps 26411570 3459.56/3468.24 c (FJ) 0: step 58400000 viol 322 good 0 bumps 26460917 3459.56/3468.24 c (FJ) 0: step 58500000 viol 321 good 1 bumps 26506869 3459.56/3468.24 c (FJ) 0: step 58600000 viol 321 good 0 bumps 26539177 3459.56/3468.24 c (FJ) 0: step 58700000 viol 323 good 0 bumps 26587438 3459.56/3468.24 c (FJ) 0: step 58800000 viol 330 good 1 bumps 26635336 3459.56/3468.24 c (FJ) 0: step 58900000 viol 322 good 1 bumps 26684835 3459.56/3468.24 c (FJ) 0: step 59000000 viol 318 good 1 bumps 26730839 3459.56/3468.24 c (FJ) 0: step 59100000 viol 327 good 1 bumps 26780186 3459.56/3468.24 c (FJ) 0: step 59200000 viol 328 good 1 bumps 26829645 3459.56/3468.24 c (FJ) 0: step 59300000 viol 325 good 0 bumps 26879043 3459.56/3468.24 c (FJ) 0: step 59400000 viol 331 good 0 bumps 26928350 3459.56/3468.24 c (FJ) 0: step 59500000 viol 325 good 1 bumps 26977871 3591.02/3600.02 c (FJ) 0: step 59600000 viol 319 good 0 bumps 27027344 3591.02/3600.02 c (FJ) 0: step 59700000 viol 304 good 0 bumps 27076500 3591.02/3600.02 c (FJ) 0: step 59800000 viol 322 good 0 bumps 27125634 3591.02/3600.02 c (FJ) 0: step 59900000 viol 320 good 7 bumps 27161903 3591.02/3600.02 c (FJ) 0: step 60000000 viol 323 good 4 bumps 27173235 3591.02/3600.02 c (FJ) 0: step 60100000 viol 321 good 1 bumps 27186246 3591.02/3600.02 c (FJ) 0: step 60200000 viol 322 good 2 bumps 27196979 3591.02/3600.02 c (FJ) 0: step 60300000 viol 328 good 15 bumps 27208320 3591.02/3600.02 c (FJ) 0: step 60400000 viol 325 good 10 bumps 27238483 3591.02/3600.02 c (FJ) 0: step 60500000 viol 322 good 0 bumps 27286878 3591.02/3600.02 c (FJ) 0: step 60600000 viol 330 good 1 bumps 27335923 3591.02/3600.02 c (FJ) 0: step 60700000 viol 342 good 1 bumps 27384965 3591.02/3600.02 c (FJ) 0: step 60800000 viol 336 good 1 bumps 27434033 3591.02/3600.02 c (FJ) 0: step 60900000 viol 320 good 1 bumps 27482686 3591.02/3600.02 c (FJ) 0: step 61000000 viol 327 good 0 bumps 27531783 3591.02/3600.02 c (FJ) 0: step 61100000 viol 323 good 1 bumps 27581001 3591.02/3600.02 c (FJ) 0: step 61200000 viol 334 good 1 bumps 27630069 3591.02/3600.02 c (FJ) 0: step 61300000 viol 327 good 0 bumps 27679145 3591.02/3600.02 c (FJ) 0: step 61400000 viol 334 good 1 bumps 27728506 3591.02/3600.02 c (FJ) 0: step 61500000 viol 321 good 1 bumps 27777696 3591.02/3600.02 c (FJ) 0: step 61600000 viol 326 good 0 bumps 27820977 3591.02/3600.02 c (FJ) 0: step 61700000 viol 338 good 0 bumps 27860504 3591.02/3600.02 c (FJ) 0: step 61800000 viol 334 good 1 bumps 27900185 3591.02/3600.02 c (FJ) 0: step 61900000 viol 325 good 1 bumps 27943194 3591.02/3600.02 c (FJ) 0: quitting because time 3600 > 3600. 3591.02/3600.02 c (FJ) 0: effort rate: 235.89 Mops/sec 3591.02/3600.02 c (FJ) all threads exited. 3591.02/3600.02 s UNKNOWN
ERROR: no interpretation found !
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: 63931 MiB (61472 MiB free)
memory of node 1: 64510 MiB (62296 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434584-1721064090/watcher-4434584-1721064090 -o /tmp/evaluation-result-4434584-1721064090/solver-4434584-1721064090 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721064102-809920 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434584-1721064090.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=809979, runsolver pid=809965
[startup+0.100099 s]*
/proc/loadavg: 1.18 1.67 2.11 7/258 809985
/proc/meminfo: memFree=126622508/131524600 swapFree=131071996/131071996
[pid=809979] ppid=809965 vsize=100592 memory=18712 CPUtime=0.1 cores=1,3
/proc/809979/stat : 809979 (fscip) S 809965 809979 809908 0 -1 1077936128 3465 0 0 0 10 0 0 0 20 0 2 0 158578738 103006208 4678 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
/proc/809979/statm: 25148 4678 2254 3032 0 6535 0
[pid=809979/tid=809985] ppid=809965 vsize=100592 memory=4026531971 CPUtime=0.08 cores=1,3
/proc/809979/task/809985/stat : 809985 (fscip) R 809965 809979 809908 0 -1 4194368 1605 0 0 0 8 0 0 0 20 0 2 0 158578741 103006208 4678 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 100592 KiB
Current children cumulated memory: 18712 KiB
[startup+0.206224 s]*
/proc/loadavg: 1.18 1.67 2.11 5/257 809999
/proc/meminfo: memFree=126573500/131524600 swapFree=131071996/131071996
[pid=809979] ppid=809965 vsize=100592 memory=18712 CPUtime=0.2 cores=1,3
/proc/809979/stat : 809979 (fscip) S 809965 809979 809908 0 -1 1077936128 3465 0 0 0 20 0 0 0 20 0 2 0 158578738 103006208 4678 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
/proc/809979/statm: 25148 4678 2254 3032 0 6535 0
[pid=809979/tid=809985] ppid=809965 vsize=100592 memory=664970851429515395 CPUtime=0.18 cores=1,3
/proc/809979/task/809985/stat : 809985 (fscip) R 809965 809979 809908 0 -1 4194368 1605 0 0 0 18 0 0 0 20 0 2 0 158578741 103006208 4678 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 100592 KiB
Current children cumulated memory: 18712 KiB
[startup+0.30539 s]*
/proc/loadavg: 1.18 1.67 2.11 5/255 810011
/proc/meminfo: memFree=126559276/131524600 swapFree=131071996/131071996
[pid=809979] ppid=809965 vsize=100592 memory=18712 CPUtime=0.3 cores=1,3
/proc/809979/stat : 809979 (fscip) S 809965 809979 809908 0 -1 1077936128 3465 0 0 0 30 0 0 0 20 0 2 0 158578738 103006208 4678 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
/proc/809979/statm: 25148 4678 2254 3032 0 6535 0
[pid=809979/tid=809985] ppid=809965 vsize=100592 memory=-6876588628787748224 CPUtime=0.28 cores=1,3
/proc/809979/task/809985/stat : 809985 (fscip) R 809965 809979 809908 0 -1 4194368 1605 0 0 0 28 0 0 0 20 0 2 0 158578741 103006208 4678 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 100592 KiB
Current children cumulated memory: 18712 KiB
[startup+0.700225 s]
/proc/loadavg: 1.18 1.67 2.11 6/260 810031
/proc/meminfo: memFree=126534328/131524600 swapFree=131071996/131071996
[pid=809979] ppid=809965 vsize=100592 memory=18712 CPUtime=0.69 cores=1,3
/proc/809979/stat : 809979 (fscip) S 809965 809979 809908 0 -1 1077936128 3465 0 0 0 69 0 0 0 20 0 2 0 158578738 103006208 4678 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
/proc/809979/statm: 25148 4678 2254 3032 0 6535 0
[pid=809979/tid=809985] ppid=809965 vsize=100592 memory=2220 CPUtime=0.67 cores=1,3
/proc/809979/task/809985/stat : 809985 (fscip) R 809965 809979 809908 0 -1 4194368 1605 0 0 0 67 0 0 0 20 0 2 0 158578741 103006208 4678 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 100592 KiB
Current children cumulated memory: 18712 KiB
[startup+1.50025 s]
/proc/loadavg: 1.18 1.67 2.11 7/262 810033
/proc/meminfo: memFree=126352724/131524600 swapFree=131071996/131071996
[pid=809979] ppid=809965 vsize=100592 memory=18800 CPUtime=1.49 cores=1,3
/proc/809979/stat : 809979 (fscip) S 809965 809979 809908 0 -1 1077936128 4505 0 0 0 149 0 0 0 20 0 2 0 158578738 103006208 4700 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
/proc/809979/statm: 25148 4700 2254 3032 0 6535 0
[pid=809979/tid=809985] ppid=809965 vsize=100592 memory=2220 CPUtime=1.47 cores=1,3
/proc/809979/task/809985/stat : 809985 (fscip) R 809965 809979 809908 0 -1 4194368 2642 0 0 0 147 0 0 0 20 0 2 0 158578741 103006208 4700 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 100592 KiB
Current children cumulated memory: 18800 KiB
[startup+3.10615 s]
/proc/loadavg: 1.18 1.67 2.11 7/266 810039
/proc/meminfo: memFree=125876616/131524600 swapFree=131071996/131071996
[pid=809979] ppid=809965 vsize=100592 memory=18800 CPUtime=3.09 cores=1,3
/proc/809979/stat : 809979 (fscip) S 809965 809979 809908 0 -1 1077936128 4590 0 0 0 309 0 0 0 20 0 2 0 158578738 103006208 4700 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
/proc/809979/statm: 25148 4700 2254 3032 0 6535 0
[pid=809979/tid=809985] ppid=809965 vsize=100592 memory=-6296423079574944615 CPUtime=3.07 cores=1,3
/proc/809979/task/809985/stat : 809985 (fscip) R 809965 809979 809908 0 -1 4194368 2727 0 0 0 307 0 0 0 20 0 2 0 158578741 103006208 4700 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 100592 KiB
Current children cumulated memory: 18800 KiB
[startup+6.30024 s]
/proc/loadavg: 1.48 1.73 2.13 7/266 810039
/proc/meminfo: memFree=125714964/131524600 swapFree=131071996/131071996
[pid=809979] ppid=809965 vsize=100592 memory=18800 CPUtime=6.27 cores=1,3
/proc/809979/stat : 809979 (fscip) S 809965 809979 809908 0 -1 1077936128 5676 0 0 0 627 0 0 0 20 0 2 0 158578738 103006208 4700 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
/proc/809979/statm: 25148 4700 2254 3032 0 6535 0
[pid=809979/tid=809985] ppid=809965 vsize=100592 memory=12312 CPUtime=6.25 cores=1,3
/proc/809979/task/809985/stat : 809985 (fscip) R 809965 809979 809908 0 -1 4194368 3810 0 0 0 625 0 0 0 20 0 2 0 158578741 103006208 4700 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 100592 KiB
Current children cumulated memory: 18800 KiB
[startup+12.7002 s]
/proc/loadavg: 1.68 1.77 2.14 7/266 810039
/proc/meminfo: memFree=125700924/131524600 swapFree=131071996/131071996
[pid=809979] ppid=809965 vsize=100592 memory=19072 CPUtime=12.66 cores=1,3
/proc/809979/stat : 809979 (fscip) S 809965 809979 809908 0 -1 1077936128 7914 0 0 0 1266 0 0 0 20 0 2 0 158578738 103006208 4768 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
/proc/809979/statm: 25148 4768 2270 3032 0 6535 0
[pid=809979/tid=809985] ppid=809965 vsize=100592 memory=19072 CPUtime=12.63 cores=1,3
/proc/809979/task/809985/stat : 809985 (fscip) R 809965 809979 809908 0 -1 4194368 6041 0 0 0 1263 0 0 0 20 0 2 0 158578741 103006208 4768 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 100592 KiB
Current children cumulated memory: 19072 KiB
[startup+25.5003 s]
/proc/loadavg: 2.36 1.91 2.18 7/266 810042
/proc/meminfo: memFree=125680392/131524600 swapFree=131071996/131071996
[pid=809979] ppid=809965 vsize=100592 memory=19072 CPUtime=25.42 cores=1,3
/proc/809979/stat : 809979 (fscip) S 809965 809979 809908 0 -1 1077936128 10177 0 0 0 2542 0 0 0 20 0 2 0 158578738 103006208 4768 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
/proc/809979/statm: 25148 4768 2270 3032 0 6535 0
[pid=809979/tid=809985] ppid=809965 vsize=100592 memory=19072 CPUtime=25.4 cores=1,3
/proc/809979/task/809985/stat : 809985 (fscip) R 809965 809979 809908 0 -1 4194368 8297 0 0 0 2540 0 0 0 20 0 2 0 158578741 103006208 4768 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 100592 KiB
Current children cumulated memory: 19072 KiB
[startup+51.1062 s]
/proc/loadavg: 2.92 2.08 2.23 7/266 810046
/proc/meminfo: memFree=125613404/131524600 swapFree=131071996/131071996
[pid=809979] ppid=809965 vsize=100592 memory=19072 CPUtime=50.96 cores=1,3
/proc/809979/stat : 809979 (fscip) S 809965 809979 809908 0 -1 1077936128 13501 0 0 0 5095 1 0 0 20 0 2 0 158578738 103006208 4768 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
/proc/809979/statm: 25148 4768 2270 3032 0 6535 0
[pid=809979/tid=809985] ppid=809965 vsize=100592 memory=19072 CPUtime=50.93 cores=1,3
/proc/809979/task/809985/stat : 809985 (fscip) R 809965 809979 809908 0 -1 4194368 11612 0 0 0 5093 0 0 0 20 0 2 0 158578741 103006208 4768 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 100592 KiB
Current children cumulated memory: 19072 KiB
[startup+102.3 s]
/proc/loadavg: 3.53 2.38 2.32 7/266 810054
/proc/meminfo: memFree=125588600/131524600 swapFree=131071996/131071996
[pid=809979] ppid=809965 vsize=100592 memory=19072 CPUtime=102.03 cores=1,3
/proc/809979/stat : 809979 (fscip) S 809965 809979 809908 0 -1 1077936128 15807 0 0 0 10201 2 0 0 20 0 2 0 158578738 103006208 4768 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
/proc/809979/statm: 25148 4768 2270 3032 0 6535 0
[pid=809979/tid=809985] ppid=809965 vsize=100592 memory=19072 CPUtime=101.99 cores=1,3
/proc/809979/task/809985/stat : 809985 (fscip) R 809965 809979 809908 0 -1 4194368 13912 0 0 0 10199 0 0 0 20 0 2 0 158578741 103006208 4768 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 100592 KiB
Current children cumulated memory: 19072 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.71 2.44 8/266 810065
/proc/meminfo: memFree=125542424/131524600 swapFree=131071996/131071996
[pid=809979] ppid=809965 vsize=100592 memory=19072 CPUtime=161.87 cores=1,3
/proc/809979/stat : 809979 (fscip) S 809965 809979 809908 0 -1 1077936128 18059 0 0 0 16184 3 0 0 20 0 2 0 158578738 103006208 4768 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
/proc/809979/statm: 25148 4768 2270 3032 0 6535 0
[pid=809979/tid=809985] ppid=809965 vsize=100592 memory=19072 CPUtime=161.82 cores=1,3
/proc/809979/task/809985/stat : 809985 (fscip) R 809965 809979 809908 0 -1 4194368 16157 0 0 0 16182 0 0 0 20 0 2 0 158578741 103006208 4768 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 100592 KiB
Current children cumulated memory: 19072 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.97 2.55 7/266 810075
/proc/meminfo: memFree=125455680/131524600 swapFree=131071996/131071996
[pid=809979] ppid=809965 vsize=100592 memory=19072 CPUtime=221.71 cores=1,3
/proc/809979/stat : 809979 (fscip) S 809965 809979 809908 0 -1 1077936128 19190 0 0 0 22168 3 0 0 20 0 2 0 158578738 103006208 4768 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
/proc/809979/statm: 25148 4768 2270 3032 0 6535 0
[pid=809979/tid=809985] ppid=809965 vsize=100592 memory=12316 CPUtime=221.65 cores=1,3
/proc/809979/task/809985/stat : 809985 (fscip) R 809965 809979 809908 0 -1 4194368 17285 0 0 0 22165 0 0 0 20 0 2 0 158578741 103006208 4768 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 100592 KiB
Current children cumulated memory: 19072 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 3.18 2.65 8/265 810468
/proc/meminfo: memFree=125454488/131524600 swapFree=131071996/131071996
[pid=809979] ppid=809965 vsize=100592 memory=19072 CPUtime=281.55 cores=1,3
/proc/809979/stat : 809979 (fscip) S 809965 809979 809908 0 -1 1077936128 20317 0 0 0 28150 5 0 0 20 0 2 0 158578738 103006208 4768 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
/proc/809979/statm: 25148 4768 2270 3032 0 6535 0
[pid=809979/tid=809985] ppid=809965 vsize=100592 memory=19072 CPUtime=281.48 cores=1,3
/proc/809979/task/809985/stat : 809985 (fscip) R 809965 809979 809908 0 -1 4194368 18409 0 0 0 28148 0 0 0 20 0 2 0 158578741 103006208 4768 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 100592 KiB
################
# More data... #
################
/proc/809979/statm: 25148 4941 2270 3032 0 6535 0
[pid=809979/tid=809985] ppid=809965 vsize=100592 memory=19764 CPUtime=3273.47 cores=1,3
/proc/809979/task/809985/stat : 809985 (fscip) R 809965 809979 809908 0 -1 4194368 49165 0 0 0 327344 3 0 0 20 0 2 0 158578741 103006208 4941 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
Current children cumulated CPU time: 3274.12 s
Current children cumulated vsize: 100592 KiB
Current children cumulated memory: 19764 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.07 6/262 812246
/proc/meminfo: memFree=125176888/131524600 swapFree=131071996/131071996
[pid=809979] ppid=809965 vsize=100592 memory=19764 CPUtime=3333.97 cores=1,3
/proc/809979/stat : 809979 (fscip) S 809965 809979 809908 0 -1 1077936128 51780 0 0 0 333336 61 0 0 20 0 2 0 158578738 103006208 4941 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
/proc/809979/statm: 25148 4941 2270 3032 0 6535 0
[pid=809979/tid=809985] ppid=809965 vsize=100592 memory=19296 CPUtime=3333.3 cores=1,3
/proc/809979/task/809985/stat : 809985 (fscip) R 809965 809979 809908 0 -1 4194368 49719 0 0 0 333327 3 0 0 20 0 2 0 158578741 103006208 4941 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
Current children cumulated CPU time: 3333.97 s
Current children cumulated vsize: 100592 KiB
Current children cumulated memory: 19764 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.11 4.07 6/262 812256
/proc/meminfo: memFree=125152944/131524600 swapFree=131071996/131071996
[pid=809979] ppid=809965 vsize=100592 memory=19764 CPUtime=3393.82 cores=1,3
/proc/809979/stat : 809979 (fscip) S 809965 809979 809908 0 -1 1077936128 52339 0 0 0 339320 62 0 0 20 0 2 0 158578738 103006208 4941 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
/proc/809979/statm: 25148 4941 2270 3032 0 6535 0
[pid=809979/tid=809985] ppid=809965 vsize=100592 memory=19764 CPUtime=3393.14 cores=1,3
/proc/809979/task/809985/stat : 809985 (fscip) R 809965 809979 809908 0 -1 4194368 50275 0 0 0 339311 3 0 0 20 0 2 0 158578741 103006208 4941 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
Current children cumulated CPU time: 3393.82 s
Current children cumulated vsize: 100592 KiB
Current children cumulated memory: 19764 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.12 4.08 6/262 812266
/proc/meminfo: memFree=125148832/131524600 swapFree=131071996/131071996
[pid=809979] ppid=809965 vsize=100592 memory=19764 CPUtime=3453.66 cores=1,3
/proc/809979/stat : 809979 (fscip) S 809965 809979 809908 0 -1 1077936128 52903 0 0 0 345303 63 0 0 20 0 2 0 158578738 103006208 4941 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
/proc/809979/statm: 25148 4941 2270 3032 0 6535 0
[pid=809979/tid=809985] ppid=809965 vsize=100592 memory=40644 CPUtime=3452.97 cores=1,3
/proc/809979/task/809985/stat : 809985 (fscip) R 809965 809979 809908 0 -1 4194368 50836 0 0 0 345294 3 0 0 20 0 2 0 158578741 103006208 4941 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
Current children cumulated CPU time: 3453.66 s
Current children cumulated vsize: 100592 KiB
Current children cumulated memory: 19764 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.08 6/262 812276
/proc/meminfo: memFree=125148768/131524600 swapFree=131071996/131071996
[pid=809979] ppid=809965 vsize=100592 memory=19764 CPUtime=3513.51 cores=1,3
/proc/809979/stat : 809979 (fscip) S 809965 809979 809908 0 -1 1077936128 53461 0 0 0 351287 64 0 0 20 0 2 0 158578738 103006208 4941 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
/proc/809979/statm: 25148 4941 2270 3032 0 6535 0
[pid=809979/tid=809985] ppid=809965 vsize=100592 memory=19764 CPUtime=3512.81 cores=1,3
/proc/809979/task/809985/stat : 809985 (fscip) R 809965 809979 809908 0 -1 4194368 51391 0 0 0 351278 3 0 0 20 0 2 0 158578741 103006208 4941 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
Current children cumulated CPU time: 3513.51 s
Current children cumulated vsize: 100592 KiB
Current children cumulated memory: 19764 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.08 6/264 812292
/proc/meminfo: memFree=125136076/131524600 swapFree=131071996/131071996
[pid=809979] ppid=809965 vsize=100592 memory=19764 CPUtime=3573.36 cores=1,3
/proc/809979/stat : 809979 (fscip) S 809965 809979 809908 0 -1 1077936128 54021 0 0 0 357271 65 0 0 20 0 2 0 158578738 103006208 4941 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
/proc/809979/statm: 25148 4941 2270 3032 0 6535 0
[pid=809979/tid=809985] ppid=809965 vsize=100592 memory=19764 CPUtime=3572.64 cores=1,3
/proc/809979/task/809985/stat : 809985 (fscip) R 809965 809979 809908 0 -1 4194368 51948 0 0 0 357261 3 0 0 20 0 2 0 158578741 103006208 4941 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
Current children cumulated CPU time: 3573.36 s
Current children cumulated vsize: 100592 KiB
Current children cumulated memory: 19764 KiB
[startup+3600.02 s]
# the end of solver process 809979 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3590.37 s, system=0.663326 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.06 4.10 4.08 6/264 812293
/proc/meminfo: memFree=125136068/131524600 swapFree=131071996/131071996
[pid=809979] ppid=809965 vsize=100592 memory=19764 CPUtime=3575.06 cores=1,3
/proc/809979/stat : 809979 (fscip) S 809965 809979 809908 0 -1 1077936128 54021 0 0 0 357441 65 0 0 20 0 2 0 158578738 103006208 4941 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
/proc/809979/statm: 25148 4941 2270 3032 0 6535 0
[pid=809979/tid=809985] ppid=809965 vsize=100592 memory=2740 CPUtime=3574.34 cores=1,3
/proc/809979/task/809985/stat : 809985 (fscip) R 809965 809979 809908 0 -1 4194368 51948 0 0 0 357431 3 0 0 20 0 2 0 158578741 103006208 4941 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
Current children cumulated CPU time: 3575.06 s
Current children cumulated vsize: 100592 KiB
Current children cumulated memory: 19764 KiB
[startup+3590.4 s]
/proc/loadavg: 4.05 4.10 4.08 6/264 812293
/proc/meminfo: memFree=125136144/131524600 swapFree=131071996/131071996
[pid=809979] ppid=809965 vsize=100592 memory=19764 CPUtime=3581.44 cores=1,3
/proc/809979/stat : 809979 (fscip) S 809965 809979 809908 0 -1 1077936128 54021 0 0 0 358079 65 0 0 20 0 2 0 158578738 103006208 4941 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
/proc/809979/statm: 25148 4941 2270 3032 0 6535 0
[pid=809979/tid=809985] ppid=809965 vsize=100592 memory=3616443488729825366 CPUtime=3580.72 cores=1,3
/proc/809979/task/809985/stat : 809985 (fscip) R 809965 809979 809908 0 -1 4194368 51948 0 0 0 358069 3 0 0 20 0 2 0 158578741 103006208 4941 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
Current children cumulated CPU time: 3581.44 s
Current children cumulated vsize: 100592 KiB
Current children cumulated memory: 19764 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.11 4.08 6/264 812295
/proc/meminfo: memFree=125136052/131524600 swapFree=131071996/131071996
[pid=809979] ppid=809965 vsize=100592 memory=19764 CPUtime=3587.83 cores=1,3
/proc/809979/stat : 809979 (fscip) S 809965 809979 809908 0 -1 1077936128 54021 0 0 0 358717 66 0 0 20 0 2 0 158578738 103006208 4941 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
/proc/809979/statm: 25148 4941 2270 3032 0 6535 0
[pid=809979/tid=809985] ppid=809965 vsize=100592 memory=19764 CPUtime=3587.1 cores=1,3
/proc/809979/task/809985/stat : 809985 (fscip) R 809965 809979 809908 0 -1 4194368 51948 0 0 0 358707 3 0 0 20 0 2 0 158578741 103006208 4941 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
Current children cumulated CPU time: 3587.83 s
Current children cumulated vsize: 100592 KiB
Current children cumulated memory: 19764 KiB
[startup+3598.4 s]
/proc/loadavg: 4.12 4.11 4.08 6/264 812295
/proc/meminfo: memFree=125136052/131524600 swapFree=131071996/131071996
[pid=809979] ppid=809965 vsize=100592 memory=19764 CPUtime=3589.42 cores=1,3
/proc/809979/stat : 809979 (fscip) S 809965 809979 809908 0 -1 1077936128 54021 0 0 0 358876 66 0 0 20 0 2 0 158578738 103006208 4941 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
/proc/809979/statm: 25148 4941 2270 3032 0 6535 0
[pid=809979/tid=809985] ppid=809965 vsize=100592 memory=19764 CPUtime=3588.7 cores=1,3
/proc/809979/task/809985/stat : 809985 (fscip) R 809965 809979 809908 0 -1 4194368 51948 0 0 0 358867 3 0 0 20 0 2 0 158578741 103006208 4941 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
Current children cumulated CPU time: 3589.42 s
Current children cumulated vsize: 100592 KiB
Current children cumulated memory: 19764 KiB
[startup+3599.2 s]
/proc/loadavg: 4.12 4.11 4.08 6/264 812295
/proc/meminfo: memFree=125136032/131524600 swapFree=131071996/131071996
[pid=809979] ppid=809965 vsize=100592 memory=19764 CPUtime=3590.22 cores=1,3
/proc/809979/stat : 809979 (fscip) S 809965 809979 809908 0 -1 1077936128 54021 0 0 0 358956 66 0 0 20 0 2 0 158578738 103006208 4941 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
/proc/809979/statm: 25148 4941 2270 3032 0 6535 0
[pid=809979/tid=809985] ppid=809965 vsize=100592 memory=12312 CPUtime=3589.5 cores=1,3
/proc/809979/task/809985/stat : 809985 (fscip) R 809965 809979 809908 0 -1 4194368 51948 0 0 0 358947 3 0 0 20 0 2 0 158578741 103006208 4941 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
Current children cumulated CPU time: 3590.22 s
Current children cumulated vsize: 100592 KiB
Current children cumulated memory: 19764 KiB
[startup+3599.6 s]
/proc/loadavg: 4.12 4.11 4.08 6/264 812295
/proc/meminfo: memFree=125136032/131524600 swapFree=131071996/131071996
[pid=809979] ppid=809965 vsize=100592 memory=19764 CPUtime=3590.62 cores=1,3
/proc/809979/stat : 809979 (fscip) S 809965 809979 809908 0 -1 1077936128 54021 0 0 0 358996 66 0 0 20 0 2 0 158578738 103006208 4941 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
/proc/809979/statm: 25148 4941 2270 3032 0 6535 0
[pid=809979/tid=809985] ppid=809965 vsize=100592 memory=2220 CPUtime=3589.89 cores=1,3
/proc/809979/task/809985/stat : 809985 (fscip) R 809965 809979 809908 0 -1 4194368 51948 0 0 0 358986 3 0 0 20 0 2 0 158578741 103006208 4941 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
Current children cumulated CPU time: 3590.62 s
Current children cumulated vsize: 100592 KiB
Current children cumulated memory: 19764 KiB
[startup+3600 s]*
/proc/loadavg: 4.12 4.11 4.08 6/264 812295
/proc/meminfo: memFree=125136000/131524600 swapFree=131071996/131071996
[pid=809979] ppid=809965 vsize=98796 memory=15116 CPUtime=3591.02 cores=1,3
/proc/809979/stat : 809979 (fscip) S 809965 809979 809908 0 -1 1077936128 54053 0 0 0 359036 66 0 0 20 0 2 0 158578738 101167104 3779 134679101440 4194304 16613245 140722193553456 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48709632 140722193556501 140722193556617 140722193556617 140722193563632 0
/proc/809979/statm: 24699 3779 2270 3032 0 6086 0
Current children cumulated CPU time: 3591.02 s
Current children cumulated vsize: 98796 KiB
Current children cumulated memory: 15116 KiB
Child status: 1
Real time (s): 3600.02
CPU time (s): 3591.03
CPU user time (s): 3590.37
CPU system time (s): 0.663326
CPU usage (%): 99.7502
Max. virtual memory (cumulated for all children) (KiB): 100592
Max. memory (cumulated for all children) (KiB): 19764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.37
system time used= 0.663326
maximum resident set size= 19764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54070
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= 71856
involuntary context switches= 979
# summary of solver processes directly reported to runsolver:
# pid: 809979
# total CPU time (s): 3591.03
# total CPU user time (s): 3590.37
# total CPU system time (s): 0.663326
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.92104 second user time and 17.2757 second system time
The end
Begin job on nodeC033 at 2024-07-15 19:21:42 IDJOB=4434584 IDBENCH=146776 IDSOLVER=3064 FILE ID=nodeC033/4434584-1721064090 RUNJOBID= nodeC033-1721064102-809920 SLURM_JOB_ID= 7505520 Free space on /tmp= 890076 MiB SOLVER NAME= FiberSCIP 2024-07-02 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-bg512142.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-4434584-1721064090/watcher-4434584-1721064090 -o /tmp/evaluation-result-4434584-1721064090/solver-4434584-1721064090 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721064102-809920 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434584-1721064090.opb -qsol -t 3600 -sth 1 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c14f7c55e56be8814a9acdc0ce68bb69 RANDOM SEED=285780738 nodeC033.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 : 3471.537 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.50 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 : 3656.346 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.25 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 : 3625.557 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.50 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 : 3566.187 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.25 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 : 3593.180 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.50 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 : 3660.255 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.25 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 : 3850.700 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.50 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 : 3854.520 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.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126741032 kB MemAvailable: 129686484 kB Buffers: 381268 kB Cached: 3371300 kB SwapCached: 0 kB Active: 626984 kB Inactive: 3499896 kB Active(anon): 1444 kB Inactive(anon): 411000 kB Active(file): 625540 kB Inactive(file): 3088896 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 124268 kB Writeback: 0 kB AnonPages: 374068 kB Mapped: 103304 kB Shmem: 37716 kB KReclaimable: 141328 kB Slab: 251540 kB SReclaimable: 141328 kB SUnreclaim: 110212 kB KernelStack: 3808 kB PageTables: 9304 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 737840 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 60320 kB HardwareCorrupted: 0 kB AnonHugePages: 245760 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: 256724 kB DirectMap2M: 25731072 kB DirectMap1G: 110100480 kB Free space on /tmp at the end= 889968 MiB End job on nodeC033 at 2024-07-15 20:21:43