Trace number 4432569

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
SCIP 2024-07-07? (TO) 3600.04 1809.71

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 SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4432569-1721061635.opb>
372.45/187.36	c num_threads: 2
372.45/187.36	c timelimit: 3596.998010
372.45/187.36	c Parsing file: HOME/instance-4432569-1721061635.opb
372.45/187.36	c (FJ) starting FJ with 2 threads.
372.45/187.36	c (FJ) copying 16800 x 945 matrix with 74090 nonzeros.
372.45/187.36	c (FJ) initializing FJ with 16800 vars 945 constraints
372.45/187.36	c (FJ) 0: starting solve. weightUpdateDecay=1, relaxContinuous=0, seed=0 
372.45/187.36	c (FJ) initializing FJ with 16800 vars 945 constraints
372.45/187.36	c (FJ) 1: starting solve. weightUpdateDecay=1, relaxContinuous=0, seed=1 
372.45/187.36	c (FJ) 1: step 0 viol 252 good 1783 bumps 0
372.45/187.36	c (FJ) 0: step 0 viol 252 good 1783 bumps 0
372.45/187.36	c (FJ) 1: step 100000 viol 263 good 74 bumps 25337
372.45/187.36	c (FJ) 0: step 100000 viol 284 good 8 bumps 25673
372.45/187.36	c (FJ) 0: step 200000 viol 304 good 0 bumps 59259
372.45/187.36	c (FJ) 1: step 200000 viol 300 good 2 bumps 61211
372.45/187.36	c (FJ) 0: step 300000 viol 314 good 0 bumps 78566
372.45/187.36	c (FJ) 1: step 300000 viol 338 good 0 bumps 100431
372.45/187.36	c (FJ) 0: step 400000 viol 329 good 8 bumps 109070
372.45/187.36	c (FJ) 0: step 500000 viol 334 good 4 bumps 135726
372.45/187.36	c (FJ) 1: step 400000 viol 338 good 1 bumps 146032
372.45/187.36	c (FJ) 0: step 600000 viol 342 good 0 bumps 181456
372.45/187.36	c (FJ) 1: step 500000 viol 348 good 0 bumps 195245
372.45/187.36	c (FJ) 0: step 700000 viol 336 good 0 bumps 221991
372.45/187.36	c (FJ) 1: step 600000 viol 342 good 1 bumps 243894
372.45/187.36	c (FJ) 0: step 800000 viol 339 good 1 bumps 270297
372.45/187.36	c (FJ) 1: step 700000 viol 357 good 0 bumps 292411
372.45/187.36	c (FJ) 0: step 900000 viol 345 good 1 bumps 315179
372.45/187.36	c (FJ) 1: step 800000 viol 361 good 1 bumps 339198
372.45/187.36	c (FJ) 0: step 1000000 viol 363 good 0 bumps 363752
372.45/187.36	c (FJ) 1: step 900000 viol 356 good 1 bumps 388512
372.45/187.36	c (FJ) 0: step 1100000 viol 359 good 0 bumps 407643
372.45/187.36	c (FJ) 1: step 1000000 viol 358 good 0 bumps 420822
372.45/187.36	c (FJ) 0: step 1200000 viol 344 good 0 bumps 453378
372.45/187.36	c (FJ) 1: step 1100000 viol 344 good 16 bumps 470332
372.45/187.36	c (FJ) 0: step 1300000 viol 342 good 0 bumps 502547
372.45/187.36	c (FJ) 1: step 1200000 viol 347 good 0 bumps 519854
372.45/187.36	c (FJ) 0: step 1400000 viol 329 good 16 bumps 550890
372.45/187.36	c (FJ) 0: step 1500000 viol 334 good 0 bumps 560288
372.45/187.36	c (FJ) 1: step 1300000 viol 344 good 1 bumps 568602
372.45/187.36	c (FJ) 0: step 1600000 viol 337 good 0 bumps 572815
372.45/187.36	c (FJ) 1: step 1400000 viol 347 good 6 bumps 586486
372.45/187.36	c (FJ) 0: step 1700000 viol 329 good 0 bumps 619309
372.45/187.36	c (FJ) 1: step 1500000 viol 349 good 0 bumps 614674
372.45/187.36	c (FJ) 0: step 1800000 viol 327 good 1 bumps 667385
372.45/187.36	c (FJ) 1: step 1600000 viol 339 good 0 bumps 659412
372.45/187.36	c (FJ) 0: step 1900000 viol 319 good 0 bumps 716637
372.45/187.36	c (FJ) 1: step 1700000 viol 347 good 1 bumps 705550
372.45/187.36	c (FJ) 0: step 2000000 viol 326 good 1 bumps 763584
372.45/187.36	c (FJ) 1: step 1800000 viol 338 good 0 bumps 749154
372.45/187.36	c (FJ) 1: step 1900000 viol 347 good 4 bumps 759798
372.45/187.36	c (FJ) 1: step 2000000 viol 345 good 2 bumps 771572
372.45/187.36	c (FJ) 0: step 2100000 viol 323 good 1 bumps 812717
372.45/187.36	c (FJ) 1: step 2100000 viol 346 good 1 bumps 807475
372.45/187.36	c (FJ) 0: step 2200000 viol 337 good 0 bumps 861380
372.45/187.36	c (FJ) 1: step 2200000 viol 348 good 0 bumps 856788
372.45/187.36	c (FJ) 0: step 2300000 viol 337 good 0 bumps 909114
372.45/187.36	c (FJ) 1: step 2300000 viol 343 good 0 bumps 896086
372.45/187.36	c (FJ) 0: step 2400000 viol 334 good 0 bumps 950054
372.45/187.36	c (FJ) 1: step 2400000 viol 337 good 0 bumps 937615
372.45/187.36	c (FJ) 0: step 2500000 viol 339 good 0 bumps 989930
372.45/187.36	c (FJ) 1: step 2500000 viol 338 good 1 bumps 987057
372.45/187.36	c (FJ) 0: step 2600000 viol 318 good 1 bumps 1029876
372.45/187.36	c (FJ) 0: step 2700000 viol 324 good 1 bumps 1068230
372.45/187.36	c (FJ) 1: step 2600000 viol 343 good 0 bumps 1034227
372.45/187.36	c (FJ) 0: step 2800000 viol 325 good 2 bumps 1109364
372.45/187.36	c (FJ) 1: step 2700000 viol 343 good 1 bumps 1082934
372.45/187.36	c (FJ) 0: step 2900000 viol 328 good 5 bumps 1154875
372.45/187.36	c (FJ) 1: step 2800000 viol 332 good 0 bumps 1127952
372.45/187.36	c (FJ) 0: step 3000000 viol 335 good 1 bumps 1202271
372.45/187.36	c (FJ) 1: step 2900000 viol 340 good 0 bumps 1166229
372.45/187.36	c (FJ) 1: step 3000000 viol 335 good 2 bumps 1201943
372.45/187.36	c (FJ) 0: step 3100000 viol 336 good 0 bumps 1251239
372.45/187.36	c (FJ) 1: step 3100000 viol 334 good 0 bumps 1247532
372.45/187.36	c (FJ) 0: step 3200000 viol 328 good 63 bumps 1297896
372.45/187.36	c (FJ) 1: step 3200000 viol 340 good 27 bumps 1297051
372.45/187.36	c (FJ) 0: step 3300000 viol 334 good 0 bumps 1346754
372.45/187.36	c (FJ) 0: step 3400000 viol 333 good 1 bumps 1391742
372.45/187.36	c (FJ) 1: step 3300000 viol 341 good 1 bumps 1346733
372.45/187.36	c (FJ) 0: step 3500000 viol 331 good 0 bumps 1439648
813.76/409.26	c (FJ) 1: step 3400000 viol 332 good 0 bumps 1394420
813.76/409.26	c (FJ) 1: step 3500000 viol 325 good 1 bumps 1436614
813.76/409.26	c (FJ) 0: step 3600000 viol 337 good 1 bumps 1486295
813.76/409.26	c (FJ) 0: step 3700000 viol 316 good 1 bumps 1531472
813.76/409.26	c (FJ) 1: step 3600000 viol 341 good 0 bumps 1482419
813.76/409.26	c (FJ) 0: step 3800000 viol 314 good 1 bumps 1580919
813.76/409.26	c (FJ) 1: step 3700000 viol 342 good 0 bumps 1531722
813.76/409.26	c (FJ) 0: step 3900000 viol 317 good 1 bumps 1629900
813.76/409.26	c (FJ) 1: step 3800000 viol 330 good 0 bumps 1581128
813.76/409.26	c (FJ) 0: step 4000000 viol 329 good 1 bumps 1678628
813.76/409.26	c (FJ) 1: step 3900000 viol 325 good 2 bumps 1628040
813.76/409.26	c (FJ) 0: step 4100000 viol 329 good 0 bumps 1728106
813.76/409.26	c (FJ) 1: step 4000000 viol 326 good 1 bumps 1676112
813.76/409.26	c (FJ) 0: step 4200000 viol 331 good 0 bumps 1776140
813.76/409.26	c (FJ) 1: step 4100000 viol 325 good 1 bumps 1725403
813.76/409.26	c (FJ) 0: step 4300000 viol 328 good 0 bumps 1825640
813.76/409.26	c (FJ) 1: step 4200000 viol 321 good 1 bumps 1775005
813.76/409.26	c (FJ) 1: step 4300000 viol 326 good 1 bumps 1821763
813.76/409.26	c (FJ) 0: step 4400000 viol 313 good 0 bumps 1874850
813.76/409.26	c (FJ) 0: step 4500000 viol 322 good 1 bumps 1921367
813.76/409.26	c (FJ) 1: step 4400000 viol 325 good 1 bumps 1871240
813.76/409.26	c (FJ) 0: step 4600000 viol 322 good 0 bumps 1946514
813.76/409.26	c (FJ) 1: step 4500000 viol 327 good 0 bumps 1920751
813.76/409.26	c (FJ) 0: step 4700000 viol 328 good 1 bumps 1981654
813.76/409.26	c (FJ) 1: step 4600000 viol 326 good 0 bumps 1967405
813.76/409.26	c (FJ) 0: step 4800000 viol 334 good 1 bumps 2027529
813.76/409.26	c (FJ) 1: step 4700000 viol 333 good 1 bumps 2015571
813.76/409.26	c (FJ) 0: step 4900000 viol 331 good 1 bumps 2073940
813.76/409.26	c (FJ) 1: step 4800000 viol 327 good 1 bumps 2062985
813.76/409.26	c (FJ) 0: step 5000000 viol 324 good 0 bumps 2123628
813.76/409.26	c (FJ) 0: step 5100000 viol 319 good 9 bumps 2154581
813.76/409.26	c (FJ) 1: step 4900000 viol 339 good 0 bumps 2111461
813.76/409.26	c (FJ) 0: step 5200000 viol 321 good 0 bumps 2168424
813.76/409.26	c (FJ) 0: step 5300000 viol 335 good 2 bumps 2209067
813.76/409.26	c (FJ) 1: step 5000000 viol 341 good 1 bumps 2158714
813.76/409.26	c (FJ) 0: step 5400000 viol 332 good 0 bumps 2253391
813.76/409.26	c (FJ) 1: step 5100000 viol 335 good 0 bumps 2206551
813.76/409.26	c (FJ) 0: step 5500000 viol 334 good 0 bumps 2302976
813.76/409.26	c (FJ) 1: step 5200000 viol 337 good 0 bumps 2253307
813.76/409.26	c (FJ) 0: step 5600000 viol 326 good 42 bumps 2338293
813.76/409.26	c (FJ) 1: step 5300000 viol 339 good 2 bumps 2300527
813.76/409.26	c (FJ) 0: step 5700000 viol 332 good 0 bumps 2387485
813.76/409.26	c (FJ) 1: step 5400000 viol 340 good 2 bumps 2334887
813.76/409.26	c (FJ) 0: step 5800000 viol 332 good 17 bumps 2402540
813.76/409.26	c (FJ) 0: step 5900000 viol 340 good 9 bumps 2414254
813.76/409.26	c (FJ) 1: step 5500000 viol 341 good 0 bumps 2370421
813.76/409.26	c (FJ) 0: step 6000000 viol 345 good 1 bumps 2461791
813.76/409.26	c (FJ) 1: step 5600000 viol 338 good 1 bumps 2409352
813.76/409.26	c (FJ) 1: step 5700000 viol 338 good 0 bumps 2448926
813.76/409.26	c (FJ) 0: step 6100000 viol 345 good 0 bumps 2511541
813.76/409.26	c (FJ) 1: step 5800000 viol 327 good 0 bumps 2488408
813.76/409.26	c (FJ) 0: step 6200000 viol 330 good 0 bumps 2541493
813.76/409.26	c (FJ) 0: step 6300000 viol 321 good 0 bumps 2584756
813.76/409.26	c (FJ) 1: step 5900000 viol 325 good 1 bumps 2536859
813.76/409.26	c (FJ) 0: step 6400000 viol 337 good 0 bumps 2634608
813.76/409.26	c (FJ) 1: step 6000000 viol 340 good 0 bumps 2585719
813.76/409.26	c (FJ) 0: step 6500000 viol 325 good 1 bumps 2682232
813.76/409.26	c (FJ) 1: step 6100000 viol 341 good 1 bumps 2634554
813.76/409.26	c (FJ) 0: step 6600000 viol 323 good 0 bumps 2732072
813.76/409.26	c (FJ) 1: step 6200000 viol 329 good 0 bumps 2683417
813.76/409.26	c (FJ) 1: step 6300000 viol 325 good 0 bumps 2723361
813.76/409.26	c (FJ) 0: step 6700000 viol 331 good 1 bumps 2781170
813.76/409.26	c (FJ) 1: step 6400000 viol 327 good 5 bumps 2764561
813.76/409.26	c (FJ) 0: step 6800000 viol 331 good 2 bumps 2830411
813.76/409.26	c (FJ) 1: step 6500000 viol 324 good 1 bumps 2813547
813.76/409.26	c (FJ) 0: step 6900000 viol 332 good 1 bumps 2879799
813.76/409.26	c (FJ) 1: step 6600000 viol 332 good 4 bumps 2862691
813.76/409.26	c (FJ) 0: step 7000000 viol 332 good 0 bumps 2924456
813.76/409.26	c (FJ) 1: step 6700000 viol 333 good 0 bumps 2898684
813.76/409.26	c (FJ) 0: step 7100000 viol 339 good 1 bumps 2964932
813.76/409.26	c (FJ) 1: step 6800000 viol 324 good 1 bumps 2946913
813.76/409.26	c (FJ) 0: step 7200000 viol 335 good 1 bumps 3014049
813.76/409.26	c (FJ) 1: step 6900000 viol 325 good 0 bumps 2986455
813.76/409.26	c (FJ) 0: step 7300000 viol 340 good 1 bumps 3062996
813.76/409.26	c (FJ) 1: step 7000000 viol 331 good 2 bumps 3025102
813.76/409.26	c (FJ) 0: step 7400000 viol 339 good 0 bumps 3106031
813.76/409.26	c (FJ) 1: step 7100000 viol 334 good 1 bumps 3067920
813.76/409.26	c (FJ) 0: step 7500000 viol 331 good 0 bumps 3155366
1257.07/632.16	c (FJ) 1: step 7200000 viol 340 good 0 bumps 3116886
1257.07/632.16	c (FJ) 0: step 7600000 viol 323 good 0 bumps 3204714
1257.07/632.16	c (FJ) 1: step 7300000 viol 333 good 0 bumps 3165221
1257.07/632.16	c (FJ) 0: step 7700000 viol 322 good 0 bumps 3252732
1257.07/632.16	c (FJ) 1: step 7400000 viol 337 good 0 bumps 3212446
1257.07/632.16	c (FJ) 0: step 7800000 viol 331 good 1 bumps 3301776
1257.07/632.16	c (FJ) 1: step 7500000 viol 340 good 1 bumps 3261101
1257.07/632.16	c (FJ) 0: step 7900000 viol 330 good 0 bumps 3350752
1257.07/632.16	c (FJ) 1: step 7600000 viol 348 good 0 bumps 3308414
1257.07/632.16	c (FJ) 0: step 8000000 viol 329 good 0 bumps 3398902
1257.07/632.16	c (FJ) 1: step 7700000 viol 334 good 2 bumps 3351409
1257.07/632.16	c (FJ) 0: step 8100000 viol 329 good 0 bumps 3447557
1257.07/632.16	c (FJ) 1: step 7800000 viol 328 good 0 bumps 3400617
1257.07/632.16	c (FJ) 0: step 8200000 viol 339 good 1 bumps 3495459
1257.07/632.16	c (FJ) 1: step 7900000 viol 337 good 1 bumps 3449752
1257.07/632.16	c (FJ) 0: step 8300000 viol 336 good 1 bumps 3544315
1257.07/632.16	c (FJ) 1: step 8000000 viol 326 good 0 bumps 3498773
1257.07/632.16	c (FJ) 0: step 8400000 viol 332 good 0 bumps 3593259
1257.07/632.16	c (FJ) 1: step 8100000 viol 328 good 0 bumps 3547547
1257.07/632.16	c (FJ) 0: step 8500000 viol 317 good 0 bumps 3638197
1257.07/632.16	c (FJ) 1: step 8200000 viol 338 good 0 bumps 3595256
1257.07/632.16	c (FJ) 0: step 8600000 viol 321 good 0 bumps 3677763
1257.07/632.16	c (FJ) 1: step 8300000 viol 331 good 0 bumps 3644024
1257.07/632.16	c (FJ) 0: step 8700000 viol 329 good 52 bumps 3726381
1257.07/632.16	c (FJ) 1: step 8400000 viol 324 good 1 bumps 3693168
1257.07/632.16	c (FJ) 0: step 8800000 viol 325 good 1 bumps 3775477
1257.07/632.16	c (FJ) 1: step 8500000 viol 338 good 0 bumps 3742329
1257.07/632.16	c (FJ) 0: step 8900000 viol 326 good 0 bumps 3824469
1257.07/632.16	c (FJ) 1: step 8600000 viol 337 good 1 bumps 3791580
1257.07/632.16	c (FJ) 0: step 9000000 viol 323 good 1 bumps 3871674
1257.07/632.16	c (FJ) 1: step 8700000 viol 338 good 1 bumps 3837531
1257.07/632.16	c (FJ) 0: step 9100000 viol 326 good 1 bumps 3915708
1257.07/632.16	c (FJ) 1: step 8800000 viol 334 good 1 bumps 3886982
1257.07/632.16	c (FJ) 0: step 9200000 viol 333 good 0 bumps 3957430
1257.07/632.16	c (FJ) 1: step 8900000 viol 336 good 14 bumps 3928255
1257.07/632.16	c (FJ) 0: step 9300000 viol 332 good 1 bumps 4006233
1257.07/632.16	c (FJ) 1: step 9000000 viol 338 good 6 bumps 3937982
1257.07/632.16	c (FJ) 1: step 9100000 viol 342 good 3 bumps 3948776
1257.07/632.16	c (FJ) 1: step 9200000 viol 345 good 13 bumps 3958552
1257.07/632.16	c (FJ) 0: step 9400000 viol 332 good 0 bumps 4055337
1257.07/632.16	c (FJ) 1: step 9300000 viol 340 good 0 bumps 4003621
1257.07/632.16	c (FJ) 0: step 9500000 viol 320 good 1 bumps 4104405
1257.07/632.16	c (FJ) 1: step 9400000 viol 335 good 0 bumps 4052827
1257.07/632.16	c (FJ) 0: step 9600000 viol 318 good 1 bumps 4153495
1257.07/632.16	c (FJ) 1: step 9500000 viol 329 good 0 bumps 4101941
1257.07/632.16	c (FJ) 0: step 9700000 viol 323 good 1 bumps 4202685
1257.07/632.16	c (FJ) 1: step 9600000 viol 326 good 0 bumps 4145475
1257.07/632.16	c (FJ) 0: step 9800000 viol 322 good 1 bumps 4250977
1257.07/632.16	c (FJ) 1: step 9700000 viol 332 good 0 bumps 4194318
1257.07/632.16	c (FJ) 0: step 9900000 viol 325 good 1 bumps 4299900
1257.07/632.16	c (FJ) 1: step 9800000 viol 335 good 1 bumps 4243619
1257.07/632.16	c (FJ) 0: step 10000000 viol 332 good 0 bumps 4348069
1257.07/632.16	c (FJ) 1: step 9900000 viol 324 good 1 bumps 4291296
1257.07/632.16	c (FJ) 0: step 10100000 viol 337 good 1 bumps 4396941
1257.07/632.16	c (FJ) 1: step 10000000 viol 314 good 1 bumps 4339530
1257.07/632.16	c (FJ) 0: step 10200000 viol 336 good 1 bumps 4446086
1257.07/632.16	c (FJ) 1: step 10100000 viol 318 good 1 bumps 4388040
1257.07/632.16	c (FJ) 0: step 10300000 viol 317 good 1 bumps 4495076
1257.07/632.16	c (FJ) 1: step 10200000 viol 319 good 0 bumps 4436976
1257.07/632.16	c (FJ) 0: step 10400000 viol 327 good 0 bumps 4543363
1257.07/632.16	c (FJ) 1: step 10300000 viol 319 good 1 bumps 4486170
1257.07/632.16	c (FJ) 0: step 10500000 viol 328 good 1 bumps 4589241
1257.07/632.16	c (FJ) 1: step 10400000 viol 327 good 0 bumps 4535555
1257.07/632.16	c (FJ) 0: step 10600000 viol 328 good 1 bumps 4632817
1257.07/632.16	c (FJ) 1: step 10500000 viol 313 good 0 bumps 4584832
1257.07/632.16	c (FJ) 0: step 10700000 viol 341 good 0 bumps 4675282
1257.07/632.16	c (FJ) 1: step 10600000 viol 317 good 0 bumps 4634010
1257.07/632.16	c (FJ) 0: step 10800000 viol 336 good 0 bumps 4724084
1257.07/632.16	c (FJ) 1: step 10700000 viol 323 good 0 bumps 4679640
1257.07/632.16	c (FJ) 0: step 10900000 viol 334 good 0 bumps 4772940
1257.07/632.16	c (FJ) 1: step 10800000 viol 328 good 0 bumps 4729220
1257.07/632.16	c (FJ) 0: step 11000000 viol 327 good 0 bumps 4819182
1257.07/632.16	c (FJ) 1: step 10900000 viol 324 good 1 bumps 4778905
1257.07/632.16	c (FJ) 0: step 11100000 viol 329 good 1 bumps 4864458
1257.07/632.16	c (FJ) 0: step 11200000 viol 322 good 11 bumps 4880200
1257.07/632.16	c (FJ) 1: step 11000000 viol 319 good 6 bumps 4827840
1710.03/859.81	c (FJ) 0: step 11300000 viol 310 good 0 bumps 4916192
1710.03/859.81	c (FJ) 1: step 11100000 viol 323 good 1 bumps 4867807
1710.03/859.81	c (FJ) 0: step 11400000 viol 322 good 1 bumps 4964675
1710.03/859.81	c (FJ) 1: step 11200000 viol 320 good 1 bumps 4916996
1710.03/859.81	c (FJ) 0: step 11500000 viol 328 good 0 bumps 5012866
1710.03/859.81	c (FJ) 1: step 11300000 viol 325 good 0 bumps 4960247
1710.03/859.81	c (FJ) 0: step 11600000 viol 321 good 0 bumps 5058015
1710.03/859.81	c (FJ) 1: step 11400000 viol 336 good 0 bumps 5008907
1710.03/859.81	c (FJ) 0: step 11700000 viol 322 good 2 bumps 5097310
1710.03/859.81	c (FJ) 1: step 11500000 viol 339 good 0 bumps 5053437
1710.03/859.81	c (FJ) 0: step 11800000 viol 330 good 0 bumps 5136747
1710.03/859.81	c (FJ) 1: step 11600000 viol 334 good 1 bumps 5099016
1710.03/859.81	c (FJ) 0: step 11900000 viol 332 good 0 bumps 5183204
1710.03/859.81	c (FJ) 0: step 12000000 viol 329 good 1 bumps 5230048
1710.03/859.81	c (FJ) 1: step 11700000 viol 344 good 1 bumps 5148361
1710.03/859.81	c (FJ) 0: step 12100000 viol 327 good 2 bumps 5275577
1710.03/859.81	c (FJ) 1: step 11800000 viol 331 good 1 bumps 5197901
1710.03/859.81	c (FJ) 0: step 12200000 viol 338 good 1 bumps 5324635
1710.03/859.81	c (FJ) 1: step 11900000 viol 321 good 0 bumps 5247172
1710.03/859.81	c (FJ) 0: step 12300000 viol 334 good 0 bumps 5373737
1710.03/859.81	c (FJ) 1: step 12000000 viol 329 good 1 bumps 5296422
1710.03/859.81	c (FJ) 0: step 12400000 viol 329 good 1 bumps 5422884
1710.03/859.81	c (FJ) 1: step 12100000 viol 327 good 1 bumps 5342759
1710.03/859.81	c (FJ) 0: step 12500000 viol 334 good 0 bumps 5471672
1710.03/859.81	c (FJ) 1: step 12200000 viol 327 good 1 bumps 5392400
1710.03/859.81	c (FJ) 0: step 12600000 viol 330 good 0 bumps 5520516
1710.03/859.81	c (FJ) 1: step 12300000 viol 331 good 4 bumps 5441536
1710.03/859.81	c (FJ) 1: step 12400000 viol 328 good 1 bumps 5485948
1710.03/859.81	c (FJ) 0: step 12700000 viol 344 good 1 bumps 5569643
1710.03/859.81	c (FJ) 1: step 12500000 viol 334 good 0 bumps 5526887
1710.03/859.81	c (FJ) 0: step 12800000 viol 338 good 61 bumps 5618585
1710.03/859.81	c (FJ) 1: step 12600000 viol 339 good 0 bumps 5573958
1710.03/859.81	c (FJ) 0: step 12900000 viol 338 good 1 bumps 5667561
1710.03/859.81	c (FJ) 1: step 12700000 viol 335 good 1 bumps 5623102
1710.03/859.81	c (FJ) 0: step 13000000 viol 335 good 0 bumps 5716255
1710.03/859.81	c (FJ) 1: step 12800000 viol 328 good 1 bumps 5672068
1710.03/859.81	c (FJ) 0: step 13100000 viol 337 good 0 bumps 5761634
1710.03/859.81	c (FJ) 1: step 12900000 viol 325 good 0 bumps 5721269
1710.03/859.81	c (FJ) 0: step 13200000 viol 328 good 0 bumps 5806123
1710.03/859.81	c (FJ) 0: step 13300000 viol 329 good 1 bumps 5841900
1710.03/859.81	c (FJ) 1: step 13000000 viol 326 good 1 bumps 5770685
1710.03/859.81	c (FJ) 0: step 13400000 viol 334 good 4 bumps 5887040
1710.03/859.81	c (FJ) 1: step 13100000 viol 329 good 0 bumps 5819693
1710.03/859.81	c (FJ) 0: step 13500000 viol 334 good 1 bumps 5923959
1710.03/859.81	c (FJ) 1: step 13200000 viol 337 good 0 bumps 5867844
1710.03/859.81	c (FJ) 0: step 13600000 viol 339 good 1 bumps 5972608
1710.03/859.81	c (FJ) 1: step 13300000 viol 329 good 1 bumps 5912159
1710.03/859.81	c (FJ) 0: step 13700000 viol 333 good 1 bumps 6016004
1710.03/859.81	c (FJ) 1: step 13400000 viol 334 good 0 bumps 5961243
1710.03/859.81	c (FJ) 0: step 13800000 viol 338 good 1 bumps 6055595
1710.03/859.81	c (FJ) 1: step 13500000 viol 334 good 1 bumps 6010301
1710.03/859.81	c (FJ) 0: step 13900000 viol 332 good 0 bumps 6099017
1710.03/859.81	c (FJ) 1: step 13600000 viol 333 good 0 bumps 6052253
1710.03/859.81	c (FJ) 0: step 14000000 viol 321 good 1 bumps 6146754
1710.03/859.81	c (FJ) 1: step 13700000 viol 324 good 1 bumps 6101314
1710.03/859.81	c (FJ) 0: step 14100000 viol 323 good 0 bumps 6195072
1710.03/859.81	c (FJ) 1: step 13800000 viol 317 good 0 bumps 6150570
1710.03/859.81	c (FJ) 0: step 14200000 viol 324 good 1 bumps 6242989
1710.03/859.81	c (FJ) 1: step 13900000 viol 316 good 0 bumps 6199865
1710.03/859.81	c (FJ) 0: step 14300000 viol 330 good 0 bumps 6291755
1710.03/859.81	c (FJ) 1: step 14000000 viol 318 good 0 bumps 6248926
1710.03/859.81	c (FJ) 0: step 14400000 viol 331 good 1 bumps 6340906
1710.03/859.81	c (FJ) 1: step 14100000 viol 325 good 0 bumps 6297890
1710.03/859.81	c (FJ) 0: step 14500000 viol 315 good 1 bumps 6384504
1710.03/859.81	c (FJ) 1: step 14200000 viol 326 good 1 bumps 6347128
1710.03/859.81	c (FJ) 0: step 14600000 viol 327 good 2 bumps 6422801
1710.03/859.81	c (FJ) 0: step 14700000 viol 326 good 43 bumps 6452514
1710.03/859.81	c (FJ) 1: step 14300000 viol 332 good 0 bumps 6393418
1710.03/859.81	c (FJ) 1: step 14400000 viol 322 good 0 bumps 6422176
1710.03/859.81	c (FJ) 0: step 14800000 viol 323 good 0 bumps 6501071
1710.03/859.81	c (FJ) 1: step 14500000 viol 316 good 0 bumps 6467704
1710.03/859.81	c (FJ) 0: step 14900000 viol 332 good 0 bumps 6550072
1710.03/859.81	c (FJ) 1: step 14600000 viol 314 good 0 bumps 6500876
1710.03/859.81	c (FJ) 0: step 15000000 viol 333 good 0 bumps 6598789
1710.03/859.81	c (FJ) 1: step 14700000 viol 325 good 2 bumps 6535336
1710.03/859.81	c (FJ) 0: step 15100000 viol 331 good 0 bumps 6647571
2144.17/1078.03	c (FJ) 1: step 14800000 viol 323 good 0 bumps 6574960
2144.17/1078.03	c (FJ) 1: step 14900000 viol 326 good 1 bumps 6614713
2144.17/1078.03	c (FJ) 0: step 15200000 viol 323 good 0 bumps 6696059
2144.17/1078.03	c (FJ) 1: step 15000000 viol 327 good 1 bumps 6649946
2144.17/1078.03	c (FJ) 0: step 15300000 viol 328 good 1 bumps 6742649
2144.17/1078.03	c (FJ) 1: step 15100000 viol 316 good 0 bumps 6685151
2144.17/1078.03	c (FJ) 0: step 15400000 viol 329 good 1 bumps 6784501
2144.17/1078.03	c (FJ) 1: step 15200000 viol 321 good 0 bumps 6717330
2144.17/1078.03	c (FJ) 0: step 15500000 viol 324 good 0 bumps 6831249
2144.17/1078.03	c (FJ) 1: step 15300000 viol 325 good 0 bumps 6762605
2144.17/1078.03	c (FJ) 0: step 15600000 viol 328 good 14 bumps 6843983
2144.17/1078.03	c (FJ) 0: step 15700000 viol 329 good 1 bumps 6857703
2144.17/1078.03	c (FJ) 1: step 15400000 viol 323 good 1 bumps 6797750
2144.17/1078.03	c (FJ) 0: step 15800000 viol 327 good 0 bumps 6895064
2144.17/1078.03	c (FJ) 1: step 15500000 viol 327 good 1 bumps 6841325
2144.17/1078.03	c (FJ) 0: step 15900000 viol 339 good 1 bumps 6944398
2144.17/1078.03	c (FJ) 1: step 15600000 viol 318 good 0 bumps 6885896
2144.17/1078.03	c (FJ) 0: step 16000000 viol 338 good 7 bumps 6984325
2144.17/1078.03	c (FJ) 1: step 15700000 viol 314 good 0 bumps 6929185
2144.17/1078.03	c (FJ) 0: step 16100000 viol 325 good 0 bumps 7032831
2144.17/1078.03	c (FJ) 1: step 15800000 viol 318 good 0 bumps 6970687
2144.17/1078.03	c (FJ) 0: step 16200000 viol 316 good 0 bumps 7081914
2144.17/1078.03	c (FJ) 1: step 15900000 viol 329 good 0 bumps 7019765
2144.17/1078.03	c (FJ) 0: step 16300000 viol 321 good 1 bumps 7131145
2144.17/1078.03	c (FJ) 1: step 16000000 viol 342 good 66 bumps 7069235
2144.17/1078.03	c (FJ) 0: step 16400000 viol 313 good 10 bumps 7177686
2144.17/1078.03	c (FJ) 1: step 16100000 viol 334 good 0 bumps 7118604
2144.17/1078.03	c (FJ) 0: step 16500000 viol 318 good 1 bumps 7226014
2144.17/1078.03	c (FJ) 1: step 16200000 viol 336 good 0 bumps 7168084
2144.17/1078.03	c (FJ) 0: step 16600000 viol 309 good 23 bumps 7267274
2144.17/1078.03	c (FJ) 1: step 16300000 viol 326 good 1 bumps 7217302
2144.17/1078.03	c (FJ) 1: step 16400000 viol 330 good 6 bumps 7232707
2144.17/1078.03	c (FJ) 0: step 16700000 viol 305 good 1 bumps 7315406
2144.17/1078.03	c (FJ) 1: step 16500000 viol 329 good 8 bumps 7243802
2144.17/1078.03	c (FJ) 1: step 16600000 viol 333 good 0 bumps 7262006
2144.17/1078.03	c (FJ) 0: step 16800000 viol 316 good 0 bumps 7363735
2144.17/1078.03	c (FJ) 1: step 16700000 viol 337 good 1 bumps 7311135
2144.17/1078.03	c (FJ) 0: step 16900000 viol 318 good 1 bumps 7406135
2144.17/1078.03	c (FJ) 0: step 17000000 viol 321 good 1 bumps 7449779
2144.17/1078.03	c (FJ) 1: step 16800000 viol 336 good 0 bumps 7360471
2144.17/1078.03	c (FJ) 0: step 17100000 viol 313 good 0 bumps 7498831
2144.17/1078.03	c (FJ) 1: step 16900000 viol 339 good 0 bumps 7409719
2144.17/1078.03	c (FJ) 0: step 17200000 viol 317 good 1 bumps 7547939
2144.17/1078.03	c (FJ) 1: step 17000000 viol 327 good 0 bumps 7458862
2144.17/1078.03	c (FJ) 0: step 17300000 viol 329 good 189 bumps 7597011
2144.17/1078.03	c (FJ) 1: step 17100000 viol 337 good 0 bumps 7507957
2144.17/1078.03	c (FJ) 0: step 17400000 viol 331 good 0 bumps 7646544
2144.17/1078.03	c (FJ) 1: step 17200000 viol 337 good 1 bumps 7556653
2144.17/1078.03	c (FJ) 0: step 17500000 viol 335 good 0 bumps 7681775
2144.17/1078.03	c (FJ) 1: step 17300000 viol 332 good 1 bumps 7605591
2144.17/1078.03	c (FJ) 0: step 17600000 viol 326 good 0 bumps 7731378
2144.17/1078.03	c (FJ) 1: step 17400000 viol 331 good 0 bumps 7654564
2144.17/1078.03	c (FJ) 0: step 17700000 viol 334 good 0 bumps 7775941
2144.17/1078.03	c (FJ) 1: step 17500000 viol 323 good 0 bumps 7703808
2144.17/1078.03	c (FJ) 0: step 17800000 viol 330 good 0 bumps 7822847
2144.17/1078.03	c (FJ) 1: step 17600000 viol 315 good 0 bumps 7752745
2144.17/1078.03	c (FJ) 0: step 17900000 viol 332 good 0 bumps 7871612
2144.17/1078.03	c (FJ) 1: step 17700000 viol 315 good 3 bumps 7801410
2144.17/1078.03	c (FJ) 0: step 18000000 viol 338 good 0 bumps 7920701
2144.17/1078.03	c (FJ) 1: step 17800000 viol 323 good 0 bumps 7850386
2144.17/1078.03	c (FJ) 0: step 18100000 viol 332 good 16 bumps 7964975
2144.17/1078.03	c (FJ) 0: step 18200000 viol 331 good 5 bumps 7977928
2144.17/1078.03	c (FJ) 1: step 17900000 viol 311 good 1 bumps 7899397
2144.17/1078.03	c (FJ) 0: step 18300000 viol 320 good 1 bumps 8023948
2144.17/1078.03	c (FJ) 1: step 18000000 viol 326 good 1 bumps 7948045
2144.17/1078.03	c (FJ) 0: step 18400000 viol 321 good 0 bumps 8072740
2144.17/1078.03	c (FJ) 1: step 18100000 viol 316 good 0 bumps 7996926
2144.17/1078.03	c (FJ) 0: step 18500000 viol 327 good 1 bumps 8121786
2144.17/1078.03	c (FJ) 1: step 18200000 viol 326 good 0 bumps 8045834
2144.17/1078.03	c (FJ) 0: step 18600000 viol 322 good 1 bumps 8170429
2144.17/1078.03	c (FJ) 1: step 18300000 viol 335 good 0 bumps 8095216
2144.17/1078.03	c (FJ) 0: step 18700000 viol 329 good 0 bumps 8219457
2144.17/1078.03	c (FJ) 1: step 18400000 viol 335 good 0 bumps 8144460
2144.17/1078.03	c (FJ) 0: step 18800000 viol 334 good 0 bumps 8268730
2144.17/1078.03	c (FJ) 1: step 18500000 viol 329 good 1 bumps 8193610
2144.17/1078.03	c (FJ) 0: step 18900000 viol 332 good 1 bumps 8317536
2597.40/1305.82	c (FJ) 1: step 18600000 viol 324 good 3 bumps 8242588
2597.40/1305.82	c (FJ) 0: step 19000000 viol 329 good 1 bumps 8365485
2597.40/1305.82	c (FJ) 1: step 18700000 viol 320 good 1 bumps 8291256
2597.40/1305.82	c (FJ) 0: step 19100000 viol 330 good 1 bumps 8414752
2597.40/1305.82	c (FJ) 1: step 18800000 viol 320 good 0 bumps 8339667
2597.40/1305.82	c (FJ) 0: step 19200000 viol 333 good 0 bumps 8464368
2597.40/1305.82	c (FJ) 1: step 18900000 viol 323 good 1 bumps 8388713
2597.40/1305.82	c (FJ) 0: step 19300000 viol 332 good 0 bumps 8513726
2597.40/1305.82	c (FJ) 1: step 19000000 viol 334 good 0 bumps 8437540
2597.40/1305.82	c (FJ) 0: step 19400000 viol 326 good 0 bumps 8562427
2597.40/1305.82	c (FJ) 1: step 19100000 viol 335 good 0 bumps 8486620
2597.40/1305.82	c (FJ) 0: step 19500000 viol 331 good 55 bumps 8609385
2597.40/1305.82	c (FJ) 1: step 19200000 viol 339 good 0 bumps 8532279
2597.40/1305.82	c (FJ) 0: step 19600000 viol 330 good 0 bumps 8656790
2597.40/1305.82	c (FJ) 1: step 19300000 viol 332 good 2 bumps 8575746
2597.40/1305.82	c (FJ) 1: step 19400000 viol 331 good 2 bumps 8615010
2597.40/1305.82	c (FJ) 0: step 19700000 viol 321 good 1 bumps 8704899
2597.40/1305.82	c (FJ) 1: step 19500000 viol 328 good 1 bumps 8655660
2597.40/1305.82	c (FJ) 0: step 19800000 viol 319 good 1 bumps 8753774
2597.40/1305.83	c (FJ) 1: step 19600000 viol 333 good 0 bumps 8703243
2597.40/1305.83	c (FJ) 0: step 19900000 viol 317 good 1 bumps 8801632
2597.40/1305.83	c (FJ) 1: step 19700000 viol 328 good 0 bumps 8752461
2597.40/1305.83	c (FJ) 0: step 20000000 viol 322 good 0 bumps 8850819
2597.40/1305.83	c (FJ) 1: step 19800000 viol 327 good 1 bumps 8797747
2597.40/1305.83	c (FJ) 0: step 20100000 viol 329 good 1 bumps 8900131
2597.40/1305.83	c (FJ) 1: step 19900000 viol 330 good 2 bumps 8837830
2597.40/1305.83	c (FJ) 0: step 20200000 viol 331 good 0 bumps 8948886
2597.40/1305.83	c (FJ) 1: step 20000000 viol 328 good 2 bumps 8883629
2597.40/1305.83	c (FJ) 0: step 20300000 viol 328 good 1 bumps 8997646
2597.40/1305.83	c (FJ) 1: step 20100000 viol 324 good 0 bumps 8923092
2597.40/1305.83	c (FJ) 0: step 20400000 viol 327 good 0 bumps 9046066
2597.40/1305.83	c (FJ) 1: step 20200000 viol 328 good 0 bumps 8969756
2597.40/1305.83	c (FJ) 0: step 20500000 viol 320 good 1 bumps 9092867
2597.40/1305.83	c (FJ) 1: step 20300000 viol 322 good 1 bumps 9012343
2597.40/1305.83	c (FJ) 0: step 20600000 viol 314 good 1 bumps 9141196
2597.40/1305.83	c (FJ) 1: step 20400000 viol 316 good 0 bumps 9056119
2597.40/1305.83	c (FJ) 0: step 20700000 viol 321 good 0 bumps 9183539
2597.40/1305.83	c (FJ) 1: step 20500000 viol 325 good 0 bumps 9100194
2597.40/1305.83	c (FJ) 0: step 20800000 viol 317 good 1 bumps 9218224
2597.40/1305.83	c (FJ) 1: step 20600000 viol 306 good 1 bumps 9149120
2597.40/1305.83	c (FJ) 0: step 20900000 viol 317 good 1 bumps 9262168
2597.40/1305.83	c (FJ) 1: step 20700000 viol 321 good 1 bumps 9198113
2597.40/1305.83	c (FJ) 0: step 21000000 viol 325 good 0 bumps 9311558
2597.40/1305.83	c (FJ) 1: step 20800000 viol 322 good 0 bumps 9247071
2597.40/1305.83	c (FJ) 0: step 21100000 viol 329 good 0 bumps 9360499
2597.40/1305.83	c (FJ) 1: step 20900000 viol 328 good 0 bumps 9296179
2597.40/1305.83	c (FJ) 0: step 21200000 viol 329 good 0 bumps 9409671
2597.40/1305.83	c (FJ) 1: step 21000000 viol 323 good 1 bumps 9345297
2597.40/1305.83	c (FJ) 0: step 21300000 viol 328 good 0 bumps 9443070
2597.40/1305.83	c (FJ) 0: step 21400000 viol 328 good 4 bumps 9457803
2597.40/1305.83	c (FJ) 0: step 21500000 viol 330 good 2 bumps 9473684
2597.40/1305.83	c (FJ) 1: step 21100000 viol 319 good 1 bumps 9394370
2597.40/1305.83	c (FJ) 0: step 21600000 viol 332 good 0 bumps 9495708
2597.40/1305.83	c (FJ) 1: step 21200000 viol 317 good 1 bumps 9443338
2597.40/1305.83	c (FJ) 0: step 21700000 viol 339 good 0 bumps 9544290
2597.40/1305.83	c (FJ) 1: step 21300000 viol 323 good 1 bumps 9492435
2597.40/1305.83	c (FJ) 0: step 21800000 viol 333 good 0 bumps 9593021
2597.40/1305.83	c (FJ) 1: step 21400000 viol 326 good 0 bumps 9541454
2597.40/1305.83	c (FJ) 0: step 21900000 viol 329 good 0 bumps 9642167
2597.40/1305.83	c (FJ) 1: step 21500000 viol 325 good 0 bumps 9590681
2597.40/1305.83	c (FJ) 0: step 22000000 viol 341 good 0 bumps 9689626
2597.40/1305.83	c (FJ) 1: step 21600000 viol 337 good 1 bumps 9639649
2597.40/1305.83	c (FJ) 0: step 22100000 viol 334 good 0 bumps 9738408
2597.40/1305.83	c (FJ) 1: step 21700000 viol 332 good 1 bumps 9688504
2597.40/1305.83	c (FJ) 0: step 22200000 viol 326 good 0 bumps 9784507
2597.40/1305.83	c (FJ) 1: step 21800000 viol 326 good 0 bumps 9737670
2597.40/1305.83	c (FJ) 0: step 22300000 viol 328 good 0 bumps 9828873
2597.40/1305.83	c (FJ) 1: step 21900000 viol 324 good 0 bumps 9786775
2597.40/1305.83	c (FJ) 0: step 22400000 viol 334 good 1 bumps 9867146
2597.40/1305.83	c (FJ) 1: step 22000000 viol 324 good 0 bumps 9835485
2597.40/1305.83	c (FJ) 0: step 22500000 viol 324 good 1 bumps 9915912
2597.40/1305.83	c (FJ) 1: step 22100000 viol 321 good 1 bumps 9884088
2597.40/1305.83	c (FJ) 0: step 22600000 viol 330 good 1 bumps 9965258
2597.40/1305.83	c (FJ) 1: step 22200000 viol 320 good 1 bumps 9932494
2597.40/1305.83	c (FJ) 0: step 22700000 viol 329 good 0 bumps 10014157
2597.40/1305.83	c (FJ) 1: step 22300000 viol 326 good 1 bumps 9981389
3039.72/1528.18	c (FJ) 0: step 22800000 viol 334 good 0 bumps 10063063
3039.72/1528.18	c (FJ) 1: step 22400000 viol 327 good 0 bumps 10030258
3039.72/1528.18	c (FJ) 0: step 22900000 viol 330 good 0 bumps 10110891
3039.72/1528.18	c (FJ) 1: step 22500000 viol 325 good 0 bumps 10079041
3039.72/1528.18	c (FJ) 0: step 23000000 viol 329 good 1 bumps 10158308
3039.72/1528.18	c (FJ) 1: step 22600000 viol 322 good 1 bumps 10128026
3039.72/1528.18	c (FJ) 0: step 23100000 viol 322 good 0 bumps 10204357
3039.72/1528.18	c (FJ) 1: step 22700000 viol 323 good 0 bumps 10177159
3039.72/1528.18	c (FJ) 0: step 23200000 viol 321 good 0 bumps 10252191
3039.72/1528.18	c (FJ) 1: step 22800000 viol 324 good 0 bumps 10224198
3039.72/1528.18	c (FJ) 0: step 23300000 viol 326 good 1 bumps 10301224
3039.72/1528.18	c (FJ) 1: step 22900000 viol 325 good 0 bumps 10260877
3039.72/1528.18	c (FJ) 1: step 23000000 viol 333 good 22 bumps 10274871
3039.72/1528.18	c (FJ) 0: step 23400000 viol 331 good 1 bumps 10350350
3039.72/1528.18	c (FJ) 1: step 23100000 viol 333 good 10 bumps 10288722
3039.72/1528.18	c (FJ) 0: step 23500000 viol 336 good 0 bumps 10399221
3039.72/1528.18	c (FJ) 1: step 23200000 viol 326 good 1 bumps 10328613
3039.72/1528.18	c (FJ) 0: step 23600000 viol 337 good 1 bumps 10448269
3039.72/1528.18	c (FJ) 1: step 23300000 viol 316 good 0 bumps 10377716
3039.72/1528.18	c (FJ) 0: step 23700000 viol 330 good 0 bumps 10496854
3039.72/1528.18	c (FJ) 1: step 23400000 viol 315 good 0 bumps 10424480
3039.72/1528.18	c (FJ) 1: step 23500000 viol 322 good 0 bumps 10469510
3039.72/1528.18	c (FJ) 0: step 23800000 viol 327 good 1 bumps 10545883
3039.72/1528.18	c (FJ) 1: step 23600000 viol 315 good 2 bumps 10513397
3039.72/1528.18	c (FJ) 0: step 23900000 viol 326 good 0 bumps 10592907
3039.72/1528.18	c (FJ) 1: step 23700000 viol 330 good 31 bumps 10555676
3039.72/1528.18	c (FJ) 0: step 24000000 viol 321 good 1 bumps 10641809
3039.72/1528.18	c (FJ) 1: step 23800000 viol 339 good 1 bumps 10604306
3039.72/1528.18	c (FJ) 0: step 24100000 viol 328 good 1 bumps 10690819
3039.72/1528.18	c (FJ) 1: step 23900000 viol 333 good 0 bumps 10653464
3039.72/1528.18	c (FJ) 0: step 24200000 viol 336 good 1 bumps 10740023
3039.72/1528.18	c (FJ) 1: step 24000000 viol 334 good 1 bumps 10702632
3039.72/1528.18	c (FJ) 0: step 24300000 viol 327 good 1 bumps 10788578
3039.72/1528.18	c (FJ) 1: step 24100000 viol 340 good 0 bumps 10750544
3039.72/1528.18	c (FJ) 0: step 24400000 viol 333 good 1 bumps 10838009
3039.72/1528.18	c (FJ) 1: step 24200000 viol 336 good 2 bumps 10792855
3039.72/1528.18	c (FJ) 0: step 24500000 viol 320 good 1 bumps 10887002
3039.72/1528.18	c (FJ) 1: step 24300000 viol 339 good 2 bumps 10833078
3039.72/1528.18	c (FJ) 0: step 24600000 viol 327 good 0 bumps 10936115
3039.72/1528.18	c (FJ) 1: step 24400000 viol 326 good 2 bumps 10872687
3039.72/1528.18	c (FJ) 0: step 24700000 viol 330 good 1 bumps 10985407
3039.72/1528.18	c (FJ) 1: step 24500000 viol 326 good 0 bumps 10917966
3039.72/1528.18	c (FJ) 0: step 24800000 viol 333 good 0 bumps 11034538
3039.72/1528.18	c (FJ) 1: step 24600000 viol 322 good 0 bumps 10963994
3039.72/1528.18	c (FJ) 0: step 24900000 viol 322 good 18 bumps 11061818
3039.72/1528.18	c (FJ) 1: step 24700000 viol 322 good 0 bumps 11005214
3039.72/1528.18	c (FJ) 0: step 25000000 viol 323 good 0 bumps 11109114
3039.72/1528.18	c (FJ) 1: step 24800000 viol 336 good 0 bumps 11047492
3039.72/1528.18	c (FJ) 0: step 25100000 viol 328 good 1 bumps 11158058
3039.72/1528.18	c (FJ) 1: step 24900000 viol 338 good 0 bumps 11091935
3039.72/1528.18	c (FJ) 0: step 25200000 viol 331 good 1 bumps 11206256
3039.72/1528.18	c (FJ) 1: step 25000000 viol 343 good 1 bumps 11137583
3039.72/1528.18	c (FJ) 0: step 25300000 viol 333 good 0 bumps 11255317
3039.72/1528.18	c (FJ) 1: step 25100000 viol 337 good 0 bumps 11186171
3039.72/1528.18	c (FJ) 0: step 25400000 viol 337 good 1 bumps 11303987
3039.72/1528.18	c (FJ) 1: step 25200000 viol 313 good 1 bumps 11234152
3039.72/1528.18	c (FJ) 0: step 25500000 viol 326 good 0 bumps 11352956
3039.72/1528.18	c (FJ) 1: step 25300000 viol 322 good 1 bumps 11283028
3039.72/1528.18	c (FJ) 0: step 25600000 viol 325 good 0 bumps 11402013
3039.72/1528.18	c (FJ) 1: step 25400000 viol 323 good 0 bumps 11332090
3039.72/1528.18	c (FJ) 0: step 25700000 viol 329 good 0 bumps 11450751
3039.72/1528.18	c (FJ) 1: step 25500000 viol 311 good 0 bumps 11380942
3039.72/1528.18	c (FJ) 0: step 25800000 viol 330 good 0 bumps 11499228
3039.72/1528.18	c (FJ) 1: step 25600000 viol 321 good 1 bumps 11429977
3039.72/1528.18	c (FJ) 0: step 25900000 viol 329 good 1 bumps 11548139
3039.72/1528.18	c (FJ) 1: step 25700000 viol 320 good 1 bumps 11475509
3039.72/1528.18	c (FJ) 1: step 25800000 viol 324 good 0 bumps 11520776
3039.72/1528.18	c (FJ) 0: step 26000000 viol 333 good 1 bumps 11596641
3039.72/1528.18	c (FJ) 1: step 25900000 viol 346 good 1 bumps 11567316
3039.72/1528.18	c (FJ) 0: step 26100000 viol 328 good 0 bumps 11645538
3039.72/1528.18	c (FJ) 0: step 26200000 viol 318 good 1 bumps 11693115
3039.72/1528.18	c (FJ) 1: step 26000000 viol 345 good 0 bumps 11615815
3039.72/1528.18	c (FJ) 0: step 26300000 viol 328 good 0 bumps 11741573
3039.72/1528.18	c (FJ) 1: step 26100000 viol 349 good 1 bumps 11664663
3510.07/1764.59	c (FJ) 0: step 26400000 viol 333 good 0 bumps 11790272
3510.07/1764.59	c (FJ) 1: step 26200000 viol 356 good 1 bumps 11713799
3510.07/1764.59	c (FJ) 0: step 26500000 viol 336 good 1 bumps 11838633
3510.07/1764.59	c (FJ) 1: step 26300000 viol 345 good 1 bumps 11760063
3510.07/1764.59	c (FJ) 0: step 26600000 viol 334 good 1 bumps 11887600
3510.07/1764.59	c (FJ) 1: step 26400000 viol 317 good 1 bumps 11804062
3510.07/1764.59	c (FJ) 0: step 26700000 viol 333 good 1 bumps 11936020
3510.07/1764.59	c (FJ) 1: step 26500000 viol 320 good 0 bumps 11852857
3510.07/1764.59	c (FJ) 0: step 26800000 viol 329 good 2 bumps 11984724
3510.07/1764.59	c (FJ) 1: step 26600000 viol 332 good 0 bumps 11901082
3510.07/1764.59	c (FJ) 0: step 26900000 viol 341 good 1 bumps 12033703
3510.07/1764.59	c (FJ) 1: step 26700000 viol 330 good 1 bumps 11948792
3510.07/1764.59	c (FJ) 1: step 26800000 viol 333 good 0 bumps 11997827
3510.07/1764.59	c (FJ) 0: step 27000000 viol 343 good 0 bumps 12082558
3510.07/1764.59	c (FJ) 1: step 26900000 viol 322 good 0 bumps 12046646
3510.07/1764.59	c (FJ) 0: step 27100000 viol 344 good 0 bumps 12130244
3510.07/1764.59	c (FJ) 1: step 27000000 viol 306 good 0 bumps 12095547
3510.07/1764.59	c (FJ) 0: step 27200000 viol 335 good 0 bumps 12179102
3510.07/1764.59	c (FJ) 1: step 27100000 viol 312 good 0 bumps 12144008
3510.07/1764.59	c (FJ) 0: step 27300000 viol 343 good 0 bumps 12227583
3510.07/1764.59	c (FJ) 1: step 27200000 viol 318 good 1 bumps 12192246
3510.07/1764.59	c (FJ) 0: step 27400000 viol 332 good 112 bumps 12271181
3510.07/1764.59	c (FJ) 1: step 27300000 viol 329 good 0 bumps 12241303
3510.07/1764.59	c (FJ) 0: step 27500000 viol 329 good 0 bumps 12319987
3510.07/1764.59	c (FJ) 1: step 27400000 viol 325 good 1 bumps 12290439
3510.07/1764.59	c (FJ) 0: step 27600000 viol 328 good 0 bumps 12369124
3510.07/1764.59	c (FJ) 1: step 27500000 viol 328 good 0 bumps 12339476
3510.07/1764.59	c (FJ) 0: step 27700000 viol 325 good 1 bumps 12412775
3510.07/1764.59	c (FJ) 0: step 27800000 viol 322 good 0 bumps 12452299
3510.07/1764.59	c (FJ) 1: step 27600000 viol 332 good 1 bumps 12387041
3510.07/1764.59	c (FJ) 0: step 27900000 viol 324 good 1 bumps 12494195
3510.07/1764.59	c (FJ) 1: step 27700000 viol 330 good 1 bumps 12436200
3510.07/1764.59	c (FJ) 0: step 28000000 viol 328 good 0 bumps 12543295
3510.07/1764.59	c (FJ) 1: step 27800000 viol 315 good 1 bumps 12485341
3510.07/1764.59	c (FJ) 0: step 28100000 viol 326 good 1 bumps 12592696
3510.07/1764.59	c (FJ) 1: step 27900000 viol 324 good 1 bumps 12534686
3510.07/1764.59	c (FJ) 0: step 28200000 viol 331 good 1 bumps 12641953
3510.07/1764.59	c (FJ) 1: step 28000000 viol 315 good 0 bumps 12583563
3510.07/1764.59	c (FJ) 0: step 28300000 viol 343 good 0 bumps 12691316
3510.07/1764.59	c (FJ) 1: step 28100000 viol 318 good 1 bumps 12632538
3510.07/1764.59	c (FJ) 0: step 28400000 viol 336 good 1 bumps 12740607
3510.07/1764.59	c (FJ) 1: step 28200000 viol 317 good 1 bumps 12681160
3510.07/1764.59	c (FJ) 1: step 28300000 viol 316 good 1 bumps 12730243
3510.07/1764.59	c (FJ) 0: step 28500000 viol 327 good 1 bumps 12789355
3510.07/1764.59	c (FJ) 0: step 28600000 viol 328 good 0 bumps 12836707
3510.07/1764.59	c (FJ) 1: step 28400000 viol 327 good 1 bumps 12779617
3510.07/1764.59	c (FJ) 0: step 28700000 viol 332 good 1 bumps 12860522
3510.07/1764.59	c (FJ) 1: step 28500000 viol 331 good 0 bumps 12828543
3510.07/1764.59	c (FJ) 0: step 28800000 viol 330 good 0 bumps 12909646
3510.07/1764.59	c (FJ) 1: step 28600000 viol 333 good 1 bumps 12877858
3510.07/1764.59	c (FJ) 0: step 28900000 viol 332 good 0 bumps 12958528
3510.07/1764.59	c (FJ) 1: step 28700000 viol 329 good 1 bumps 12924347
3510.07/1764.59	c (FJ) 0: step 29000000 viol 329 good 0 bumps 13006391
3510.07/1764.59	c (FJ) 1: step 28800000 viol 337 good 1 bumps 12973333
3510.07/1764.59	c (FJ) 0: step 29100000 viol 328 good 0 bumps 13053567
3510.07/1764.59	c (FJ) 1: step 28900000 viol 343 good 0 bumps 13022515
3510.07/1764.59	c (FJ) 0: step 29200000 viol 327 good 0 bumps 13101672
3510.07/1764.59	c (FJ) 1: step 29000000 viol 328 good 0 bumps 13070842
3510.07/1764.59	c (FJ) 0: step 29300000 viol 335 good 1 bumps 13150954
3510.07/1764.59	c (FJ) 1: step 29100000 viol 333 good 16 bumps 13109269
3510.07/1764.59	c (FJ) 0: step 29400000 viol 321 good 0 bumps 13199061
3510.07/1764.59	c (FJ) 1: step 29200000 viol 339 good 1 bumps 13148977
3510.07/1764.59	c (FJ) 0: step 29500000 viol 322 good 0 bumps 13248029
3510.07/1764.59	c (FJ) 1: step 29300000 viol 337 good 0 bumps 13198332
3510.07/1764.59	c (FJ) 0: step 29600000 viol 321 good 1 bumps 13296811
3510.07/1764.59	c (FJ) 1: step 29400000 viol 337 good 1 bumps 13247633
3510.07/1764.59	c (FJ) 0: step 29700000 viol 323 good 1 bumps 13345554
3510.07/1764.59	c (FJ) 1: step 29500000 viol 340 good 0 bumps 13295778
3510.07/1764.59	c (FJ) 0: step 29800000 viol 333 good 1 bumps 13394896
3510.07/1764.59	c (FJ) 1: step 29600000 viol 337 good 0 bumps 13345085
3510.07/1764.59	c (FJ) 0: step 29900000 viol 332 good 1 bumps 13439033
3510.07/1764.59	c (FJ) 1: step 29700000 viol 343 good 1 bumps 13394475
3510.07/1764.59	c (FJ) 0: step 30000000 viol 319 good 1 bumps 13487290
3510.07/1764.59	c (FJ) 1: step 29800000 viol 338 good 1 bumps 13443654
3510.07/1764.59	c (FJ) 0:

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: 63968 MiB (62785 MiB free)
  memory of node 1: 64473 MiB (63118 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432569-1721061635/watcher-4432569-1721061635 -o /tmp/evaluation-result-4432569-1721061635/solver-4432569-1721061635 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721061647-814087 --watchdog 3760 pbscip -f HOME/instance-4432569-1721061635.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=814194, runsolver pid=814191

[startup+0.10037 s]*
/proc/loadavg: 1.38 2.19 3.08 6/260 814197
/proc/meminfo: memFree=128905148/131524600 swapFree=131071996/131071996
[pid=814194] ppid=814191 vsize=209104 memory=28180 CPUtime=0.14 cores=1,3
/proc/814194/stat : 814194 (pbscip) S 814191 814194 814075 0 -1 1077936128 4878 0 0 0 14 0 0 0 20 0 3 0 158329711 214122496 7045 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
/proc/814194/statm: 52276 7045 3250 3540 0 10098 0
[pid=814194/tid=814196] ppid=814191 vsize=209104 memory=4026561586 CPUtime=0.06 cores=1,3
/proc/814194/task/814196/stat : 814196 (pbscip) R 814191 814194 814075 0 -1 4194368 1601 0 0 0 6 0 0 0 20 0 3 0 158329714 214122496 7045 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
[pid=814194/tid=814197] ppid=814191 vsize=209104 memory=228556276070 CPUtime=0.05 cores=1,3
/proc/814194/task/814197/stat : 814197 (pbscip) R 814191 814194 814075 0 -1 4194368 1201 0 0 0 5 0 0 0 20 0 3 0 158329714 214122496 7045 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 209104 KiB
Current children cumulated memory: 28180 KiB

[startup+0.206368 s]*
/proc/loadavg: 1.38 2.19 3.08 6/260 814197
/proc/meminfo: memFree=128888680/131524600 swapFree=131071996/131071996
[pid=814194] ppid=814191 vsize=209104 memory=28180 CPUtime=0.34 cores=1,3
/proc/814194/stat : 814194 (pbscip) S 814191 814194 814075 0 -1 1077936128 4878 0 0 0 34 0 0 0 20 0 3 0 158329711 214122496 7045 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
/proc/814194/statm: 52276 7045 3250 3540 0 10098 0
[pid=814194/tid=814196] ppid=814191 vsize=209104 memory=6874026233295995011 CPUtime=0.16 cores=1,3
/proc/814194/task/814196/stat : 814196 (pbscip) R 814191 814194 814075 0 -1 4194368 1601 0 0 0 16 0 0 0 20 0 3 0 158329714 214122496 7045 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
[pid=814194/tid=814197] ppid=814191 vsize=209104 memory=16952 CPUtime=0.15 cores=1,3
/proc/814194/task/814197/stat : 814197 (pbscip) R 814191 814194 814075 0 -1 4194368 1201 0 0 0 15 0 0 0 20 0 3 0 158329714 214122496 7045 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 209104 KiB
Current children cumulated memory: 28180 KiB

[startup+0.306369 s]*
/proc/loadavg: 1.38 2.19 3.08 6/260 814197
/proc/meminfo: memFree=128885992/131524600 swapFree=131071996/131071996
[pid=814194] ppid=814191 vsize=209104 memory=28180 CPUtime=0.54 cores=1,3
/proc/814194/stat : 814194 (pbscip) S 814191 814194 814075 0 -1 1077936128 4878 0 0 0 54 0 0 0 20 0 3 0 158329711 214122496 7045 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
/proc/814194/statm: 52276 7045 3250 3540 0 10098 0
[pid=814194/tid=814196] ppid=814191 vsize=209104 memory=-7595440986130180702 CPUtime=0.26 cores=1,3
/proc/814194/task/814196/stat : 814196 (pbscip) R 814191 814194 814075 0 -1 4194368 1601 0 0 0 26 0 0 0 20 0 3 0 158329714 214122496 7045 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
[pid=814194/tid=814197] ppid=814191 vsize=209104 memory=0 CPUtime=0.25 cores=1,3
/proc/814194/task/814197/stat : 814197 (pbscip) R 814191 814194 814075 0 -1 4194368 1201 0 0 0 25 0 0 0 20 0 3 0 158329714 214122496 7045 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 209104 KiB
Current children cumulated memory: 28180 KiB

[startup+0.706368 s]
/proc/loadavg: 1.38 2.19 3.08 6/260 814197
/proc/meminfo: memFree=128879608/131524600 swapFree=131071996/131071996
[pid=814194] ppid=814191 vsize=209104 memory=28180 CPUtime=1.31 cores=1,3
/proc/814194/stat : 814194 (pbscip) S 814191 814194 814075 0 -1 1077936128 4878 0 0 0 131 0 0 0 20 0 3 0 158329711 214122496 7045 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
/proc/814194/statm: 52276 7045 3250 3540 0 10098 0
[pid=814194/tid=814196] ppid=814191 vsize=209104 memory=0 CPUtime=0.66 cores=1,3
/proc/814194/task/814196/stat : 814196 (pbscip) R 814191 814194 814075 0 -1 4194368 1601 0 0 0 66 0 0 0 20 0 3 0 158329714 214122496 7045 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
[pid=814194/tid=814197] ppid=814191 vsize=209104 memory=0 CPUtime=0.63 cores=1,3
/proc/814194/task/814197/stat : 814197 (pbscip) R 814191 814194 814075 0 -1 4194368 1201 0 0 0 63 0 0 0 20 0 3 0 158329714 214122496 7045 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 209104 KiB
Current children cumulated memory: 28180 KiB

[startup+1.50037 s]
/proc/loadavg: 1.38 2.19 3.08 7/260 814197
/proc/meminfo: memFree=128794036/131524600 swapFree=131071996/131071996
[pid=814194] ppid=814191 vsize=209104 memory=28308 CPUtime=2.89 cores=1,3
/proc/814194/stat : 814194 (pbscip) S 814191 814194 814075 0 -1 1077936128 6925 0 0 0 289 0 0 0 20 0 3 0 158329711 214122496 7077 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
/proc/814194/statm: 52276 7077 3250 3540 0 10098 0
[pid=814194/tid=814196] ppid=814191 vsize=209104 memory=0 CPUtime=1.45 cores=1,3
/proc/814194/task/814196/stat : 814196 (pbscip) R 814191 814194 814075 0 -1 4194368 2626 0 0 0 145 0 0 0 20 0 3 0 158329714 214122496 7077 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
[pid=814194/tid=814197] ppid=814191 vsize=209104 memory=0 CPUtime=1.42 cores=1,3
/proc/814194/task/814197/stat : 814197 (pbscip) R 814191 814194 814075 0 -1 4194368 2220 0 0 0 142 0 0 0 20 0 3 0 158329714 214122496 7077 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 209104 KiB
Current children cumulated memory: 28308 KiB

[startup+3.11137 s]
/proc/loadavg: 1.38 2.19 3.08 6/260 814197
/proc/meminfo: memFree=128676496/131524600 swapFree=131071996/131071996
[pid=814194] ppid=814191 vsize=209104 memory=28308 CPUtime=6.09 cores=1,3
/proc/814194/stat : 814194 (pbscip) S 814191 814194 814075 0 -1 1077936128 7114 0 0 0 609 0 0 0 20 0 3 0 158329711 214122496 7077 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
/proc/814194/statm: 52276 7077 3250 3540 0 10098 0
[pid=814194/tid=814196] ppid=814191 vsize=209104 memory=2273 CPUtime=3.06 cores=1,3
/proc/814194/task/814196/stat : 814196 (pbscip) R 814191 814194 814075 0 -1 4194368 2722 0 0 0 306 0 0 0 20 0 3 0 158329714 214122496 7077 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
[pid=814194/tid=814197] ppid=814191 vsize=209104 memory=0 CPUtime=3.01 cores=1,3
/proc/814194/task/814197/stat : 814197 (pbscip) R 814191 814194 814075 0 -1 4194368 2313 0 0 0 301 0 0 0 20 0 3 0 158329714 214122496 7077 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
Current children cumulated CPU time: 6.09 s
Current children cumulated vsize: 209104 KiB
Current children cumulated memory: 28308 KiB

[startup+6.30037 s]
/proc/loadavg: 1.67 2.24 3.09 6/260 814197
/proc/meminfo: memFree=128648796/131524600 swapFree=131071996/131071996
[pid=814194] ppid=814191 vsize=209104 memory=28308 CPUtime=12.45 cores=1,3
/proc/814194/stat : 814194 (pbscip) S 814191 814194 814075 0 -1 1077936128 11351 0 0 0 1244 1 0 0 20 0 3 0 158329711 214122496 7077 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
/proc/814194/statm: 52276 7077 3250 3540 0 10098 0
[pid=814194/tid=814196] ppid=814191 vsize=209104 memory=-7595440986130180702 CPUtime=6.24 cores=1,3
/proc/814194/task/814196/stat : 814196 (pbscip) R 814191 814194 814075 0 -1 4194368 4844 0 0 0 624 0 0 0 20 0 3 0 158329714 214122496 7077 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
[pid=814194/tid=814197] ppid=814191 vsize=209104 memory=28308 CPUtime=6.17 cores=1,3
/proc/814194/task/814197/stat : 814197 (pbscip) R 814191 814194 814075 0 -1 4194368 4422 0 0 0 617 0 0 0 20 0 3 0 158329714 214122496 7077 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
Current children cumulated CPU time: 12.45 s
Current children cumulated vsize: 209104 KiB
Current children cumulated memory: 28308 KiB

[startup+12.7014 s]
/proc/loadavg: 1.93 2.29 3.10 6/260 814199
/proc/meminfo: memFree=128582408/131524600 swapFree=131071996/131071996
[pid=814194] ppid=814191 vsize=209104 memory=28308 CPUtime=25.18 cores=1,3
/proc/814194/stat : 814194 (pbscip) S 814191 814194 814075 0 -1 1077936128 13705 0 0 0 2517 1 0 0 20 0 3 0 158329711 214122496 7077 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
/proc/814194/statm: 52276 7077 3250 3540 0 10098 0
[pid=814194/tid=814196] ppid=814191 vsize=209104 memory=28308 CPUtime=12.62 cores=1,3
/proc/814194/task/814196/stat : 814196 (pbscip) R 814191 814194 814075 0 -1 4194368 6018 0 0 0 1262 0 0 0 20 0 3 0 158329714 214122496 7077 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
[pid=814194/tid=814197] ppid=814191 vsize=209104 memory=0 CPUtime=12.52 cores=1,3
/proc/814194/task/814197/stat : 814197 (pbscip) R 814191 814194 814075 0 -1 4194368 5599 0 0 0 1252 0 0 0 20 0 3 0 158329714 214122496 7077 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
Current children cumulated CPU time: 25.18 s
Current children cumulated vsize: 209104 KiB
Current children cumulated memory: 28308 KiB

[startup+25.5004 s]
/proc/loadavg: 2.68 2.44 3.13 6/260 814200
/proc/meminfo: memFree=128458824/131524600 swapFree=131071996/131071996
[pid=814194] ppid=814191 vsize=209104 memory=28308 CPUtime=50.64 cores=1,3
/proc/814194/stat : 814194 (pbscip) S 814191 814194 814075 0 -1 1077936128 20350 0 0 0 5063 1 0 0 20 0 3 0 158329711 214122496 7077 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
/proc/814194/statm: 52276 7077 3250 3540 0 10098 0
[pid=814194/tid=814196] ppid=814191 vsize=209104 memory=28308 CPUtime=25.4 cores=1,3
/proc/814194/task/814196/stat : 814196 (pbscip) R 814191 814194 814075 0 -1 4194368 9352 0 0 0 2540 0 0 0 20 0 3 0 158329714 214122496 7077 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
[pid=814194/tid=814197] ppid=814191 vsize=209104 memory=11640 CPUtime=25.2 cores=1,3
/proc/814194/task/814197/stat : 814197 (pbscip) R 814191 814194 814075 0 -1 4194368 8901 0 0 0 2520 0 0 0 20 0 3 0 158329714 214122496 7077 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
Current children cumulated CPU time: 50.64 s
Current children cumulated vsize: 209104 KiB
Current children cumulated memory: 28308 KiB

[startup+51.1064 s]
/proc/loadavg: 3.47 2.64 3.18 6/259 814205
/proc/meminfo: memFree=128353712/131524600 swapFree=131071996/131071996
[pid=814194] ppid=814191 vsize=209104 memory=28308 CPUtime=101.57 cores=1,3
/proc/814194/stat : 814194 (pbscip) S 814191 814194 814075 0 -1 1077936128 27075 0 0 0 10156 1 0 0 20 0 3 0 158329711 214122496 7077 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
/proc/814194/statm: 52276 7077 3250 3540 0 10098 0
[pid=814194/tid=814196] ppid=814191 vsize=209104 memory=28308 CPUtime=50.94 cores=1,3
/proc/814194/task/814196/stat : 814196 (pbscip) R 814191 814194 814075 0 -1 4194368 12710 0 0 0 5094 0 0 0 20 0 3 0 158329714 214122496 7077 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
[pid=814194/tid=814197] ppid=814191 vsize=209104 memory=28308 CPUtime=50.59 cores=1,3
/proc/814194/task/814197/stat : 814197 (pbscip) R 814191 814194 814075 0 -1 4194368 12259 0 0 0 5059 0 0 0 20 0 3 0 158329714 214122496 7077 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
Current children cumulated CPU time: 101.57 s
Current children cumulated vsize: 209104 KiB
Current children cumulated memory: 28308 KiB

[startup+102.3 s]
/proc/loadavg: 4.54 3.06 3.30 6/259 814213
/proc/meminfo: memFree=128294420/131524600 swapFree=131071996/131071996
[pid=814194] ppid=814191 vsize=209104 memory=28308 CPUtime=203.42 cores=1,3
/proc/814194/stat : 814194 (pbscip) S 814191 814194 814075 0 -1 1077936128 35880 0 0 0 20340 2 0 0 20 0 3 0 158329711 214122496 7077 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
/proc/814194/statm: 52276 7077 3250 3540 0 10098 0
[pid=814194/tid=814196] ppid=814191 vsize=209104 memory=28308 CPUtime=102.03 cores=1,3
/proc/814194/task/814196/stat : 814196 (pbscip) R 814191 814194 814075 0 -1 4194368 17097 0 0 0 10203 0 0 0 20 0 3 0 158329714 214122496 7077 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
[pid=814194/tid=814197] ppid=814191 vsize=209104 memory=28308 CPUtime=101.35 cores=1,3
/proc/814194/task/814197/stat : 814197 (pbscip) R 814191 814194 814075 0 -1 4194368 16664 0 0 0 10134 1 0 0 20 0 3 0 158329714 214122496 7077 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
Current children cumulated CPU time: 203.42 s
Current children cumulated vsize: 209104 KiB
Current children cumulated memory: 28308 KiB

[startup+162.3 s]
/proc/loadavg: 5.12 3.51 3.44 6/259 814225
/proc/meminfo: memFree=128250568/131524600 swapFree=131071996/131071996
[pid=814194] ppid=814191 vsize=209104 memory=28308 CPUtime=322.74 cores=1,3
/proc/814194/stat : 814194 (pbscip) S 814191 814194 814075 0 -1 1077936128 40507 0 0 0 32272 2 0 0 20 0 3 0 158329711 214122496 7077 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
/proc/814194/statm: 52276 7077 3250 3540 0 10098 0
[pid=814194/tid=814196] ppid=814191 vsize=209104 memory=11640 CPUtime=161.86 cores=1,3
/proc/814194/task/814196/stat : 814196 (pbscip) R 814191 814194 814075 0 -1 4194368 19422 0 0 0 16186 0 0 0 20 0 3 0 158329714 214122496 7077 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
[pid=814194/tid=814197] ppid=814191 vsize=209104 memory=11640 CPUtime=160.84 cores=1,3
/proc/814194/task/814197/stat : 814197 (pbscip) R 814191 814194 814075 0 -1 4194368 18960 0 0 0 16083 1 0 0 20 0 3 0 158329714 214122496 7077 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
Current children cumulated CPU time: 322.74 s
Current children cumulated vsize: 209104 KiB

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

Current children cumulated memory: 29228 KiB

[startup+1362.3 s]
/proc/loadavg: 5.18 5.15 4.74 6/259 815011
/proc/meminfo: memFree=127845292/131524600 swapFree=131071996/131071996
[pid=814194] ppid=814191 vsize=209104 memory=29228 CPUtime=2709.81 cores=1,3
/proc/814194/stat : 814194 (pbscip) S 814191 814194 814075 0 -1 1077936128 74194 0 0 0 270977 4 0 0 20 0 3 0 158329711 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
/proc/814194/statm: 52276 7307 3250 3540 0 10098 0
[pid=814194/tid=814196] ppid=814191 vsize=209104 memory=11640 CPUtime=1358.93 cores=1,3
/proc/814194/task/814196/stat : 814196 (pbscip) R 814191 814194 814075 0 -1 4194368 35599 0 0 0 135891 2 0 0 20 0 3 0 158329714 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
[pid=814194/tid=814197] ppid=814191 vsize=209104 memory=29228 CPUtime=1350.8 cores=1,3
/proc/814194/task/814197/stat : 814197 (pbscip) R 814191 814194 814075 0 -1 4194368 36410 0 0 0 135079 1 0 0 20 0 3 0 158329714 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
Current children cumulated CPU time: 2709.81 s
Current children cumulated vsize: 209104 KiB
Current children cumulated memory: 29228 KiB

[startup+1422.3 s]
/proc/loadavg: 5.12 5.13 4.76 6/258 815022
/proc/meminfo: memFree=127838524/131524600 swapFree=131071996/131071996
[pid=814194] ppid=814191 vsize=209104 memory=29228 CPUtime=2829.19 cores=1,3
/proc/814194/stat : 814194 (pbscip) S 814191 814194 814075 0 -1 1077936128 75418 0 0 0 282915 4 0 0 20 0 3 0 158329711 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
/proc/814194/statm: 52276 7307 3250 3540 0 10098 0
[pid=814194/tid=814196] ppid=814191 vsize=209104 memory=11640 CPUtime=1418.81 cores=1,3
/proc/814194/task/814196/stat : 814196 (pbscip) R 814191 814194 814075 0 -1 4194368 36147 0 0 0 141879 2 0 0 20 0 3 0 158329714 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
[pid=814194/tid=814197] ppid=814191 vsize=209104 memory=12420 CPUtime=1410.3 cores=1,3
/proc/814194/task/814197/stat : 814197 (pbscip) R 814191 814194 814075 0 -1 4194368 37083 0 0 0 141029 1 0 0 20 0 3 0 158329714 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
Current children cumulated CPU time: 2829.19 s
Current children cumulated vsize: 209104 KiB
Current children cumulated memory: 29228 KiB

[startup+1482.3 s]
/proc/loadavg: 5.12 5.14 4.79 6/257 815032
/proc/meminfo: memFree=127838028/131524600 swapFree=131071996/131071996
[pid=814194] ppid=814191 vsize=209104 memory=29228 CPUtime=2948.57 cores=1,3
/proc/814194/stat : 814194 (pbscip) S 814191 814194 814075 0 -1 1077936128 76639 0 0 0 294853 4 0 0 20 0 3 0 158329711 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
/proc/814194/statm: 52276 7307 3250 3540 0 10098 0
[pid=814194/tid=814196] ppid=814191 vsize=209104 memory=12420 CPUtime=1478.69 cores=1,3
/proc/814194/task/814196/stat : 814196 (pbscip) R 814191 814194 814075 0 -1 4194368 36697 0 0 0 147867 2 0 0 20 0 3 0 158329714 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
[pid=814194/tid=814197] ppid=814191 vsize=209104 memory=11640 CPUtime=1469.8 cores=1,3
/proc/814194/task/814197/stat : 814197 (pbscip) R 814191 814194 814075 0 -1 4194368 37751 0 0 0 146979 1 0 0 20 0 3 0 158329714 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
Current children cumulated CPU time: 2948.57 s
Current children cumulated vsize: 209104 KiB
Current children cumulated memory: 29228 KiB

[startup+1542.3 s]
/proc/loadavg: 5.17 5.14 4.82 6/257 815042
/proc/meminfo: memFree=127837152/131524600 swapFree=131071996/131071996
[pid=814194] ppid=814191 vsize=209104 memory=29228 CPUtime=3067.96 cores=1,3
/proc/814194/stat : 814194 (pbscip) S 814191 814194 814075 0 -1 1077936128 77859 0 0 0 306792 4 0 0 20 0 3 0 158329711 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
/proc/814194/statm: 52276 7307 3250 3540 0 10098 0
[pid=814194/tid=814196] ppid=814191 vsize=209104 memory=29228 CPUtime=1538.56 cores=1,3
/proc/814194/task/814196/stat : 814196 (pbscip) R 814191 814194 814075 0 -1 4194368 37243 0 0 0 153854 2 0 0 20 0 3 0 158329714 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
[pid=814194/tid=814197] ppid=814191 vsize=209104 memory=29228 CPUtime=1529.31 cores=1,3
/proc/814194/task/814197/stat : 814197 (pbscip) R 814191 814194 814075 0 -1 4194368 38422 0 0 0 152930 1 0 0 20 0 3 0 158329714 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
Current children cumulated CPU time: 3067.96 s
Current children cumulated vsize: 209104 KiB
Current children cumulated memory: 29228 KiB

[startup+1602.3 s]
/proc/loadavg: 5.24 5.16 4.85 6/256 815053
/proc/meminfo: memFree=127833160/131524600 swapFree=131071996/131071996
[pid=814194] ppid=814191 vsize=209104 memory=29228 CPUtime=3187.34 cores=1,3
/proc/814194/stat : 814194 (pbscip) S 814191 814194 814075 0 -1 1077936128 79075 0 0 0 318730 4 0 0 20 0 3 0 158329711 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
/proc/814194/statm: 52276 7307 3250 3540 0 10098 0
[pid=814194/tid=814196] ppid=814191 vsize=209104 memory=11640 CPUtime=1598.44 cores=1,3
/proc/814194/task/814196/stat : 814196 (pbscip) R 814191 814194 814075 0 -1 4194368 37792 0 0 0 159842 2 0 0 20 0 3 0 158329714 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
[pid=814194/tid=814197] ppid=814191 vsize=209104 memory=29228 CPUtime=1588.82 cores=1,3
/proc/814194/task/814197/stat : 814197 (pbscip) R 814191 814194 814075 0 -1 4194368 39086 0 0 0 158880 2 0 0 20 0 3 0 158329714 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
Current children cumulated CPU time: 3187.34 s
Current children cumulated vsize: 209104 KiB
Current children cumulated memory: 29228 KiB

[startup+1662.3 s]
/proc/loadavg: 5.20 5.16 4.87 6/256 815064
/proc/meminfo: memFree=127827744/131524600 swapFree=131071996/131071996
[pid=814194] ppid=814191 vsize=209104 memory=29228 CPUtime=3306.72 cores=1,3
/proc/814194/stat : 814194 (pbscip) S 814191 814194 814075 0 -1 1077936128 80294 0 0 0 330668 4 0 0 20 0 3 0 158329711 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
/proc/814194/statm: 52276 7307 3250 3540 0 10098 0
[pid=814194/tid=814196] ppid=814191 vsize=209104 memory=11640 CPUtime=1658.31 cores=1,3
/proc/814194/task/814196/stat : 814196 (pbscip) R 814191 814194 814075 0 -1 4194368 38346 0 0 0 165829 2 0 0 20 0 3 0 158329714 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
[pid=814194/tid=814197] ppid=814191 vsize=209104 memory=11640 CPUtime=1648.33 cores=1,3
/proc/814194/task/814197/stat : 814197 (pbscip) R 814191 814194 814075 0 -1 4194368 39748 0 0 0 164831 2 0 0 20 0 3 0 158329714 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
Current children cumulated CPU time: 3306.72 s
Current children cumulated vsize: 209104 KiB
Current children cumulated memory: 29228 KiB

[startup+1722.3 s]
/proc/loadavg: 5.07 5.13 4.88 6/257 815075
/proc/meminfo: memFree=127773460/131524600 swapFree=131071996/131071996
[pid=814194] ppid=814191 vsize=209104 memory=29228 CPUtime=3426.11 cores=1,3
/proc/814194/stat : 814194 (pbscip) S 814191 814194 814075 0 -1 1077936128 81512 0 0 0 342606 5 0 0 20 0 3 0 158329711 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
/proc/814194/statm: 52276 7307 3250 3540 0 10098 0
[pid=814194/tid=814196] ppid=814191 vsize=209104 memory=40648 CPUtime=1718.18 cores=1,3
/proc/814194/task/814196/stat : 814196 (pbscip) R 814191 814194 814075 0 -1 4194368 38889 0 0 0 171816 2 0 0 20 0 3 0 158329714 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
[pid=814194/tid=814197] ppid=814191 vsize=209104 memory=12420 CPUtime=1707.83 cores=1,3
/proc/814194/task/814197/stat : 814197 (pbscip) R 814191 814194 814075 0 -1 4194368 40420 0 0 0 170781 2 0 0 20 0 3 0 158329714 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
Current children cumulated CPU time: 3426.11 s
Current children cumulated vsize: 209104 KiB
Current children cumulated memory: 29228 KiB

[startup+1782.3 s]
/proc/loadavg: 5.25 5.17 4.92 6/259 815089
/proc/meminfo: memFree=127765528/131524600 swapFree=131071996/131071996
[pid=814194] ppid=814191 vsize=209104 memory=29228 CPUtime=3545.49 cores=1,3
/proc/814194/stat : 814194 (pbscip) S 814191 814194 814075 0 -1 1077936128 82727 0 0 0 354544 5 0 0 20 0 3 0 158329711 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
/proc/814194/statm: 52276 7307 3250 3540 0 10098 0
[pid=814194/tid=814196] ppid=814191 vsize=209104 memory=29228 CPUtime=1778.06 cores=1,3
/proc/814194/task/814196/stat : 814196 (pbscip) R 814191 814194 814075 0 -1 4194368 39437 0 0 0 177804 2 0 0 20 0 3 0 158329714 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
[pid=814194/tid=814197] ppid=814191 vsize=209104 memory=29228 CPUtime=1767.33 cores=1,3
/proc/814194/task/814197/stat : 814197 (pbscip) R 814191 814194 814075 0 -1 4194368 41084 0 0 0 176731 2 0 0 20 0 3 0 158329714 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
Current children cumulated CPU time: 3545.49 s
Current children cumulated vsize: 209104 KiB
Current children cumulated memory: 29228 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.7 s]
/proc/loadavg: 5.23 5.17 4.92 6/259 815096
/proc/meminfo: memFree=127761980/131524600 swapFree=131071996/131071996
[pid=814194] ppid=814191 vsize=209104 memory=29228 CPUtime=3600.01 cores=1,3
/proc/814194/stat : 814194 (pbscip) S 814191 814194 814075 0 -1 1077936128 82731 0 0 0 359996 5 0 0 20 0 3 0 158329711 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
/proc/814194/statm: 52276 7307 3250 3540 0 10098 0
[pid=814194/tid=814196] ppid=814191 vsize=209104 memory=12420 CPUtime=1805.4 cores=1,3
/proc/814194/task/814196/stat : 814196 (pbscip) R 814191 814194 814075 0 -1 4194368 39438 0 0 0 180538 2 0 0 20 0 3 0 158329714 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
[pid=814194/tid=814197] ppid=814191 vsize=209104 memory=11640 CPUtime=1794.51 cores=1,3
/proc/814194/task/814197/stat : 814197 (pbscip) R 814191 814194 814075 0 -1 4194368 41087 0 0 0 179449 2 0 0 20 0 3 0 158329714 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 209104 KiB
Current children cumulated memory: 29228 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+1809.71 s]
# the end of solver process 814194 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=3599.99 s, system=0.051823 s

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

[startup+1809.7 s]
/proc/loadavg: 5.23 5.17 4.92 6/259 815096
/proc/meminfo: memFree=127761980/131524600 swapFree=131071996/131071996
[pid=814194] ppid=814191 vsize=209104 memory=29228 CPUtime=3600.01 cores=1,3
/proc/814194/stat : 814194 (pbscip) S 814191 814194 814075 0 -1 1077936128 82731 0 0 0 359996 5 0 0 20 0 3 0 158329711 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
/proc/814194/statm: 52276 7307 3250 3540 0 10098 0
[pid=814194/tid=814196] ppid=814191 vsize=209104 memory=12420 CPUtime=1805.4 cores=1,3
/proc/814194/task/814196/stat : 814196 (pbscip) R 814191 814194 814075 0 -1 4194368 39438 0 0 0 180538 2 0 0 20 0 3 0 158329714 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
[pid=814194/tid=814197] ppid=814191 vsize=209104 memory=11640 CPUtime=1794.51 cores=1,3
/proc/814194/task/814197/stat : 814197 (pbscip) R 814191 814194 814075 0 -1 4194368 41087 0 0 0 179449 2 0 0 20 0 3 0 158329714 214122496 7307 134679101440 4194304 18693293 140729244689632 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 39215104 140729244693508 140729244693607 140729244693607 140729244700622 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 209104 KiB
Current children cumulated memory: 29228 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 1809.71
CPU time (s): 3600.04
CPU user time (s): 3599.99
CPU system time (s): 0.051823
CPU usage (%): 198.929
Max. virtual memory (cumulated for all children) (KiB): 209104
Max. memory (cumulated for all children) (KiB): 29228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.99
system time used= 0.051823
maximum resident set size= 29228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82731
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= 35450
involuntary context switches= 57781


# summary of solver processes directly reported to runsolver:
#   pid: 814194
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3599.99
#   total CPU system time (s): 0.051823

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.42552 second user time and 7.7363 second system time

The end

Launcher Data

Begin job on nodeC026 at 2024-07-15 18:40:48
IDJOB=4432569
IDBENCH=146776
IDSOLVER=3059
FILE ID=nodeC026/4432569-1721061635
RUNJOBID= nodeC026-1721061647-814087
SLURM_JOB_ID= 7505513
Free space on /tmp= 890024 MiB

SOLVER NAME= SCIP 2024-07-07
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= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432569-1721061635/watcher-4432569-1721061635 -o /tmp/evaluation-result-4432569-1721061635/solver-4432569-1721061635 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721061647-814087 --watchdog 3760  pbscip -f HOME/instance-4432569-1721061635.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= c14f7c55e56be8814a9acdc0ce68bb69
RANDOM SEED=1900422606

nodeC026.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3665.941
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3671.044
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.915
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3661.848
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3665.903
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3669.453
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.295
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3658.833
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128925956 kB
MemAvailable:   129594436 kB
Buffers:          363768 kB
Cached:          1143212 kB
SwapCached:            0 kB
Active:           632832 kB
Inactive:        1378888 kB
Active(anon):       1548 kB
Inactive(anon):   540892 kB
Active(file):     631284 kB
Inactive(file):   837996 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             77628 kB
Writeback:             0 kB
AnonPages:        503852 kB
Mapped:           137248 kB
Shmem:             37720 kB
KReclaimable:      78048 kB
Slab:             181192 kB
SReclaimable:      78048 kB
SUnreclaim:       103144 kB
KernelStack:        4112 kB
PageTables:        10504 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     906336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61088 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 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:      211668 kB
DirectMap2M:    17387520 kB
DirectMap1G:    118489088 kB

Free space on /tmp at the end= 890008 MiB
End job on nodeC026 at 2024-07-15 19:10:58