Trace number 4459297

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
mixed-bag 2024-07-19? (TO) 3600.25 3608.74

DiagnosticValue
AM1LB31103743
LOWERBOUND-369902090
NAM1S1321
NCORES85
NEXHAUSTED0
NPBCORES62
NPBREFORM0
NTRIMMED759
SCIPUB-33390113

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-rmine15.opb
MD5SUM8b0f0a056877f36e2c13e33d533276b3
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 benchmark-218422812
Best CPU time to get the best result obtained on this benchmark3558.11
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables42438
Total number of constraints358395
Number of constraints which are clauses358365
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints30
Minimum length of a constraint2
Maximum length of a constraint6750
Number of terms in the objective function 42438
Biggest coefficient in the objective function 100528
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 500000100
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 74056307
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 500000100
Number of bits of the biggest sum of numbers29
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.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c with Papilo
0.00/0.01	c with SCIP
0.00/0.01	c [STEP] parsing instance
1.58/1.61	c [STEP] preprocessing with Papilo
2.09/2.13	c Papilo could not simplify the problem
2.09/2.13	c [STEP] solving with SCIP
302.10/303.19	c [STEP] preprocessing done, loading into solver
302.79/303.80	c [STEP] solving
302.79/303.80	c #variables 42439 #constraints 358395
302.79/303.80	c SMALL=int, LARGE=long long
302.79/303.81	d SCIPUB -33390113
302.79/303.81	c bounds - >= -404494688 @ 301.824
302.79/303.81	c stratification level: 13818
421.83/423.16	c bounds - >= -373377064 @ 307.919
421.83/423.16	c bounds - >= -373351079 @ 308.02
421.83/423.16	c bounds - >= -373326968 @ 308.027
421.83/423.16	c bounds - >= -373304763 @ 308.033
421.83/423.16	c bounds - >= -373263899 @ 308.04
421.83/423.16	c bounds - >= -373246228 @ 308.045
421.83/423.16	c bounds - >= -373219110 @ 308.051
421.83/423.16	c bounds - >= -373203769 @ 308.057
421.83/423.16	c bounds - >= -373166493 @ 308.064
421.83/423.16	c bounds - >= -373134139 @ 308.069
421.83/423.16	c bounds - >= -373107663 @ 308.076
421.83/423.16	c bounds - >= -372023013 @ 308.087
421.83/423.16	c bounds - >= -371016453 @ 308.101
421.83/423.16	c bounds - >= -371001502 @ 308.122
421.83/423.16	c bounds - >= -370987315 @ 308.14
421.83/423.16	c bounds - >= -370972195 @ 308.164
421.83/423.16	c bounds - >= -370958359 @ 308.269
421.83/423.16	c bounds - >= -370944257 @ 308.289
421.83/423.16	c bounds - >= -370929714 @ 308.304
421.83/423.16	c bounds - >= -370915622 @ 308.322
421.83/423.16	c bounds - >= -370896454 @ 308.338
421.83/423.16	c bounds - >= -370880903 @ 308.352
421.83/423.16	c bounds - >= -370865999 @ 308.369
421.83/423.16	c bounds - >= -370850155 @ 308.383
421.83/423.16	c bounds - >= -370832298 @ 308.404
421.83/423.16	c bounds - >= -370815128 @ 308.42
421.83/423.16	c bounds - >= -370801237 @ 308.434
421.83/423.16	c bounds - >= -370783750 @ 308.452
421.83/423.16	c bounds - >= -370769906 @ 308.542
421.83/423.16	c bounds - >= -370752540 @ 308.563
421.83/423.16	c bounds - >= -370737515 @ 308.579
421.83/423.16	c bounds - >= -370720321 @ 308.597
421.83/423.16	c bounds - >= -370705724 @ 308.611
421.83/423.16	c bounds - >= -370690314 @ 308.626
421.83/423.16	c bounds - >= -370675465 @ 308.646
421.83/423.16	c bounds - >= -370658717 @ 308.661
421.83/423.16	c bounds - >= -370643524 @ 308.676
421.83/423.16	c bounds - >= -370629684 @ 308.697
421.83/423.16	c bounds - >= -370613025 @ 308.712
421.83/423.16	c bounds - >= -370598671 @ 308.732
421.83/423.16	c bounds - >= -370583095 @ 308.748
421.83/423.16	c bounds - >= -370569184 @ 308.773
421.83/423.16	c bounds - >= -370554538 @ 308.858
421.83/423.16	c bounds - >= -370540519 @ 309.139
421.83/423.16	c bounds - >= -370524616 @ 309.161
421.83/423.16	c bounds - >= -370508840 @ 309.178
421.83/423.16	c bounds - >= -370493077 @ 309.195
421.83/423.16	c bounds - >= -370479218 @ 309.212
421.83/423.16	c bounds - >= -370463506 @ 309.233
421.83/423.16	c bounds - >= -370449468 @ 309.252
421.83/423.16	c bounds - >= -370434607 @ 309.269
421.83/423.16	c bounds - >= -370419051 @ 309.285
421.83/423.16	c bounds - >= -370404087 @ 309.3
421.83/423.16	c bounds - >= -370388635 @ 309.315
421.83/423.16	c bounds - >= -370373530 @ 309.334
421.83/423.16	c bounds - >= -370358909 @ 309.35
421.83/423.16	c bounds - >= -370343593 @ 309.372
421.83/423.16	c bounds - >= -370286933 @ 309.532
421.83/423.16	c bounds - >= -370271853 @ 309.552
421.83/423.16	c bounds - >= -370256780 @ 309.57
421.83/423.16	c bounds - >= -370242041 @ 309.758
421.83/423.16	c bounds - >= -370227183 @ 309.781
421.83/423.16	c bounds - >= -370212391 @ 309.803
421.83/423.16	c bounds - >= -370198560 @ 309.819
421.83/423.16	c bounds - >= -370183901 @ 309.841
421.83/423.16	c bounds - >= -370169264 @ 309.86
421.83/423.16	c bounds - >= -370154861 @ 309.879
421.83/423.16	c bounds - >= -370140364 @ 309.898
421.83/423.16	c bounds - >= -370125950 @ 309.914
421.83/423.16	c bounds - >= -370111672 @ 309.936
421.83/423.16	c bounds - >= -370097502 @ 309.953
421.83/423.16	c bounds - >= -370083339 @ 310.025
421.83/423.16	c bounds - >= -370069187 @ 310.043
421.83/423.16	c bounds - >= -370055055 @ 310.059
421.83/423.16	c bounds - >= -370041082 @ 310.083
421.83/423.16	c bounds - >= -370027155 @ 310.105
421.83/423.16	c bounds - >= -370013243 @ 310.126
421.83/423.16	c bounds - >= -369999343 @ 310.148
421.83/423.16	c bounds - >= -369985506 @ 310.867
421.83/423.16	c bounds - >= -369971379 @ 311.688
421.83/423.16	c bounds - >= -369957378 @ 311.757
421.83/423.16	c bounds - >= -369943560 @ 311.874
421.83/423.16	c #Conflicts:       1000 | #Constraints:     360841
421.83/423.16	c bounds - >= -369929731 @ 317.986
421.83/423.16	c #Conflicts:       2000 | #Constraints:     361843
421.83/423.16	c INPROCESSING
421.83/423.16	c GARBAGE COLLECT
421.83/423.16	c #Conflicts:       3000 | #Constraints:     361745
421.83/423.16	c #Conflicts:       4000 | #Constraints:     362745
421.83/423.16	c INPROCESSING
421.83/423.16	c GARBAGE COLLECT
421.83/423.16	c #Conflicts:       5000 | #Constraints:     362143
421.83/423.16	c #Conflicts:       6000 | #Constraints:     363143
421.83/423.16	c INPROCESSING
421.83/423.16	c GARBAGE COLLECT
421.83/423.16	c #Conflicts:       7000 | #Constraints:     362144
421.83/423.16	c #Conflicts:       8000 | #Constraints:     363144
421.83/423.16	c #Conflicts:       9000 | #Constraints:     364144
421.83/423.16	c INPROCESSING
421.83/423.16	c GARBAGE COLLECT
421.83/423.16	c #Conflicts:      10000 | #Constraints:     362839
421.83/423.16	c #Conflicts:      11000 | #Constraints:     363839
421.83/423.16	c #Conflicts:      12000 | #Constraints:     364839
421.83/423.16	c INPROCESSING
421.83/423.16	c GARBAGE COLLECT
421.83/423.16	c #Conflicts:      13000 | #Constraints:     363293
421.83/423.16	c #Conflicts:      14000 | #Constraints:     364293
421.83/423.16	c #Conflicts:      15000 | #Constraints:     365293
421.83/423.16	c INPROCESSING
421.83/423.16	c GARBAGE COLLECT
421.83/423.16	c #Conflicts:      16000 | #Constraints:     363522
421.83/423.16	c #Conflicts:      17000 | #Constraints:     364522
421.83/423.16	c #Conflicts:      18000 | #Constraints:     365522
421.83/423.16	c INPROCESSING
421.83/423.16	c GARBAGE COLLECT
421.83/423.16	c #Conflicts:      19000 | #Constraints:     363537
871.88/874.20	c #Conflicts:      20000 | #Constraints:     364537
871.88/874.20	c #Conflicts:      21000 | #Constraints:     365537
871.88/874.20	c INPROCESSING
871.88/874.20	c GARBAGE COLLECT
871.88/874.20	c #Conflicts:      22000 | #Constraints:     363345
871.88/874.20	c #Conflicts:      23000 | #Constraints:     364345
871.88/874.20	c #Conflicts:      24000 | #Constraints:     365345
871.88/874.20	c #Conflicts:      25000 | #Constraints:     366345
871.88/874.20	c INPROCESSING
871.88/874.20	c GARBAGE COLLECT
871.88/874.20	c #Conflicts:      26000 | #Constraints:     363946
871.88/874.20	c #Conflicts:      27000 | #Constraints:     364946
871.88/874.20	c #Conflicts:      28000 | #Constraints:     365946
871.88/874.20	c #Conflicts:      29000 | #Constraints:     366946
871.88/874.20	c INPROCESSING
871.88/874.20	c GARBAGE COLLECT
871.88/874.20	c #Conflicts:      30000 | #Constraints:     364351
871.88/874.20	c #Conflicts:      31000 | #Constraints:     365351
871.88/874.20	c #Conflicts:      32000 | #Constraints:     366351
871.88/874.20	c #Conflicts:      33000 | #Constraints:     367351
871.88/874.20	c INPROCESSING
871.88/874.20	c GARBAGE COLLECT
871.88/874.20	c #Conflicts:      34000 | #Constraints:     364554
871.88/874.20	c #Conflicts:      35000 | #Constraints:     365554
871.88/874.20	c #Conflicts:      36000 | #Constraints:     366554
871.88/874.20	c #Conflicts:      37000 | #Constraints:     367554
871.88/874.20	c INPROCESSING
871.88/874.20	c GARBAGE COLLECT
871.88/874.20	c #Conflicts:      38000 | #Constraints:     364559
871.88/874.20	c #Conflicts:      39000 | #Constraints:     365559
871.88/874.20	c #Conflicts:      40000 | #Constraints:     366559
871.88/874.20	c #Conflicts:      41000 | #Constraints:     367559
871.88/874.20	c INPROCESSING
871.88/874.20	c GARBAGE COLLECT
871.88/874.20	c #Conflicts:      42000 | #Constraints:     364367
871.88/874.20	c #Conflicts:      43000 | #Constraints:     365367
871.88/874.20	c #Conflicts:      44000 | #Constraints:     366367
871.88/874.20	c #Conflicts:      45000 | #Constraints:     367367
871.88/874.20	c #Conflicts:      46000 | #Constraints:     368367
871.88/874.20	c INPROCESSING
871.88/874.20	c GARBAGE COLLECT
871.88/874.20	c #Conflicts:      47000 | #Constraints:     364964
871.88/874.20	c #Conflicts:      48000 | #Constraints:     365964
871.88/874.20	c #Conflicts:      49000 | #Constraints:     366964
871.88/874.20	c #Conflicts:      50000 | #Constraints:     367964
871.88/874.20	c #Conflicts:      51000 | #Constraints:     368964
871.88/874.20	c INPROCESSING
871.88/874.20	c GARBAGE COLLECT
871.88/874.20	c #Conflicts:      52000 | #Constraints:     365377
871.88/874.20	c #Conflicts:      53000 | #Constraints:     366377
871.88/874.20	c #Conflicts:      54000 | #Constraints:     367377
871.88/874.20	c #Conflicts:      55000 | #Constraints:     368377
871.88/874.20	c #Conflicts:      56000 | #Constraints:     369377
871.88/874.20	c INPROCESSING
871.88/874.20	c GARBAGE COLLECT
871.88/874.20	c #Conflicts:      57000 | #Constraints:     365587
871.88/874.20	c bounds - >= -369915912 @ 697.431
871.88/874.20	c #Conflicts:      58000 | #Constraints:     366588
871.88/874.20	c #Conflicts:      59000 | #Constraints:     367588
871.88/874.20	c #Conflicts:      60000 | #Constraints:     368588
871.88/874.20	c #Conflicts:      61000 | #Constraints:     369588
871.88/874.20	c INPROCESSING
871.88/874.20	c GARBAGE COLLECT
871.88/874.20	c #Conflicts:      62000 | #Constraints:     365573
871.88/874.20	c #Conflicts:      63000 | #Constraints:     366573
871.88/874.20	c #Conflicts:      64000 | #Constraints:     367573
871.88/874.20	c #Conflicts:      65000 | #Constraints:     368573
871.88/874.20	c #Conflicts:      66000 | #Constraints:     369573
871.88/874.20	c INPROCESSING
871.88/874.20	c GARBAGE COLLECT
871.88/874.20	c #Conflicts:      67000 | #Constraints:     365368
871.88/874.20	c #Conflicts:      68000 | #Constraints:     366368
871.88/874.20	c #Conflicts:      69000 | #Constraints:     367368
871.88/874.20	c #Conflicts:      70000 | #Constraints:     368368
871.88/874.20	c #Conflicts:      71000 | #Constraints:     369368
871.88/874.20	c #Conflicts:      72000 | #Constraints:     370368
871.88/874.20	c INPROCESSING
871.88/874.20	c GARBAGE COLLECT
871.88/874.20	c #Conflicts:      73000 | #Constraints:     365961
871.88/874.20	c #Conflicts:      74000 | #Constraints:     366961
871.88/874.20	c #Conflicts:      75000 | #Constraints:     367961
871.88/874.20	c #Conflicts:      76000 | #Constraints:     368961
871.88/874.20	c #Conflicts:      77000 | #Constraints:     369961
871.88/874.20	c #Conflicts:      78000 | #Constraints:     370961
871.88/874.20	c INPROCESSING
871.88/874.20	c GARBAGE COLLECT
871.88/874.20	c #Conflicts:      79000 | #Constraints:     366353
871.88/874.20	c #Conflicts:      80000 | #Constraints:     367353
871.88/874.20	c #Conflicts:      81000 | #Constraints:     368353
871.88/874.20	c #Conflicts:      82000 | #Constraints:     369353
871.88/874.20	c #Conflicts:      83000 | #Constraints:     370353
871.88/874.20	c #Conflicts:      84000 | #Constraints:     371353
871.88/874.20	c INPROCESSING
871.88/874.20	c GARBAGE COLLECT
871.88/874.20	c #Conflicts:      85000 | #Constraints:     366557
871.88/874.20	c #Conflicts:      86000 | #Constraints:     367557
871.88/874.20	c #Conflicts:      87000 | #Constraints:     368557
871.88/874.20	c #Conflicts:      88000 | #Constraints:     369557
1652.31/1656.57	c #Conflicts:      89000 | #Constraints:     370557
1652.31/1656.57	c #Conflicts:      90000 | #Constraints:     371557
1652.31/1656.57	c INPROCESSING
1652.31/1656.57	c GARBAGE COLLECT
1652.31/1656.57	c #Conflicts:      91000 | #Constraints:     366558
1652.31/1656.57	c #Conflicts:      92000 | #Constraints:     367558
1652.31/1656.57	c #Conflicts:      93000 | #Constraints:     368558
1652.31/1656.57	c #Conflicts:      94000 | #Constraints:     369558
1652.31/1656.57	c #Conflicts:      95000 | #Constraints:     370558
1652.31/1656.57	c #Conflicts:      96000 | #Constraints:     371558
1652.31/1656.57	c INPROCESSING
1652.31/1656.57	c GARBAGE COLLECT
1652.31/1656.57	c #Conflicts:      97000 | #Constraints:     366357
1652.31/1656.57	c #Conflicts:      98000 | #Constraints:     367357
1652.31/1656.57	c #Conflicts:      99000 | #Constraints:     368357
1652.31/1656.57	c #Conflicts:     100000 | #Constraints:     369357
1652.31/1656.57	c #Conflicts:     101000 | #Constraints:     370357
1652.31/1656.57	c #Conflicts:     102000 | #Constraints:     371357
1652.31/1656.57	c #Conflicts:     103000 | #Constraints:     372357
1652.31/1656.57	c INPROCESSING
1652.31/1656.57	c GARBAGE COLLECT
1652.31/1656.57	c #Conflicts:     104000 | #Constraints:     366952
1652.31/1656.57	c #Conflicts:     105000 | #Constraints:     367952
1652.31/1656.57	c #Conflicts:     106000 | #Constraints:     368952
1652.31/1656.57	c #Conflicts:     107000 | #Constraints:     369952
1652.31/1656.57	c #Conflicts:     108000 | #Constraints:     370952
1652.31/1656.57	c #Conflicts:     109000 | #Constraints:     371952
1652.31/1656.57	c #Conflicts:     110000 | #Constraints:     372952
1652.31/1656.57	c INPROCESSING
1652.31/1656.57	c GARBAGE COLLECT
1652.31/1656.57	c #Conflicts:     111000 | #Constraints:     367353
1652.31/1656.57	c #Conflicts:     112000 | #Constraints:     368353
1652.31/1656.57	c #Conflicts:     113000 | #Constraints:     369353
1652.31/1656.57	c #Conflicts:     114000 | #Constraints:     370353
1652.31/1656.57	c #Conflicts:     115000 | #Constraints:     371353
1652.31/1656.57	c #Conflicts:     116000 | #Constraints:     372353
1652.31/1656.57	c #Conflicts:     117000 | #Constraints:     373353
1652.31/1656.57	c INPROCESSING
1652.31/1656.57	c GARBAGE COLLECT
1652.31/1656.57	c #Conflicts:     118000 | #Constraints:     367551
1652.31/1656.57	c #Conflicts:     119000 | #Constraints:     368551
1652.31/1656.57	c #Conflicts:     120000 | #Constraints:     369551
1652.31/1656.57	c #Conflicts:     121000 | #Constraints:     370551
1652.31/1656.57	c #Conflicts:     122000 | #Constraints:     371551
1652.31/1656.57	c #Conflicts:     123000 | #Constraints:     372551
1652.31/1656.57	c #Conflicts:     124000 | #Constraints:     373551
1652.31/1656.57	c INPROCESSING
1652.31/1656.57	c GARBAGE COLLECT
1652.31/1656.57	c #Conflicts:     125000 | #Constraints:     367563
1652.31/1656.57	c #Conflicts:     126000 | #Constraints:     368563
1652.31/1656.57	c #Conflicts:     127000 | #Constraints:     369563
1652.31/1656.57	c #Conflicts:     128000 | #Constraints:     370563
1652.31/1656.57	c #Conflicts:     129000 | #Constraints:     371563
1652.31/1656.57	c #Conflicts:     130000 | #Constraints:     372563
1652.31/1656.57	c #Conflicts:     131000 | #Constraints:     373563
1652.31/1656.57	c INPROCESSING
1652.31/1656.57	c GARBAGE COLLECT
1652.31/1656.57	c #Conflicts:     132000 | #Constraints:     367359
1652.31/1656.57	c #Conflicts:     133000 | #Constraints:     368359
1652.31/1656.57	c #Conflicts:     134000 | #Constraints:     369359
1652.31/1656.57	c #Conflicts:     135000 | #Constraints:     370359
1652.31/1656.57	c #Conflicts:     136000 | #Constraints:     371359
1652.31/1656.57	c #Conflicts:     137000 | #Constraints:     372359
1652.31/1656.57	c #Conflicts:     138000 | #Constraints:     373359
1652.31/1656.57	c #Conflicts:     139000 | #Constraints:     374359
1652.31/1656.57	c INPROCESSING
1652.31/1656.57	c GARBAGE COLLECT
1652.31/1656.57	c #Conflicts:     140000 | #Constraints:     367960
1652.31/1656.57	c #Conflicts:     141000 | #Constraints:     368960
1652.31/1656.57	c #Conflicts:     142000 | #Constraints:     369960
1652.31/1656.57	c #Conflicts:     143000 | #Constraints:     370960
1652.31/1656.57	c #Conflicts:     144000 | #Constraints:     371960
1652.31/1656.57	c #Conflicts:     145000 | #Constraints:     372960
1652.31/1656.57	c #Conflicts:     146000 | #Constraints:     373960
1652.31/1656.57	c #Conflicts:     147000 | #Constraints:     374960
1652.31/1656.57	c INPROCESSING
1652.31/1656.57	c GARBAGE COLLECT
1652.31/1656.57	c #Conflicts:     148000 | #Constraints:     368366
1652.31/1656.57	c #Conflicts:     149000 | #Constraints:     369366
1652.31/1656.57	c #Conflicts:     150000 | #Constraints:     370366
1652.31/1656.57	c #Conflicts:     151000 | #Constraints:     371366
1652.31/1656.57	c #Conflicts:     152000 | #Constraints:     372366
1652.31/1656.57	c #Conflicts:     153000 | #Constraints:     373366
1652.31/1656.57	c #Conflicts:     154000 | #Constraints:     374366
1652.31/1656.57	c #Conflicts:     155000 | #Constraints:     375366
1652.31/1656.57	c INPROCESSING
1652.31/1656.57	c GARBAGE COLLECT
1652.31/1656.57	c #Conflicts:     156000 | #Constraints:     368581
1652.31/1656.57	c #Conflicts:     157000 | #Constraints:     369581
1652.31/1656.57	c #Conflicts:     158000 | #Constraints:     370581
1652.31/1656.57	c bounds - >= -369902090 @ 1643.48
1652.31/1656.57	c #Conflicts:     159000 | #Constraints:     371582
1652.31/1656.57	c #Conflicts:     160000 | #Constraints:     372582
2504.07/2510.15	c #Conflicts:     161000 | #Constraints:     373582
2504.07/2510.15	c #Conflicts:     162000 | #Constraints:     374582
2504.07/2510.15	c #Conflicts:     163000 | #Constraints:     375582
2504.07/2510.15	c INPROCESSING
2504.07/2510.15	c GARBAGE COLLECT
2504.07/2510.15	c #Conflicts:     164000 | #Constraints:     368572
2504.07/2510.15	c #Conflicts:     165000 | #Constraints:     369572
2504.07/2510.15	c #Conflicts:     166000 | #Constraints:     370572
2504.07/2510.15	c #Conflicts:     167000 | #Constraints:     371572
2504.07/2510.15	c #Conflicts:     168000 | #Constraints:     372572
2504.07/2510.15	c #Conflicts:     169000 | #Constraints:     373572
2504.07/2510.15	c #Conflicts:     170000 | #Constraints:     374572
2504.07/2510.15	c #Conflicts:     171000 | #Constraints:     375572
2504.07/2510.15	c INPROCESSING
2504.07/2510.15	c GARBAGE COLLECT
2504.07/2510.15	c #Conflicts:     172000 | #Constraints:     368360
2504.07/2510.15	c #Conflicts:     173000 | #Constraints:     369360
2504.07/2510.15	c #Conflicts:     174000 | #Constraints:     370360
2504.07/2510.15	c #Conflicts:     175000 | #Constraints:     371360
2504.07/2510.15	c #Conflicts:     176000 | #Constraints:     372360
2504.07/2510.15	c #Conflicts:     177000 | #Constraints:     373360
2504.07/2510.15	c #Conflicts:     178000 | #Constraints:     374360
2504.07/2510.15	c #Conflicts:     179000 | #Constraints:     375360
2504.07/2510.15	c #Conflicts:     180000 | #Constraints:     376360
2504.07/2510.15	c INPROCESSING
2504.07/2510.15	c GARBAGE COLLECT
2504.07/2510.15	c #Conflicts:     181000 | #Constraints:     368956
2504.07/2510.15	c #Conflicts:     182000 | #Constraints:     369956
2504.07/2510.15	c #Conflicts:     183000 | #Constraints:     370956
2504.07/2510.15	c #Conflicts:     184000 | #Constraints:     371956
2504.07/2510.15	c #Conflicts:     185000 | #Constraints:     372956
2504.07/2510.15	c #Conflicts:     186000 | #Constraints:     373956
2504.07/2510.15	c #Conflicts:     187000 | #Constraints:     374956
2504.07/2510.15	c #Conflicts:     188000 | #Constraints:     375956
2504.07/2510.15	c #Conflicts:     189000 | #Constraints:     376956
2504.07/2510.15	c INPROCESSING
2504.07/2510.15	c GARBAGE COLLECT
2504.07/2510.15	c #Conflicts:     190000 | #Constraints:     369369
2504.07/2510.15	c #Conflicts:     191000 | #Constraints:     370369
2504.07/2510.15	c #Conflicts:     192000 | #Constraints:     371369
2504.07/2510.15	c #Conflicts:     193000 | #Constraints:     372369
2504.07/2510.15	c #Conflicts:     194000 | #Constraints:     373369
2504.07/2510.15	c #Conflicts:     195000 | #Constraints:     374369
2504.07/2510.15	c #Conflicts:     196000 | #Constraints:     375369
2504.07/2510.15	c #Conflicts:     197000 | #Constraints:     376369
2504.07/2510.15	c #Conflicts:     198000 | #Constraints:     377369
2504.07/2510.15	c INPROCESSING
2504.07/2510.15	c GARBAGE COLLECT
2504.07/2510.15	c #Conflicts:     199000 | #Constraints:     369582
2504.07/2510.15	c #Conflicts:     200000 | #Constraints:     370582
2504.07/2510.15	c #Conflicts:     201000 | #Constraints:     371582
2504.07/2510.15	c #Conflicts:     202000 | #Constraints:     372582
2504.07/2510.15	c #Conflicts:     203000 | #Constraints:     373582
2504.07/2510.15	c #Conflicts:     204000 | #Constraints:     374582
2504.07/2510.15	c #Conflicts:     205000 | #Constraints:     375582
2504.07/2510.15	c #Conflicts:     206000 | #Constraints:     376582
2504.07/2510.15	c #Conflicts:     207000 | #Constraints:     377582
2504.07/2510.15	c INPROCESSING
2504.07/2510.15	c GARBAGE COLLECT
2504.07/2510.15	c #Conflicts:     208000 | #Constraints:     369578
2504.07/2510.15	c #Conflicts:     209000 | #Constraints:     370578
2504.07/2510.15	c #Conflicts:     210000 | #Constraints:     371578
2504.07/2510.15	c #Conflicts:     211000 | #Constraints:     372578
2504.07/2510.15	c #Conflicts:     212000 | #Constraints:     373578
2504.07/2510.15	c #Conflicts:     213000 | #Constraints:     374578
2504.07/2510.15	c #Conflicts:     214000 | #Constraints:     375578
2504.07/2510.15	c #Conflicts:     215000 | #Constraints:     376578
2504.07/2510.15	c #Conflicts:     216000 | #Constraints:     377578
2504.07/2510.15	c INPROCESSING
2504.07/2510.15	c GARBAGE COLLECT
2504.07/2510.15	c #Conflicts:     217000 | #Constraints:     369387
2504.07/2510.15	c #Conflicts:     218000 | #Constraints:     370387
2504.07/2510.15	c #Conflicts:     219000 | #Constraints:     371387
2504.07/2510.15	c #Conflicts:     220000 | #Constraints:     372387
2504.07/2510.15	c #Conflicts:     221000 | #Constraints:     373387
2504.07/2510.15	c #Conflicts:     222000 | #Constraints:     374387
2504.07/2510.15	c #Conflicts:     223000 | #Constraints:     375387
2504.07/2510.15	c #Conflicts:     224000 | #Constraints:     376387
2504.07/2510.15	c #Conflicts:     225000 | #Constraints:     377387
2504.07/2510.15	c #Conflicts:     226000 | #Constraints:     378387
2504.07/2510.15	c INPROCESSING
2504.07/2510.15	c GARBAGE COLLECT
2504.07/2510.15	c #Conflicts:     227000 | #Constraints:     369983
2504.07/2510.15	c #Conflicts:     228000 | #Constraints:     370983
2504.07/2510.15	c #Conflicts:     229000 | #Constraints:     371983
2504.07/2510.15	c #Conflicts:     230000 | #Constraints:     372983
2504.07/2510.15	c #Conflicts:     231000 | #Constraints:     373983
2504.07/2510.15	c #Conflicts:     232000 | #Constraints:     374983
2504.07/2510.15	c #Conflicts:     233000 | #Constraints:     375983
2504.07/2510.15	c #Conflicts:     234000 | #Constraints:     376983
2999.45/3006.53	c #Conflicts:     235000 | #Constraints:     377983
2999.45/3006.53	c #Conflicts:     236000 | #Constraints:     378983
2999.45/3006.53	c INPROCESSING
2999.45/3006.53	c GARBAGE COLLECT
2999.45/3006.53	c #Conflicts:     237000 | #Constraints:     370377
2999.45/3006.53	c #Conflicts:     238000 | #Constraints:     371377
2999.45/3006.53	c #Conflicts:     239000 | #Constraints:     372377
2999.45/3006.53	c #Conflicts:     240000 | #Constraints:     373377
2999.45/3006.53	c #Conflicts:     241000 | #Constraints:     374377
2999.45/3006.53	c #Conflicts:     242000 | #Constraints:     375377
2999.45/3006.53	c #Conflicts:     243000 | #Constraints:     376377
2999.45/3006.53	c #Conflicts:     244000 | #Constraints:     377377
2999.45/3006.53	c #Conflicts:     245000 | #Constraints:     378377
2999.45/3006.53	c #Conflicts:     246000 | #Constraints:     379377
2999.45/3006.53	c INPROCESSING
2999.45/3006.53	c GARBAGE COLLECT
2999.45/3006.53	c #Conflicts:     247000 | #Constraints:     370578
2999.45/3006.53	c #Conflicts:     248000 | #Constraints:     371578
2999.45/3006.53	c #Conflicts:     249000 | #Constraints:     372578
2999.45/3006.53	c #Conflicts:     250000 | #Constraints:     373578
2999.45/3006.53	c #Conflicts:     251000 | #Constraints:     374578
2999.45/3006.53	c #Conflicts:     252000 | #Constraints:     375578
2999.45/3006.54	c #Conflicts:     253000 | #Constraints:     376578
2999.45/3006.54	c #Conflicts:     254000 | #Constraints:     377578
2999.45/3006.54	c #Conflicts:     255000 | #Constraints:     378578
2999.45/3006.54	c #Conflicts:     256000 | #Constraints:     379578
2999.45/3006.54	c INPROCESSING
2999.45/3006.54	c GARBAGE COLLECT
2999.45/3006.54	c #Conflicts:     257000 | #Constraints:     370572
2999.45/3006.54	c #Conflicts:     258000 | #Constraints:     371572
2999.45/3006.54	c #Conflicts:     259000 | #Constraints:     372572
2999.45/3006.54	c #Conflicts:     260000 | #Constraints:     373572
2999.45/3006.54	c #Conflicts:     261000 | #Constraints:     374572
2999.45/3006.54	c #Conflicts:     262000 | #Constraints:     375572
2999.45/3006.54	c #Conflicts:     263000 | #Constraints:     376572
2999.45/3006.54	c #Conflicts:     264000 | #Constraints:     377572
2999.45/3006.54	c #Conflicts:     265000 | #Constraints:     378572
2999.45/3006.54	c #Conflicts:     266000 | #Constraints:     379572
2999.45/3006.54	c INPROCESSING
2999.45/3006.54	c GARBAGE COLLECT
2999.45/3006.54	c #Conflicts:     267000 | #Constraints:     370370
2999.45/3006.54	c #Conflicts:     268000 | #Constraints:     371370
2999.45/3006.54	c #Conflicts:     269000 | #Constraints:     372370
2999.45/3006.54	c #Conflicts:     270000 | #Constraints:     373370
2999.45/3006.54	c #Conflicts:     271000 | #Constraints:     374370
2999.45/3006.54	c #Conflicts:     272000 | #Constraints:     375370
2999.45/3006.54	c #Conflicts:     273000 | #Constraints:     376370
2999.45/3006.54	c #Conflicts:     274000 | #Constraints:     377370
2999.45/3006.54	c #Conflicts:     275000 | #Constraints:     378370
2999.45/3006.54	c #Conflicts:     276000 | #Constraints:     379370
2999.45/3006.54	c #Conflicts:     277000 | #Constraints:     380370
2999.45/3006.54	c INPROCESSING
2999.45/3006.54	c GARBAGE COLLECT
2999.45/3006.54	c #Conflicts:     278000 | #Constraints:     370956
2999.45/3006.54	c #Conflicts:     279000 | #Constraints:     371956
2999.45/3006.54	c #Conflicts:     280000 | #Constraints:     372956
2999.45/3006.54	c #Conflicts:     281000 | #Constraints:     373956
2999.45/3006.54	c #Conflicts:     282000 | #Constraints:     374956
2999.45/3006.54	c #Conflicts:     283000 | #Constraints:     375956
2999.45/3006.54	c #Conflicts:     284000 | #Constraints:     376956
2999.45/3006.54	c #Conflicts:     285000 | #Constraints:     377956
2999.45/3006.54	c #Conflicts:     286000 | #Constraints:     378956
2999.45/3006.54	c #Conflicts:     287000 | #Constraints:     379956
2999.45/3006.54	c #Conflicts:     288000 | #Constraints:     380956
2999.45/3006.54	c INPROCESSING
2999.45/3006.54	c GARBAGE COLLECT
2999.45/3006.54	c #Conflicts:     289000 | #Constraints:     371357
2999.45/3006.54	c #Conflicts:     290000 | #Constraints:     372357
2999.45/3006.54	c #Conflicts:     291000 | #Constraints:     373357
2999.45/3006.54	c #Conflicts:     292000 | #Constraints:     374357
2999.45/3006.54	c #Conflicts:     293000 | #Constraints:     375357
2999.45/3006.54	c #Conflicts:     294000 | #Constraints:     376357
2999.45/3006.54	c #Conflicts:     295000 | #Constraints:     377357
2999.45/3006.54	c #Conflicts:     296000 | #Constraints:     378357
2999.45/3006.54	c #Conflicts:     297000 | #Constraints:     379357
2999.45/3006.54	c #Conflicts:     298000 | #Constraints:     380357
2999.45/3006.54	c #Conflicts:     299000 | #Constraints:     381357
2999.45/3006.54	c INPROCESSING
2999.45/3006.54	c GARBAGE COLLECT
2999.45/3006.54	c #Conflicts:     300000 | #Constraints:     371564
2999.45/3006.54	c #Conflicts:     301000 | #Constraints:     372564
2999.45/3006.54	c #Conflicts:     302000 | #Constraints:     373564
2999.45/3006.54	c #Conflicts:     303000 | #Constraints:     374564
2999.45/3006.54	c #Conflicts:     304000 | #Constraints:     375564
2999.45/3006.54	c #Conflicts:     305000 | #Constraints:     376564
2999.45/3006.54	c #Conflicts:     306000 | #Constraints:     377564
2999.45/3006.54	c #Conflicts:     307000 | #Constraints:     378564
2999.45/3006.54	c #Conflicts:     308000 | #Constraints:     379564
3600.20/3608.72	c #Conflicts:     309000 | #Constraints:     380564
3600.20/3608.72	c #Conflicts:     310000 | #Constraints:     381564
3600.20/3608.72	c INPROCESSING
3600.20/3608.72	c GARBAGE COLLECT
3600.20/3608.72	c #Conflicts:     311000 | #Constraints:     371571
3600.20/3608.72	c #Conflicts:     312000 | #Constraints:     372571
3600.20/3608.72	c #Conflicts:     313000 | #Constraints:     373571
3600.20/3608.72	c #Conflicts:     314000 | #Constraints:     374571
3600.20/3608.72	c #Conflicts:     315000 | #Constraints:     375571
3600.20/3608.72	c #Conflicts:     316000 | #Constraints:     376571
3600.20/3608.72	c #Conflicts:     317000 | #Constraints:     377571
3600.20/3608.72	c #Conflicts:     318000 | #Constraints:     378571
3600.20/3608.72	c #Conflicts:     319000 | #Constraints:     379571
3600.20/3608.72	c #Conflicts:     320000 | #Constraints:     380571
3600.20/3608.72	c #Conflicts:     321000 | #Constraints:     381571
3600.20/3608.72	c INPROCESSING
3600.20/3608.72	c GARBAGE COLLECT
3600.20/3608.72	c #Conflicts:     322000 | #Constraints:     371379
3600.20/3608.72	c #Conflicts:     323000 | #Constraints:     372379
3600.20/3608.72	c #Conflicts:     324000 | #Constraints:     373379
3600.20/3608.72	c #Conflicts:     325000 | #Constraints:     374379
3600.20/3608.72	c #Conflicts:     326000 | #Constraints:     375379
3600.20/3608.72	c #Conflicts:     327000 | #Constraints:     376379
3600.20/3608.72	c #Conflicts:     328000 | #Constraints:     377379
3600.20/3608.72	c #Conflicts:     329000 | #Constraints:     378379
3600.20/3608.72	c #Conflicts:     330000 | #Constraints:     379379
3600.20/3608.72	c #Conflicts:     331000 | #Constraints:     380379
3600.20/3608.72	c #Conflicts:     332000 | #Constraints:     381379
3600.20/3608.72	c #Conflicts:     333000 | #Constraints:     382379
3600.20/3608.72	c INPROCESSING
3600.20/3608.72	c GARBAGE COLLECT
3600.20/3608.72	c #Conflicts:     334000 | #Constraints:     371966
3600.20/3608.72	c #Conflicts:     335000 | #Constraints:     372966
3600.20/3608.72	c #Conflicts:     336000 | #Constraints:     373966
3600.20/3608.72	c #Conflicts:     337000 | #Constraints:     374966
3600.20/3608.72	c #Conflicts:     338000 | #Constraints:     375966
3600.20/3608.72	c #Conflicts:     339000 | #Constraints:     376966
3600.20/3608.72	c #Conflicts:     340000 | #Constraints:     377966
3600.20/3608.72	c #Conflicts:     341000 | #Constraints:     378966
3600.20/3608.72	c #Conflicts:     342000 | #Constraints:     379966
3600.20/3608.72	c #Conflicts:     343000 | #Constraints:     380966
3600.20/3608.72	c #Conflicts:     344000 | #Constraints:     381966
3600.20/3608.72	c #Conflicts:     345000 | #Constraints:     382966
3600.20/3608.72	c INPROCESSING
3600.20/3608.72	c GARBAGE COLLECT
3600.20/3608.72	c #Conflicts:     346000 | #Constraints:     372376
3600.20/3608.72	c #Conflicts:     347000 | #Constraints:     373376
3600.20/3608.72	c #Conflicts:     348000 | #Constraints:     374376
3600.20/3608.72	c #Conflicts:     349000 | #Constraints:     375376
3600.20/3608.72	c #Conflicts:     350000 | #Constraints:     376376
3600.20/3608.72	c #Conflicts:     351000 | #Constraints:     377376
3600.20/3608.72	c #Conflicts:     352000 | #Constraints:     378376
3600.20/3608.72	c #Conflicts:     353000 | #Constraints:     379376
3600.20/3608.72	c #Conflicts:     354000 | #Constraints:     380376
3600.20/3608.72	c #Conflicts:     355000 | #Constraints:     381376
3600.20/3608.72	c #Conflicts:     356000 | #Constraints:     382376
3600.20/3608.72	c #Conflicts:     357000 | #Constraints:     383376
3600.20/3608.72	c INPROCESSING
3600.20/3608.72	c GARBAGE COLLECT
3600.20/3608.72	c #Conflicts:     358000 | #Constraints:     372581
3600.20/3608.72	c #Conflicts:     359000 | #Constraints:     373581
3600.20/3608.72	c #Conflicts:     360000 | #Constraints:     374581
3600.20/3608.72	c #Conflicts:     361000 | #Constraints:     375581
3600.20/3608.72	c #Conflicts:     362000 | #Constraints:     376581
3600.20/3608.72	c #Conflicts:     363000 | #Constraints:     377581
3600.20/3608.72	c #Conflicts:     364000 | #Constraints:     378581
3600.20/3608.72	c #Conflicts:     365000 | #Constraints:     379581
3600.20/3608.72	c #Conflicts:     366000 | #Constraints:     380581
3600.20/3608.72	c #Conflicts:     367000 | #Constraints:     381581
3600.20/3608.72	c #Conflicts:     368000 | #Constraints:     382581
3600.20/3608.72	c #Conflicts:     369000 | #Constraints:     383581
3600.20/3608.72	c INPROCESSING
3600.20/3608.72	c GARBAGE COLLECT
3600.20/3608.72	c #Conflicts:     370000 | #Constraints:     372581
3600.20/3608.72	c #Conflicts:     371000 | #Constraints:     373581
3600.20/3608.72	c #Conflicts:     372000 | #Constraints:     374581
3600.20/3608.72	c #Conflicts:     373000 | #Constraints:     375581
3600.20/3608.72	c #Conflicts:     374000 | #Constraints:     376581
3600.20/3608.72	c Program interrupted by user.
3600.20/3608.72	c cpu time 3594.89 s
3600.20/3608.72	c deterministic time 575267389676 5.75e+11
3600.20/3608.72	c optimization time 53.1946 s
3600.20/3608.72	c total solve time 3239.88 s
3600.20/3608.72	c core-guided solve time 3239.88 s
3600.20/3608.72	c propagation time 1596.24 s
3600.20/3608.72	c conflict analysis time 1558.97 s
3600.20/3608.72	c propagations 333918482
3600.20/3608.72	c resolve steps 12070188
3600.20/3608.72	c decisions 3514511
3600.20/3608.72	c conflicts 374799
3600.20/3608.72	c restarts 892
3600.20/3608.72	c inprocessing phases 52
3600.20/3608.72	c input clauses 359686
3600.20/3608.72	c input cardinalities 0
3600.20/3608.72	c input general constraints 116
3600.20/3608.72	c input average constraint length 12.60
3600.20/3608.72	c input average constraint degree 28070.93
3600.20/3608.72	c learned clauses 199460
3600.20/3608.72	c learned cardinalities 5
3600.20/3608.72	c learned general constraints 175377
3600.20/3608.72	c learned average constraint length 5598.75
3600.20/3608.72	c learned average constraint degree 1492464900.84
3600.20/3608.72	c watched constraints 172608
3600.20/3608.72	c counting constraints 2885
3600.20/3608.72	c gcd simplifications 86804
3600.20/3608.72	c detected cardinalities 3
3600.20/3608.72	c weakened non-implied lits 438427392
3600.20/3608.72	c weakened non-implying lits 3466846
3600.20/3608.72	c original variables 42438
3600.20/3608.72	c clausal propagations 138947565
3600.20/3608.72	c cardinality propagations 3
3600.20/3608.72	c watched propagations 188338851
3600.20/3608.72	c counting propagations 1425921
3600.20/3608.72	c watch lookups 2306662502
3600.20/3608.72	c watch backjump lookups 1250663393
3600.20/3608.72	c watch checks 519052728952
3600.20/3608.72	c propagation checks 45927348981
3600.20/3608.72	c constraint additions 6054779511
3600.20/3608.72	c trail pops 337773343
3600.20/3608.72	c formula constraints 358395
3600.20/3608.72	c learned constraints 374842
3600.20/3608.72	c bound constraints 86
3600.20/3608.72	c core-guided constraints 1321
3600.20/3608.72	c encountered formula constraints 11552350
3600.20/3608.72	c encountered learned constraints 867584
3600.20/3608.72	c encountered bound constraints 0
3600.20/3608.72	c encountered core-guided constraints 25053
3600.20/3608.72	c LP total time 0 s
3600.20/3608.72	c LP solve time 0 s
3600.20/3608.72	c LP constraints added 0
3600.20/3608.72	c LP constraints removed 0
3600.20/3608.72	c LP pivots internal 0
3600.20/3608.72	c LP pivots root 0
3600.20/3608.72	c LP calls 0
3600.20/3608.72	c LP optimalities 0
3600.20/3608.72	c LP no pivot count 0
3600.20/3608.72	c LP infeasibilities 0
3600.20/3608.72	c LP valid Farkas constraints 0
3600.20/3608.72	c LP learned Farkas constraints 0
3600.20/3608.72	c LP basis resets 0
3600.20/3608.72	c LP cycling count 0
3600.20/3608.72	c LP singular count 0
3600.20/3608.72	c LP no primal count 0
3600.20/3608.72	c LP no farkas count 0
3600.20/3608.72	c LP other issue count 0
3600.20/3608.72	c LP Gomory cuts 0
3600.20/3608.72	c LP learned cuts 0
3600.20/3608.72	c LP deleted cuts 0
3600.20/3608.72	c LP encountered Gomory constraints 0
3600.20/3608.72	c LP encountered Farkas constraints 0
3600.20/3608.72	c LP encountered learned Farkas constraints 0
3600.20/3608.72	c CG auxiliary variables introduced 1321
3600.20/3608.72	c CG solutions found 0
3600.20/3608.72	c CG cores constructed 85
3600.20/3608.72	c CG core cardinality constraints returned 3
3600.20/3608.72	c CG unit cores 0
3600.20/3608.72	c CG single cores 68
3600.20/3608.72	c CG blocks removed during cardinality reduction 85
3600.20/3608.72	c CG first core best 4
3600.20/3608.72	c CG decision core best 3
3600.20/3608.72	c CG core reduction tie 10
3600.20/3608.72	c CG core degree average 2.74
3600.20/3608.72	c CG core slack average 79.39
3600.20/3608.72	c CG exhausted 0
3600.20/3608.72	c CG exhaust time 0 s
3600.20/3608.72	c CG trimmed 759
3600.20/3608.72	c CG trim time 0.973699 s
3600.20/3608.72	c CG minimized 0
3600.20/3608.72	c CG minimize time 0 s
3600.20/3608.72	c CG am1 prop time 3.45334 s
3600.20/3608.72	c CG # am1s reformulated 1321
3600.20/3608.72	c CG lower bound derived from am1s 31103743
3600.20/3608.72	c CG # clausal cores 40
3600.20/3608.72	c CG # cardinality cores 0
3600.20/3608.72	c CG # pb cores 62
3600.20/3608.72	c CG # pb reforms 0
3600.20/3608.72	c CG # cores discarded because of pb reform 0
3600.20/3608.72	d LOWERBOUND -369902090
3600.20/3608.72	d NCORES 85
3600.20/3608.72	d NPBCORES 62
3600.20/3608.72	d NPBREFORM 0
3600.20/3608.72	d NTRIMMED 759
3600.20/3608.72	d NEXHAUSTED 0
3600.20/3608.72	d NAM1S 1321
3600.20/3608.72	d AM1LB 31103743
3600.20/3608.72	c [Papilo Statistics]
3600.20/3608.72	c prepro time 0.520367s
3600.20/3608.72	c # tsx applied 0
3600.20/3608.72	c # tsx conflicts 0
3600.20/3608.72	c # bound changes 0
3600.20/3608.72	c # side changes 0
3600.20/3608.72	c # coef changes 0
3600.20/3608.72	c # rounds 1
3600.20/3608.72	c # deted vars 0
3600.20/3608.72	c # deted constrs 0
3600.20/3608.72	c # consecutive rounds of only bound changes 0
3600.20/3608.73	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (38741 MiB free)
  memory of node 1: 64510 MiB (40360 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459297-1721883479/watcher-4459297-1721883479 -o /tmp/evaluation-result-4459297-1721883479/solver-4459297-1721883479 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721875931-265038 --watchdog 3760 mixed-bag HOME/instance-4459297-1721883479.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100091 s]*
/proc/loadavg: 4.12 4.12 4.11 5/243 271173
/proc/meminfo: memFree=80989420/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=100200 memory=17544 CPUtime=0.09 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 4379 0 0 0 8 1 0 0 20 0 1 0 24337347 102604800 4386 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 25050 4386 1641 3002 0 9338 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 100200 KiB
Current children cumulated memory: 17544 KiB

[startup+0.209878 s]*
/proc/loadavg: 4.11 4.12 4.11 5/243 271173
/proc/meminfo: memFree=80983508/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=103272 memory=23020 CPUtime=0.2 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 5279 0 0 0 19 1 0 0 20 0 1 0 24337347 105750528 5755 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 25818 5755 1641 3002 0 10106 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 103272 KiB
Current children cumulated memory: 23020 KiB

[startup+0.309705 s]*
/proc/loadavg: 4.11 4.12 4.11 5/243 271173
/proc/meminfo: memFree=80979472/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=107368 memory=26912 CPUtime=0.31 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 5716 0 0 0 29 2 0 0 20 0 1 0 24337347 109944832 6728 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 26842 6728 1641 3002 0 11130 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 107368 KiB
Current children cumulated memory: 26912 KiB

[startup+0.700333 s]
/proc/loadavg: 4.11 4.12 4.11 5/243 271173
/proc/meminfo: memFree=80974612/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=115568 memory=38144 CPUtime=0.68 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 6993 0 0 0 65 3 0 0 20 0 1 0 24337347 118341632 9536 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 28892 9536 1641 3002 0 13180 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 115568 KiB
Current children cumulated memory: 38144 KiB

[startup+1.50034 s]
/proc/loadavg: 4.11 4.12 4.11 5/243 271173
/proc/meminfo: memFree=80960084/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=133204 memory=62396 CPUtime=1.48 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 8438 0 0 0 142 6 0 0 20 0 1 0 24337347 136400896 15599 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 33301 15599 1641 3002 0 17589 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 133204 KiB
Current children cumulated memory: 62396 KiB

[startup+3.11288 s]
/proc/loadavg: 4.11 4.12 4.11 5/243 271174
/proc/meminfo: memFree=80366696/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=738620 memory=657868 CPUtime=3.09 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 131030 0 0 0 283 26 0 0 20 0 1 0 24337347 756346880 164467 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 184655 164467 3760 3002 0 168404 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 738620 KiB
Current children cumulated memory: 657868 KiB

[startup+6.30033 s]
/proc/loadavg: 4.10 4.11 4.11 5/243 271174
/proc/meminfo: memFree=80081196/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=1019508 memory=931480 CPUtime=6.26 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 174050 0 0 0 589 37 0 0 20 0 1 0 24337347 1043976192 232870 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 254877 232870 3792 3002 0 238626 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1019508 KiB
Current children cumulated memory: 931480 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.11 4.10 5/243 271174
/proc/meminfo: memFree=80078364/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=1019508 memory=931736 CPUtime=12.62 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 174210 0 0 0 1225 37 0 0 20 0 1 0 24337347 1043976192 232934 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 254877 232934 3808 3002 0 238626 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1019508 KiB
Current children cumulated memory: 931736 KiB

[startup+25.5004 s]
/proc/loadavg: 4.16 4.13 4.11 5/243 271178
/proc/meminfo: memFree=80076196/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=1019508 memory=932044 CPUtime=25.36 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 174324 0 0 0 2498 38 0 0 20 0 1 0 24337347 1043976192 233011 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 254877 233011 3808 3002 0 238626 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 1019508 KiB
Current children cumulated memory: 932044 KiB

[startup+51.1133 s]
/proc/loadavg: 4.10 4.11 4.10 5/245 271351
/proc/meminfo: memFree=82014096/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=1019508 memory=932048 CPUtime=50.86 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 174441 0 0 0 5047 39 0 0 20 0 1 0 24337347 1043976192 233012 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 254877 233012 3808 3002 0 238626 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 1019508 KiB
Current children cumulated memory: 932048 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/245 271360
/proc/meminfo: memFree=81986492/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=1019508 memory=932048 CPUtime=101.88 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 174585 0 0 0 10149 39 0 0 20 0 1 0 24337347 1043976192 233012 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 254877 233012 3808 3002 0 238626 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 1019508 KiB
Current children cumulated memory: 932048 KiB

[startup+162.3 s]
/proc/loadavg: 4.30 4.16 4.12 5/245 271372
/proc/meminfo: memFree=80879456/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=2258488 memory=2034144 CPUtime=161.7 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 280569 0 0 0 16099 71 0 0 20 0 1 0 24337347 2312691712 508536 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 564622 508536 4015 3002 0 548371 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 2258488 KiB
Current children cumulated memory: 2034144 KiB

[startup+222.3 s]
/proc/loadavg: 4.71 4.32 4.17 5/243 271395
/proc/meminfo: memFree=80870696/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=2264084 memory=2040388 CPUtime=221.52 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 281097 0 0 0 22081 71 0 0 20 0 1 0 24337347 2318422016 510097 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 566021 510097 4031 3002 0 549770 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 2264084 KiB
Current children cumulated memory: 2040388 KiB

[startup+282.3 s]
/proc/loadavg: 4.38 4.29 4.17 5/243 271405
/proc/meminfo: memFree=80860316/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=2270584 memory=2048560 CPUtime=281.35 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 282645 0 0 0 28063 72 0 0 20 0 1 0 24337347 2325078016 512140 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 567646 512140 4031 3002 0 551395 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 2270584 KiB
Current children cumulated memory: 2048560 KiB

[startup+342.3 s]
/proc/loadavg: 4.31 4.28 4.18 5/243 271415
/proc/meminfo: memFree=81396168/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=1655148 memory=1511916 CPUtime=341.2 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 287163 0 0 0 33998 122 0 0 20 0 1 0 24337347 1694871552 377979 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 413787 377979 4201 3002 0 397536 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 1655148 KiB
Current children cumulated memory: 1511916 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.24 4.17 5/244 271429
/proc/meminfo: memFree=81341448/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=1736536 memory=1565880 CPUtime=401.06 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 287920 0 0 0 39967 139 0 0 20 0 1 0 24337347 1778212864 391470 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 434134 391470 4201 3002 0 417883 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 1736536 KiB
Current children cumulated memory: 1565880 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.23 4.17 5/243 271440
/proc/meminfo: memFree=81296784/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=1736536 memory=1608396 CPUtime=460.93 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 288909 0 0 0 45943 150 0 0 20 0 1 0 24337347 1778212864 402099 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 434134 402099 4201 3002 0 417883 0

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

Current children cumulated memory: 2161544 KiB

[startup+2982.3 s]
/proc/loadavg: 3.04 3.08 3.24 4/234 272860
/proc/meminfo: memFree=106206808/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=2432968 memory=2161544 CPUtime=2975.29 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 302327 0 0 0 297075 454 0 0 20 0 1 0 24337347 2491359232 540386 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 608242 540386 4201 3002 0 591991 0
Current children cumulated CPU time: 2975.29 s
Current children cumulated vsize: 2432968 KiB
Current children cumulated memory: 2161544 KiB

[startup+3042.3 s]
/proc/loadavg: 3.11 3.09 3.24 4/234 272870
/proc/meminfo: memFree=106202920/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=2432968 memory=2161544 CPUtime=3035.17 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 302851 0 0 0 303053 464 0 0 20 0 1 0 24337347 2491359232 540386 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 608242 540386 4201 3002 0 591991 0
Current children cumulated CPU time: 3035.17 s
Current children cumulated vsize: 2432968 KiB
Current children cumulated memory: 2161544 KiB

[startup+3102.3 s]
/proc/loadavg: 3.14 3.10 3.23 4/234 272880
/proc/meminfo: memFree=106178780/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=2432968 memory=2161544 CPUtime=3095.04 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 303346 0 0 0 309029 475 0 0 20 0 1 0 24337347 2491359232 540386 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 608242 540386 4201 3002 0 591991 0
Current children cumulated CPU time: 3095.04 s
Current children cumulated vsize: 2432968 KiB
Current children cumulated memory: 2161544 KiB

[startup+3162.3 s]
/proc/loadavg: 3.09 3.10 3.22 4/236 272895
/proc/meminfo: memFree=106161960/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=2432968 memory=2161544 CPUtime=3154.92 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 303732 0 0 0 315011 481 0 0 20 0 1 0 24337347 2491359232 540386 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 608242 540386 4201 3002 0 591991 0
Current children cumulated CPU time: 3154.92 s
Current children cumulated vsize: 2432968 KiB
Current children cumulated memory: 2161544 KiB

[startup+3222.3 s]
/proc/loadavg: 3.12 3.11 3.21 4/236 272906
/proc/meminfo: memFree=106128168/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=2432968 memory=2161544 CPUtime=3214.79 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 304228 0 0 0 320995 484 0 0 20 0 1 0 24337347 2491359232 540386 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 608242 540386 4201 3002 0 591991 0
Current children cumulated CPU time: 3214.79 s
Current children cumulated vsize: 2432968 KiB
Current children cumulated memory: 2161544 KiB

[startup+3282.3 s]
/proc/loadavg: 3.09 3.10 3.20 4/236 272916
/proc/meminfo: memFree=106088088/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=2432968 memory=2161544 CPUtime=3274.66 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 304912 0 0 0 326972 494 0 0 20 0 1 0 24337347 2491359232 540386 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 608242 540386 4201 3002 0 591991 0
Current children cumulated CPU time: 3274.66 s
Current children cumulated vsize: 2432968 KiB
Current children cumulated memory: 2161544 KiB

[startup+3342.3 s]
/proc/loadavg: 2.61 2.97 3.15 3/229 272957
/proc/meminfo: memFree=106356784/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=2432968 memory=2161544 CPUtime=3334.51 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 305562 0 0 0 332945 506 0 0 20 0 1 0 24337347 2491359232 540386 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 608242 540386 4201 3002 0 591991 0
Current children cumulated CPU time: 3334.51 s
Current children cumulated vsize: 2432968 KiB
Current children cumulated memory: 2161544 KiB

[startup+3402.3 s]
/proc/loadavg: 2.28 2.81 3.08 3/229 272967
/proc/meminfo: memFree=106353100/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=2432968 memory=2161544 CPUtime=3394.34 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 306255 0 0 0 338923 511 0 0 20 0 1 0 24337347 2491359232 540386 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 608242 540386 4201 3002 0 591991 0
Current children cumulated CPU time: 3394.34 s
Current children cumulated vsize: 2432968 KiB
Current children cumulated memory: 2161544 KiB

[startup+3462.3 s]
/proc/loadavg: 2.22 2.69 3.02 3/231 273361
/proc/meminfo: memFree=106303772/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=2432968 memory=2204552 CPUtime=3454.19 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 307142 0 0 0 344898 521 0 0 20 0 1 0 24337347 2491359232 551138 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 608242 551138 4201 3002 0 591991 0
Current children cumulated CPU time: 3454.19 s
Current children cumulated vsize: 2432968 KiB
Current children cumulated memory: 2204552 KiB

[startup+3522.3 s]
/proc/loadavg: 2.19 2.59 2.97 3/229 273371
/proc/meminfo: memFree=106300752/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=2432968 memory=2204552 CPUtime=3514.03 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 307822 0 0 0 350874 529 0 0 20 0 1 0 24337347 2491359232 551138 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 608242 551138 4201 3002 0 591991 0
Current children cumulated CPU time: 3514.03 s
Current children cumulated vsize: 2432968 KiB
Current children cumulated memory: 2204552 KiB

[startup+3582.3 s]
/proc/loadavg: 2.18 2.52 2.91 3/229 273382
/proc/meminfo: memFree=106298452/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=2432968 memory=2204552 CPUtime=3573.87 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 308576 0 0 0 356855 532 0 0 20 0 1 0 24337347 2491359232 551138 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 608242 551138 4201 3002 0 591991 0
Current children cumulated CPU time: 3573.87 s
Current children cumulated vsize: 2432968 KiB
Current children cumulated memory: 2204552 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.5 s]
/proc/loadavg: 2.18 2.49 2.89 3/229 273387
/proc/meminfo: memFree=106298320/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=2432968 memory=2204552 CPUtime=3600 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 308838 0 0 0 359466 534 0 0 20 0 1 0 24337347 2491359232 551138 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 608242 551138 4201 3002 0 591991 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2432968 KiB
Current children cumulated memory: 2204552 KiB

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

[startup+3608.74 s]
# the end of solver process 271172 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3594.9 s, system=5.35274 s

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

[startup+3608.6 s]
/proc/loadavg: 2.18 2.49 2.89 3/229 273387
/proc/meminfo: memFree=106298320/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=2432968 memory=2204840 CPUtime=3600.1 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 308871 0 0 0 359476 534 0 0 20 0 1 0 24337347 2491359232 551210 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 608242 551210 4273 3002 0 591991 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 2432968 KiB
Current children cumulated memory: 2204840 KiB

[startup+3608.7 s]
/proc/loadavg: 2.18 2.49 2.89 3/229 273387
/proc/meminfo: memFree=106298320/131655788 swapFree=131070704/131071996
[pid=271172] ppid=271169 vsize=2432968 memory=2204840 CPUtime=3600.2 cores=4,6
/proc/271172/stat : 271172 (mixed-bag) R 271169 271172 265027 0 -1 4194304 308873 0 0 0 359486 534 0 0 20 0 1 0 24337347 2491359232 551210 134679101440 4194304 16488053 140722514772720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46219264 140722514777111 140722514777188 140722514777188 140722514784203 0
/proc/271172/statm: 608242 551210 4273 3002 0 591991 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 2432968 KiB
Current children cumulated memory: 2204840 KiB

Child status: 0

Real time (s): 3608.74
CPU time (s): 3600.25
CPU user time (s): 3594.9
CPU system time (s): 5.35274
CPU usage (%): 99.7649
Max. virtual memory (cumulated for all children) (KiB): 2432968
Max. memory (cumulated for all children) (KiB): 2204840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.9
system time used= 5.35274
maximum resident set size= 2204840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 308944
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= 69
involuntary context switches= 2417


# summary of solver processes directly reported to runsolver:
#   pid: 271172
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3594.9
#   total CPU system time (s): 5.35274

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.8238 second user time and 27.6039 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-25 06:58:00
IDJOB=4459297
IDBENCH=178667
IDSOLVER=3083
FILE ID=nodeC008/4459297-1721883479
RUNJOBID= nodeC008-1721875931-265038
SLURM_JOB_ID= 8089228
Free space on /tmp= 723520 MiB

SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-rmine15.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459297-1721883479/watcher-4459297-1721883479 -o /tmp/evaluation-result-4459297-1721883479/solver-4459297-1721883479 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721875931-265038 --watchdog 3760  mixed-bag HOME/instance-4459297-1721883479.opb

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

MD5SUM BENCH= 8b0f0a056877f36e2c13e33d533276b3
RANDOM SEED=386005569

nodeC008.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	: 0xb00001f
cpu MHz		: 3667.033
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.19
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	: 0xb00001f
cpu MHz		: 3491.598
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.33
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	: 0xb00001f
cpu MHz		: 1197.264
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.19
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	: 0xb00001f
cpu MHz		: 1197.255
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.33
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	: 0xb00001f
cpu MHz		: 1563.344
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.19
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	: 0xb00001f
cpu MHz		: 3632.155
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.33
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	: 0xb00001f
cpu MHz		: 1314.075
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.19
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	: 0xb00001f
cpu MHz		: 1197.208
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        81000888 kB
MemAvailable:   101286188 kB
Buffers:          304532 kB
Cached:         20739256 kB
SwapCached:          732 kB
Active:          2930072 kB
Inactive:       46956852 kB
Active(anon):       1620 kB
Inactive(anon): 28895384 kB
Active(file):    2928452 kB
Inactive(file): 18061468 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:             28336 kB
Writeback:             0 kB
AnonPages:      28841888 kB
Mapped:           151560 kB
Shmem:             53860 kB
KReclaimable:     270824 kB
Slab:             390980 kB
SReclaimable:     270824 kB
SUnreclaim:       120156 kB
KernelStack:        3904 kB
PageTables:        66376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   32211156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19456 kB
HardwareCorrupted:     0 kB
AnonHugePages:  13113344 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:      400200 kB
DirectMap2M:    49836032 kB
DirectMap1G:    85983232 kB

Free space on /tmp at the end= 723724 MiB
End job on nodeC008 at 2024-07-25 07:58:09