Trace number 4459282

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
pb-oll-rs 2024-07-02? (TO) 3600.3 3611.33

DiagnosticValue
AM1LB31103743
LOWERBOUND-369888272
NAM1S1321
NCORES86
NEXHAUSTED0
NPBCORES62
NPBREFORM0
NTRIMMED759

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.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.88/0.93	c [STEP] solving
0.88/0.93	c #variables 42438 #constraints 358395
0.88/0.93	c SMALL=int, LARGE=long long
0.88/0.93	c bounds - >= -404494688 @ 0.677505
0.88/0.93	c stratification level: 13818
123.36/123.81	c bounds - >= -373377064 @ 6.6063
123.36/123.81	c bounds - >= -373351079 @ 6.70456
123.36/123.81	c bounds - >= -373326968 @ 6.7113
123.36/123.81	c bounds - >= -373304763 @ 6.71793
123.36/123.81	c bounds - >= -373263899 @ 6.72433
123.36/123.81	c bounds - >= -373246228 @ 6.73079
123.36/123.81	c bounds - >= -373219110 @ 6.73729
123.36/123.81	c bounds - >= -373203769 @ 6.7438
123.36/123.81	c bounds - >= -373166493 @ 6.74989
123.36/123.81	c bounds - >= -373134139 @ 6.75686
123.36/123.81	c bounds - >= -373107663 @ 6.76308
123.36/123.81	c bounds - >= -372023013 @ 6.77494
123.36/123.81	c bounds - >= -371016453 @ 6.79049
123.36/123.81	c bounds - >= -371001502 @ 6.8095
123.36/123.81	c bounds - >= -370987315 @ 6.82659
123.36/123.81	c bounds - >= -370972195 @ 6.8499
123.36/123.81	c bounds - >= -370958359 @ 6.96045
123.36/123.81	c bounds - >= -370944257 @ 6.98019
123.36/123.81	c bounds - >= -370929714 @ 6.99489
123.36/123.81	c bounds - >= -370915622 @ 7.01047
123.36/123.81	c bounds - >= -370896454 @ 7.02429
123.36/123.81	c bounds - >= -370880903 @ 7.03902
123.36/123.81	c bounds - >= -370865999 @ 7.05477
123.36/123.81	c bounds - >= -370850155 @ 7.06775
123.36/123.81	c bounds - >= -370832298 @ 7.08922
123.36/123.81	c bounds - >= -370815128 @ 7.10419
123.36/123.81	c bounds - >= -370801237 @ 7.11829
123.36/123.81	c bounds - >= -370783750 @ 7.13722
123.36/123.81	c bounds - >= -370769906 @ 7.23079
123.36/123.81	c bounds - >= -370752540 @ 7.25233
123.36/123.81	c bounds - >= -370737515 @ 7.26934
123.36/123.81	c bounds - >= -370720321 @ 7.28708
123.36/123.81	c bounds - >= -370705724 @ 7.30171
123.36/123.81	c bounds - >= -370690314 @ 7.31609
123.36/123.81	c bounds - >= -370675465 @ 7.33457
123.36/123.81	c bounds - >= -370658717 @ 7.3503
123.36/123.81	c bounds - >= -370643524 @ 7.36401
123.36/123.81	c bounds - >= -370629684 @ 7.38499
123.36/123.81	c bounds - >= -370613025 @ 7.39862
123.36/123.81	c bounds - >= -370598671 @ 7.41674
123.36/123.81	c bounds - >= -370583095 @ 7.43215
123.36/123.81	c bounds - >= -370569184 @ 7.45572
123.36/123.81	c bounds - >= -370554538 @ 7.54003
123.36/123.81	c bounds - >= -370540519 @ 7.82616
123.36/123.81	c bounds - >= -370524616 @ 7.8456
123.36/123.81	c bounds - >= -370508840 @ 7.86396
123.36/123.81	c bounds - >= -370493077 @ 7.88351
123.36/123.81	c bounds - >= -370479218 @ 7.89928
123.36/123.81	c bounds - >= -370463506 @ 7.92032
123.36/123.81	c bounds - >= -370449468 @ 7.93831
123.36/123.81	c bounds - >= -370434607 @ 7.95403
123.36/123.81	c bounds - >= -370419051 @ 7.9687
123.36/123.81	c bounds - >= -370404087 @ 7.9869
123.36/123.81	c bounds - >= -370388635 @ 8.00331
123.36/123.81	c bounds - >= -370373530 @ 8.02036
123.36/123.81	c bounds - >= -370358909 @ 8.03663
123.36/123.81	c bounds - >= -370343593 @ 8.05768
123.36/123.81	c bounds - >= -370286933 @ 8.22216
123.36/123.81	c bounds - >= -370271853 @ 8.24087
123.36/123.81	c bounds - >= -370256780 @ 8.25896
123.36/123.81	c bounds - >= -370242041 @ 8.45349
123.36/123.81	c bounds - >= -370227183 @ 8.47408
123.36/123.81	c bounds - >= -370212391 @ 8.49667
123.36/123.81	c bounds - >= -370198560 @ 8.51073
123.36/123.81	c bounds - >= -370183901 @ 8.53165
123.36/123.81	c bounds - >= -370169264 @ 8.54927
123.36/123.81	c bounds - >= -370154861 @ 8.5667
123.36/123.81	c bounds - >= -370140364 @ 8.58712
123.36/123.81	c bounds - >= -370125950 @ 8.60113
123.36/123.81	c bounds - >= -370111672 @ 8.62173
123.36/123.81	c bounds - >= -370097502 @ 8.63839
123.36/123.81	c bounds - >= -370083339 @ 8.71275
123.36/123.81	c bounds - >= -370069187 @ 8.7291
123.36/123.81	c bounds - >= -370055055 @ 8.74664
123.36/123.81	c bounds - >= -370041082 @ 8.76953
123.36/123.81	c bounds - >= -370027155 @ 8.789
123.36/123.81	c bounds - >= -370013243 @ 8.80627
123.36/123.81	c bounds - >= -369999343 @ 8.82719
123.36/123.81	c bounds - >= -369985506 @ 9.56061
123.36/123.81	c bounds - >= -369971379 @ 10.3995
123.36/123.81	c bounds - >= -369957378 @ 10.4682
123.36/123.81	c bounds - >= -369943560 @ 10.5866
123.36/123.81	c #Conflicts:       1000 | #Constraints:     360840
123.36/123.81	c bounds - >= -369929731 @ 16.7422
123.36/123.81	c #Conflicts:       2000 | #Constraints:     361842
123.36/123.81	c INPROCESSING
123.36/123.81	c GARBAGE COLLECT
123.36/123.81	c #Conflicts:       3000 | #Constraints:     361744
123.36/123.81	c #Conflicts:       4000 | #Constraints:     362744
123.36/123.81	c INPROCESSING
123.36/123.81	c GARBAGE COLLECT
123.36/123.81	c #Conflicts:       5000 | #Constraints:     362142
123.36/123.81	c #Conflicts:       6000 | #Constraints:     363142
123.36/123.81	c INPROCESSING
123.36/123.81	c GARBAGE COLLECT
123.36/123.81	c #Conflicts:       7000 | #Constraints:     362143
123.36/123.81	c #Conflicts:       8000 | #Constraints:     363143
123.36/123.81	c #Conflicts:       9000 | #Constraints:     364143
123.36/123.81	c INPROCESSING
123.36/123.81	c GARBAGE COLLECT
123.36/123.81	c #Conflicts:      10000 | #Constraints:     362838
123.36/123.81	c #Conflicts:      11000 | #Constraints:     363838
123.36/123.81	c #Conflicts:      12000 | #Constraints:     364838
123.36/123.81	c INPROCESSING
123.36/123.81	c GARBAGE COLLECT
123.36/123.81	c #Conflicts:      13000 | #Constraints:     363292
123.36/123.81	c #Conflicts:      14000 | #Constraints:     364292
123.36/123.81	c #Conflicts:      15000 | #Constraints:     365292
123.36/123.81	c INPROCESSING
123.36/123.81	c GARBAGE COLLECT
123.36/123.81	c #Conflicts:      16000 | #Constraints:     363521
123.36/123.81	c #Conflicts:      17000 | #Constraints:     364521
123.36/123.81	c #Conflicts:      18000 | #Constraints:     365521
123.36/123.81	c INPROCESSING
123.36/123.81	c GARBAGE COLLECT
123.36/123.81	c #Conflicts:      19000 | #Constraints:     363536
589.28/591.46	c #Conflicts:      20000 | #Constraints:     364536
589.28/591.46	c #Conflicts:      21000 | #Constraints:     365536
589.28/591.46	c INPROCESSING
589.28/591.46	c GARBAGE COLLECT
589.28/591.46	c #Conflicts:      22000 | #Constraints:     363344
589.28/591.46	c #Conflicts:      23000 | #Constraints:     364344
589.28/591.46	c #Conflicts:      24000 | #Constraints:     365344
589.28/591.46	c #Conflicts:      25000 | #Constraints:     366344
589.28/591.46	c INPROCESSING
589.28/591.46	c GARBAGE COLLECT
589.28/591.46	c #Conflicts:      26000 | #Constraints:     363945
589.28/591.46	c #Conflicts:      27000 | #Constraints:     364945
589.28/591.46	c #Conflicts:      28000 | #Constraints:     365945
589.28/591.46	c #Conflicts:      29000 | #Constraints:     366945
589.28/591.46	c INPROCESSING
589.28/591.46	c GARBAGE COLLECT
589.28/591.46	c #Conflicts:      30000 | #Constraints:     364350
589.28/591.46	c #Conflicts:      31000 | #Constraints:     365350
589.28/591.46	c #Conflicts:      32000 | #Constraints:     366350
589.28/591.46	c #Conflicts:      33000 | #Constraints:     367350
589.28/591.46	c INPROCESSING
589.28/591.46	c GARBAGE COLLECT
589.28/591.46	c #Conflicts:      34000 | #Constraints:     364553
589.28/591.46	c #Conflicts:      35000 | #Constraints:     365553
589.28/591.46	c #Conflicts:      36000 | #Constraints:     366553
589.28/591.46	c #Conflicts:      37000 | #Constraints:     367553
589.28/591.46	c INPROCESSING
589.28/591.46	c GARBAGE COLLECT
589.28/591.46	c #Conflicts:      38000 | #Constraints:     364558
589.28/591.46	c #Conflicts:      39000 | #Constraints:     365558
589.28/591.46	c #Conflicts:      40000 | #Constraints:     366558
589.28/591.46	c #Conflicts:      41000 | #Constraints:     367558
589.28/591.46	c INPROCESSING
589.28/591.46	c GARBAGE COLLECT
589.28/591.46	c #Conflicts:      42000 | #Constraints:     364366
589.28/591.46	c #Conflicts:      43000 | #Constraints:     365366
589.28/591.46	c #Conflicts:      44000 | #Constraints:     366366
589.28/591.46	c #Conflicts:      45000 | #Constraints:     367366
589.28/591.46	c #Conflicts:      46000 | #Constraints:     368366
589.28/591.46	c INPROCESSING
589.28/591.46	c GARBAGE COLLECT
589.28/591.46	c #Conflicts:      47000 | #Constraints:     364963
589.28/591.46	c #Conflicts:      48000 | #Constraints:     365963
589.28/591.46	c #Conflicts:      49000 | #Constraints:     366963
589.28/591.46	c #Conflicts:      50000 | #Constraints:     367963
589.28/591.46	c #Conflicts:      51000 | #Constraints:     368963
589.28/591.46	c INPROCESSING
589.28/591.46	c GARBAGE COLLECT
589.28/591.46	c #Conflicts:      52000 | #Constraints:     365376
589.28/591.46	c #Conflicts:      53000 | #Constraints:     366376
589.28/591.46	c #Conflicts:      54000 | #Constraints:     367376
589.28/591.46	c #Conflicts:      55000 | #Constraints:     368376
589.28/591.46	c #Conflicts:      56000 | #Constraints:     369376
589.28/591.46	c INPROCESSING
589.28/591.46	c GARBAGE COLLECT
589.28/591.46	c #Conflicts:      57000 | #Constraints:     365586
589.28/591.46	c bounds - >= -369915912 @ 409.289
589.28/591.46	c #Conflicts:      58000 | #Constraints:     366587
589.28/591.46	c #Conflicts:      59000 | #Constraints:     367587
589.28/591.46	c #Conflicts:      60000 | #Constraints:     368587
589.28/591.46	c #Conflicts:      61000 | #Constraints:     369587
589.28/591.46	c INPROCESSING
589.28/591.46	c GARBAGE COLLECT
589.28/591.46	c #Conflicts:      62000 | #Constraints:     365572
589.28/591.46	c #Conflicts:      63000 | #Constraints:     366572
589.28/591.46	c #Conflicts:      64000 | #Constraints:     367572
589.28/591.46	c #Conflicts:      65000 | #Constraints:     368572
589.28/591.46	c #Conflicts:      66000 | #Constraints:     369572
589.28/591.46	c INPROCESSING
589.28/591.46	c GARBAGE COLLECT
589.28/591.46	c #Conflicts:      67000 | #Constraints:     365367
589.28/591.46	c #Conflicts:      68000 | #Constraints:     366367
589.28/591.46	c #Conflicts:      69000 | #Constraints:     367367
589.28/591.46	c #Conflicts:      70000 | #Constraints:     368367
589.28/591.46	c #Conflicts:      71000 | #Constraints:     369367
589.28/591.46	c #Conflicts:      72000 | #Constraints:     370367
589.28/591.46	c INPROCESSING
589.28/591.46	c GARBAGE COLLECT
589.28/591.46	c #Conflicts:      73000 | #Constraints:     365960
589.28/591.46	c #Conflicts:      74000 | #Constraints:     366960
589.28/591.46	c #Conflicts:      75000 | #Constraints:     367960
589.28/591.46	c #Conflicts:      76000 | #Constraints:     368960
589.28/591.46	c #Conflicts:      77000 | #Constraints:     369960
589.28/591.46	c #Conflicts:      78000 | #Constraints:     370960
589.28/591.46	c INPROCESSING
589.28/591.46	c GARBAGE COLLECT
589.28/591.46	c #Conflicts:      79000 | #Constraints:     366352
589.28/591.46	c #Conflicts:      80000 | #Constraints:     367352
589.28/591.46	c #Conflicts:      81000 | #Constraints:     368352
589.28/591.46	c #Conflicts:      82000 | #Constraints:     369352
589.28/591.46	c #Conflicts:      83000 | #Constraints:     370352
589.28/591.46	c #Conflicts:      84000 | #Constraints:     371352
589.28/591.46	c INPROCESSING
589.28/591.46	c GARBAGE COLLECT
589.28/591.46	c #Conflicts:      85000 | #Constraints:     366556
589.28/591.46	c #Conflicts:      86000 | #Constraints:     367556
589.28/591.46	c #Conflicts:      87000 | #Constraints:     368556
589.28/591.46	c #Conflicts:      88000 | #Constraints:     369556
1392.30/1397.21	c #Conflicts:      89000 | #Constraints:     370556
1392.30/1397.21	c #Conflicts:      90000 | #Constraints:     371556
1392.30/1397.21	c INPROCESSING
1392.30/1397.21	c GARBAGE COLLECT
1392.30/1397.21	c #Conflicts:      91000 | #Constraints:     366557
1392.30/1397.21	c #Conflicts:      92000 | #Constraints:     367557
1392.30/1397.21	c #Conflicts:      93000 | #Constraints:     368557
1392.30/1397.21	c #Conflicts:      94000 | #Constraints:     369557
1392.30/1397.21	c #Conflicts:      95000 | #Constraints:     370557
1392.30/1397.21	c #Conflicts:      96000 | #Constraints:     371557
1392.30/1397.21	c INPROCESSING
1392.30/1397.21	c GARBAGE COLLECT
1392.30/1397.21	c #Conflicts:      97000 | #Constraints:     366356
1392.30/1397.21	c #Conflicts:      98000 | #Constraints:     367356
1392.30/1397.21	c #Conflicts:      99000 | #Constraints:     368356
1392.30/1397.21	c #Conflicts:     100000 | #Constraints:     369356
1392.30/1397.21	c #Conflicts:     101000 | #Constraints:     370356
1392.30/1397.21	c #Conflicts:     102000 | #Constraints:     371356
1392.30/1397.21	c #Conflicts:     103000 | #Constraints:     372356
1392.30/1397.21	c INPROCESSING
1392.30/1397.21	c GARBAGE COLLECT
1392.30/1397.21	c #Conflicts:     104000 | #Constraints:     366951
1392.30/1397.21	c #Conflicts:     105000 | #Constraints:     367951
1392.30/1397.21	c #Conflicts:     106000 | #Constraints:     368951
1392.30/1397.21	c #Conflicts:     107000 | #Constraints:     369951
1392.30/1397.21	c #Conflicts:     108000 | #Constraints:     370951
1392.30/1397.21	c #Conflicts:     109000 | #Constraints:     371951
1392.30/1397.21	c #Conflicts:     110000 | #Constraints:     372951
1392.30/1397.21	c INPROCESSING
1392.30/1397.21	c GARBAGE COLLECT
1392.30/1397.21	c #Conflicts:     111000 | #Constraints:     367352
1392.30/1397.21	c #Conflicts:     112000 | #Constraints:     368352
1392.30/1397.21	c #Conflicts:     113000 | #Constraints:     369352
1392.30/1397.21	c #Conflicts:     114000 | #Constraints:     370352
1392.30/1397.21	c #Conflicts:     115000 | #Constraints:     371352
1392.30/1397.21	c #Conflicts:     116000 | #Constraints:     372352
1392.30/1397.21	c #Conflicts:     117000 | #Constraints:     373352
1392.30/1397.21	c INPROCESSING
1392.30/1397.21	c GARBAGE COLLECT
1392.30/1397.21	c #Conflicts:     118000 | #Constraints:     367550
1392.30/1397.21	c #Conflicts:     119000 | #Constraints:     368550
1392.30/1397.21	c #Conflicts:     120000 | #Constraints:     369550
1392.30/1397.21	c #Conflicts:     121000 | #Constraints:     370550
1392.30/1397.21	c #Conflicts:     122000 | #Constraints:     371550
1392.30/1397.21	c #Conflicts:     123000 | #Constraints:     372550
1392.30/1397.21	c #Conflicts:     124000 | #Constraints:     373550
1392.30/1397.21	c INPROCESSING
1392.30/1397.21	c GARBAGE COLLECT
1392.30/1397.21	c #Conflicts:     125000 | #Constraints:     367562
1392.30/1397.21	c #Conflicts:     126000 | #Constraints:     368562
1392.30/1397.21	c #Conflicts:     127000 | #Constraints:     369562
1392.30/1397.21	c #Conflicts:     128000 | #Constraints:     370562
1392.30/1397.21	c #Conflicts:     129000 | #Constraints:     371562
1392.30/1397.21	c #Conflicts:     130000 | #Constraints:     372562
1392.30/1397.21	c #Conflicts:     131000 | #Constraints:     373562
1392.30/1397.21	c INPROCESSING
1392.30/1397.21	c GARBAGE COLLECT
1392.30/1397.21	c #Conflicts:     132000 | #Constraints:     367358
1392.30/1397.21	c #Conflicts:     133000 | #Constraints:     368358
1392.30/1397.21	c #Conflicts:     134000 | #Constraints:     369358
1392.30/1397.21	c #Conflicts:     135000 | #Constraints:     370358
1392.30/1397.21	c #Conflicts:     136000 | #Constraints:     371358
1392.30/1397.21	c #Conflicts:     137000 | #Constraints:     372358
1392.30/1397.21	c #Conflicts:     138000 | #Constraints:     373358
1392.30/1397.21	c #Conflicts:     139000 | #Constraints:     374358
1392.30/1397.21	c INPROCESSING
1392.30/1397.21	c GARBAGE COLLECT
1392.30/1397.21	c #Conflicts:     140000 | #Constraints:     367959
1392.30/1397.21	c #Conflicts:     141000 | #Constraints:     368959
1392.30/1397.21	c #Conflicts:     142000 | #Constraints:     369959
1392.30/1397.21	c #Conflicts:     143000 | #Constraints:     370959
1392.30/1397.21	c #Conflicts:     144000 | #Constraints:     371959
1392.30/1397.21	c #Conflicts:     145000 | #Constraints:     372959
1392.30/1397.21	c #Conflicts:     146000 | #Constraints:     373959
1392.30/1397.21	c #Conflicts:     147000 | #Constraints:     374959
1392.30/1397.21	c INPROCESSING
1392.30/1397.21	c GARBAGE COLLECT
1392.30/1397.21	c #Conflicts:     148000 | #Constraints:     368365
1392.30/1397.21	c #Conflicts:     149000 | #Constraints:     369365
1392.30/1397.21	c #Conflicts:     150000 | #Constraints:     370365
1392.30/1397.21	c #Conflicts:     151000 | #Constraints:     371365
1392.30/1397.21	c #Conflicts:     152000 | #Constraints:     372365
1392.30/1397.21	c #Conflicts:     153000 | #Constraints:     373365
1392.30/1397.21	c #Conflicts:     154000 | #Constraints:     374365
1392.30/1397.21	c #Conflicts:     155000 | #Constraints:     375365
1392.30/1397.21	c INPROCESSING
1392.30/1397.21	c GARBAGE COLLECT
1392.30/1397.21	c #Conflicts:     156000 | #Constraints:     368580
1392.30/1397.21	c #Conflicts:     157000 | #Constraints:     369580
1392.30/1397.21	c #Conflicts:     158000 | #Constraints:     370580
1392.30/1397.21	c bounds - >= -369902090 @ 1383.96
1392.30/1397.21	c #Conflicts:     159000 | #Constraints:     371581
1392.30/1397.21	c #Conflicts:     160000 | #Constraints:     372581
2288.43/2296.15	c #Conflicts:     161000 | #Constraints:     373581
2288.43/2296.15	c #Conflicts:     162000 | #Constraints:     374581
2288.43/2296.15	c #Conflicts:     163000 | #Constraints:     375581
2288.43/2296.15	c INPROCESSING
2288.43/2296.15	c GARBAGE COLLECT
2288.43/2296.15	c #Conflicts:     164000 | #Constraints:     368571
2288.43/2296.15	c #Conflicts:     165000 | #Constraints:     369571
2288.43/2296.15	c #Conflicts:     166000 | #Constraints:     370571
2288.43/2296.15	c #Conflicts:     167000 | #Constraints:     371571
2288.43/2296.15	c #Conflicts:     168000 | #Constraints:     372571
2288.43/2296.15	c #Conflicts:     169000 | #Constraints:     373571
2288.43/2296.15	c #Conflicts:     170000 | #Constraints:     374571
2288.43/2296.15	c #Conflicts:     171000 | #Constraints:     375571
2288.43/2296.15	c INPROCESSING
2288.43/2296.15	c GARBAGE COLLECT
2288.43/2296.15	c #Conflicts:     172000 | #Constraints:     368359
2288.43/2296.15	c #Conflicts:     173000 | #Constraints:     369359
2288.43/2296.15	c #Conflicts:     174000 | #Constraints:     370359
2288.43/2296.15	c #Conflicts:     175000 | #Constraints:     371359
2288.43/2296.15	c #Conflicts:     176000 | #Constraints:     372359
2288.43/2296.15	c #Conflicts:     177000 | #Constraints:     373359
2288.43/2296.15	c #Conflicts:     178000 | #Constraints:     374359
2288.43/2296.15	c #Conflicts:     179000 | #Constraints:     375359
2288.43/2296.15	c #Conflicts:     180000 | #Constraints:     376359
2288.43/2296.15	c INPROCESSING
2288.43/2296.15	c GARBAGE COLLECT
2288.43/2296.15	c #Conflicts:     181000 | #Constraints:     368956
2288.43/2296.15	c #Conflicts:     182000 | #Constraints:     369956
2288.43/2296.15	c #Conflicts:     183000 | #Constraints:     370956
2288.43/2296.15	c #Conflicts:     184000 | #Constraints:     371956
2288.43/2296.15	c #Conflicts:     185000 | #Constraints:     372956
2288.43/2296.15	c #Conflicts:     186000 | #Constraints:     373956
2288.43/2296.15	c #Conflicts:     187000 | #Constraints:     374956
2288.43/2296.15	c #Conflicts:     188000 | #Constraints:     375956
2288.43/2296.15	c #Conflicts:     189000 | #Constraints:     376956
2288.43/2296.15	c INPROCESSING
2288.43/2296.15	c GARBAGE COLLECT
2288.43/2296.15	c #Conflicts:     190000 | #Constraints:     369366
2288.43/2296.15	c #Conflicts:     191000 | #Constraints:     370366
2288.43/2296.15	c #Conflicts:     192000 | #Constraints:     371366
2288.43/2296.15	c #Conflicts:     193000 | #Constraints:     372366
2288.43/2296.15	c #Conflicts:     194000 | #Constraints:     373366
2288.43/2296.15	c #Conflicts:     195000 | #Constraints:     374366
2288.43/2296.15	c #Conflicts:     196000 | #Constraints:     375366
2288.43/2296.15	c #Conflicts:     197000 | #Constraints:     376366
2288.43/2296.15	c #Conflicts:     198000 | #Constraints:     377366
2288.43/2296.15	c INPROCESSING
2288.43/2296.15	c GARBAGE COLLECT
2288.43/2296.15	c #Conflicts:     199000 | #Constraints:     369578
2288.43/2296.15	c #Conflicts:     200000 | #Constraints:     370578
2288.43/2296.15	c #Conflicts:     201000 | #Constraints:     371578
2288.43/2296.15	c #Conflicts:     202000 | #Constraints:     372578
2288.43/2296.15	c #Conflicts:     203000 | #Constraints:     373578
2288.43/2296.15	c #Conflicts:     204000 | #Constraints:     374578
2288.43/2296.15	c #Conflicts:     205000 | #Constraints:     375578
2288.43/2296.15	c #Conflicts:     206000 | #Constraints:     376578
2288.43/2296.15	c #Conflicts:     207000 | #Constraints:     377578
2288.43/2296.15	c INPROCESSING
2288.43/2296.15	c GARBAGE COLLECT
2288.43/2296.15	c #Conflicts:     208000 | #Constraints:     369576
2288.43/2296.15	c #Conflicts:     209000 | #Constraints:     370576
2288.43/2296.15	c #Conflicts:     210000 | #Constraints:     371576
2288.43/2296.15	c #Conflicts:     211000 | #Constraints:     372576
2288.43/2296.15	c #Conflicts:     212000 | #Constraints:     373576
2288.43/2296.15	c #Conflicts:     213000 | #Constraints:     374576
2288.43/2296.15	c #Conflicts:     214000 | #Constraints:     375576
2288.43/2296.15	c #Conflicts:     215000 | #Constraints:     376576
2288.43/2296.15	c #Conflicts:     216000 | #Constraints:     377576
2288.43/2296.15	c INPROCESSING
2288.43/2296.15	c GARBAGE COLLECT
2288.43/2296.15	c #Conflicts:     217000 | #Constraints:     369383
2288.43/2296.15	c #Conflicts:     218000 | #Constraints:     370383
2288.43/2296.15	c #Conflicts:     219000 | #Constraints:     371383
2288.43/2296.15	c #Conflicts:     220000 | #Constraints:     372383
2288.43/2296.15	c #Conflicts:     221000 | #Constraints:     373383
2288.43/2296.15	c #Conflicts:     222000 | #Constraints:     374383
2288.43/2296.15	c #Conflicts:     223000 | #Constraints:     375383
2288.43/2296.15	c #Conflicts:     224000 | #Constraints:     376383
2288.43/2296.15	c #Conflicts:     225000 | #Constraints:     377383
2288.43/2296.15	c #Conflicts:     226000 | #Constraints:     378383
2288.43/2296.15	c INPROCESSING
2288.43/2296.15	c GARBAGE COLLECT
2288.43/2296.15	c #Conflicts:     227000 | #Constraints:     369985
2288.43/2296.15	c #Conflicts:     228000 | #Constraints:     370985
2288.43/2296.15	c #Conflicts:     229000 | #Constraints:     371985
2288.43/2296.15	c #Conflicts:     230000 | #Constraints:     372985
2288.43/2296.15	c #Conflicts:     231000 | #Constraints:     373985
2288.43/2296.15	c #Conflicts:     232000 | #Constraints:     374985
2288.43/2296.15	c #Conflicts:     233000 | #Constraints:     375985
2288.43/2296.15	c #Conflicts:     234000 | #Constraints:     376985
2758.93/2767.98	c #Conflicts:     235000 | #Constraints:     377985
2758.93/2767.98	c #Conflicts:     236000 | #Constraints:     378985
2758.93/2767.98	c INPROCESSING
2758.93/2767.98	c GARBAGE COLLECT
2758.93/2767.98	c #Conflicts:     237000 | #Constraints:     370380
2758.93/2767.98	c #Conflicts:     238000 | #Constraints:     371380
2758.93/2767.98	c #Conflicts:     239000 | #Constraints:     372380
2758.93/2767.98	c #Conflicts:     240000 | #Constraints:     373380
2758.93/2767.98	c #Conflicts:     241000 | #Constraints:     374380
2758.93/2767.98	c #Conflicts:     242000 | #Constraints:     375380
2758.93/2767.98	c #Conflicts:     243000 | #Constraints:     376380
2758.93/2767.98	c #Conflicts:     244000 | #Constraints:     377380
2758.93/2767.98	c #Conflicts:     245000 | #Constraints:     378380
2758.93/2767.98	c #Conflicts:     246000 | #Constraints:     379380
2758.93/2767.98	c INPROCESSING
2758.93/2767.98	c GARBAGE COLLECT
2758.93/2767.98	c #Conflicts:     247000 | #Constraints:     370576
2758.93/2767.98	c #Conflicts:     248000 | #Constraints:     371576
2758.93/2767.98	c #Conflicts:     249000 | #Constraints:     372576
2758.93/2767.98	c #Conflicts:     250000 | #Constraints:     373576
2758.93/2767.98	c #Conflicts:     251000 | #Constraints:     374576
2758.93/2767.98	c #Conflicts:     252000 | #Constraints:     375576
2758.93/2767.98	c #Conflicts:     253000 | #Constraints:     376576
2758.93/2767.98	c #Conflicts:     254000 | #Constraints:     377576
2758.93/2767.98	c #Conflicts:     255000 | #Constraints:     378576
2758.93/2767.98	c #Conflicts:     256000 | #Constraints:     379576
2758.93/2767.98	c INPROCESSING
2758.93/2767.98	c GARBAGE COLLECT
2758.93/2767.98	c #Conflicts:     257000 | #Constraints:     370571
2758.93/2767.98	c #Conflicts:     258000 | #Constraints:     371571
2758.93/2767.98	c #Conflicts:     259000 | #Constraints:     372571
2758.93/2767.98	c #Conflicts:     260000 | #Constraints:     373571
2758.93/2767.98	c #Conflicts:     261000 | #Constraints:     374571
2758.93/2767.98	c #Conflicts:     262000 | #Constraints:     375571
2758.93/2767.98	c #Conflicts:     263000 | #Constraints:     376571
2758.93/2767.98	c #Conflicts:     264000 | #Constraints:     377571
2758.93/2767.98	c #Conflicts:     265000 | #Constraints:     378571
2758.93/2767.98	c #Conflicts:     266000 | #Constraints:     379571
2758.93/2767.98	c INPROCESSING
2758.93/2767.98	c GARBAGE COLLECT
2758.93/2767.98	c #Conflicts:     267000 | #Constraints:     370370
2758.93/2767.98	c #Conflicts:     268000 | #Constraints:     371370
2758.93/2767.98	c #Conflicts:     269000 | #Constraints:     372370
2758.93/2767.98	c #Conflicts:     270000 | #Constraints:     373370
2758.93/2767.98	c #Conflicts:     271000 | #Constraints:     374370
2758.93/2767.98	c #Conflicts:     272000 | #Constraints:     375370
2758.93/2767.98	c #Conflicts:     273000 | #Constraints:     376370
2758.93/2767.98	c #Conflicts:     274000 | #Constraints:     377370
2758.93/2767.98	c #Conflicts:     275000 | #Constraints:     378370
2758.93/2767.98	c #Conflicts:     276000 | #Constraints:     379370
2758.93/2767.98	c #Conflicts:     277000 | #Constraints:     380370
2758.93/2767.98	c INPROCESSING
2758.93/2767.98	c GARBAGE COLLECT
2758.93/2767.98	c #Conflicts:     278000 | #Constraints:     370953
2758.93/2767.98	c #Conflicts:     279000 | #Constraints:     371953
2758.93/2767.98	c #Conflicts:     280000 | #Constraints:     372953
2758.93/2767.98	c #Conflicts:     281000 | #Constraints:     373953
2758.93/2767.98	c #Conflicts:     282000 | #Constraints:     374953
2758.93/2767.98	c #Conflicts:     283000 | #Constraints:     375953
2758.93/2767.98	c #Conflicts:     284000 | #Constraints:     376953
2758.93/2767.98	c #Conflicts:     285000 | #Constraints:     377953
2758.93/2767.98	c #Conflicts:     286000 | #Constraints:     378953
2758.93/2767.98	c #Conflicts:     287000 | #Constraints:     379953
2758.93/2767.98	c #Conflicts:     288000 | #Constraints:     380953
2758.93/2767.98	c INPROCESSING
2758.93/2767.98	c GARBAGE COLLECT
2758.93/2767.98	c #Conflicts:     289000 | #Constraints:     371353
2758.93/2767.98	c #Conflicts:     290000 | #Constraints:     372353
2758.93/2767.98	c #Conflicts:     291000 | #Constraints:     373353
2758.93/2767.98	c #Conflicts:     292000 | #Constraints:     374353
2758.93/2767.98	c #Conflicts:     293000 | #Constraints:     375353
2758.93/2767.98	c #Conflicts:     294000 | #Constraints:     376353
2758.93/2767.98	c #Conflicts:     295000 | #Constraints:     377353
2758.93/2767.98	c #Conflicts:     296000 | #Constraints:     378353
2758.93/2767.98	c #Conflicts:     297000 | #Constraints:     379353
2758.93/2767.98	c #Conflicts:     298000 | #Constraints:     380353
2758.93/2767.98	c #Conflicts:     299000 | #Constraints:     381353
2758.93/2767.98	c INPROCESSING
2758.93/2767.98	c GARBAGE COLLECT
2758.93/2767.98	c #Conflicts:     300000 | #Constraints:     371557
2758.93/2767.98	c #Conflicts:     301000 | #Constraints:     372557
2758.93/2767.98	c #Conflicts:     302000 | #Constraints:     373557
2758.93/2767.98	c #Conflicts:     303000 | #Constraints:     374557
2758.93/2767.98	c #Conflicts:     304000 | #Constraints:     375557
2758.93/2767.98	c #Conflicts:     305000 | #Constraints:     376557
2758.93/2767.98	c #Conflicts:     306000 | #Constraints:     377557
2758.93/2767.98	c #Conflicts:     307000 | #Constraints:     378557
2758.93/2767.98	c #Conflicts:     308000 | #Constraints:     379557
3573.93/3584.93	c #Conflicts:     309000 | #Constraints:     380557
3573.93/3584.93	c #Conflicts:     310000 | #Constraints:     381557
3573.93/3584.93	c INPROCESSING
3573.93/3584.93	c GARBAGE COLLECT
3573.93/3584.93	c #Conflicts:     311000 | #Constraints:     371565
3573.93/3584.93	c #Conflicts:     312000 | #Constraints:     372565
3573.93/3584.93	c #Conflicts:     313000 | #Constraints:     373565
3573.93/3584.93	c #Conflicts:     314000 | #Constraints:     374565
3573.93/3584.93	c #Conflicts:     315000 | #Constraints:     375565
3573.93/3584.93	c #Conflicts:     316000 | #Constraints:     376565
3573.93/3584.93	c #Conflicts:     317000 | #Constraints:     377565
3573.93/3584.93	c #Conflicts:     318000 | #Constraints:     378565
3573.93/3584.93	c #Conflicts:     319000 | #Constraints:     379565
3573.93/3584.93	c #Conflicts:     320000 | #Constraints:     380565
3573.93/3584.93	c #Conflicts:     321000 | #Constraints:     381565
3573.93/3584.93	c INPROCESSING
3573.93/3584.93	c GARBAGE COLLECT
3573.93/3584.93	c #Conflicts:     322000 | #Constraints:     371364
3573.93/3584.93	c #Conflicts:     323000 | #Constraints:     372364
3573.93/3584.93	c #Conflicts:     324000 | #Constraints:     373364
3573.93/3584.93	c #Conflicts:     325000 | #Constraints:     374364
3573.93/3584.93	c #Conflicts:     326000 | #Constraints:     375364
3573.93/3584.93	c #Conflicts:     327000 | #Constraints:     376364
3573.93/3584.93	c #Conflicts:     328000 | #Constraints:     377364
3573.93/3584.93	c #Conflicts:     329000 | #Constraints:     378364
3573.93/3584.93	c #Conflicts:     330000 | #Constraints:     379364
3573.93/3584.93	c bounds - >= -369888272 @ 3211.17
3573.93/3584.93	c #Conflicts:     331000 | #Constraints:     380365
3573.93/3584.93	c #Conflicts:     332000 | #Constraints:     381365
3573.93/3584.93	c #Conflicts:     333000 | #Constraints:     382365
3573.93/3584.93	c INPROCESSING
3573.93/3584.93	c GARBAGE COLLECT
3573.93/3584.93	c #Conflicts:     334000 | #Constraints:     371957
3573.93/3584.93	c #Conflicts:     335000 | #Constraints:     372957
3573.93/3584.93	c #Conflicts:     336000 | #Constraints:     373957
3573.93/3584.93	c #Conflicts:     337000 | #Constraints:     374957
3573.93/3584.93	c #Conflicts:     338000 | #Constraints:     375957
3573.93/3584.93	c #Conflicts:     339000 | #Constraints:     376957
3573.93/3584.93	c #Conflicts:     340000 | #Constraints:     377957
3573.93/3584.93	c #Conflicts:     341000 | #Constraints:     378957
3573.93/3584.93	c #Conflicts:     342000 | #Constraints:     379957
3573.93/3584.93	c #Conflicts:     343000 | #Constraints:     380957
3573.93/3584.93	c #Conflicts:     344000 | #Constraints:     381957
3573.93/3584.93	c #Conflicts:     345000 | #Constraints:     382957
3573.93/3584.93	c INPROCESSING
3573.93/3584.93	c GARBAGE COLLECT
3573.93/3584.93	c #Conflicts:     346000 | #Constraints:     372346
3573.93/3584.93	c #Conflicts:     347000 | #Constraints:     373346
3573.93/3584.93	c #Conflicts:     348000 | #Constraints:     374346
3573.93/3584.93	c #Conflicts:     349000 | #Constraints:     375346
3573.93/3584.93	c #Conflicts:     350000 | #Constraints:     376346
3573.93/3584.93	c #Conflicts:     351000 | #Constraints:     377346
3573.93/3584.93	c #Conflicts:     352000 | #Constraints:     378346
3573.93/3584.93	c #Conflicts:     353000 | #Constraints:     379346
3573.93/3584.93	c #Conflicts:     354000 | #Constraints:     380346
3573.93/3584.93	c #Conflicts:     355000 | #Constraints:     381346
3573.93/3584.93	c #Conflicts:     356000 | #Constraints:     382346
3573.93/3584.93	c #Conflicts:     357000 | #Constraints:     383346
3573.93/3584.93	c INPROCESSING
3573.93/3584.93	c GARBAGE COLLECT
3573.93/3584.93	c #Conflicts:     358000 | #Constraints:     372559
3573.93/3584.93	c #Conflicts:     359000 | #Constraints:     373559
3573.93/3584.93	c #Conflicts:     360000 | #Constraints:     374559
3573.93/3584.93	c #Conflicts:     361000 | #Constraints:     375559
3573.93/3584.93	c #Conflicts:     362000 | #Constraints:     376559
3573.93/3584.93	c #Conflicts:     363000 | #Constraints:     377559
3573.93/3584.93	c #Conflicts:     364000 | #Constraints:     378559
3573.93/3584.93	c #Conflicts:     365000 | #Constraints:     379559
3573.93/3584.93	c #Conflicts:     366000 | #Constraints:     380559
3573.93/3584.93	c #Conflicts:     367000 | #Constraints:     381559
3573.93/3584.93	c #Conflicts:     368000 | #Constraints:     382559
3573.93/3584.93	c #Conflicts:     369000 | #Constraints:     383559
3573.93/3584.93	c INPROCESSING
3573.93/3584.93	c GARBAGE COLLECT
3573.93/3584.93	c #Conflicts:     370000 | #Constraints:     372557
3573.93/3584.93	c #Conflicts:     371000 | #Constraints:     373557
3573.93/3584.93	c #Conflicts:     372000 | #Constraints:     374557
3573.93/3584.93	c #Conflicts:     373000 | #Constraints:     375557
3573.93/3584.93	c #Conflicts:     374000 | #Constraints:     376557
3573.93/3584.93	c #Conflicts:     375000 | #Constraints:     377557
3573.93/3584.93	c #Conflicts:     376000 | #Constraints:     378557
3573.93/3584.93	c #Conflicts:     377000 | #Constraints:     379557
3573.93/3584.93	c #Conflicts:     378000 | #Constraints:     380557
3573.93/3584.93	c #Conflicts:     379000 | #Constraints:     381557
3573.93/3584.93	c #Conflicts:     380000 | #Constraints:     382557
3573.93/3584.93	c #Conflicts:     381000 | #Constraints:     383557
3573.93/3584.93	c INPROCESSING
3573.93/3584.93	c GARBAGE COLLECT
3573.93/3584.93	c #Conflicts:     382000 | #Constraints:     372353
3600.26/3611.31	c #Conflicts:     383000 | #Constraints:     373353
3600.26/3611.31	c #Conflicts:     384000 | #Constraints:     374353
3600.26/3611.31	c #Conflicts:     385000 | #Constraints:     375353
3600.26/3611.31	c #Conflicts:     386000 | #Constraints:     376353
3600.26/3611.31	c Program interrupted by user.
3600.26/3611.31	c cpu time 3594.27 s
3600.26/3611.31	c deterministic time 512270926287 5.12e+11
3600.26/3611.31	c optimization time 35.755 s
3600.26/3611.31	c total solve time 3557.84 s
3600.26/3611.31	c core-guided solve time 3557.84 s
3600.26/3611.31	c propagation time 1812.04 s
3600.26/3611.31	c conflict analysis time 1655.39 s
3600.26/3611.31	c propagations 329802303
3600.26/3611.31	c resolve steps 12850725
3600.26/3611.31	c decisions 4399446
3600.26/3611.31	c conflicts 386446
3600.26/3611.31	c restarts 927
3600.26/3611.31	c inprocessing phases 53
3600.26/3611.31	c input clauses 359686
3600.26/3611.31	c input cardinalities 0
3600.26/3611.31	c input general constraints 116
3600.26/3611.31	c input average constraint length 12.60
3600.26/3611.31	c input average constraint degree 27808.87
3600.26/3611.31	c learned clauses 180934
3600.26/3611.31	c learned cardinalities 6
3600.26/3611.31	c learned general constraints 205550
3600.26/3611.31	c learned average constraint length 4646.84
3600.26/3611.31	c learned average constraint degree 4667778855.75
3600.26/3611.31	c watched constraints 196872
3600.26/3611.31	c counting constraints 8794
3600.26/3611.31	c gcd simplifications 79935
3600.26/3611.31	c detected cardinalities 4
3600.26/3611.31	c weakened non-implied lits 427100405
3600.26/3611.31	c weakened non-implying lits 3323141
3600.26/3611.31	c original variables 42438
3600.26/3611.31	c clausal propagations 134103539
3600.26/3611.31	c cardinality propagations 6
3600.26/3611.31	c watched propagations 188556968
3600.26/3611.31	c counting propagations 1856100
3600.26/3611.31	c watch lookups 6330210581
3600.26/3611.31	c watch backjump lookups 5091412907
3600.26/3611.31	c watch checks 393521752628
3600.26/3611.31	c propagation checks 101315193120
3600.26/3611.31	c constraint additions 5343599072
3600.26/3611.31	c trail pops 334556229
3600.26/3611.31	c formula constraints 358395
3600.26/3611.31	c learned constraints 386490
3600.26/3611.31	c bound constraints 86
3600.26/3611.31	c core-guided constraints 1321
3600.26/3611.31	c encountered formula constraints 12283450
3600.26/3611.31	c encountered learned constraints 925340
3600.26/3611.31	c encountered bound constraints 0
3600.26/3611.31	c encountered core-guided constraints 28381
3600.26/3611.31	c LP total time 0 s
3600.26/3611.31	c LP solve time 0 s
3600.26/3611.31	c LP constraints added 0
3600.26/3611.31	c LP constraints removed 0
3600.26/3611.31	c LP pivots internal 0
3600.26/3611.31	c LP pivots root 0
3600.26/3611.31	c LP calls 0
3600.26/3611.31	c LP optimalities 0
3600.26/3611.31	c LP no pivot count 0
3600.26/3611.31	c LP infeasibilities 0
3600.26/3611.31	c LP valid Farkas constraints 0
3600.26/3611.31	c LP learned Farkas constraints 0
3600.26/3611.31	c LP basis resets 0
3600.26/3611.31	c LP cycling count 0
3600.26/3611.31	c LP singular count 0
3600.26/3611.31	c LP no primal count 0
3600.26/3611.31	c LP no farkas count 0
3600.26/3611.31	c LP other issue count 0
3600.26/3611.31	c LP Gomory cuts 0
3600.26/3611.31	c LP learned cuts 0
3600.26/3611.31	c LP deleted cuts 0
3600.26/3611.31	c LP encountered Gomory constraints 0
3600.26/3611.31	c LP encountered Farkas constraints 0
3600.26/3611.31	c LP encountered learned Farkas constraints 0
3600.26/3611.31	c CG auxiliary variables introduced 1321
3600.26/3611.31	c CG solutions found 0
3600.26/3611.31	c CG cores constructed 86
3600.26/3611.31	c CG core cardinality constraints returned 3
3600.26/3611.31	c CG unit cores 0
3600.26/3611.31	c CG single cores 69
3600.26/3611.31	c CG blocks removed during cardinality reduction 85
3600.26/3611.31	c CG first core best 4
3600.26/3611.31	c CG decision core best 3
3600.26/3611.31	c CG core reduction tie 10
3600.26/3611.31	c CG core degree average 2.72
3600.26/3611.31	c CG core slack average 87.36
3600.26/3611.31	c CG exhausted 0
3600.26/3611.31	c CG exhaust time 0 s
3600.26/3611.31	c CG trimmed 759
3600.26/3611.31	c CG trim time 0.998373 s
3600.26/3611.31	c CG minimized 0
3600.26/3611.31	c CG minimize time 0 s
3600.26/3611.31	c CG am1 prop time 3.32707 s
3600.26/3611.31	c CG # am1s reformulated 1321
3600.26/3611.31	c CG lower bound derived from am1s 31103743
3600.26/3611.31	c CG # clausal cores 41
3600.26/3611.31	c CG # cardinality cores 0
3600.26/3611.31	c CG # pb cores 62
3600.26/3611.31	c CG # pb reforms 0
3600.26/3611.31	c CG # cores discarded because of pb reform 0
3600.26/3611.31	d LOWERBOUND -369888272
3600.26/3611.31	d NCORES 86
3600.26/3611.31	d NPBCORES 62
3600.26/3611.31	d NPBREFORM 0
3600.26/3611.31	d NTRIMMED 759
3600.26/3611.31	d NEXHAUSTED 0
3600.26/3611.31	d NAM1S 1321
3600.26/3611.31	d AM1LB 31103743
3600.26/3611.32	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (58444 MiB free)
  memory of node 1: 64510 MiB (60298 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459282-1721894507/watcher-4459282-1721894507 -o /tmp/evaluation-result-4459282-1721894507/solver-4459282-1721894507 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721889355-225338 --watchdog 3760 pb-oll-rs HOME/instance-4459282-1721894507.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=228608, runsolver pid=228605

[startup+0.10087 s]*
/proc/loadavg: 4.10 4.16 4.11 5/259 228609
/proc/meminfo: memFree=121580048/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=50996 memory=17136 CPUtime=0.1 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 4334 0 0 0 7 3 0 0 20 0 1 0 25973602 52219904 4284 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 12749 4284 1168 291 0 4283 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50996 KiB
Current children cumulated memory: 17136 KiB

[startup+0.205652 s]*
/proc/loadavg: 4.10 4.16 4.11 5/259 228609
/proc/meminfo: memFree=121575984/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=52316 memory=20764 CPUtime=0.2 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 4754 0 0 0 14 6 0 0 20 0 1 0 25973602 53571584 5191 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 13079 5191 1168 291 0 4613 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 52316 KiB
Current children cumulated memory: 20764 KiB

[startup+0.305491 s]*
/proc/loadavg: 4.10 4.16 4.11 5/259 228609
/proc/meminfo: memFree=121571276/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=56356 memory=25560 CPUtime=0.29 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 5399 0 0 0 20 9 0 0 20 0 1 0 25973602 57708544 6390 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 14089 6390 1168 291 0 5623 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 56356 KiB
Current children cumulated memory: 25560 KiB

[startup+0.70018 s]
/proc/loadavg: 4.10 4.16 4.11 5/259 228609
/proc/meminfo: memFree=121564916/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=65924 memory=35944 CPUtime=0.68 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 7513 0 0 0 49 19 0 0 20 0 1 0 25973602 67506176 8986 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 16481 8986 1168 291 0 8015 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 65924 KiB
Current children cumulated memory: 35944 KiB

[startup+1.50019 s]
/proc/loadavg: 4.18 4.17 4.11 5/259 228609
/proc/meminfo: memFree=121546148/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=111744 memory=80272 CPUtime=1.48 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 17450 0 0 0 123 25 0 0 20 0 1 0 25973602 114425856 20068 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 27936 20068 1294 291 0 19470 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 111744 KiB
Current children cumulated memory: 80272 KiB

[startup+3.10553 s]
/proc/loadavg: 4.18 4.17 4.11 5/259 228609
/proc/meminfo: memFree=121478852/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=150076 memory=118540 CPUtime=3.08 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 27036 0 0 0 280 28 0 0 20 0 1 0 25973602 153677824 29635 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 37519 29635 1294 291 0 29053 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 150076 KiB
Current children cumulated memory: 118540 KiB

[startup+6.30017 s]
/proc/loadavg: 4.16 4.17 4.11 5/259 228611
/proc/meminfo: memFree=121460212/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=166136 memory=134632 CPUtime=6.26 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 31066 0 0 0 595 31 0 0 20 0 1 0 25973602 170123264 33658 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 41534 33658 1294 291 0 33068 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 166136 KiB
Current children cumulated memory: 134632 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.17 4.11 5/259 228611
/proc/meminfo: memFree=121405372/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=241260 memory=189080 CPUtime=12.64 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 35848 0 0 0 1224 40 0 0 20 0 1 0 25973602 247050240 47270 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 60315 47270 1373 291 0 51849 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 241260 KiB
Current children cumulated memory: 189080 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.16 4.11 5/259 228615
/proc/meminfo: memFree=121332532/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=328288 memory=263100 CPUtime=25.4 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 45536 0 0 0 2492 48 0 0 20 0 1 0 25973602 336166912 65775 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 82072 65775 1433 291 0 73606 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 328288 KiB
Current children cumulated memory: 263100 KiB

[startup+51.1056 s]
/proc/loadavg: 4.15 4.16 4.11 5/259 228619
/proc/meminfo: memFree=121220072/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=443628 memory=353900 CPUtime=50.91 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 55420 0 0 0 5034 57 0 0 20 0 1 0 25973602 454275072 88475 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 110907 88475 1433 291 0 102441 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 443628 KiB
Current children cumulated memory: 353900 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.13 4.10 5/259 228629
/proc/meminfo: memFree=121149388/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=477480 memory=396820 CPUtime=101.93 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 68604 0 0 0 10120 73 0 0 20 0 1 0 25973602 488939520 99205 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 119370 99205 1433 291 0 110904 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 477480 KiB
Current children cumulated memory: 396820 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/257 228639
/proc/meminfo: memFree=121075324/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=490620 memory=439220 CPUtime=161.72 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 75577 0 0 0 16087 85 0 0 20 0 1 0 25973602 502394880 109805 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 122655 109805 1433 291 0 114189 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 490620 KiB
Current children cumulated memory: 439220 KiB

[startup+222.3 s]
/proc/loadavg: 4.23 4.16 4.10 5/257 228649
/proc/meminfo: memFree=121006168/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=640812 memory=489504 CPUtime=221.51 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 80837 0 0 0 22054 97 0 0 20 0 1 0 25973602 656191488 122376 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 160203 122376 1433 291 0 151737 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 640812 KiB
Current children cumulated memory: 489504 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/255 228660
/proc/meminfo: memFree=120964664/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=641608 memory=508900 CPUtime=281.29 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 81059 0 0 0 28026 103 0 0 20 0 1 0 25973602 657006592 127225 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 160402 127225 1433 291 0 151936 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 641608 KiB
Current children cumulated memory: 508900 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/255 228671
/proc/meminfo: memFree=120941284/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=642680 memory=509936 CPUtime=341.08 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 81333 0 0 0 33995 113 0 0 20 0 1 0 25973602 658104320 127484 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 160670 127484 1433 291 0 152204 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 642680 KiB
Current children cumulated memory: 509936 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/255 228682
/proc/meminfo: memFree=120916384/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=644164 memory=511512 CPUtime=400.86 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 81718 0 0 0 39967 119 0 0 20 0 1 0 25973602 659623936 127878 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 161041 127878 1433 291 0 152575 0
Current children cumulated CPU time: 400.86 s
Current children cumulated vsize: 644164 KiB
Current children cumulated memory: 511512 KiB

[startup+462.3 s]
/proc/loadavg: 4.42 4.20 4.12 5/255 228694
/proc/meminfo: memFree=120874364/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=638584 memory=529976 CPUtime=460.65 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 82186 0 0 0 45938 127 0 0 20 0 1 0 25973602 653910016 132494 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 159646 132494 1433 291 0 151180 0

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

Current children cumulated memory: 1635620 KiB

[startup+2982.3 s]
/proc/loadavg: 1.09 1.29 2.16 2/237 229882
/proc/meminfo: memFree=122527960/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=1960408 memory=1635620 CPUtime=2972.79 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 259588 0 0 0 296750 529 0 0 20 0 1 0 25973602 2007457792 408905 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 490102 408905 1433 291 0 481636 0
Current children cumulated CPU time: 2972.79 s
Current children cumulated vsize: 1960408 KiB
Current children cumulated memory: 1635620 KiB

[startup+3042.3 s]
/proc/loadavg: 1.08 1.25 2.09 2/237 229894
/proc/meminfo: memFree=122527216/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=1960408 memory=1635620 CPUtime=3032.66 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 261387 0 0 0 302734 532 0 0 20 0 1 0 25973602 2007457792 408905 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 490102 408905 1433 291 0 481636 0
Current children cumulated CPU time: 3032.66 s
Current children cumulated vsize: 1960408 KiB
Current children cumulated memory: 1635620 KiB

[startup+3102.3 s]
/proc/loadavg: 1.15 1.23 2.03 2/237 229905
/proc/meminfo: memFree=122526360/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=1960408 memory=1635620 CPUtime=3092.52 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 261909 0 0 0 308719 533 0 0 20 0 1 0 25973602 2007457792 408905 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 490102 408905 1433 291 0 481636 0
Current children cumulated CPU time: 3092.52 s
Current children cumulated vsize: 1960408 KiB
Current children cumulated memory: 1635620 KiB

[startup+3162.3 s]
/proc/loadavg: 1.13 1.21 1.97 2/237 229915
/proc/meminfo: memFree=122525588/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=1960408 memory=1635620 CPUtime=3152.38 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 262558 0 0 0 314703 535 0 0 20 0 1 0 25973602 2007457792 408905 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 490102 408905 1433 291 0 481636 0
Current children cumulated CPU time: 3152.38 s
Current children cumulated vsize: 1960408 KiB
Current children cumulated memory: 1635620 KiB

[startup+3222.3 s]
/proc/loadavg: 1.09 1.18 1.91 2/236 229926
/proc/meminfo: memFree=122524872/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=1960408 memory=1635620 CPUtime=3212.24 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 263218 0 0 0 320688 536 0 0 20 0 1 0 25973602 2007457792 408905 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 490102 408905 1433 291 0 481636 0
Current children cumulated CPU time: 3212.24 s
Current children cumulated vsize: 1960408 KiB
Current children cumulated memory: 1635620 KiB

[startup+3282.3 s]
/proc/loadavg: 1.21 1.19 1.87 2/236 230321
/proc/meminfo: memFree=122524592/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=1960408 memory=1635644 CPUtime=3272.09 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 265309 0 0 0 326661 548 0 0 20 0 1 0 25973602 2007457792 408911 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 490102 408911 1433 291 0 481636 0
Current children cumulated CPU time: 3272.09 s
Current children cumulated vsize: 1960408 KiB
Current children cumulated memory: 1635644 KiB

[startup+3342.3 s]
/proc/loadavg: 1.13 1.17 1.81 2/236 230332
/proc/meminfo: memFree=122524040/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=1960408 memory=1635644 CPUtime=3331.94 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 267175 0 0 0 332638 556 0 0 20 0 1 0 25973602 2007457792 408911 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 490102 408911 1433 291 0 481636 0
Current children cumulated CPU time: 3331.94 s
Current children cumulated vsize: 1960408 KiB
Current children cumulated memory: 1635644 KiB

[startup+3402.3 s]
/proc/loadavg: 1.12 1.15 1.77 2/236 230343
/proc/meminfo: memFree=122523028/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=1960408 memory=1635644 CPUtime=3391.78 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 267914 0 0 0 338613 565 0 0 20 0 1 0 25973602 2007457792 408911 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 490102 408911 1433 291 0 481636 0
Current children cumulated CPU time: 3391.78 s
Current children cumulated vsize: 1960408 KiB
Current children cumulated memory: 1635644 KiB

[startup+3462.3 s]
/proc/loadavg: 1.10 1.14 1.72 2/238 230524
/proc/meminfo: memFree=122522500/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=1960408 memory=1635644 CPUtime=3451.63 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 269775 0 0 0 344585 578 0 0 20 0 1 0 25973602 2007457792 408911 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 490102 408911 1433 291 0 481636 0
Current children cumulated CPU time: 3451.63 s
Current children cumulated vsize: 1960408 KiB
Current children cumulated memory: 1635644 KiB

[startup+3522.3 s]
/proc/loadavg: 1.08 1.13 1.68 2/238 230536
/proc/meminfo: memFree=122509100/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=1974072 memory=1648580 CPUtime=3511.48 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 274783 0 0 0 350564 584 0 0 20 0 1 0 25973602 2021449728 412145 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 493518 412145 1433 291 0 485052 0
Current children cumulated CPU time: 3511.48 s
Current children cumulated vsize: 1974072 KiB
Current children cumulated memory: 1648580 KiB

[startup+3582.3 s]
/proc/loadavg: 1.06 1.12 1.64 2/237 230560
/proc/meminfo: memFree=122468928/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=2013964 memory=1687524 CPUtime=3571.33 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 285480 0 0 0 356539 594 0 0 20 0 1 0 25973602 2062299136 421881 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 503491 421881 1433 291 0 495025 0
Current children cumulated CPU time: 3571.33 s
Current children cumulated vsize: 2013964 KiB
Current children cumulated memory: 1687524 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 1.04 1.11 1.62 2/237 230566
/proc/meminfo: memFree=122468424/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=2014600 memory=1687760 CPUtime=3600.06 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 287561 0 0 0 359405 601 0 0 20 0 1 0 25973602 2062950400 421940 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 503650 421940 1433 291 0 495184 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2014600 KiB
Current children cumulated memory: 1687760 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.28 s, system=6.02224 s

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

[startup+3611.2 s]
/proc/loadavg: 1.04 1.11 1.62 2/237 230566
/proc/meminfo: memFree=122468424/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=2014600 memory=1688048 CPUtime=3600.16 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 287597 0 0 0 359415 601 0 0 20 0 1 0 25973602 2062950400 422012 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 503650 422012 1505 291 0 495184 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 2014600 KiB
Current children cumulated memory: 1688048 KiB

[startup+3611.3 s]
/proc/loadavg: 1.04 1.11 1.62 2/237 230566
/proc/meminfo: memFree=122468424/131524600 swapFree=131061428/131071996
[pid=228608] ppid=228605 vsize=2014600 memory=1688048 CPUtime=3600.26 cores=0,2
/proc/228608/stat : 228608 (pb-oll-rs) R 228605 228608 225328 0 -1 4194304 287598 0 0 0 359425 601 0 0 20 0 1 0 25973602 2062950400 422012 134679101440 4194304 5384005 140722843057392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15687680 140722843059223 140722843059300 140722843059300 140722843066315 0
/proc/228608/statm: 503650 422012 1505 291 0 495184 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 2014600 KiB
Current children cumulated memory: 1688048 KiB

Child status: 0

Real time (s): 3611.33
CPU time (s): 3600.3
CPU user time (s): 3594.28
CPU system time (s): 6.02224
CPU usage (%): 99.6945
Max. virtual memory (cumulated for all children) (KiB): 2025628
Max. memory (cumulated for all children) (KiB): 1698292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.28
system time used= 6.02224
maximum resident set size= 1698292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287634
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= 111
involuntary context switches= 25262


# summary of solver processes directly reported to runsolver:
#   pid: 228608
#   total CPU time (s): 3600.3
#   total CPU user time (s): 3594.28
#   total CPU system time (s): 6.02224

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.38952 second user time and 15.7789 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-25 10:01:47
IDJOB=4459282
IDBENCH=178667
IDSOLVER=3067
FILE ID=nodeC022/4459282-1721894507
RUNJOBID= nodeC022-1721889355-225338
SLURM_JOB_ID= 8089333
Free space on /tmp= 889984 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-rmine15.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459282-1721894507/watcher-4459282-1721894507 -o /tmp/evaluation-result-4459282-1721894507/solver-4459282-1721894507 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721889355-225338 --watchdog 3760  pb-oll-rs HOME/instance-4459282-1721894507.opb

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

MD5SUM BENCH= 8b0f0a056877f36e2c13e33d533276b3
RANDOM SEED=1001217491

nodeC022.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		: 3662.150
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.87
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		: 3686.673
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.75
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		: 3636.412
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.87
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		: 3599.985
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.75
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		: 3668.508
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.87
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		: 3686.684
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.75
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		: 3609.121
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.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121592996 kB
MemAvailable:   127216824 kB
Buffers:          313204 kB
Cached:          6059968 kB
SwapCached:         1424 kB
Active:          2676868 kB
Inactive:        6480584 kB
Active(anon):       1944 kB
Inactive(anon):  2836064 kB
Active(file):    2674924 kB
Inactive(file):  3644520 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061428 kB
Dirty:             14228 kB
Writeback:             0 kB
AnonPages:       2782336 kB
Mapped:           118860 kB
Shmem:             53732 kB
KReclaimable:     292156 kB
Slab:             415420 kB
SReclaimable:     292156 kB
SUnreclaim:       123264 kB
KernelStack:        4160 kB
PageTables:        15236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3152132 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17248 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1196032 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:      334548 kB
DirectMap2M:    36139008 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC022 at 2024-07-25 11:01:58