Trace number 4463916

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
FiberSCIP 2024-07-30? 3588.07 3598.04

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-bg512142.opb
MD5SUMc14f7c55e56be8814a9acdc0ce68bb69
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark24875458587
Best CPU time to get the best result obtained on this benchmark3600.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16800
Total number of constraints945
Number of constraints which are clauses11
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints934
Minimum length of a constraint1
Maximum length of a constraint183
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 numbers50
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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.00	c SCIP cannot read the problem file. Try to solve it by FJ_BIGINT.
377.78/378.81	c num_threads: 1
377.78/378.81	c timelimit: 3598.000000
377.78/378.81	c Parsing file: HOME/instance-4463916-1722378594.opb
377.78/378.81	c (FJ) starting FJ with 1 threads.
377.78/378.81	c (FJ) copying 16800 x 945 matrix with 74090 nonzeros.
377.78/378.81	c (FJ) initializing FJ with 16800 vars 945 constraints
377.78/378.81	c (FJ) 0: starting solve. weightUpdateDecay=1, relaxContinuous=0, seed=0 
377.78/378.81	c (FJ) 0: step 0 viol 252 good 1783 bumps 0
377.78/378.81	c (FJ) 0: step 100000 viol 284 good 8 bumps 25673
377.78/378.81	c (FJ) 0: step 200000 viol 304 good 0 bumps 59259
377.78/378.81	c (FJ) 0: step 300000 viol 314 good 0 bumps 78566
377.78/378.81	c (FJ) 0: step 400000 viol 329 good 8 bumps 109070
377.78/378.81	c (FJ) 0: step 500000 viol 334 good 4 bumps 135726
377.78/378.81	c (FJ) 0: step 600000 viol 342 good 0 bumps 181456
377.78/378.81	c (FJ) 0: step 700000 viol 336 good 0 bumps 221991
377.78/378.81	c (FJ) 0: step 800000 viol 339 good 1 bumps 270297
377.78/378.81	c (FJ) 0: step 900000 viol 345 good 1 bumps 315179
377.78/378.81	c (FJ) 0: step 1000000 viol 363 good 0 bumps 363752
377.78/378.81	c (FJ) 0: step 1100000 viol 359 good 0 bumps 407643
377.78/378.81	c (FJ) 0: step 1200000 viol 344 good 0 bumps 453378
377.78/378.81	c (FJ) 0: step 1300000 viol 342 good 0 bumps 502547
377.78/378.81	c (FJ) 0: step 1400000 viol 329 good 16 bumps 550890
377.78/378.81	c (FJ) 0: step 1500000 viol 334 good 0 bumps 560288
377.78/378.81	c (FJ) 0: step 1600000 viol 337 good 0 bumps 572815
377.78/378.81	c (FJ) 0: step 1700000 viol 329 good 0 bumps 619309
377.78/378.81	c (FJ) 0: step 1800000 viol 327 good 1 bumps 667385
377.78/378.81	c (FJ) 0: step 1900000 viol 319 good 0 bumps 716637
377.78/378.81	c (FJ) 0: step 2000000 viol 326 good 1 bumps 763584
377.78/378.81	c (FJ) 0: step 2100000 viol 323 good 1 bumps 812717
377.78/378.81	c (FJ) 0: step 2200000 viol 337 good 0 bumps 861380
377.78/378.81	c (FJ) 0: step 2300000 viol 337 good 0 bumps 909114
377.78/378.81	c (FJ) 0: step 2400000 viol 334 good 0 bumps 950054
377.78/378.81	c (FJ) 0: step 2500000 viol 339 good 0 bumps 989930
377.78/378.81	c (FJ) 0: step 2600000 viol 318 good 1 bumps 1029876
377.78/378.81	c (FJ) 0: step 2700000 viol 324 good 1 bumps 1068230
377.78/378.81	c (FJ) 0: step 2800000 viol 325 good 2 bumps 1109364
377.78/378.81	c (FJ) 0: step 2900000 viol 328 good 5 bumps 1154875
377.78/378.81	c (FJ) 0: step 3000000 viol 335 good 1 bumps 1202271
377.78/378.81	c (FJ) 0: step 3100000 viol 336 good 0 bumps 1251239
377.78/378.81	c (FJ) 0: step 3200000 viol 328 good 63 bumps 1297896
377.78/378.81	c (FJ) 0: step 3300000 viol 334 good 0 bumps 1346754
377.78/378.81	c (FJ) 0: step 3400000 viol 333 good 1 bumps 1391742
377.78/378.81	c (FJ) 0: step 3500000 viol 331 good 0 bumps 1439648
377.78/378.81	c (FJ) 0: step 3600000 viol 337 good 1 bumps 1486295
377.78/378.81	c (FJ) 0: step 3700000 viol 316 good 1 bumps 1531472
377.78/378.81	c (FJ) 0: step 3800000 viol 314 good 1 bumps 1580919
377.78/378.81	c (FJ) 0: step 3900000 viol 317 good 1 bumps 1629900
377.78/378.81	c (FJ) 0: step 4000000 viol 329 good 1 bumps 1678628
377.78/378.81	c (FJ) 0: step 4100000 viol 329 good 0 bumps 1728106
377.78/378.81	c (FJ) 0: step 4200000 viol 331 good 0 bumps 1776140
377.78/378.81	c (FJ) 0: step 4300000 viol 328 good 0 bumps 1825640
377.78/378.81	c (FJ) 0: step 4400000 viol 313 good 0 bumps 1874850
377.78/378.81	c (FJ) 0: step 4500000 viol 322 good 1 bumps 1921367
377.78/378.81	c (FJ) 0: step 4600000 viol 322 good 0 bumps 1946514
377.78/378.81	c (FJ) 0: step 4700000 viol 328 good 1 bumps 1981654
377.78/378.81	c (FJ) 0: step 4800000 viol 334 good 1 bumps 2027529
377.78/378.81	c (FJ) 0: step 4900000 viol 331 good 1 bumps 2073940
377.78/378.81	c (FJ) 0: step 5000000 viol 324 good 0 bumps 2123628
377.78/378.81	c (FJ) 0: step 5100000 viol 319 good 9 bumps 2154581
377.78/378.81	c (FJ) 0: step 5200000 viol 321 good 0 bumps 2168424
377.78/378.81	c (FJ) 0: step 5300000 viol 335 good 2 bumps 2209067
377.78/378.81	c (FJ) 0: step 5400000 viol 332 good 0 bumps 2253391
377.78/378.81	c (FJ) 0: step 5500000 viol 334 good 0 bumps 2302976
377.78/378.81	c (FJ) 0: step 5600000 viol 326 good 42 bumps 2338293
377.78/378.81	c (FJ) 0: step 5700000 viol 332 good 0 bumps 2387485
377.78/378.81	c (FJ) 0: step 5800000 viol 332 good 17 bumps 2402540
377.78/378.81	c (FJ) 0: step 5900000 viol 340 good 9 bumps 2414254
377.78/378.81	c (FJ) 0: step 6000000 viol 345 good 1 bumps 2461791
377.78/378.81	c (FJ) 0: step 6100000 viol 345 good 0 bumps 2511541
377.78/378.81	c (FJ) 0: step 6200000 viol 330 good 0 bumps 2541493
377.78/378.81	c (FJ) 0: step 6300000 viol 321 good 0 bumps 2584756
377.78/378.81	c (FJ) 0: step 6400000 viol 337 good 0 bumps 2634608
377.78/378.81	c (FJ) 0: step 6500000 viol 325 good 1 bumps 2682232
377.78/378.81	c (FJ) 0: step 6600000 viol 323 good 0 bumps 2732072
377.78/378.81	c (FJ) 0: step 6700000 viol 331 good 1 bumps 2781170
377.78/378.81	c (FJ) 0: step 6800000 viol 331 good 2 bumps 2830411
377.78/378.81	c (FJ) 0: step 6900000 viol 332 good 1 bumps 2879799
377.78/378.81	c (FJ) 0: step 7000000 viol 332 good 0 bumps 2924456
377.78/378.81	c (FJ) 0: step 7100000 viol 339 good 1 bumps 2964932
813.58/815.86	c (FJ) 0: step 7200000 viol 335 good 1 bumps 3014049
813.58/815.86	c (FJ) 0: step 7300000 viol 340 good 1 bumps 3062996
813.58/815.86	c (FJ) 0: step 7400000 viol 339 good 0 bumps 3106031
813.58/815.86	c (FJ) 0: step 7500000 viol 331 good 0 bumps 3155366
813.58/815.86	c (FJ) 0: step 7600000 viol 323 good 0 bumps 3204714
813.58/815.86	c (FJ) 0: step 7700000 viol 322 good 0 bumps 3252732
813.58/815.86	c (FJ) 0: step 7800000 viol 331 good 1 bumps 3301776
813.58/815.86	c (FJ) 0: step 7900000 viol 330 good 0 bumps 3350752
813.58/815.86	c (FJ) 0: step 8000000 viol 329 good 0 bumps 3398902
813.58/815.86	c (FJ) 0: step 8100000 viol 329 good 0 bumps 3447557
813.58/815.86	c (FJ) 0: step 8200000 viol 339 good 1 bumps 3495459
813.58/815.86	c (FJ) 0: step 8300000 viol 336 good 1 bumps 3544315
813.58/815.86	c (FJ) 0: step 8400000 viol 332 good 0 bumps 3593259
813.58/815.86	c (FJ) 0: step 8500000 viol 317 good 0 bumps 3638197
813.58/815.86	c (FJ) 0: step 8600000 viol 321 good 0 bumps 3677763
813.58/815.86	c (FJ) 0: step 8700000 viol 329 good 52 bumps 3726381
813.58/815.86	c (FJ) 0: step 8800000 viol 325 good 1 bumps 3775477
813.58/815.86	c (FJ) 0: step 8900000 viol 326 good 0 bumps 3824469
813.58/815.86	c (FJ) 0: step 9000000 viol 323 good 1 bumps 3871674
813.58/815.86	c (FJ) 0: step 9100000 viol 326 good 1 bumps 3915708
813.58/815.86	c (FJ) 0: step 9200000 viol 333 good 0 bumps 3957430
813.58/815.86	c (FJ) 0: step 9300000 viol 332 good 1 bumps 4006233
813.58/815.86	c (FJ) 0: step 9400000 viol 332 good 0 bumps 4055337
813.58/815.86	c (FJ) 0: step 9500000 viol 320 good 1 bumps 4104405
813.58/815.86	c (FJ) 0: step 9600000 viol 318 good 1 bumps 4153495
813.58/815.86	c (FJ) 0: step 9700000 viol 323 good 1 bumps 4202685
813.58/815.86	c (FJ) 0: step 9800000 viol 322 good 1 bumps 4250977
813.58/815.86	c (FJ) 0: step 9900000 viol 325 good 1 bumps 4299900
813.58/815.86	c (FJ) 0: step 10000000 viol 332 good 0 bumps 4348069
813.58/815.86	c (FJ) 0: step 10100000 viol 337 good 1 bumps 4396941
813.58/815.86	c (FJ) 0: step 10200000 viol 336 good 1 bumps 4446086
813.58/815.86	c (FJ) 0: step 10300000 viol 317 good 1 bumps 4495076
813.58/815.86	c (FJ) 0: step 10400000 viol 327 good 0 bumps 4543363
813.58/815.86	c (FJ) 0: step 10500000 viol 328 good 1 bumps 4589241
813.58/815.86	c (FJ) 0: step 10600000 viol 328 good 1 bumps 4632817
813.58/815.86	c (FJ) 0: step 10700000 viol 341 good 0 bumps 4675282
813.58/815.86	c (FJ) 0: step 10800000 viol 336 good 0 bumps 4724084
813.58/815.86	c (FJ) 0: step 10900000 viol 334 good 0 bumps 4772940
813.58/815.86	c (FJ) 0: step 11000000 viol 327 good 0 bumps 4819182
813.58/815.86	c (FJ) 0: step 11100000 viol 329 good 1 bumps 4864458
813.58/815.86	c (FJ) 0: step 11200000 viol 322 good 11 bumps 4880200
813.58/815.86	c (FJ) 0: step 11300000 viol 310 good 0 bumps 4916192
813.58/815.86	c (FJ) 0: step 11400000 viol 322 good 1 bumps 4964675
813.58/815.86	c (FJ) 0: step 11500000 viol 328 good 0 bumps 5012866
813.58/815.86	c (FJ) 0: step 11600000 viol 321 good 0 bumps 5058015
813.58/815.86	c (FJ) 0: step 11700000 viol 322 good 2 bumps 5097310
813.58/815.86	c (FJ) 0: step 11800000 viol 330 good 0 bumps 5136747
813.58/815.86	c (FJ) 0: step 11900000 viol 332 good 0 bumps 5183204
813.58/815.86	c (FJ) 0: step 12000000 viol 329 good 1 bumps 5230048
813.58/815.86	c (FJ) 0: step 12100000 viol 327 good 2 bumps 5275577
813.58/815.86	c (FJ) 0: step 12200000 viol 338 good 1 bumps 5324635
813.58/815.86	c (FJ) 0: step 12300000 viol 334 good 0 bumps 5373737
813.58/815.86	c (FJ) 0: step 12400000 viol 329 good 1 bumps 5422884
813.58/815.86	c (FJ) 0: step 12500000 viol 334 good 0 bumps 5471672
813.58/815.86	c (FJ) 0: step 12600000 viol 330 good 0 bumps 5520516
813.58/815.86	c (FJ) 0: step 12700000 viol 344 good 1 bumps 5569643
813.58/815.86	c (FJ) 0: step 12800000 viol 338 good 61 bumps 5618585
813.58/815.86	c (FJ) 0: step 12900000 viol 338 good 1 bumps 5667561
813.58/815.86	c (FJ) 0: step 13000000 viol 335 good 0 bumps 5716255
813.58/815.86	c (FJ) 0: step 13100000 viol 337 good 0 bumps 5761634
813.58/815.86	c (FJ) 0: step 13200000 viol 328 good 0 bumps 5806123
813.58/815.86	c (FJ) 0: step 13300000 viol 329 good 1 bumps 5841900
813.58/815.86	c (FJ) 0: step 13400000 viol 334 good 4 bumps 5887040
813.58/815.86	c (FJ) 0: step 13500000 viol 334 good 1 bumps 5923959
813.58/815.86	c (FJ) 0: step 13600000 viol 339 good 1 bumps 5972608
813.58/815.86	c (FJ) 0: step 13700000 viol 333 good 1 bumps 6016004
813.58/815.86	c (FJ) 0: step 13800000 viol 338 good 1 bumps 6055595
813.58/815.86	c (FJ) 0: step 13900000 viol 332 good 0 bumps 6099017
813.58/815.86	c (FJ) 0: step 14000000 viol 321 good 1 bumps 6146754
813.58/815.86	c (FJ) 0: step 14100000 viol 323 good 0 bumps 6195072
813.58/815.86	c (FJ) 0: step 14200000 viol 324 good 1 bumps 6242989
813.58/815.86	c (FJ) 0: step 14300000 viol 330 good 0 bumps 6291755
813.58/815.86	c (FJ) 0: step 14400000 viol 331 good 1 bumps 6340906
813.58/815.86	c (FJ) 0: step 14500000 viol 315 good 1 bumps 6384504
813.58/815.86	c (FJ) 0: step 14600000 viol 327 good 2 bumps 6422801
813.58/815.86	c (FJ) 0: step 14700000 viol 326 good 43 bumps 6452514
1232.39/1235.82	c (FJ) 0: step 14800000 viol 323 good 0 bumps 6501071
1232.39/1235.82	c (FJ) 0: step 14900000 viol 332 good 0 bumps 6550072
1232.39/1235.82	c (FJ) 0: step 15000000 viol 333 good 0 bumps 6598789
1232.39/1235.82	c (FJ) 0: step 15100000 viol 331 good 0 bumps 6647571
1232.39/1235.82	c (FJ) 0: step 15200000 viol 323 good 0 bumps 6696059
1232.39/1235.82	c (FJ) 0: step 15300000 viol 328 good 1 bumps 6742649
1232.39/1235.82	c (FJ) 0: step 15400000 viol 329 good 1 bumps 6784501
1232.39/1235.82	c (FJ) 0: step 15500000 viol 324 good 0 bumps 6831249
1232.39/1235.82	c (FJ) 0: step 15600000 viol 328 good 14 bumps 6843983
1232.39/1235.82	c (FJ) 0: step 15700000 viol 329 good 1 bumps 6857703
1232.39/1235.82	c (FJ) 0: step 15800000 viol 327 good 0 bumps 6895064
1232.39/1235.82	c (FJ) 0: step 15900000 viol 339 good 1 bumps 6944398
1232.39/1235.82	c (FJ) 0: step 16000000 viol 338 good 7 bumps 6984325
1232.39/1235.82	c (FJ) 0: step 16100000 viol 325 good 0 bumps 7032831
1232.39/1235.82	c (FJ) 0: step 16200000 viol 316 good 0 bumps 7081914
1232.39/1235.82	c (FJ) 0: step 16300000 viol 321 good 1 bumps 7131145
1232.39/1235.82	c (FJ) 0: step 16400000 viol 313 good 10 bumps 7177686
1232.39/1235.82	c (FJ) 0: step 16500000 viol 318 good 1 bumps 7226014
1232.39/1235.82	c (FJ) 0: step 16600000 viol 309 good 23 bumps 7267274
1232.39/1235.82	c (FJ) 0: step 16700000 viol 305 good 1 bumps 7315406
1232.39/1235.82	c (FJ) 0: step 16800000 viol 316 good 0 bumps 7363735
1232.39/1235.82	c (FJ) 0: step 16900000 viol 318 good 1 bumps 7406135
1232.39/1235.82	c (FJ) 0: step 17000000 viol 321 good 1 bumps 7449779
1232.39/1235.82	c (FJ) 0: step 17100000 viol 313 good 0 bumps 7498831
1232.39/1235.82	c (FJ) 0: step 17200000 viol 317 good 1 bumps 7547939
1232.39/1235.82	c (FJ) 0: step 17300000 viol 329 good 189 bumps 7597011
1232.39/1235.82	c (FJ) 0: step 17400000 viol 331 good 0 bumps 7646544
1232.39/1235.82	c (FJ) 0: step 17500000 viol 335 good 0 bumps 7681775
1232.39/1235.82	c (FJ) 0: step 17600000 viol 326 good 0 bumps 7731378
1232.39/1235.82	c (FJ) 0: step 17700000 viol 334 good 0 bumps 7775941
1232.39/1235.82	c (FJ) 0: step 17800000 viol 330 good 0 bumps 7822847
1232.39/1235.82	c (FJ) 0: step 17900000 viol 332 good 0 bumps 7871612
1232.39/1235.82	c (FJ) 0: step 18000000 viol 338 good 0 bumps 7920701
1232.39/1235.82	c (FJ) 0: step 18100000 viol 332 good 16 bumps 7964975
1232.39/1235.82	c (FJ) 0: step 18200000 viol 331 good 5 bumps 7977928
1232.39/1235.82	c (FJ) 0: step 18300000 viol 320 good 1 bumps 8023948
1232.39/1235.82	c (FJ) 0: step 18400000 viol 321 good 0 bumps 8072740
1232.39/1235.82	c (FJ) 0: step 18500000 viol 327 good 1 bumps 8121786
1232.39/1235.82	c (FJ) 0: step 18600000 viol 322 good 1 bumps 8170429
1232.39/1235.82	c (FJ) 0: step 18700000 viol 329 good 0 bumps 8219457
1232.39/1235.82	c (FJ) 0: step 18800000 viol 334 good 0 bumps 8268730
1232.39/1235.82	c (FJ) 0: step 18900000 viol 332 good 1 bumps 8317536
1232.39/1235.82	c (FJ) 0: step 19000000 viol 329 good 1 bumps 8365485
1232.39/1235.82	c (FJ) 0: step 19100000 viol 330 good 1 bumps 8414752
1232.39/1235.82	c (FJ) 0: step 19200000 viol 333 good 0 bumps 8464368
1232.39/1235.82	c (FJ) 0: step 19300000 viol 332 good 0 bumps 8513726
1232.39/1235.82	c (FJ) 0: step 19400000 viol 326 good 0 bumps 8562427
1232.39/1235.82	c (FJ) 0: step 19500000 viol 331 good 55 bumps 8609385
1232.39/1235.82	c (FJ) 0: step 19600000 viol 330 good 0 bumps 8656790
1232.39/1235.82	c (FJ) 0: step 19700000 viol 321 good 1 bumps 8704899
1232.39/1235.82	c (FJ) 0: step 19800000 viol 319 good 1 bumps 8753774
1232.39/1235.82	c (FJ) 0: step 19900000 viol 317 good 1 bumps 8801632
1232.39/1235.82	c (FJ) 0: step 20000000 viol 322 good 0 bumps 8850819
1232.39/1235.82	c (FJ) 0: step 20100000 viol 329 good 1 bumps 8900131
1232.39/1235.82	c (FJ) 0: step 20200000 viol 331 good 0 bumps 8948886
1232.39/1235.82	c (FJ) 0: step 20300000 viol 328 good 1 bumps 8997646
1232.39/1235.82	c (FJ) 0: step 20400000 viol 327 good 0 bumps 9046066
1232.39/1235.82	c (FJ) 0: step 20500000 viol 320 good 1 bumps 9092867
1232.39/1235.82	c (FJ) 0: step 20600000 viol 314 good 1 bumps 9141196
1232.39/1235.82	c (FJ) 0: step 20700000 viol 321 good 0 bumps 9183539
1232.39/1235.82	c (FJ) 0: step 20800000 viol 317 good 1 bumps 9218224
1232.39/1235.82	c (FJ) 0: step 20900000 viol 317 good 1 bumps 9262168
1232.39/1235.82	c (FJ) 0: step 21000000 viol 325 good 0 bumps 9311558
1232.39/1235.82	c (FJ) 0: step 21100000 viol 329 good 0 bumps 9360499
1232.39/1235.82	c (FJ) 0: step 21200000 viol 329 good 0 bumps 9409671
1232.39/1235.82	c (FJ) 0: step 21300000 viol 328 good 0 bumps 9443070
1232.39/1235.82	c (FJ) 0: step 21400000 viol 328 good 4 bumps 9457803
1232.39/1235.82	c (FJ) 0: step 21500000 viol 330 good 2 bumps 9473684
1232.39/1235.82	c (FJ) 0: step 21600000 viol 332 good 0 bumps 9495708
1232.39/1235.82	c (FJ) 0: step 21700000 viol 339 good 0 bumps 9544290
1232.39/1235.82	c (FJ) 0: step 21800000 viol 333 good 0 bumps 9593021
1232.39/1235.82	c (FJ) 0: step 21900000 viol 329 good 0 bumps 9642167
1232.39/1235.82	c (FJ) 0: step 22000000 viol 341 good 0 bumps 9689626
1232.39/1235.82	c (FJ) 0: step 22100000 viol 334 good 0 bumps 9738408
1232.39/1235.82	c (FJ) 0: step 22200000 viol 326 good 0 bumps 9784507
1232.39/1235.82	c (FJ) 0: step 22300000 viol 328 good 0 bumps 9828873
1675.84/1680.52	c (FJ) 0: step 22400000 viol 334 good 1 bumps 9867146
1675.84/1680.52	c (FJ) 0: step 22500000 viol 324 good 1 bumps 9915912
1675.84/1680.52	c (FJ) 0: step 22600000 viol 330 good 1 bumps 9965258
1675.84/1680.52	c (FJ) 0: step 22700000 viol 329 good 0 bumps 10014157
1675.84/1680.52	c (FJ) 0: step 22800000 viol 334 good 0 bumps 10063063
1675.84/1680.52	c (FJ) 0: step 22900000 viol 330 good 0 bumps 10110891
1675.84/1680.52	c (FJ) 0: step 23000000 viol 329 good 1 bumps 10158308
1675.84/1680.52	c (FJ) 0: step 23100000 viol 322 good 0 bumps 10204357
1675.84/1680.52	c (FJ) 0: step 23200000 viol 321 good 0 bumps 10252191
1675.84/1680.52	c (FJ) 0: step 23300000 viol 326 good 1 bumps 10301224
1675.84/1680.52	c (FJ) 0: step 23400000 viol 331 good 1 bumps 10350350
1675.84/1680.52	c (FJ) 0: step 23500000 viol 336 good 0 bumps 10399221
1675.84/1680.52	c (FJ) 0: step 23600000 viol 337 good 1 bumps 10448269
1675.84/1680.52	c (FJ) 0: step 23700000 viol 330 good 0 bumps 10496854
1675.84/1680.52	c (FJ) 0: step 23800000 viol 327 good 1 bumps 10545883
1675.84/1680.52	c (FJ) 0: step 23900000 viol 326 good 0 bumps 10592907
1675.84/1680.52	c (FJ) 0: step 24000000 viol 321 good 1 bumps 10641809
1675.84/1680.52	c (FJ) 0: step 24100000 viol 328 good 1 bumps 10690819
1675.84/1680.52	c (FJ) 0: step 24200000 viol 336 good 1 bumps 10740023
1675.84/1680.52	c (FJ) 0: step 24300000 viol 327 good 1 bumps 10788578
1675.84/1680.52	c (FJ) 0: step 24400000 viol 333 good 1 bumps 10838009
1675.84/1680.52	c (FJ) 0: step 24500000 viol 320 good 1 bumps 10887002
1675.84/1680.52	c (FJ) 0: step 24600000 viol 327 good 0 bumps 10936115
1675.84/1680.52	c (FJ) 0: step 24700000 viol 330 good 1 bumps 10985407
1675.84/1680.52	c (FJ) 0: step 24800000 viol 333 good 0 bumps 11034538
1675.84/1680.52	c (FJ) 0: step 24900000 viol 322 good 18 bumps 11061818
1675.84/1680.52	c (FJ) 0: step 25000000 viol 323 good 0 bumps 11109114
1675.84/1680.52	c (FJ) 0: step 25100000 viol 328 good 1 bumps 11158058
1675.84/1680.52	c (FJ) 0: step 25200000 viol 331 good 1 bumps 11206256
1675.84/1680.52	c (FJ) 0: step 25300000 viol 333 good 0 bumps 11255317
1675.84/1680.52	c (FJ) 0: step 25400000 viol 337 good 1 bumps 11303987
1675.84/1680.52	c (FJ) 0: step 25500000 viol 326 good 0 bumps 11352956
1675.84/1680.52	c (FJ) 0: step 25600000 viol 325 good 0 bumps 11402013
1675.84/1680.52	c (FJ) 0: step 25700000 viol 329 good 0 bumps 11450751
1675.84/1680.52	c (FJ) 0: step 25800000 viol 330 good 0 bumps 11499228
1675.84/1680.52	c (FJ) 0: step 25900000 viol 329 good 1 bumps 11548139
1675.84/1680.52	c (FJ) 0: step 26000000 viol 333 good 1 bumps 11596641
1675.84/1680.52	c (FJ) 0: step 26100000 viol 328 good 0 bumps 11645538
1675.84/1680.52	c (FJ) 0: step 26200000 viol 318 good 1 bumps 11693115
1675.84/1680.52	c (FJ) 0: step 26300000 viol 328 good 0 bumps 11741573
1675.84/1680.52	c (FJ) 0: step 26400000 viol 333 good 0 bumps 11790272
1675.84/1680.52	c (FJ) 0: step 26500000 viol 336 good 1 bumps 11838633
1675.84/1680.52	c (FJ) 0: step 26600000 viol 334 good 1 bumps 11887600
1675.84/1680.52	c (FJ) 0: step 26700000 viol 333 good 1 bumps 11936020
1675.84/1680.52	c (FJ) 0: step 26800000 viol 329 good 2 bumps 11984724
1675.84/1680.52	c (FJ) 0: step 26900000 viol 341 good 1 bumps 12033703
1675.84/1680.52	c (FJ) 0: step 27000000 viol 343 good 0 bumps 12082558
1675.84/1680.52	c (FJ) 0: step 27100000 viol 344 good 0 bumps 12130244
1675.84/1680.52	c (FJ) 0: step 27200000 viol 335 good 0 bumps 12179102
1675.84/1680.52	c (FJ) 0: step 27300000 viol 343 good 0 bumps 12227583
1675.84/1680.52	c (FJ) 0: step 27400000 viol 332 good 112 bumps 12271181
1675.84/1680.52	c (FJ) 0: step 27500000 viol 329 good 0 bumps 12319987
1675.84/1680.52	c (FJ) 0: step 27600000 viol 328 good 0 bumps 12369124
1675.84/1680.52	c (FJ) 0: step 27700000 viol 325 good 1 bumps 12412775
1675.84/1680.52	c (FJ) 0: step 27800000 viol 322 good 0 bumps 12452299
1675.84/1680.52	c (FJ) 0: step 27900000 viol 324 good 1 bumps 12494195
1675.84/1680.52	c (FJ) 0: step 28000000 viol 328 good 0 bumps 12543295
1675.84/1680.52	c (FJ) 0: step 28100000 viol 326 good 1 bumps 12592696
1675.84/1680.52	c (FJ) 0: step 28200000 viol 331 good 1 bumps 12641953
1675.84/1680.52	c (FJ) 0: step 28300000 viol 343 good 0 bumps 12691316
1675.84/1680.52	c (FJ) 0: step 28400000 viol 336 good 1 bumps 12740607
1675.84/1680.52	c (FJ) 0: step 28500000 viol 327 good 1 bumps 12789355
1675.84/1680.52	c (FJ) 0: step 28600000 viol 328 good 0 bumps 12836707
1675.84/1680.52	c (FJ) 0: step 28700000 viol 332 good 1 bumps 12860522
1675.84/1680.52	c (FJ) 0: step 28800000 viol 330 good 0 bumps 12909646
1675.84/1680.52	c (FJ) 0: step 28900000 viol 332 good 0 bumps 12958528
1675.84/1680.52	c (FJ) 0: step 29000000 viol 329 good 0 bumps 13006391
1675.84/1680.52	c (FJ) 0: step 29100000 viol 328 good 0 bumps 13053567
1675.84/1680.52	c (FJ) 0: step 29200000 viol 327 good 0 bumps 13101672
1675.84/1680.52	c (FJ) 0: step 29300000 viol 335 good 1 bumps 13150954
1675.84/1680.52	c (FJ) 0: step 29400000 viol 321 good 0 bumps 13199061
1675.84/1680.52	c (FJ) 0: step 29500000 viol 322 good 0 bumps 13248029
1675.84/1680.52	c (FJ) 0: step 29600000 viol 321 good 1 bumps 13296811
1675.84/1680.52	c (FJ) 0: step 29700000 viol 323 good 1 bumps 13345554
1675.84/1680.52	c (FJ) 0: step 29800000 viol 333 good 1 bumps 13394896
2092.18/2097.94	c (FJ) 0: step 29900000 viol 332 good 1 bumps 13439033
2092.18/2097.94	c (FJ) 0: step 30000000 viol 319 good 1 bumps 13487290
2092.18/2097.94	c (FJ) 0: step 30100000 viol 315 good 0 bumps 13536251
2092.18/2097.94	c (FJ) 0: step 30200000 viol 316 good 0 bumps 13583300
2092.18/2097.94	c (FJ) 0: step 30300000 viol 317 good 1 bumps 13632243
2092.18/2097.94	c (FJ) 0: step 30400000 viol 310 good 0 bumps 13681054
2092.18/2097.94	c (FJ) 0: step 30500000 viol 314 good 0 bumps 13726545
2092.18/2097.94	c (FJ) 0: step 30600000 viol 323 good 1 bumps 13775433
2092.18/2097.94	c (FJ) 0: step 30700000 viol 336 good 1 bumps 13824443
2092.18/2097.94	c (FJ) 0: step 30800000 viol 335 good 1 bumps 13873645
2092.18/2097.94	c (FJ) 0: step 30900000 viol 330 good 0 bumps 13922743
2092.18/2097.94	c (FJ) 0: step 31000000 viol 335 good 1 bumps 13971702
2092.18/2097.94	c (FJ) 0: step 31100000 viol 333 good 16 bumps 14020467
2092.18/2097.94	c (FJ) 0: step 31200000 viol 322 good 1 bumps 14061652
2092.18/2097.94	c (FJ) 0: step 31300000 viol 323 good 0 bumps 14110900
2092.18/2097.94	c (FJ) 0: step 31400000 viol 316 good 0 bumps 14159643
2092.18/2097.94	c (FJ) 0: step 31500000 viol 325 good 1 bumps 14205229
2092.18/2097.94	c (FJ) 0: step 31600000 viol 320 good 1 bumps 14254179
2092.18/2097.94	c (FJ) 0: step 31700000 viol 320 good 1 bumps 14303298
2092.18/2097.94	c (FJ) 0: step 31800000 viol 324 good 0 bumps 14351161
2092.18/2097.94	c (FJ) 0: step 31900000 viol 328 good 0 bumps 14395267
2092.18/2097.94	c (FJ) 0: step 32000000 viol 329 good 3 bumps 14441739
2092.18/2097.94	c (FJ) 0: step 32100000 viol 323 good 0 bumps 14484995
2092.18/2097.94	c (FJ) 0: step 32200000 viol 325 good 2 bumps 14528549
2092.18/2097.94	c (FJ) 0: step 32300000 viol 322 good 0 bumps 14571019
2092.18/2097.94	c (FJ) 0: step 32400000 viol 322 good 1 bumps 14612389
2092.18/2097.94	c (FJ) 0: step 32500000 viol 323 good 0 bumps 14650679
2092.18/2097.94	c (FJ) 0: step 32600000 viol 321 good 1 bumps 14693037
2092.18/2097.94	c (FJ) 0: step 32700000 viol 316 good 0 bumps 14735183
2092.18/2097.94	c (FJ) 0: step 32800000 viol 307 good 0 bumps 14781239
2092.18/2097.94	c (FJ) 0: step 32900000 viol 314 good 0 bumps 14830416
2092.18/2097.94	c (FJ) 0: step 33000000 viol 333 good 0 bumps 14879143
2092.18/2097.94	c (FJ) 0: step 33100000 viol 334 good 0 bumps 14927656
2092.18/2097.94	c (FJ) 0: step 33200000 viol 344 good 0 bumps 14976202
2092.18/2097.94	c (FJ) 0: step 33300000 viol 333 good 0 bumps 15024960
2092.18/2097.94	c (FJ) 0: step 33400000 viol 331 good 0 bumps 15073788
2092.18/2097.94	c (FJ) 0: step 33500000 viol 339 good 0 bumps 15118933
2092.18/2097.94	c (FJ) 0: step 33600000 viol 324 good 1 bumps 15167887
2092.18/2097.94	c (FJ) 0: step 33700000 viol 325 good 2 bumps 15215090
2092.18/2097.94	c (FJ) 0: step 33800000 viol 325 good 0 bumps 15258958
2092.18/2097.94	c (FJ) 0: step 33900000 viol 323 good 1 bumps 15307778
2092.18/2097.94	c (FJ) 0: step 34000000 viol 331 good 19 bumps 15344537
2092.18/2097.94	c (FJ) 0: step 34100000 viol 325 good 0 bumps 15358410
2092.18/2097.94	c (FJ) 0: step 34200000 viol 325 good 2 bumps 15406321
2092.18/2097.94	c (FJ) 0: step 34300000 viol 323 good 0 bumps 15451366
2092.18/2097.94	c (FJ) 0: step 34400000 viol 332 good 0 bumps 15500270
2092.18/2097.94	c (FJ) 0: step 34500000 viol 320 good 1 bumps 15549125
2092.18/2097.94	c (FJ) 0: step 34600000 viol 335 good 1 bumps 15598181
2092.18/2097.94	c (FJ) 0: step 34700000 viol 329 good 0 bumps 15647219
2092.18/2097.94	c (FJ) 0: step 34800000 viol 330 good 1 bumps 15696075
2092.18/2097.94	c (FJ) 0: step 34900000 viol 323 good 0 bumps 15745181
2092.18/2097.94	c (FJ) 0: step 35000000 viol 328 good 0 bumps 15794201
2092.18/2097.94	c (FJ) 0: step 35100000 viol 333 good 0 bumps 15843320
2092.18/2097.94	c (FJ) 0: step 35200000 viol 330 good 0 bumps 15892193
2092.18/2097.94	c (FJ) 0: step 35300000 viol 333 good 75 bumps 15939981
2092.18/2097.94	c (FJ) 0: step 35400000 viol 326 good 0 bumps 15987361
2092.18/2097.94	c (FJ) 0: step 35500000 viol 326 good 18 bumps 16005212
2092.18/2097.94	c (FJ) 0: step 35600000 viol 331 good 22 bumps 16017318
2092.18/2097.94	c (FJ) 0: step 35700000 viol 332 good 1 bumps 16030296
2092.18/2097.94	c (FJ) 0: step 35800000 viol 337 good 30 bumps 16043270
2092.18/2097.94	c (FJ) 0: step 35900000 viol 340 good 1 bumps 16058852
2092.18/2097.94	c (FJ) 0: step 36000000 viol 341 good 0 bumps 16108350
2092.18/2097.94	c (FJ) 0: step 36100000 viol 330 good 0 bumps 16155441
2092.18/2097.94	c (FJ) 0: step 36200000 viol 331 good 17 bumps 16202504
2092.18/2097.94	c (FJ) 0: step 36300000 viol 326 good 1 bumps 16251706
2092.18/2097.94	c (FJ) 0: step 36400000 viol 330 good 1 bumps 16300683
2092.18/2097.94	c (FJ) 0: step 36500000 viol 328 good 0 bumps 16349327
2092.18/2097.94	c (FJ) 0: step 36600000 viol 335 good 1 bumps 16398465
2092.18/2097.94	c (FJ) 0: step 36700000 viol 324 good 0 bumps 16447301
2092.18/2097.94	c (FJ) 0: step 36800000 viol 320 good 0 bumps 16496300
2092.18/2097.94	c (FJ) 0: step 36900000 viol 324 good 1 bumps 16541914
2092.18/2097.94	c (FJ) 0: step 37000000 viol 324 good 0 bumps 16582541
2092.18/2097.94	c (FJ) 0: step 37100000 viol 318 good 2 bumps 16627579
2092.18/2097.94	c (FJ) 0: step 37200000 viol 321 good 0 bumps 16671701
2515.29/2522.29	c (FJ) 0: step 37300000 viol 314 good 0 bumps 16717183
2515.29/2522.29	c (FJ) 0: step 37400000 viol 316 good 0 bumps 16764622
2515.29/2522.29	c (FJ) 0: step 37500000 viol 323 good 1 bumps 16814060
2515.29/2522.29	c (FJ) 0: step 37600000 viol 314 good 0 bumps 16863478
2515.29/2522.29	c (FJ) 0: step 37700000 viol 318 good 1 bumps 16912577
2515.29/2522.29	c (FJ) 0: step 37800000 viol 316 good 1 bumps 16939368
2515.29/2522.29	c (FJ) 0: step 37900000 viol 324 good 1 bumps 16986773
2515.29/2522.29	c (FJ) 0: step 38000000 viol 324 good 0 bumps 17035722
2515.29/2522.29	c (FJ) 0: step 38100000 viol 338 good 1 bumps 17084839
2515.29/2522.29	c (FJ) 0: step 38200000 viol 335 good 1 bumps 17134154
2515.29/2522.29	c (FJ) 0: step 38300000 viol 331 good 1 bumps 17177724
2515.29/2522.29	c (FJ) 0: step 38400000 viol 325 good 0 bumps 17217007
2515.29/2522.29	c (FJ) 0: step 38500000 viol 332 good 0 bumps 17257385
2515.29/2522.29	c (FJ) 0: step 38600000 viol 334 good 0 bumps 17300348
2515.29/2522.29	c (FJ) 0: step 38700000 viol 324 good 1 bumps 17349804
2515.29/2522.29	c (FJ) 0: step 38800000 viol 327 good 0 bumps 17399170
2515.29/2522.29	c (FJ) 0: step 38900000 viol 324 good 1 bumps 17448287
2515.29/2522.29	c (FJ) 0: step 39000000 viol 324 good 0 bumps 17497393
2515.29/2522.29	c (FJ) 0: step 39100000 viol 314 good 1 bumps 17545724
2515.29/2522.29	c (FJ) 0: step 39200000 viol 314 good 0 bumps 17594733
2515.29/2522.29	c (FJ) 0: step 39300000 viol 319 good 0 bumps 17642534
2515.29/2522.29	c (FJ) 0: step 39400000 viol 323 good 1 bumps 17691949
2515.29/2522.29	c (FJ) 0: step 39500000 viol 320 good 1 bumps 17740995
2515.29/2522.29	c (FJ) 0: step 39600000 viol 315 good 0 bumps 17790081
2515.29/2522.29	c (FJ) 0: step 39700000 viol 317 good 0 bumps 17838822
2515.29/2522.29	c (FJ) 0: step 39800000 viol 323 good 1 bumps 17887611
2515.29/2522.29	c (FJ) 0: step 39900000 viol 321 good 0 bumps 17936421
2515.29/2522.29	c (FJ) 0: step 40000000 viol 306 good 0 bumps 17985225
2515.29/2522.29	c (FJ) 0: step 40100000 viol 293 good 0 bumps 18033893
2515.29/2522.29	c (FJ) 0: step 40200000 viol 298 good 0 bumps 18079202
2515.29/2522.29	c (FJ) 0: step 40300000 viol 300 good 7 bumps 18103113
2515.29/2522.29	c (FJ) 0: step 40400000 viol 300 good 17 bumps 18111609
2515.29/2522.29	c (FJ) 0: step 40500000 viol 307 good 0 bumps 18133511
2515.29/2522.29	c (FJ) 0: step 40600000 viol 312 good 0 bumps 18182699
2515.29/2522.29	c (FJ) 0: step 40700000 viol 321 good 0 bumps 18231852
2515.29/2522.29	c (FJ) 0: step 40800000 viol 310 good 1 bumps 18280987
2515.29/2522.29	c (FJ) 0: step 40900000 viol 319 good 0 bumps 18330356
2515.29/2522.29	c (FJ) 0: step 41000000 viol 328 good 0 bumps 18379657
2515.29/2522.29	c (FJ) 0: step 41100000 viol 322 good 2 bumps 18419210
2515.29/2522.29	c (FJ) 0: step 41200000 viol 310 good 1 bumps 18456292
2515.29/2522.29	c (FJ) 0: step 41300000 viol 311 good 1 bumps 18497733
2515.29/2522.29	c (FJ) 0: step 41400000 viol 317 good 1 bumps 18547031
2515.29/2522.29	c (FJ) 0: step 41500000 viol 314 good 1 bumps 18595712
2515.29/2522.29	c (FJ) 0: step 41600000 viol 321 good 0 bumps 18641794
2515.29/2522.29	c (FJ) 0: step 41700000 viol 320 good 1 bumps 18685600
2515.29/2522.29	c (FJ) 0: step 41800000 viol 327 good 0 bumps 18730558
2515.29/2522.29	c (FJ) 0: step 41900000 viol 321 good 0 bumps 18776782
2515.29/2522.29	c (FJ) 0: step 42000000 viol 310 good 0 bumps 18816352
2515.29/2522.29	c (FJ) 0: step 42100000 viol 317 good 2 bumps 18855452
2515.29/2522.29	c (FJ) 0: step 42200000 viol 317 good 1 bumps 18897436
2515.29/2522.29	c (FJ) 0: step 42300000 viol 326 good 0 bumps 18937869
2515.29/2522.29	c (FJ) 0: step 42400000 viol 332 good 2 bumps 18977146
2515.29/2522.29	c (FJ) 0: step 42500000 viol 338 good 0 bumps 19017505
2515.29/2522.29	c (FJ) 0: step 42600000 viol 331 good 0 bumps 19066349
2515.29/2522.29	c (FJ) 0: step 42700000 viol 321 good 0 bumps 19115205
2515.29/2522.29	c (FJ) 0: step 42800000 viol 310 good 1 bumps 19161128
2515.29/2522.29	c (FJ) 0: step 42900000 viol 317 good 0 bumps 19210182
2515.29/2522.29	c (FJ) 0: step 43000000 viol 315 good 1 bumps 19254948
2515.29/2522.29	c (FJ) 0: step 43100000 viol 319 good 0 bumps 19304174
2515.29/2522.29	c (FJ) 0: step 43200000 viol 308 good 1 bumps 19353009
2515.29/2522.29	c (FJ) 0: step 43300000 viol 317 good 0 bumps 19401975
2515.29/2522.29	c (FJ) 0: step 43400000 viol 325 good 0 bumps 19449853
2515.29/2522.29	c (FJ) 0: step 43500000 viol 324 good 1 bumps 19497137
2515.29/2522.29	c (FJ) 0: step 43600000 viol 322 good 1 bumps 19546073
2515.29/2522.29	c (FJ) 0: step 43700000 viol 322 good 0 bumps 19595291
2515.29/2522.29	c (FJ) 0: step 43800000 viol 328 good 0 bumps 19644499
2515.29/2522.29	c (FJ) 0: step 43900000 viol 335 good 0 bumps 19693588
2515.29/2522.29	c (FJ) 0: step 44000000 viol 337 good 1 bumps 19742672
2515.29/2522.29	c (FJ) 0: step 44100000 viol 336 good 1 bumps 19791668
2515.29/2522.29	c (FJ) 0: step 44200000 viol 338 good 1 bumps 19840660
2515.29/2522.29	c (FJ) 0: step 44300000 viol 329 good 1 bumps 19889480
2515.29/2522.29	c (FJ) 0: step 44400000 viol 332 good 1 bumps 19938427
2515.29/2522.29	c (FJ) 0: step 44500000 viol 330 good 0 bumps 19987203
2515.29/2522.29	c (FJ) 0: step 44600000 viol 331 good 1 bumps 20035985
2969.30/2977.53	c (FJ) 0: step 44700000 viol 328 good 0 bumps 20078997
2969.30/2977.53	c (FJ) 0: step 44800000 viol 314 good 1 bumps 20122235
2969.30/2977.53	c (FJ) 0: step 44900000 viol 315 good 0 bumps 20171185
2969.30/2977.53	c (FJ) 0: step 45000000 viol 317 good 0 bumps 20213250
2969.30/2977.53	c (FJ) 0: step 45100000 viol 322 good 0 bumps 20261581
2969.30/2977.53	c (FJ) 0: step 45200000 viol 328 good 1 bumps 20310706
2969.30/2977.53	c (FJ) 0: step 45300000 viol 323 good 0 bumps 20359649
2969.30/2977.53	c (FJ) 0: step 45400000 viol 330 good 1 bumps 20408808
2969.30/2977.53	c (FJ) 0: step 45500000 viol 329 good 0 bumps 20457735
2969.30/2977.53	c (FJ) 0: step 45600000 viol 337 good 0 bumps 20506660
2969.30/2977.53	c (FJ) 0: step 45700000 viol 319 good 0 bumps 20555681
2969.30/2977.53	c (FJ) 0: step 45800000 viol 323 good 1 bumps 20603352
2969.30/2977.53	c (FJ) 0: step 45900000 viol 327 good 0 bumps 20648263
2969.30/2977.53	c (FJ) 0: step 46000000 viol 344 good 1 bumps 20697232
2969.30/2977.53	c (FJ) 0: step 46100000 viol 340 good 1 bumps 20741175
2969.30/2977.53	c (FJ) 0: step 46200000 viol 341 good 1 bumps 20789825
2969.30/2977.53	c (FJ) 0: step 46300000 viol 338 good 0 bumps 20838795
2969.30/2977.53	c (FJ) 0: step 46400000 viol 338 good 4 bumps 20887596
2969.30/2977.53	c (FJ) 0: step 46500000 viol 322 good 0 bumps 20935932
2969.30/2977.53	c (FJ) 0: step 46600000 viol 323 good 0 bumps 20980238
2969.30/2977.53	c (FJ) 0: step 46700000 viol 324 good 1 bumps 21028083
2969.30/2977.53	c (FJ) 0: step 46800000 viol 318 good 1 bumps 21076855
2969.30/2977.53	c (FJ) 0: step 46900000 viol 316 good 0 bumps 21126224
2969.30/2977.53	c (FJ) 0: step 47000000 viol 306 good 0 bumps 21175508
2969.30/2977.53	c (FJ) 0: step 47100000 viol 315 good 0 bumps 21224233
2969.30/2977.53	c (FJ) 0: step 47200000 viol 314 good 0 bumps 21272783
2969.30/2977.53	c (FJ) 0: step 47300000 viol 317 good 1 bumps 21321237
2969.30/2977.53	c (FJ) 0: step 47400000 viol 312 good 0 bumps 21370176
2969.30/2977.53	c (FJ) 0: step 47500000 viol 319 good 1 bumps 21418943
2969.30/2977.53	c (FJ) 0: step 47600000 viol 315 good 1 bumps 21466994
2969.30/2977.53	c (FJ) 0: step 47700000 viol 319 good 0 bumps 21514650
2969.30/2977.53	c (FJ) 0: step 47800000 viol 322 good 0 bumps 21563384
2969.30/2977.53	c (FJ) 0: step 47900000 viol 335 good 1 bumps 21612276
2969.30/2977.53	c (FJ) 0: step 48000000 viol 335 good 0 bumps 21661276
2969.30/2977.53	c (FJ) 0: step 48100000 viol 328 good 0 bumps 21709294
2969.30/2977.53	c (FJ) 0: step 48200000 viol 336 good 2 bumps 21758167
2969.30/2977.53	c (FJ) 0: step 48300000 viol 339 good 0 bumps 21807213
2969.30/2977.53	c (FJ) 0: step 48400000 viol 348 good 0 bumps 21856333
2969.30/2977.53	c (FJ) 0: step 48500000 viol 344 good 1 bumps 21905104
2969.30/2977.53	c (FJ) 0: step 48600000 viol 352 good 0 bumps 21953701
2969.30/2977.53	c (FJ) 0: step 48700000 viol 339 good 1 bumps 22002382
2969.30/2977.53	c (FJ) 0: step 48800000 viol 333 good 1 bumps 22051272
2969.30/2977.53	c (FJ) 0: step 48900000 viol 326 good 0 bumps 22100143
2969.30/2977.53	c (FJ) 0: step 49000000 viol 336 good 1 bumps 22148730
2969.30/2977.53	c (FJ) 0: step 49100000 viol 329 good 3 bumps 22192730
2969.30/2977.53	c (FJ) 0: step 49200000 viol 327 good 0 bumps 22227788
2969.30/2977.53	c (FJ) 0: step 49300000 viol 331 good 0 bumps 22270783
2969.30/2977.53	c (FJ) 0: step 49400000 viol 326 good 1 bumps 22319007
2969.30/2977.53	c (FJ) 0: step 49500000 viol 328 good 1 bumps 22358379
2969.30/2977.53	c (FJ) 0: step 49600000 viol 321 good 1 bumps 22407090
2969.30/2977.53	c (FJ) 0: step 49700000 viol 325 good 1 bumps 22456272
2969.30/2977.53	c (FJ) 0: step 49800000 viol 323 good 0 bumps 22505161
2969.30/2977.53	c (FJ) 0: step 49900000 viol 326 good 1 bumps 22554132
2969.30/2977.53	c (FJ) 0: step 50000000 viol 322 good 1 bumps 22602841
2969.30/2977.53	c (FJ) 0: step 50100000 viol 325 good 0 bumps 22652263
2969.30/2977.53	c (FJ) 0: step 50200000 viol 329 good 1 bumps 22700955
2969.30/2977.53	c (FJ) 0: step 50300000 viol 328 good 0 bumps 22748637
2969.30/2977.53	c (FJ) 0: step 50400000 viol 323 good 0 bumps 22797611
2969.30/2977.53	c (FJ) 0: step 50500000 viol 321 good 1 bumps 22845119
2969.30/2977.53	c (FJ) 0: step 50600000 viol 320 good 1 bumps 22892998
2969.30/2977.53	c (FJ) 0: step 50700000 viol 326 good 1 bumps 22935081
2969.30/2977.53	c (FJ) 0: step 50800000 viol 327 good 1 bumps 22984403
2969.30/2977.53	c (FJ) 0: step 50900000 viol 328 good 0 bumps 23033150
2969.30/2977.53	c (FJ) 0: step 51000000 viol 326 good 0 bumps 23082035
2969.30/2977.53	c (FJ) 0: step 51100000 viol 311 good 0 bumps 23130529
2969.30/2977.53	c (FJ) 0: step 51200000 viol 315 good 1 bumps 23179509
2969.30/2977.53	c (FJ) 0: step 51300000 viol 323 good 0 bumps 23228259
2969.30/2977.53	c (FJ) 0: step 51400000 viol 327 good 1 bumps 23276872
2969.30/2977.53	c (FJ) 0: step 51500000 viol 322 good 0 bumps 23325761
2969.30/2977.53	c (FJ) 0: step 51600000 viol 327 good 0 bumps 23374986
2969.30/2977.53	c (FJ) 0: step 51700000 viol 332 good 1 bumps 23418701
2969.30/2977.53	c (FJ) 0: step 51800000 viol 333 good 0 bumps 23465472
2969.30/2977.53	c (FJ) 0: step 51900000 viol 322 good 0 bumps 23514582
2969.30/2977.53	c (FJ) 0: step 52000000 viol 322 good 1 bumps 23562413
2969.30/2977.53	c (FJ) 0: step 52100000 viol 325 good 0 bumps 23611785
3400.18/3409.65	c (FJ) 0: step 52200000 viol 316 good 1 bumps 23660300
3400.18/3409.65	c (FJ) 0: step 52300000 viol 320 good 0 bumps 23709367
3400.18/3409.65	c (FJ) 0: step 52400000 viol 321 good 70 bumps 23758576
3400.18/3409.65	c (FJ) 0: step 52500000 viol 333 good 0 bumps 23797876
3400.18/3409.65	c (FJ) 0: step 52600000 viol 326 good 1 bumps 23846849
3400.18/3409.65	c (FJ) 0: step 52700000 viol 320 good 1 bumps 23895151
3400.18/3409.65	c (FJ) 0: step 52800000 viol 327 good 1 bumps 23933948
3400.18/3409.65	c (FJ) 0: step 52900000 viol 333 good 1 bumps 23972266
3400.18/3409.65	c (FJ) 0: step 53000000 viol 331 good 0 bumps 24021474
3400.18/3409.65	c (FJ) 0: step 53100000 viol 330 good 0 bumps 24070815
3400.18/3409.65	c (FJ) 0: step 53200000 viol 325 good 0 bumps 24120101
3400.18/3409.65	c (FJ) 0: step 53300000 viol 324 good 1 bumps 24168177
3400.18/3409.65	c (FJ) 0: step 53400000 viol 327 good 1 bumps 24217301
3400.18/3409.65	c (FJ) 0: step 53500000 viol 331 good 0 bumps 24265797
3400.18/3409.65	c (FJ) 0: step 53600000 viol 334 good 1 bumps 24310353
3400.18/3409.65	c (FJ) 0: step 53700000 viol 343 good 1 bumps 24357785
3400.18/3409.65	c (FJ) 0: step 53800000 viol 349 good 1 bumps 24407358
3400.18/3409.65	c (FJ) 0: step 53900000 viol 349 good 0 bumps 24456815
3400.18/3409.65	c (FJ) 0: step 54000000 viol 338 good 0 bumps 24505927
3400.18/3409.65	c (FJ) 0: step 54100000 viol 345 good 1 bumps 24555331
3400.18/3409.65	c (FJ) 0: step 54200000 viol 341 good 189 bumps 24604370
3400.18/3409.65	c (FJ) 0: step 54300000 viol 333 good 1 bumps 24653595
3400.18/3409.65	c (FJ) 0: step 54400000 viol 329 good 1 bumps 24702864
3400.18/3409.65	c (FJ) 0: step 54500000 viol 323 good 0 bumps 24751591
3400.18/3409.65	c (FJ) 0: step 54600000 viol 327 good 1 bumps 24800713
3400.18/3409.65	c (FJ) 0: step 54700000 viol 330 good 0 bumps 24849998
3400.18/3409.65	c (FJ) 0: step 54800000 viol 330 good 0 bumps 24899135
3400.18/3409.65	c (FJ) 0: step 54900000 viol 330 good 1 bumps 24947393
3400.18/3409.65	c (FJ) 0: step 55000000 viol 328 good 1 bumps 24996478
3400.18/3409.65	c (FJ) 0: step 55100000 viol 324 good 1 bumps 25045925
3400.18/3409.65	c (FJ) 0: step 55200000 viol 330 good 4 bumps 25095295
3400.18/3409.65	c (FJ) 0: step 55300000 viol 328 good 0 bumps 25144798
3400.18/3409.65	c (FJ) 0: step 55400000 viol 320 good 1 bumps 25194158
3400.18/3409.65	c (FJ) 0: step 55500000 viol 321 good 1 bumps 25223636
3400.18/3409.65	c (FJ) 0: step 55600000 viol 320 good 3 bumps 25247341
3400.18/3409.65	c (FJ) 0: step 55700000 viol 322 good 1 bumps 25256237
3400.18/3409.65	c (FJ) 0: step 55800000 viol 328 good 0 bumps 25265370
3400.18/3409.65	c (FJ) 0: step 55900000 viol 330 good 0 bumps 25314589
3400.18/3409.65	c (FJ) 0: step 56000000 viol 334 good 9 bumps 25330183
3400.18/3409.65	c (FJ) 0: step 56100000 viol 334 good 1 bumps 25350065
3400.18/3409.65	c (FJ) 0: step 56200000 viol 332 good 0 bumps 25399068
3400.18/3409.65	c (FJ) 0: step 56300000 viol 323 good 1 bumps 25448224
3400.18/3409.65	c (FJ) 0: step 56400000 viol 316 good 1 bumps 25497129
3400.18/3409.65	c (FJ) 0: step 56500000 viol 316 good 1 bumps 25546217
3400.18/3409.65	c (FJ) 0: step 56600000 viol 327 good 2 bumps 25595113
3400.18/3409.65	c (FJ) 0: step 56700000 viol 320 good 0 bumps 25644146
3400.18/3409.65	c (FJ) 0: step 56800000 viol 319 good 0 bumps 25693262
3400.18/3409.65	c (FJ) 0: step 56900000 viol 321 good 1 bumps 25742457
3400.18/3409.65	c (FJ) 0: step 57000000 viol 314 good 0 bumps 25789893
3400.18/3409.65	c (FJ) 0: step 57100000 viol 320 good 1 bumps 25838942
3400.18/3409.65	c (FJ) 0: step 57200000 viol 302 good 1 bumps 25886901
3400.18/3409.65	c (FJ) 0: step 57300000 viol 310 good 1 bumps 25936241
3400.18/3409.65	c (FJ) 0: step 57400000 viol 313 good 1 bumps 25985531
3400.18/3409.65	c (FJ) 0: step 57500000 viol 321 good 1 bumps 26033439
3400.18/3409.65	c (FJ) 0: step 57600000 viol 328 good 2 bumps 26080340
3400.18/3409.65	c (FJ) 0: step 57700000 viol 326 good 0 bumps 26126416
3400.18/3409.65	c (FJ) 0: step 57800000 viol 328 good 1 bumps 26175399
3400.18/3409.65	c (FJ) 0: step 57900000 viol 317 good 0 bumps 26224439
3400.18/3409.65	c (FJ) 0: step 58000000 viol 318 good 0 bumps 26271299
3400.18/3409.65	c (FJ) 0: step 58100000 viol 318 good 0 bumps 26312935
3400.18/3409.65	c (FJ) 0: step 58200000 viol 315 good 0 bumps 26362185
3400.18/3409.65	c (FJ) 0: step 58300000 viol 325 good 0 bumps 26411570
3400.18/3409.65	c (FJ) 0: step 58400000 viol 322 good 0 bumps 26460917
3400.18/3409.65	c (FJ) 0: step 58500000 viol 321 good 1 bumps 26506869
3400.18/3409.65	c (FJ) 0: step 58600000 viol 321 good 0 bumps 26539177
3400.18/3409.65	c (FJ) 0: step 58700000 viol 323 good 0 bumps 26587438
3400.18/3409.65	c (FJ) 0: step 58800000 viol 330 good 1 bumps 26635336
3400.18/3409.65	c (FJ) 0: step 58900000 viol 322 good 1 bumps 26684835
3400.18/3409.65	c (FJ) 0: step 59000000 viol 318 good 1 bumps 26730839
3400.18/3409.65	c (FJ) 0: step 59100000 viol 327 good 1 bumps 26780186
3400.18/3409.65	c (FJ) 0: step 59200000 viol 328 good 1 bumps 26829645
3400.18/3409.65	c (FJ) 0: step 59300000 viol 325 good 0 bumps 26879043
3400.18/3409.65	c (FJ) 0: step 59400000 viol 331 good 0 bumps 26928350
3400.18/3409.65	c (FJ) 0: step 59500000 viol 325 good 1 bumps 26977871
3588.06/3598.04	c (FJ) 0: step 59600000 viol 319 good 0 bumps 27027344
3588.06/3598.04	c (FJ) 0: step 59700000 viol 304 good 0 bumps 27076500
3588.06/3598.04	c (FJ) 0: step 59800000 viol 322 good 0 bumps 27125634
3588.06/3598.04	c (FJ) 0: step 59900000 viol 320 good 7 bumps 27161903
3588.06/3598.04	c (FJ) 0: step 60000000 viol 323 good 4 bumps 27173235
3588.06/3598.04	c (FJ) 0: step 60100000 viol 321 good 1 bumps 27186246
3588.06/3598.04	c (FJ) 0: step 60200000 viol 322 good 2 bumps 27196979
3588.06/3598.04	c (FJ) 0: step 60300000 viol 328 good 15 bumps 27208320
3588.06/3598.04	c (FJ) 0: step 60400000 viol 325 good 10 bumps 27238483
3588.06/3598.04	c (FJ) 0: step 60500000 viol 322 good 0 bumps 27286878
3588.06/3598.04	c (FJ) 0: step 60600000 viol 330 good 1 bumps 27335923
3588.06/3598.04	c (FJ) 0: step 60700000 viol 342 good 1 bumps 27384965
3588.06/3598.04	c (FJ) 0: step 60800000 viol 336 good 1 bumps 27434033
3588.06/3598.04	c (FJ) 0: step 60900000 viol 320 good 1 bumps 27482686
3588.06/3598.04	c (FJ) 0: step 61000000 viol 327 good 0 bumps 27531783
3588.06/3598.04	c (FJ) 0: step 61100000 viol 323 good 1 bumps 27581001
3588.06/3598.04	c (FJ) 0: step 61200000 viol 334 good 1 bumps 27630069
3588.06/3598.04	c (FJ) 0: step 61300000 viol 327 good 0 bumps 27679145
3588.06/3598.04	c (FJ) 0: step 61400000 viol 334 good 1 bumps 27728506
3588.06/3598.04	c (FJ) 0: step 61500000 viol 321 good 1 bumps 27777696
3588.06/3598.04	c (FJ) 0: step 61600000 viol 326 good 0 bumps 27820977
3588.06/3598.04	c (FJ) 0: step 61700000 viol 338 good 0 bumps 27860504
3588.06/3598.04	c (FJ) 0: step 61800000 viol 334 good 1 bumps 27900185
3588.06/3598.04	c (FJ) 0: step 61900000 viol 325 good 1 bumps 27943194
3588.06/3598.04	c (FJ) 0: step 62000000 viol 321 good 1 bumps 27992278
3588.06/3598.04	c (FJ) 0: step 62100000 viol 320 good 1 bumps 28041574
3588.06/3598.04	c (FJ) 0: step 62200000 viol 321 good 0 bumps 28090741
3588.06/3598.04	c (FJ) 0: step 62300000 viol 317 good 0 bumps 28140348
3588.06/3598.04	c (FJ) 0: step 62400000 viol 327 good 0 bumps 28188815
3588.06/3598.04	c (FJ) 0: step 62500000 viol 328 good 1 bumps 28238172
3588.06/3598.04	c (FJ) 0: step 62600000 viol 320 good 1 bumps 28287551
3588.06/3598.04	c (FJ) 0: step 62700000 viol 320 good 3 bumps 28329928
3588.06/3598.04	c (FJ) 0: step 62800000 viol 323 good 0 bumps 28363098
3588.06/3598.04	c (FJ) 0: step 62900000 viol 327 good 2 bumps 28402158
3588.06/3598.04	c (FJ) 0: step 63000000 viol 331 good 2 bumps 28441772
3588.06/3598.04	c (FJ) 0: quitting because time 3598 > 3598.
3588.06/3598.04	c (FJ) 0: effort rate: 239.781 Mops/sec
3588.06/3598.04	c (FJ) all threads exited.
3588.06/3598.04	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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 (62064 MiB free)
  memory of node 1: 64510 MiB (59265 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463916-1722378594/watcher-4463916-1722378594 -o /tmp/evaluation-result-4463916-1722378594/solver-4463916-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722378594-29038 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463916-1722378594.opb -qsol -t 3600 -sth 1 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=29097, runsolver pid=29094

[startup+0.100094 s]*
/proc/loadavg: 0.12 0.11 0.09 5/259 29099
/proc/meminfo: memFree=124107848/131524592 swapFree=131071996/131071996
[pid=29097] ppid=29094 vsize=100608 memory=18872 CPUtime=0.1 cores=5,7
/proc/29097/stat : 29097 (fscip) S 29094 29097 29025 0 -1 1077936128 3468 0 0 0 10 0 0 0 20 0 2 0 4456509 103022592 4718 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
/proc/29097/statm: 25152 4718 2294 3035 0 6535 0
[pid=29097/tid=29099] ppid=29094 vsize=100608 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/29097/task/29099/stat : 29099 (fscip) R 29094 29097 29025 0 -1 4194368 1605 0 0 0 8 0 0 0 20 0 2 0 4456511 103022592 4718 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 18872 KiB

[startup+0.205723 s]*
/proc/loadavg: 0.12 0.11 0.09 5/259 29099
/proc/meminfo: memFree=123919544/131524592 swapFree=131071996/131071996
[pid=29097] ppid=29094 vsize=100608 memory=18872 CPUtime=0.2 cores=5,7
/proc/29097/stat : 29097 (fscip) S 29094 29097 29025 0 -1 1077936128 3468 0 0 0 20 0 0 0 20 0 2 0 4456509 103022592 4718 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
/proc/29097/statm: 25152 4718 2294 3035 0 6535 0
[pid=29097/tid=29099] ppid=29094 vsize=100608 memory=664970838410264707 CPUtime=0.18 cores=5,7
/proc/29097/task/29099/stat : 29099 (fscip) R 29094 29097 29025 0 -1 4194368 1605 0 0 0 18 0 0 0 20 0 2 0 4456511 103022592 4718 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 18872 KiB

[startup+0.305749 s]*
/proc/loadavg: 0.12 0.11 0.09 5/259 29099
/proc/meminfo: memFree=123820984/131524592 swapFree=131071996/131071996
[pid=29097] ppid=29094 vsize=100608 memory=18872 CPUtime=0.3 cores=5,7
/proc/29097/stat : 29097 (fscip) S 29094 29097 29025 0 -1 1077936128 3468 0 0 0 30 0 0 0 20 0 2 0 4456509 103022592 4718 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
/proc/29097/statm: 25152 4718 2294 3035 0 6535 0
[pid=29097/tid=29099] ppid=29094 vsize=100608 memory=-5155631275924745349 CPUtime=0.28 cores=5,7
/proc/29097/task/29099/stat : 29099 (fscip) R 29094 29097 29025 0 -1 4194368 1605 0 0 0 28 0 0 0 20 0 2 0 4456511 103022592 4718 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 18872 KiB

[startup+0.700248 s]
/proc/loadavg: 0.12 0.11 0.09 5/259 29099
/proc/meminfo: memFree=123704784/131524592 swapFree=131071996/131071996
[pid=29097] ppid=29094 vsize=100608 memory=18872 CPUtime=0.69 cores=5,7
/proc/29097/stat : 29097 (fscip) S 29094 29097 29025 0 -1 1077936128 3468 0 0 0 69 0 0 0 20 0 2 0 4456509 103022592 4718 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
/proc/29097/statm: 25152 4718 2294 3035 0 6535 0
[pid=29097/tid=29099] ppid=29094 vsize=100608 memory=15884 CPUtime=0.67 cores=5,7
/proc/29097/task/29099/stat : 29099 (fscip) R 29094 29097 29025 0 -1 4194368 1605 0 0 0 67 0 0 0 20 0 2 0 4456511 103022592 4718 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 18872 KiB

[startup+1.50024 s]
/proc/loadavg: 0.12 0.11 0.09 5/261 29101
/proc/meminfo: memFree=123310356/131524592 swapFree=131071996/131071996
[pid=29097] ppid=29094 vsize=100608 memory=18960 CPUtime=1.49 cores=5,7
/proc/29097/stat : 29097 (fscip) S 29094 29097 29025 0 -1 1077936128 4509 0 0 0 149 0 0 0 20 0 2 0 4456509 103022592 4740 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
/proc/29097/statm: 25152 4740 2294 3035 0 6535 0
[pid=29097/tid=29099] ppid=29094 vsize=100608 memory=15884 CPUtime=1.47 cores=5,7
/proc/29097/task/29099/stat : 29099 (fscip) R 29094 29097 29025 0 -1 4194368 2642 0 0 0 147 0 0 0 20 0 2 0 4456511 103022592 4740 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 18960 KiB

[startup+3.10557 s]
/proc/loadavg: 0.12 0.11 0.09 5/261 29101
/proc/meminfo: memFree=123120600/131524592 swapFree=131071996/131071996
[pid=29097] ppid=29094 vsize=100608 memory=18960 CPUtime=3.09 cores=5,7
/proc/29097/stat : 29097 (fscip) S 29094 29097 29025 0 -1 1077936128 4594 0 0 0 309 0 0 0 20 0 2 0 4456509 103022592 4740 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
/proc/29097/statm: 25152 4740 2294 3035 0 6535 0
[pid=29097/tid=29099] ppid=29094 vsize=100608 memory=18872 CPUtime=3.07 cores=5,7
/proc/29097/task/29099/stat : 29099 (fscip) R 29094 29097 29025 0 -1 4194368 2727 0 0 0 307 0 0 0 20 0 2 0 4456511 103022592 4740 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 18960 KiB

[startup+6.30024 s]
/proc/loadavg: 0.43 0.18 0.11 5/262 29104
/proc/meminfo: memFree=123090964/131524592 swapFree=131071996/131071996
[pid=29097] ppid=29094 vsize=100608 memory=18960 CPUtime=6.27 cores=5,7
/proc/29097/stat : 29097 (fscip) S 29094 29097 29025 0 -1 1077936128 5681 0 0 0 627 0 0 0 20 0 2 0 4456509 103022592 4740 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
/proc/29097/statm: 25152 4740 2294 3035 0 6535 0
[pid=29097/tid=29099] ppid=29094 vsize=100608 memory=18872 CPUtime=6.25 cores=5,7
/proc/29097/task/29099/stat : 29099 (fscip) R 29094 29097 29025 0 -1 4194368 3810 0 0 0 625 0 0 0 20 0 2 0 4456511 103022592 4740 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 18960 KiB

[startup+12.7002 s]
/proc/loadavg: 0.72 0.24 0.13 5/264 29106
/proc/meminfo: memFree=122221536/131524592 swapFree=131071996/131071996
[pid=29097] ppid=29094 vsize=100608 memory=19232 CPUtime=12.65 cores=5,7
/proc/29097/stat : 29097 (fscip) S 29094 29097 29025 0 -1 1077936128 7921 0 0 0 1265 0 0 0 20 0 2 0 4456509 103022592 4808 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
/proc/29097/statm: 25152 4808 2310 3035 0 6535 0
[pid=29097/tid=29099] ppid=29094 vsize=100608 memory=18872 CPUtime=12.64 cores=5,7
/proc/29097/task/29099/stat : 29099 (fscip) R 29094 29097 29025 0 -1 4194368 6042 0 0 0 1264 0 0 0 20 0 2 0 4456511 103022592 4808 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 19232 KiB

[startup+25.5002 s]
/proc/loadavg: 1.45 0.43 0.20 5/264 29109
/proc/meminfo: memFree=121937048/131524592 swapFree=131071996/131071996
[pid=29097] ppid=29094 vsize=100608 memory=19232 CPUtime=25.43 cores=5,7
/proc/29097/stat : 29097 (fscip) S 29094 29097 29025 0 -1 1077936128 10183 0 0 0 2542 1 0 0 20 0 2 0 4456509 103022592 4808 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
/proc/29097/statm: 25152 4808 2310 3035 0 6535 0
[pid=29097/tid=29099] ppid=29094 vsize=100608 memory=18872 CPUtime=25.4 cores=5,7
/proc/29097/task/29099/stat : 29099 (fscip) R 29094 29097 29025 0 -1 4194368 8296 0 0 0 2540 0 0 0 20 0 2 0 4456511 103022592 4808 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 19232 KiB

[startup+51.1058 s]
/proc/loadavg: 2.32 0.71 0.30 5/267 29171
/proc/meminfo: memFree=121224764/131524592 swapFree=131071996/131071996
[pid=29097] ppid=29094 vsize=100608 memory=19232 CPUtime=50.96 cores=5,7
/proc/29097/stat : 29097 (fscip) S 29094 29097 29025 0 -1 1077936128 13445 0 0 0 5095 1 0 0 20 0 2 0 4456509 103022592 4808 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
/proc/29097/statm: 25152 4808 2310 3035 0 6535 0
[pid=29097/tid=29099] ppid=29094 vsize=100608 memory=19232 CPUtime=50.94 cores=5,7
/proc/29097/task/29099/stat : 29099 (fscip) R 29094 29097 29025 0 -1 4194368 11545 0 0 0 5094 0 0 0 20 0 2 0 4456511 103022592 4808 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 19232 KiB

[startup+102.3 s]
/proc/loadavg: 3.76 1.34 0.53 5/265 29182
/proc/meminfo: memFree=120940652/131524592 swapFree=131071996/131071996
[pid=29097] ppid=29094 vsize=100608 memory=19232 CPUtime=102.03 cores=5,7
/proc/29097/stat : 29097 (fscip) S 29094 29097 29025 0 -1 1077936128 15815 0 0 0 10201 2 0 0 20 0 2 0 4456509 103022592 4808 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
/proc/29097/statm: 25152 4808 2310 3035 0 6535 0
[pid=29097/tid=29099] ppid=29094 vsize=100608 memory=11576 CPUtime=101.99 cores=5,7
/proc/29097/task/29099/stat : 29099 (fscip) R 29094 29097 29025 0 -1 4194368 13907 0 0 0 10199 0 0 0 20 0 2 0 4456511 103022592 4808 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 19232 KiB

[startup+162.3 s]
/proc/loadavg: 4.38 1.97 0.80 5/265 29192
/proc/meminfo: memFree=120862348/131524592 swapFree=131071996/131071996
[pid=29097] ppid=29094 vsize=100608 memory=19232 CPUtime=161.87 cores=5,7
/proc/29097/stat : 29097 (fscip) S 29094 29097 29025 0 -1 1077936128 18068 0 0 0 16184 3 0 0 20 0 2 0 4456509 103022592 4808 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
/proc/29097/statm: 25152 4808 2310 3035 0 6535 0
[pid=29097/tid=29099] ppid=29094 vsize=100608 memory=19232 CPUtime=161.82 cores=5,7
/proc/29097/task/29099/stat : 29099 (fscip) R 29094 29097 29025 0 -1 4194368 16152 0 0 0 16182 0 0 0 20 0 2 0 4456511 103022592 4808 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 19232 KiB

[startup+222.3 s]
/proc/loadavg: 4.31 2.40 1.03 5/265 29202
/proc/meminfo: memFree=120807420/131524592 swapFree=131071996/131071996
[pid=29097] ppid=29094 vsize=100608 memory=19232 CPUtime=221.71 cores=5,7
/proc/29097/stat : 29097 (fscip) S 29094 29097 29025 0 -1 1077936128 19201 0 0 0 22167 4 0 0 20 0 2 0 4456509 103022592 4808 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
/proc/29097/statm: 25152 4808 2310 3035 0 6535 0
[pid=29097/tid=29099] ppid=29094 vsize=100608 memory=19232 CPUtime=221.66 cores=5,7
/proc/29097/task/29099/stat : 29099 (fscip) R 29094 29097 29025 0 -1 4194368 17281 0 0 0 22165 1 0 0 20 0 2 0 4456511 103022592 4808 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 19232 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 2.71 1.22 6/264 29214
/proc/meminfo: memFree=120741296/131524592 swapFree=131071996/131071996
[pid=29097] ppid=29094 vsize=100608 memory=19232 CPUtime=281.55 cores=5,7
/proc/29097/stat : 29097 (fscip) S 29094 29097 29025 0 -1 1077936128 20330 0 0 0 28150 5 0 0 20 0 2 0 4456509 103022592 4808 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
/proc/29097/statm: 25152 4808 2310 3035 0 6535 0
[pid=29097/tid=29099] ppid=29094 vsize=100608 memory=19232 CPUtime=281.49 cores=5,7
/proc/29097/task/29099/stat : 29099 (fscip) R 29094 29097 29025 0 -1 4194368 18406 0 0 0 28148 1 0 0 20 0 2 0 4456511 103022592 4808 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 100608 KiB

################
# More data... #
################

/proc/29097/task/29099/stat : 29099 (fscip) R 29094 29097 29025 0 -1 4194368 60374 0 0 0 327281 3 0 0 20 0 2 0 4456511 103022592 5053 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
Current children cumulated CPU time: 3273.24 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 20212 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.04 6/268 30673
/proc/meminfo: memFree=119535180/131524592 swapFree=131071996/131071996
[pid=29097] ppid=29094 vsize=100608 memory=20212 CPUtime=3333.07 cores=5,7
/proc/29097/stat : 29097 (fscip) S 29094 29097 29025 0 -1 1077936128 63061 0 0 0 333268 39 0 0 20 0 2 0 4456509 103022592 5053 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
/proc/29097/statm: 25152 5053 2310 3035 0 6535 0
[pid=29097/tid=29099] ppid=29094 vsize=100608 memory=20212 CPUtime=3332.67 cores=5,7
/proc/29097/task/29099/stat : 29099 (fscip) R 29094 29097 29025 0 -1 4194368 60930 0 0 0 333264 3 0 0 20 0 2 0 4456511 103022592 5053 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
Current children cumulated CPU time: 3333.07 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 20212 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.04 5/264 30845
/proc/meminfo: memFree=119524408/131524592 swapFree=131071996/131071996
[pid=29097] ppid=29094 vsize=100608 memory=20212 CPUtime=3392.9 cores=5,7
/proc/29097/stat : 29097 (fscip) S 29094 29097 29025 0 -1 1077936128 63625 0 0 0 339250 40 0 0 20 0 2 0 4456509 103022592 5053 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
/proc/29097/statm: 25152 5053 2310 3035 0 6535 0
[pid=29097/tid=29099] ppid=29094 vsize=100608 memory=20212 CPUtime=3392.49 cores=5,7
/proc/29097/task/29099/stat : 29099 (fscip) R 29094 29097 29025 0 -1 4194368 61490 0 0 0 339246 3 0 0 20 0 2 0 4456511 103022592 5053 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
Current children cumulated CPU time: 3392.9 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 20212 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.05 5/263 30856
/proc/meminfo: memFree=119469024/131524592 swapFree=131071996/131071996
[pid=29097] ppid=29094 vsize=100608 memory=20212 CPUtime=3452.73 cores=5,7
/proc/29097/stat : 29097 (fscip) S 29094 29097 29025 0 -1 1077936128 64185 0 0 0 345232 41 0 0 20 0 2 0 4456509 103022592 5053 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
/proc/29097/statm: 25152 5053 2310 3035 0 6535 0
[pid=29097/tid=29099] ppid=29094 vsize=100608 memory=20212 CPUtime=3452.32 cores=5,7
/proc/29097/task/29099/stat : 29099 (fscip) R 29094 29097 29025 0 -1 4194368 62046 0 0 0 345228 4 0 0 20 0 2 0 4456511 103022592 5053 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
Current children cumulated CPU time: 3452.73 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 20212 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.05 5/263 30867
/proc/meminfo: memFree=119465364/131524592 swapFree=131071996/131071996
[pid=29097] ppid=29094 vsize=100608 memory=20212 CPUtime=3512.56 cores=5,7
/proc/29097/stat : 29097 (fscip) S 29094 29097 29025 0 -1 1077936128 64746 0 0 0 351214 42 0 0 20 0 2 0 4456509 103022592 5053 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
/proc/29097/statm: 25152 5053 2310 3035 0 6535 0
[pid=29097/tid=29099] ppid=29094 vsize=100608 memory=20212 CPUtime=3512.15 cores=5,7
/proc/29097/task/29099/stat : 29099 (fscip) R 29094 29097 29025 0 -1 4194368 62603 0 0 0 351211 4 0 0 20 0 2 0 4456511 103022592 5053 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
Current children cumulated CPU time: 3512.56 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 20212 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.05 5/265 31047
/proc/meminfo: memFree=119475756/131524592 swapFree=131071996/131071996
[pid=29097] ppid=29094 vsize=100608 memory=20212 CPUtime=3572.4 cores=5,7
/proc/29097/stat : 29097 (fscip) S 29094 29097 29025 0 -1 1077936128 65305 0 0 0 357197 43 0 0 20 0 2 0 4456509 103022592 5053 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
/proc/29097/statm: 25152 5053 2310 3035 0 6535 0
[pid=29097/tid=29099] ppid=29094 vsize=100608 memory=20212 CPUtime=3571.97 cores=5,7
/proc/29097/task/29099/stat : 29099 (fscip) R 29094 29097 29025 0 -1 4194368 63158 0 0 0 357193 4 0 0 20 0 2 0 4456511 103022592 5053 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
Current children cumulated CPU time: 3572.4 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 20212 KiB

[startup+3598.04 s]
# the end of solver process 29097 was just reported to runsolver
# Child status: 1

# cumulated CPU time of all completed processes:  user=3587.63 s, system=0.433521 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3584 s]*
/proc/loadavg: 4.08 4.11 4.05 5/265 31049
/proc/meminfo: memFree=119474884/131524592 swapFree=131071996/131071996
[pid=29097] ppid=29094 vsize=100608 memory=20212 CPUtime=3574.1 cores=5,7
/proc/29097/stat : 29097 (fscip) S 29094 29097 29025 0 -1 1077936128 65305 0 0 0 357367 43 0 0 20 0 2 0 4456509 103022592 5053 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
/proc/29097/statm: 25152 5053 2310 3035 0 6535 0
[pid=29097/tid=29099] ppid=29094 vsize=100608 memory=-7452449699976536190 CPUtime=3573.67 cores=5,7
/proc/29097/task/29099/stat : 29099 (fscip) R 29094 29097 29025 0 -1 4194368 63158 0 0 0 357363 4 0 0 20 0 2 0 4456511 103022592 5053 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
Current children cumulated CPU time: 3574.1 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 20212 KiB

[startup+3590.4 s]
/proc/loadavg: 4.07 4.10 4.05 5/265 31049
/proc/meminfo: memFree=119463788/131524592 swapFree=131071996/131071996
[pid=29097] ppid=29094 vsize=100608 memory=20212 CPUtime=3580.48 cores=5,7
/proc/29097/stat : 29097 (fscip) S 29094 29097 29025 0 -1 1077936128 65305 0 0 0 358005 43 0 0 20 0 2 0 4456509 103022592 5053 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
/proc/29097/statm: 25152 5053 2310 3035 0 6535 0
[pid=29097/tid=29099] ppid=29094 vsize=100608 memory=20212 CPUtime=3580.05 cores=5,7
/proc/29097/task/29099/stat : 29099 (fscip) R 29094 29097 29025 0 -1 4194368 63158 0 0 0 358001 4 0 0 20 0 2 0 4456511 103022592 5053 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
Current children cumulated CPU time: 3580.48 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 20212 KiB

[startup+3593.6 s]
/proc/loadavg: 4.07 4.10 4.05 5/265 31049
/proc/meminfo: memFree=119463592/131524592 swapFree=131071996/131071996
[pid=29097] ppid=29094 vsize=100608 memory=20212 CPUtime=3583.67 cores=5,7
/proc/29097/stat : 29097 (fscip) S 29094 29097 29025 0 -1 1077936128 65306 0 0 0 358324 43 0 0 20 0 2 0 4456509 103022592 5053 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
/proc/29097/statm: 25152 5053 2310 3035 0 6535 0
[pid=29097/tid=29099] ppid=29094 vsize=100608 memory=20212 CPUtime=3583.24 cores=5,7
/proc/29097/task/29099/stat : 29099 (fscip) R 29094 29097 29025 0 -1 4194368 63159 0 0 0 358320 4 0 0 20 0 2 0 4456511 103022592 5053 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
Current children cumulated CPU time: 3583.67 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 20212 KiB

[startup+3595.2 s]
/proc/loadavg: 4.06 4.10 4.05 5/265 31050
/proc/meminfo: memFree=119463492/131524592 swapFree=131071996/131071996
[pid=29097] ppid=29094 vsize=100608 memory=20212 CPUtime=3585.26 cores=5,7
/proc/29097/stat : 29097 (fscip) S 29094 29097 29025 0 -1 1077936128 65306 0 0 0 358483 43 0 0 20 0 2 0 4456509 103022592 5053 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
/proc/29097/statm: 25152 5053 2310 3035 0 6535 0
[pid=29097/tid=29099] ppid=29094 vsize=100608 memory=20212 CPUtime=3584.83 cores=5,7
/proc/29097/task/29099/stat : 29099 (fscip) R 29094 29097 29025 0 -1 4194368 63159 0 0 0 358479 4 0 0 20 0 2 0 4456511 103022592 5053 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
Current children cumulated CPU time: 3585.26 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 20212 KiB

[startup+3596.8 s]
/proc/loadavg: 4.06 4.10 4.05 5/265 31050
/proc/meminfo: memFree=119463316/131524592 swapFree=131071996/131071996
[pid=29097] ppid=29094 vsize=100608 memory=20212 CPUtime=3586.86 cores=5,7
/proc/29097/stat : 29097 (fscip) S 29094 29097 29025 0 -1 1077936128 65306 0 0 0 358643 43 0 0 20 0 2 0 4456509 103022592 5053 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
/proc/29097/statm: 25152 5053 2310 3035 0 6535 0
[pid=29097/tid=29099] ppid=29094 vsize=100608 memory=20212 CPUtime=3586.43 cores=5,7
/proc/29097/task/29099/stat : 29099 (fscip) R 29094 29097 29025 0 -1 4194368 63159 0 0 0 358639 4 0 0 20 0 2 0 4456511 103022592 5053 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
Current children cumulated CPU time: 3586.86 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 20212 KiB

[startup+3597.6 s]
/proc/loadavg: 4.06 4.10 4.05 5/265 31050
/proc/meminfo: memFree=119463324/131524592 swapFree=131071996/131071996
[pid=29097] ppid=29094 vsize=100608 memory=20212 CPUtime=3587.65 cores=5,7
/proc/29097/stat : 29097 (fscip) S 29094 29097 29025 0 -1 1077936128 65306 0 0 0 358722 43 0 0 20 0 2 0 4456509 103022592 5053 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
/proc/29097/statm: 25152 5053 2310 3035 0 6535 0
[pid=29097/tid=29099] ppid=29094 vsize=100608 memory=12408 CPUtime=3587.23 cores=5,7
/proc/29097/task/29099/stat : 29099 (fscip) R 29094 29097 29025 0 -1 4194368 63159 0 0 0 358719 4 0 0 20 0 2 0 4456511 103022592 5053 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
Current children cumulated CPU time: 3587.65 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 20212 KiB

[startup+3598 s]*
/proc/loadavg: 4.06 4.10 4.05 5/265 31050
/proc/meminfo: memFree=119463296/131524592 swapFree=131071996/131071996
[pid=29097] ppid=29094 vsize=100608 memory=20212 CPUtime=3588.06 cores=5,7
/proc/29097/stat : 29097 (fscip) S 29094 29097 29025 0 -1 1077936128 65335 0 0 0 358763 43 0 0 20 0 2 0 4456509 103022592 5053 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
/proc/29097/statm: 25152 5053 2310 3035 0 6535 0
[pid=29097/tid=29099] ppid=29094 vsize=98812 memory=-7452449699976536190 CPUtime=3587.63 cores=5,7
/proc/29097/task/29099/stat : 29099 (fscip) R 29094 29097 29025 0 -1 4194368 63190 0 0 0 358759 4 0 0 20 0 2 0 4456511 101183488 4239 134679101440 4194304 16623229 140720703597376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33722368 140720703603734 140720703603850 140720703603850 140720703610864 0
Current children cumulated CPU time: 3588.06 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 20212 KiB

Child status: 1

Real time (s): 3598.04
CPU time (s): 3588.07
CPU user time (s): 3587.63
CPU system time (s): 0.433521
CPU usage (%): 99.7228
Max. virtual memory (cumulated for all children) (KiB): 100608
Max. memory (cumulated for all children) (KiB): 20212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.63
system time used= 0.433521
maximum resident set size= 20212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65353
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= 71830
involuntary context switches= 2936


# summary of solver processes directly reported to runsolver:
#   pid: 29097
#   total CPU time (s): 3588.07
#   total CPU user time (s): 3587.63
#   total CPU system time (s): 0.433521

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.69417 second user time and 14.8598 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-31 00:29:54
IDJOB=4463916
IDBENCH=146776
IDSOLVER=3092
FILE ID=nodeC016/4463916-1722378594
RUNJOBID= nodeC016-1722378594-29038
SLURM_JOB_ID= 8249829
Free space on /tmp= 890016 MiB

SOLVER NAME= FiberSCIP 2024-07-30
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-4463916-1722378594/watcher-4463916-1722378594 -o /tmp/evaluation-result-4463916-1722378594/solver-4463916-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722378594-29038 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4463916-1722378594.opb -qsol -t 3600 -sth 1

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= c14f7c55e56be8814a9acdc0ce68bb69
RANDOM SEED=1497379858

nodeC016.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		: 3628.870
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.92
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		: 3380.743
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.47
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		: 3662.153
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.92
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		: 3670.307
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.47
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		: 3628.256
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.92
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		: 3675.493
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.47
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		: 3648.506
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.92
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		: 3663.589
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.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524592 kB
MemFree:        124262228 kB
MemAvailable:   129622204 kB
Buffers:           93796 kB
Cached:          6072544 kB
SwapCached:            0 kB
Active:           266384 kB
Inactive:        6456672 kB
Active(anon):       1472 kB
Inactive(anon):   576616 kB
Active(file):     264912 kB
Inactive(file):  5880056 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            124692 kB
Writeback:             0 kB
AnonPages:        556672 kB
Mapped:           106584 kB
Shmem:             21336 kB
KReclaimable:     109624 kB
Slab:             196548 kB
SReclaimable:     109624 kB
SUnreclaim:        86924 kB
KernelStack:        4064 kB
PageTables:        10160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:     851128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9856 kB
HardwareCorrupted:     0 kB
AnonHugePages:    272384 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:      275156 kB
DirectMap2M:     7886848 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 889964 MiB
End job on nodeC016 at 2024-07-31 01:29:52