Trace number 4459296

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-19? (TO) 3600.33 3607.63

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.98	c [STEP] solving
0.88/0.98	c #variables 42438 #constraints 358395
0.88/0.98	c SMALL=int, LARGE=long long
0.88/0.98	c bounds - >= -404494688 @ 0.710553
0.88/0.98	c stratification level: 13818
127.82/128.10	c bounds - >= -373377064 @ 8.77371
127.82/128.10	c bounds - >= -373351079 @ 8.87388
127.82/128.10	c bounds - >= -373326968 @ 8.88201
127.82/128.10	c bounds - >= -373304763 @ 8.8892
127.82/128.10	c bounds - >= -373263899 @ 8.89707
127.82/128.10	c bounds - >= -373246228 @ 8.90512
127.82/128.10	c bounds - >= -373219110 @ 8.91328
127.82/128.10	c bounds - >= -373203769 @ 8.92155
127.82/128.10	c bounds - >= -373166493 @ 8.93041
127.82/128.10	c bounds - >= -373134139 @ 8.9389
127.82/128.10	c bounds - >= -373107663 @ 8.94789
127.82/128.10	c bounds - >= -372023013 @ 8.96259
127.82/128.10	c bounds - >= -371016453 @ 8.98202
127.82/128.10	c bounds - >= -371001502 @ 9.00504
127.82/128.10	c bounds - >= -370987315 @ 9.02366
127.82/128.10	c bounds - >= -370972195 @ 9.05284
127.82/128.10	c bounds - >= -370958359 @ 9.17211
127.82/128.10	c bounds - >= -370944257 @ 9.19692
127.82/128.10	c bounds - >= -370929714 @ 9.21568
127.82/128.10	c bounds - >= -370915622 @ 9.23765
127.82/128.10	c bounds - >= -370896454 @ 9.25526
127.82/128.10	c bounds - >= -370880903 @ 9.27486
127.82/128.10	c bounds - >= -370865999 @ 9.29448
127.82/128.10	c bounds - >= -370850155 @ 9.31229
127.82/128.10	c bounds - >= -370832298 @ 9.33905
127.82/128.10	c bounds - >= -370815128 @ 9.35927
127.82/128.10	c bounds - >= -370801237 @ 9.37882
127.82/128.10	c bounds - >= -370783750 @ 9.40364
127.82/128.10	c bounds - >= -370769906 @ 9.5134
127.82/128.10	c bounds - >= -370752540 @ 9.54416
127.82/128.10	c bounds - >= -370737515 @ 9.56681
127.82/128.10	c bounds - >= -370720321 @ 9.58967
127.82/128.10	c bounds - >= -370705724 @ 9.60883
127.82/128.10	c bounds - >= -370690314 @ 9.62889
127.82/128.10	c bounds - >= -370675465 @ 9.6515
127.82/128.10	c bounds - >= -370658717 @ 9.67024
127.82/128.10	c bounds - >= -370643524 @ 9.69046
127.82/128.10	c bounds - >= -370629684 @ 9.71608
127.82/128.10	c bounds - >= -370613025 @ 9.73603
127.82/128.10	c bounds - >= -370598671 @ 9.76137
127.82/128.10	c bounds - >= -370583095 @ 9.78015
127.82/128.10	c bounds - >= -370569184 @ 9.81358
127.82/128.10	c bounds - >= -370554538 @ 9.9091
127.82/128.10	c bounds - >= -370540519 @ 10.2212
127.82/128.10	c bounds - >= -370524616 @ 10.247
127.82/128.10	c bounds - >= -370508840 @ 10.2701
127.82/128.10	c bounds - >= -370493077 @ 10.2949
127.82/128.10	c bounds - >= -370479218 @ 10.3141
127.82/128.10	c bounds - >= -370463506 @ 10.3414
127.82/128.10	c bounds - >= -370449468 @ 10.3632
127.82/128.10	c bounds - >= -370434607 @ 10.3865
127.82/128.10	c bounds - >= -370419051 @ 10.4065
127.82/128.10	c bounds - >= -370404087 @ 10.4299
127.82/128.10	c bounds - >= -370388635 @ 10.4508
127.82/128.10	c bounds - >= -370373530 @ 10.4744
127.82/128.10	c bounds - >= -370358909 @ 10.496
127.82/128.10	c bounds - >= -370343593 @ 10.523
127.82/128.10	c bounds - >= -370286933 @ 10.7016
127.82/128.10	c bounds - >= -370271853 @ 10.7242
127.82/128.10	c bounds - >= -370256780 @ 10.7459
127.82/128.10	c bounds - >= -370242041 @ 10.9581
127.82/128.10	c bounds - >= -370227183 @ 10.9875
127.82/128.10	c bounds - >= -370212391 @ 11.015
127.82/128.10	c bounds - >= -370198560 @ 11.0361
127.82/128.10	c bounds - >= -370183901 @ 11.0648
127.82/128.10	c bounds - >= -370169264 @ 11.0895
127.82/128.10	c bounds - >= -370154861 @ 11.1121
127.82/128.10	c bounds - >= -370140364 @ 11.138
127.82/128.10	c bounds - >= -370125950 @ 11.1596
127.82/128.10	c bounds - >= -370111672 @ 11.1854
127.82/128.10	c bounds - >= -370097502 @ 11.2069
127.82/128.10	c bounds - >= -370083339 @ 11.2895
127.82/128.10	c bounds - >= -370069187 @ 11.3122
127.82/128.10	c bounds - >= -370055055 @ 11.3341
127.82/128.10	c bounds - >= -370041082 @ 11.3668
127.82/128.10	c bounds - >= -370027155 @ 11.3941
127.82/128.10	c bounds - >= -370013243 @ 11.4171
127.82/128.10	c bounds - >= -369999343 @ 11.444
127.82/128.10	c bounds - >= -369985506 @ 12.1831
127.82/128.10	c bounds - >= -369971379 @ 13.1176
127.82/128.10	c bounds - >= -369957378 @ 13.1998
127.82/128.10	c bounds - >= -369943560 @ 13.3331
127.82/128.10	c #Conflicts:       1000 | #Constraints:     360840
127.82/128.10	c bounds - >= -369929731 @ 20.0627
127.82/128.10	c #Conflicts:       2000 | #Constraints:     361842
127.82/128.10	c INPROCESSING
127.82/128.10	c GARBAGE COLLECT
127.82/128.10	c #Conflicts:       3000 | #Constraints:     361744
127.82/128.10	c #Conflicts:       4000 | #Constraints:     362744
127.82/128.10	c INPROCESSING
127.82/128.10	c GARBAGE COLLECT
127.82/128.10	c #Conflicts:       5000 | #Constraints:     362142
127.82/128.10	c #Conflicts:       6000 | #Constraints:     363142
127.82/128.10	c INPROCESSING
127.82/128.10	c GARBAGE COLLECT
127.82/128.10	c #Conflicts:       7000 | #Constraints:     362143
127.82/128.10	c #Conflicts:       8000 | #Constraints:     363143
127.82/128.10	c #Conflicts:       9000 | #Constraints:     364143
127.82/128.10	c INPROCESSING
127.82/128.10	c GARBAGE COLLECT
127.82/128.10	c #Conflicts:      10000 | #Constraints:     362838
127.82/128.10	c #Conflicts:      11000 | #Constraints:     363838
127.82/128.10	c #Conflicts:      12000 | #Constraints:     364838
127.82/128.10	c INPROCESSING
127.82/128.10	c GARBAGE COLLECT
127.82/128.10	c #Conflicts:      13000 | #Constraints:     363292
127.82/128.10	c #Conflicts:      14000 | #Constraints:     364292
127.82/128.10	c #Conflicts:      15000 | #Constraints:     365292
127.82/128.10	c INPROCESSING
127.82/128.10	c GARBAGE COLLECT
127.82/128.10	c #Conflicts:      16000 | #Constraints:     363521
127.82/128.10	c #Conflicts:      17000 | #Constraints:     364521
127.82/128.10	c #Conflicts:      18000 | #Constraints:     365521
127.82/128.10	c INPROCESSING
127.82/128.10	c GARBAGE COLLECT
127.82/128.10	c #Conflicts:      19000 | #Constraints:     363536
581.83/583.19	c #Conflicts:      20000 | #Constraints:     364536
581.83/583.19	c #Conflicts:      21000 | #Constraints:     365536
581.83/583.19	c INPROCESSING
581.83/583.19	c GARBAGE COLLECT
581.83/583.19	c #Conflicts:      22000 | #Constraints:     363344
581.83/583.19	c #Conflicts:      23000 | #Constraints:     364344
581.83/583.19	c #Conflicts:      24000 | #Constraints:     365344
581.83/583.19	c #Conflicts:      25000 | #Constraints:     366344
581.83/583.19	c INPROCESSING
581.83/583.19	c GARBAGE COLLECT
581.83/583.19	c #Conflicts:      26000 | #Constraints:     363945
581.83/583.19	c #Conflicts:      27000 | #Constraints:     364945
581.83/583.19	c #Conflicts:      28000 | #Constraints:     365945
581.83/583.19	c #Conflicts:      29000 | #Constraints:     366945
581.83/583.19	c INPROCESSING
581.83/583.19	c GARBAGE COLLECT
581.83/583.19	c #Conflicts:      30000 | #Constraints:     364350
581.83/583.19	c #Conflicts:      31000 | #Constraints:     365350
581.83/583.19	c #Conflicts:      32000 | #Constraints:     366350
581.83/583.19	c #Conflicts:      33000 | #Constraints:     367350
581.83/583.19	c INPROCESSING
581.83/583.19	c GARBAGE COLLECT
581.83/583.19	c #Conflicts:      34000 | #Constraints:     364553
581.83/583.19	c #Conflicts:      35000 | #Constraints:     365553
581.83/583.19	c #Conflicts:      36000 | #Constraints:     366553
581.83/583.19	c #Conflicts:      37000 | #Constraints:     367553
581.83/583.19	c INPROCESSING
581.83/583.19	c GARBAGE COLLECT
581.83/583.19	c #Conflicts:      38000 | #Constraints:     364558
581.83/583.19	c #Conflicts:      39000 | #Constraints:     365558
581.83/583.19	c #Conflicts:      40000 | #Constraints:     366558
581.83/583.19	c #Conflicts:      41000 | #Constraints:     367558
581.83/583.19	c INPROCESSING
581.83/583.19	c GARBAGE COLLECT
581.83/583.19	c #Conflicts:      42000 | #Constraints:     364366
581.83/583.19	c #Conflicts:      43000 | #Constraints:     365366
581.83/583.19	c #Conflicts:      44000 | #Constraints:     366366
581.83/583.19	c #Conflicts:      45000 | #Constraints:     367366
581.83/583.19	c #Conflicts:      46000 | #Constraints:     368366
581.83/583.19	c INPROCESSING
581.83/583.19	c GARBAGE COLLECT
581.83/583.19	c #Conflicts:      47000 | #Constraints:     364963
581.83/583.19	c #Conflicts:      48000 | #Constraints:     365963
581.83/583.19	c #Conflicts:      49000 | #Constraints:     366963
581.83/583.19	c #Conflicts:      50000 | #Constraints:     367963
581.83/583.19	c #Conflicts:      51000 | #Constraints:     368963
581.83/583.19	c INPROCESSING
581.83/583.19	c GARBAGE COLLECT
581.83/583.19	c #Conflicts:      52000 | #Constraints:     365376
581.83/583.19	c #Conflicts:      53000 | #Constraints:     366376
581.83/583.19	c #Conflicts:      54000 | #Constraints:     367376
581.83/583.19	c #Conflicts:      55000 | #Constraints:     368376
581.83/583.19	c #Conflicts:      56000 | #Constraints:     369376
581.83/583.19	c INPROCESSING
581.83/583.19	c GARBAGE COLLECT
581.83/583.19	c #Conflicts:      57000 | #Constraints:     365586
581.83/583.19	c bounds - >= -369915912 @ 407.97
581.83/583.19	c #Conflicts:      58000 | #Constraints:     366587
581.83/583.19	c #Conflicts:      59000 | #Constraints:     367587
581.83/583.19	c #Conflicts:      60000 | #Constraints:     368587
581.83/583.19	c #Conflicts:      61000 | #Constraints:     369587
581.83/583.19	c INPROCESSING
581.83/583.19	c GARBAGE COLLECT
581.83/583.19	c #Conflicts:      62000 | #Constraints:     365572
581.83/583.19	c #Conflicts:      63000 | #Constraints:     366572
581.83/583.19	c #Conflicts:      64000 | #Constraints:     367572
581.83/583.19	c #Conflicts:      65000 | #Constraints:     368572
581.83/583.19	c #Conflicts:      66000 | #Constraints:     369572
581.83/583.19	c INPROCESSING
581.83/583.19	c GARBAGE COLLECT
581.83/583.19	c #Conflicts:      67000 | #Constraints:     365367
581.83/583.19	c #Conflicts:      68000 | #Constraints:     366367
581.83/583.19	c #Conflicts:      69000 | #Constraints:     367367
581.83/583.19	c #Conflicts:      70000 | #Constraints:     368367
581.83/583.19	c #Conflicts:      71000 | #Constraints:     369367
581.83/583.19	c #Conflicts:      72000 | #Constraints:     370367
581.83/583.19	c INPROCESSING
581.83/583.19	c GARBAGE COLLECT
581.83/583.19	c #Conflicts:      73000 | #Constraints:     365960
581.83/583.19	c #Conflicts:      74000 | #Constraints:     366960
581.83/583.19	c #Conflicts:      75000 | #Constraints:     367960
581.83/583.19	c #Conflicts:      76000 | #Constraints:     368960
581.83/583.19	c #Conflicts:      77000 | #Constraints:     369960
581.83/583.19	c #Conflicts:      78000 | #Constraints:     370960
581.83/583.19	c INPROCESSING
581.83/583.19	c GARBAGE COLLECT
581.83/583.19	c #Conflicts:      79000 | #Constraints:     366352
581.83/583.19	c #Conflicts:      80000 | #Constraints:     367352
581.83/583.19	c #Conflicts:      81000 | #Constraints:     368352
581.83/583.19	c #Conflicts:      82000 | #Constraints:     369352
581.83/583.19	c #Conflicts:      83000 | #Constraints:     370352
581.83/583.19	c #Conflicts:      84000 | #Constraints:     371352
581.83/583.19	c INPROCESSING
581.83/583.19	c GARBAGE COLLECT
581.83/583.19	c #Conflicts:      85000 | #Constraints:     366556
581.83/583.19	c #Conflicts:      86000 | #Constraints:     367556
581.83/583.19	c #Conflicts:      87000 | #Constraints:     368556
581.83/583.19	c #Conflicts:      88000 | #Constraints:     369556
1355.86/1358.77	c #Conflicts:      89000 | #Constraints:     370556
1355.86/1358.77	c #Conflicts:      90000 | #Constraints:     371556
1355.86/1358.77	c INPROCESSING
1355.86/1358.77	c GARBAGE COLLECT
1355.86/1358.77	c #Conflicts:      91000 | #Constraints:     366557
1355.86/1358.77	c #Conflicts:      92000 | #Constraints:     367557
1355.86/1358.77	c #Conflicts:      93000 | #Constraints:     368557
1355.86/1358.77	c #Conflicts:      94000 | #Constraints:     369557
1355.86/1358.77	c #Conflicts:      95000 | #Constraints:     370557
1355.86/1358.77	c #Conflicts:      96000 | #Constraints:     371557
1355.86/1358.77	c INPROCESSING
1355.86/1358.77	c GARBAGE COLLECT
1355.86/1358.77	c #Conflicts:      97000 | #Constraints:     366356
1355.86/1358.77	c #Conflicts:      98000 | #Constraints:     367356
1355.86/1358.77	c #Conflicts:      99000 | #Constraints:     368356
1355.86/1358.77	c #Conflicts:     100000 | #Constraints:     369356
1355.86/1358.77	c #Conflicts:     101000 | #Constraints:     370356
1355.86/1358.77	c #Conflicts:     102000 | #Constraints:     371356
1355.86/1358.77	c #Conflicts:     103000 | #Constraints:     372356
1355.86/1358.77	c INPROCESSING
1355.86/1358.77	c GARBAGE COLLECT
1355.86/1358.77	c #Conflicts:     104000 | #Constraints:     366951
1355.86/1358.77	c #Conflicts:     105000 | #Constraints:     367951
1355.86/1358.77	c #Conflicts:     106000 | #Constraints:     368951
1355.86/1358.77	c #Conflicts:     107000 | #Constraints:     369951
1355.86/1358.77	c #Conflicts:     108000 | #Constraints:     370951
1355.86/1358.77	c #Conflicts:     109000 | #Constraints:     371951
1355.86/1358.77	c #Conflicts:     110000 | #Constraints:     372951
1355.86/1358.77	c INPROCESSING
1355.86/1358.77	c GARBAGE COLLECT
1355.86/1358.77	c #Conflicts:     111000 | #Constraints:     367352
1355.86/1358.77	c #Conflicts:     112000 | #Constraints:     368352
1355.86/1358.77	c #Conflicts:     113000 | #Constraints:     369352
1355.86/1358.77	c #Conflicts:     114000 | #Constraints:     370352
1355.86/1358.77	c #Conflicts:     115000 | #Constraints:     371352
1355.86/1358.77	c #Conflicts:     116000 | #Constraints:     372352
1355.86/1358.77	c #Conflicts:     117000 | #Constraints:     373352
1355.86/1358.77	c INPROCESSING
1355.86/1358.77	c GARBAGE COLLECT
1355.86/1358.77	c #Conflicts:     118000 | #Constraints:     367550
1355.86/1358.77	c #Conflicts:     119000 | #Constraints:     368550
1355.86/1358.77	c #Conflicts:     120000 | #Constraints:     369550
1355.86/1358.77	c #Conflicts:     121000 | #Constraints:     370550
1355.86/1358.77	c #Conflicts:     122000 | #Constraints:     371550
1355.86/1358.77	c #Conflicts:     123000 | #Constraints:     372550
1355.86/1358.77	c #Conflicts:     124000 | #Constraints:     373550
1355.86/1358.77	c INPROCESSING
1355.86/1358.77	c GARBAGE COLLECT
1355.86/1358.77	c #Conflicts:     125000 | #Constraints:     367562
1355.86/1358.77	c #Conflicts:     126000 | #Constraints:     368562
1355.86/1358.77	c #Conflicts:     127000 | #Constraints:     369562
1355.86/1358.77	c #Conflicts:     128000 | #Constraints:     370562
1355.86/1358.77	c #Conflicts:     129000 | #Constraints:     371562
1355.86/1358.77	c #Conflicts:     130000 | #Constraints:     372562
1355.86/1358.77	c #Conflicts:     131000 | #Constraints:     373562
1355.86/1358.77	c INPROCESSING
1355.86/1358.77	c GARBAGE COLLECT
1355.86/1358.77	c #Conflicts:     132000 | #Constraints:     367358
1355.86/1358.77	c #Conflicts:     133000 | #Constraints:     368358
1355.86/1358.77	c #Conflicts:     134000 | #Constraints:     369358
1355.86/1358.77	c #Conflicts:     135000 | #Constraints:     370358
1355.86/1358.77	c #Conflicts:     136000 | #Constraints:     371358
1355.86/1358.77	c #Conflicts:     137000 | #Constraints:     372358
1355.86/1358.77	c #Conflicts:     138000 | #Constraints:     373358
1355.86/1358.77	c #Conflicts:     139000 | #Constraints:     374358
1355.86/1358.77	c INPROCESSING
1355.86/1358.77	c GARBAGE COLLECT
1355.86/1358.77	c #Conflicts:     140000 | #Constraints:     367959
1355.86/1358.77	c #Conflicts:     141000 | #Constraints:     368959
1355.86/1358.77	c #Conflicts:     142000 | #Constraints:     369959
1355.86/1358.77	c #Conflicts:     143000 | #Constraints:     370959
1355.86/1358.77	c #Conflicts:     144000 | #Constraints:     371959
1355.86/1358.77	c #Conflicts:     145000 | #Constraints:     372959
1355.86/1358.77	c #Conflicts:     146000 | #Constraints:     373959
1355.86/1358.77	c #Conflicts:     147000 | #Constraints:     374959
1355.86/1358.77	c INPROCESSING
1355.86/1358.77	c GARBAGE COLLECT
1355.86/1358.77	c #Conflicts:     148000 | #Constraints:     368365
1355.86/1358.77	c #Conflicts:     149000 | #Constraints:     369365
1355.86/1358.77	c #Conflicts:     150000 | #Constraints:     370365
1355.86/1358.77	c #Conflicts:     151000 | #Constraints:     371365
1355.86/1358.77	c #Conflicts:     152000 | #Constraints:     372365
1355.86/1358.77	c #Conflicts:     153000 | #Constraints:     373365
1355.86/1358.77	c #Conflicts:     154000 | #Constraints:     374365
1355.86/1358.77	c #Conflicts:     155000 | #Constraints:     375365
1355.86/1358.77	c INPROCESSING
1355.86/1358.77	c GARBAGE COLLECT
1355.86/1358.77	c #Conflicts:     156000 | #Constraints:     368580
1355.86/1358.77	c #Conflicts:     157000 | #Constraints:     369580
1355.86/1358.77	c #Conflicts:     158000 | #Constraints:     370580
1355.86/1358.77	c bounds - >= -369902090 @ 1347.75
1355.86/1358.77	c #Conflicts:     159000 | #Constraints:     371581
1355.86/1358.77	c #Conflicts:     160000 | #Constraints:     372581
2276.11/2280.88	c #Conflicts:     161000 | #Constraints:     373581
2276.11/2280.88	c #Conflicts:     162000 | #Constraints:     374581
2276.11/2280.88	c #Conflicts:     163000 | #Constraints:     375581
2276.11/2280.88	c INPROCESSING
2276.11/2280.88	c GARBAGE COLLECT
2276.11/2280.88	c #Conflicts:     164000 | #Constraints:     368571
2276.11/2280.88	c #Conflicts:     165000 | #Constraints:     369571
2276.11/2280.88	c #Conflicts:     166000 | #Constraints:     370571
2276.11/2280.88	c #Conflicts:     167000 | #Constraints:     371571
2276.11/2280.88	c #Conflicts:     168000 | #Constraints:     372571
2276.11/2280.88	c #Conflicts:     169000 | #Constraints:     373571
2276.11/2280.88	c #Conflicts:     170000 | #Constraints:     374571
2276.11/2280.88	c #Conflicts:     171000 | #Constraints:     375571
2276.11/2280.88	c INPROCESSING
2276.11/2280.88	c GARBAGE COLLECT
2276.11/2280.88	c #Conflicts:     172000 | #Constraints:     368359
2276.11/2280.88	c #Conflicts:     173000 | #Constraints:     369359
2276.11/2280.88	c #Conflicts:     174000 | #Constraints:     370359
2276.11/2280.88	c #Conflicts:     175000 | #Constraints:     371359
2276.11/2280.88	c #Conflicts:     176000 | #Constraints:     372359
2276.11/2280.88	c #Conflicts:     177000 | #Constraints:     373359
2276.11/2280.88	c #Conflicts:     178000 | #Constraints:     374359
2276.11/2280.88	c #Conflicts:     179000 | #Constraints:     375359
2276.11/2280.88	c #Conflicts:     180000 | #Constraints:     376359
2276.11/2280.88	c INPROCESSING
2276.11/2280.88	c GARBAGE COLLECT
2276.11/2280.88	c #Conflicts:     181000 | #Constraints:     368956
2276.11/2280.88	c #Conflicts:     182000 | #Constraints:     369956
2276.11/2280.88	c #Conflicts:     183000 | #Constraints:     370956
2276.11/2280.88	c #Conflicts:     184000 | #Constraints:     371956
2276.11/2280.88	c #Conflicts:     185000 | #Constraints:     372956
2276.11/2280.88	c #Conflicts:     186000 | #Constraints:     373956
2276.11/2280.88	c #Conflicts:     187000 | #Constraints:     374956
2276.11/2280.88	c #Conflicts:     188000 | #Constraints:     375956
2276.11/2280.88	c #Conflicts:     189000 | #Constraints:     376956
2276.11/2280.88	c INPROCESSING
2276.11/2280.88	c GARBAGE COLLECT
2276.11/2280.88	c #Conflicts:     190000 | #Constraints:     369366
2276.11/2280.88	c #Conflicts:     191000 | #Constraints:     370366
2276.11/2280.88	c #Conflicts:     192000 | #Constraints:     371366
2276.11/2280.88	c #Conflicts:     193000 | #Constraints:     372366
2276.11/2280.88	c #Conflicts:     194000 | #Constraints:     373366
2276.11/2280.88	c #Conflicts:     195000 | #Constraints:     374366
2276.11/2280.88	c #Conflicts:     196000 | #Constraints:     375366
2276.11/2280.88	c #Conflicts:     197000 | #Constraints:     376366
2276.11/2280.89	c #Conflicts:     198000 | #Constraints:     377366
2276.11/2280.89	c INPROCESSING
2276.11/2280.89	c GARBAGE COLLECT
2276.11/2280.89	c #Conflicts:     199000 | #Constraints:     369578
2276.11/2280.89	c #Conflicts:     200000 | #Constraints:     370578
2276.11/2280.89	c #Conflicts:     201000 | #Constraints:     371578
2276.11/2280.89	c #Conflicts:     202000 | #Constraints:     372578
2276.11/2280.89	c #Conflicts:     203000 | #Constraints:     373578
2276.11/2280.89	c #Conflicts:     204000 | #Constraints:     374578
2276.11/2280.89	c #Conflicts:     205000 | #Constraints:     375578
2276.11/2280.89	c #Conflicts:     206000 | #Constraints:     376578
2276.11/2280.89	c #Conflicts:     207000 | #Constraints:     377578
2276.11/2280.89	c INPROCESSING
2276.11/2280.89	c GARBAGE COLLECT
2276.11/2280.89	c #Conflicts:     208000 | #Constraints:     369576
2276.11/2280.89	c #Conflicts:     209000 | #Constraints:     370576
2276.11/2280.89	c #Conflicts:     210000 | #Constraints:     371576
2276.11/2280.89	c #Conflicts:     211000 | #Constraints:     372576
2276.11/2280.89	c #Conflicts:     212000 | #Constraints:     373576
2276.11/2280.89	c #Conflicts:     213000 | #Constraints:     374576
2276.11/2280.89	c #Conflicts:     214000 | #Constraints:     375576
2276.11/2280.89	c #Conflicts:     215000 | #Constraints:     376576
2276.11/2280.89	c #Conflicts:     216000 | #Constraints:     377576
2276.11/2280.89	c INPROCESSING
2276.11/2280.89	c GARBAGE COLLECT
2276.11/2280.89	c #Conflicts:     217000 | #Constraints:     369383
2276.11/2280.89	c #Conflicts:     218000 | #Constraints:     370383
2276.11/2280.89	c #Conflicts:     219000 | #Constraints:     371383
2276.11/2280.89	c #Conflicts:     220000 | #Constraints:     372383
2276.11/2280.89	c #Conflicts:     221000 | #Constraints:     373383
2276.11/2280.89	c #Conflicts:     222000 | #Constraints:     374383
2276.11/2280.89	c #Conflicts:     223000 | #Constraints:     375383
2276.11/2280.89	c #Conflicts:     224000 | #Constraints:     376383
2276.11/2280.89	c #Conflicts:     225000 | #Constraints:     377383
2276.11/2280.89	c #Conflicts:     226000 | #Constraints:     378383
2276.11/2280.89	c INPROCESSING
2276.11/2280.89	c GARBAGE COLLECT
2276.11/2280.89	c #Conflicts:     227000 | #Constraints:     369985
2276.11/2280.89	c #Conflicts:     228000 | #Constraints:     370985
2276.11/2280.89	c #Conflicts:     229000 | #Constraints:     371985
2276.11/2280.89	c #Conflicts:     230000 | #Constraints:     372985
2276.11/2280.89	c #Conflicts:     231000 | #Constraints:     373985
2276.11/2280.89	c #Conflicts:     232000 | #Constraints:     374985
2276.11/2280.89	c #Conflicts:     233000 | #Constraints:     375985
2276.11/2280.89	c #Conflicts:     234000 | #Constraints:     376985
2755.44/2761.17	c #Conflicts:     235000 | #Constraints:     377985
2755.44/2761.17	c #Conflicts:     236000 | #Constraints:     378985
2755.44/2761.17	c INPROCESSING
2755.44/2761.17	c GARBAGE COLLECT
2755.44/2761.17	c #Conflicts:     237000 | #Constraints:     370380
2755.44/2761.17	c #Conflicts:     238000 | #Constraints:     371380
2755.44/2761.17	c #Conflicts:     239000 | #Constraints:     372380
2755.44/2761.17	c #Conflicts:     240000 | #Constraints:     373380
2755.44/2761.17	c #Conflicts:     241000 | #Constraints:     374380
2755.44/2761.17	c #Conflicts:     242000 | #Constraints:     375380
2755.44/2761.17	c #Conflicts:     243000 | #Constraints:     376380
2755.44/2761.17	c #Conflicts:     244000 | #Constraints:     377380
2755.44/2761.17	c #Conflicts:     245000 | #Constraints:     378380
2755.44/2761.17	c #Conflicts:     246000 | #Constraints:     379380
2755.44/2761.17	c INPROCESSING
2755.44/2761.17	c GARBAGE COLLECT
2755.44/2761.17	c #Conflicts:     247000 | #Constraints:     370576
2755.44/2761.17	c #Conflicts:     248000 | #Constraints:     371576
2755.44/2761.17	c #Conflicts:     249000 | #Constraints:     372576
2755.44/2761.17	c #Conflicts:     250000 | #Constraints:     373576
2755.44/2761.17	c #Conflicts:     251000 | #Constraints:     374576
2755.44/2761.17	c #Conflicts:     252000 | #Constraints:     375576
2755.44/2761.17	c #Conflicts:     253000 | #Constraints:     376576
2755.44/2761.17	c #Conflicts:     254000 | #Constraints:     377576
2755.44/2761.17	c #Conflicts:     255000 | #Constraints:     378576
2755.44/2761.17	c #Conflicts:     256000 | #Constraints:     379576
2755.44/2761.17	c INPROCESSING
2755.44/2761.17	c GARBAGE COLLECT
2755.44/2761.17	c #Conflicts:     257000 | #Constraints:     370571
2755.44/2761.17	c #Conflicts:     258000 | #Constraints:     371571
2755.44/2761.17	c #Conflicts:     259000 | #Constraints:     372571
2755.44/2761.17	c #Conflicts:     260000 | #Constraints:     373571
2755.44/2761.17	c #Conflicts:     261000 | #Constraints:     374571
2755.44/2761.17	c #Conflicts:     262000 | #Constraints:     375571
2755.44/2761.17	c #Conflicts:     263000 | #Constraints:     376571
2755.44/2761.17	c #Conflicts:     264000 | #Constraints:     377571
2755.44/2761.17	c #Conflicts:     265000 | #Constraints:     378571
2755.44/2761.17	c #Conflicts:     266000 | #Constraints:     379571
2755.44/2761.17	c INPROCESSING
2755.44/2761.17	c GARBAGE COLLECT
2755.44/2761.17	c #Conflicts:     267000 | #Constraints:     370370
2755.44/2761.17	c #Conflicts:     268000 | #Constraints:     371370
2755.44/2761.17	c #Conflicts:     269000 | #Constraints:     372370
2755.44/2761.17	c #Conflicts:     270000 | #Constraints:     373370
2755.44/2761.17	c #Conflicts:     271000 | #Constraints:     374370
2755.44/2761.17	c #Conflicts:     272000 | #Constraints:     375370
2755.44/2761.17	c #Conflicts:     273000 | #Constraints:     376370
2755.44/2761.17	c #Conflicts:     274000 | #Constraints:     377370
2755.44/2761.17	c #Conflicts:     275000 | #Constraints:     378370
2755.44/2761.17	c #Conflicts:     276000 | #Constraints:     379370
2755.44/2761.17	c #Conflicts:     277000 | #Constraints:     380370
2755.44/2761.17	c INPROCESSING
2755.44/2761.17	c GARBAGE COLLECT
2755.44/2761.17	c #Conflicts:     278000 | #Constraints:     370953
2755.44/2761.17	c #Conflicts:     279000 | #Constraints:     371953
2755.44/2761.17	c #Conflicts:     280000 | #Constraints:     372953
2755.44/2761.17	c #Conflicts:     281000 | #Constraints:     373953
2755.44/2761.17	c #Conflicts:     282000 | #Constraints:     374953
2755.44/2761.17	c #Conflicts:     283000 | #Constraints:     375953
2755.44/2761.17	c #Conflicts:     284000 | #Constraints:     376953
2755.44/2761.17	c #Conflicts:     285000 | #Constraints:     377953
2755.44/2761.17	c #Conflicts:     286000 | #Constraints:     378953
2755.44/2761.17	c #Conflicts:     287000 | #Constraints:     379953
2755.44/2761.17	c #Conflicts:     288000 | #Constraints:     380953
2755.44/2761.17	c INPROCESSING
2755.44/2761.17	c GARBAGE COLLECT
2755.44/2761.17	c #Conflicts:     289000 | #Constraints:     371353
2755.44/2761.17	c #Conflicts:     290000 | #Constraints:     372353
2755.44/2761.17	c #Conflicts:     291000 | #Constraints:     373353
2755.44/2761.17	c #Conflicts:     292000 | #Constraints:     374353
2755.44/2761.17	c #Conflicts:     293000 | #Constraints:     375353
2755.44/2761.17	c #Conflicts:     294000 | #Constraints:     376353
2755.44/2761.17	c #Conflicts:     295000 | #Constraints:     377353
2755.44/2761.17	c #Conflicts:     296000 | #Constraints:     378353
2755.44/2761.17	c #Conflicts:     297000 | #Constraints:     379353
2755.44/2761.17	c #Conflicts:     298000 | #Constraints:     380353
2755.44/2761.17	c #Conflicts:     299000 | #Constraints:     381353
2755.44/2761.17	c INPROCESSING
2755.44/2761.17	c GARBAGE COLLECT
2755.44/2761.17	c #Conflicts:     300000 | #Constraints:     371557
2755.44/2761.17	c #Conflicts:     301000 | #Constraints:     372557
2755.44/2761.17	c #Conflicts:     302000 | #Constraints:     373557
2755.44/2761.17	c #Conflicts:     303000 | #Constraints:     374557
2755.44/2761.17	c #Conflicts:     304000 | #Constraints:     375557
2755.44/2761.17	c #Conflicts:     305000 | #Constraints:     376557
2755.44/2761.17	c #Conflicts:     306000 | #Constraints:     377557
2755.44/2761.17	c #Conflicts:     307000 | #Constraints:     378557
2755.44/2761.17	c #Conflicts:     308000 | #Constraints:     379557
3574.85/3582.15	c #Conflicts:     309000 | #Constraints:     380557
3574.85/3582.15	c #Conflicts:     310000 | #Constraints:     381557
3574.85/3582.15	c INPROCESSING
3574.85/3582.15	c GARBAGE COLLECT
3574.85/3582.15	c #Conflicts:     311000 | #Constraints:     371565
3574.85/3582.15	c #Conflicts:     312000 | #Constraints:     372565
3574.85/3582.15	c #Conflicts:     313000 | #Constraints:     373565
3574.85/3582.15	c #Conflicts:     314000 | #Constraints:     374565
3574.85/3582.15	c #Conflicts:     315000 | #Constraints:     375565
3574.85/3582.15	c #Conflicts:     316000 | #Constraints:     376565
3574.85/3582.15	c #Conflicts:     317000 | #Constraints:     377565
3574.85/3582.15	c #Conflicts:     318000 | #Constraints:     378565
3574.85/3582.15	c #Conflicts:     319000 | #Constraints:     379565
3574.85/3582.15	c #Conflicts:     320000 | #Constraints:     380565
3574.85/3582.15	c #Conflicts:     321000 | #Constraints:     381565
3574.85/3582.15	c INPROCESSING
3574.85/3582.15	c GARBAGE COLLECT
3574.85/3582.15	c #Conflicts:     322000 | #Constraints:     371364
3574.85/3582.15	c #Conflicts:     323000 | #Constraints:     372364
3574.85/3582.15	c #Conflicts:     324000 | #Constraints:     373364
3574.85/3582.15	c #Conflicts:     325000 | #Constraints:     374364
3574.85/3582.15	c #Conflicts:     326000 | #Constraints:     375364
3574.85/3582.15	c #Conflicts:     327000 | #Constraints:     376364
3574.85/3582.15	c #Conflicts:     328000 | #Constraints:     377364
3574.85/3582.15	c #Conflicts:     329000 | #Constraints:     378364
3574.85/3582.15	c #Conflicts:     330000 | #Constraints:     379364
3574.85/3582.15	c bounds - >= -369888272 @ 3209.58
3574.85/3582.15	c #Conflicts:     331000 | #Constraints:     380365
3574.85/3582.15	c #Conflicts:     332000 | #Constraints:     381365
3574.85/3582.15	c #Conflicts:     333000 | #Constraints:     382365
3574.85/3582.15	c INPROCESSING
3574.85/3582.15	c GARBAGE COLLECT
3574.85/3582.15	c #Conflicts:     334000 | #Constraints:     371957
3574.85/3582.15	c #Conflicts:     335000 | #Constraints:     372957
3574.85/3582.15	c #Conflicts:     336000 | #Constraints:     373957
3574.85/3582.15	c #Conflicts:     337000 | #Constraints:     374957
3574.85/3582.15	c #Conflicts:     338000 | #Constraints:     375957
3574.85/3582.15	c #Conflicts:     339000 | #Constraints:     376957
3574.85/3582.15	c #Conflicts:     340000 | #Constraints:     377957
3574.85/3582.15	c #Conflicts:     341000 | #Constraints:     378957
3574.85/3582.15	c #Conflicts:     342000 | #Constraints:     379957
3574.85/3582.15	c #Conflicts:     343000 | #Constraints:     380957
3574.85/3582.15	c #Conflicts:     344000 | #Constraints:     381957
3574.85/3582.15	c #Conflicts:     345000 | #Constraints:     382957
3574.85/3582.15	c INPROCESSING
3574.85/3582.15	c GARBAGE COLLECT
3574.85/3582.15	c #Conflicts:     346000 | #Constraints:     372346
3574.85/3582.15	c #Conflicts:     347000 | #Constraints:     373346
3574.85/3582.15	c #Conflicts:     348000 | #Constraints:     374346
3574.85/3582.15	c #Conflicts:     349000 | #Constraints:     375346
3574.85/3582.15	c #Conflicts:     350000 | #Constraints:     376346
3574.85/3582.15	c #Conflicts:     351000 | #Constraints:     377346
3574.85/3582.15	c #Conflicts:     352000 | #Constraints:     378346
3574.85/3582.15	c #Conflicts:     353000 | #Constraints:     379346
3574.85/3582.15	c #Conflicts:     354000 | #Constraints:     380346
3574.85/3582.15	c #Conflicts:     355000 | #Constraints:     381346
3574.85/3582.15	c #Conflicts:     356000 | #Constraints:     382346
3574.85/3582.15	c #Conflicts:     357000 | #Constraints:     383346
3574.85/3582.15	c INPROCESSING
3574.85/3582.15	c GARBAGE COLLECT
3574.85/3582.15	c #Conflicts:     358000 | #Constraints:     372559
3574.85/3582.15	c #Conflicts:     359000 | #Constraints:     373559
3574.85/3582.15	c #Conflicts:     360000 | #Constraints:     374559
3574.85/3582.15	c #Conflicts:     361000 | #Constraints:     375559
3574.85/3582.15	c #Conflicts:     362000 | #Constraints:     376559
3574.85/3582.15	c #Conflicts:     363000 | #Constraints:     377559
3574.85/3582.15	c #Conflicts:     364000 | #Constraints:     378559
3574.85/3582.15	c #Conflicts:     365000 | #Constraints:     379559
3574.85/3582.15	c #Conflicts:     366000 | #Constraints:     380559
3574.85/3582.15	c #Conflicts:     367000 | #Constraints:     381559
3574.85/3582.15	c #Conflicts:     368000 | #Constraints:     382559
3574.85/3582.15	c #Conflicts:     369000 | #Constraints:     383559
3574.85/3582.15	c INPROCESSING
3574.85/3582.15	c GARBAGE COLLECT
3574.85/3582.15	c #Conflicts:     370000 | #Constraints:     372557
3574.85/3582.15	c #Conflicts:     371000 | #Constraints:     373557
3574.85/3582.15	c #Conflicts:     372000 | #Constraints:     374557
3574.85/3582.15	c #Conflicts:     373000 | #Constraints:     375557
3574.85/3582.15	c #Conflicts:     374000 | #Constraints:     376557
3574.85/3582.15	c #Conflicts:     375000 | #Constraints:     377557
3574.85/3582.15	c #Conflicts:     376000 | #Constraints:     378557
3574.85/3582.15	c #Conflicts:     377000 | #Constraints:     379557
3574.85/3582.15	c #Conflicts:     378000 | #Constraints:     380557
3574.85/3582.15	c #Conflicts:     379000 | #Constraints:     381557
3574.85/3582.15	c #Conflicts:     380000 | #Constraints:     382557
3574.85/3582.15	c #Conflicts:     381000 | #Constraints:     383557
3574.85/3582.15	c INPROCESSING
3574.85/3582.15	c GARBAGE COLLECT
3574.85/3582.15	c #Conflicts:     382000 | #Constraints:     372353
3600.29/3607.61	c #Conflicts:     383000 | #Constraints:     373353
3600.29/3607.61	c #Conflicts:     384000 | #Constraints:     374353
3600.29/3607.61	c #Conflicts:     385000 | #Constraints:     375353
3600.29/3607.61	c #Conflicts:     386000 | #Constraints:     376353
3600.29/3607.61	c Program interrupted by user.
3600.29/3607.61	c cpu time 3594.19 s
3600.29/3607.61	c deterministic time 512128840979 5.12e+11
3600.29/3607.61	c optimization time 37.1654 s
3600.29/3607.61	c total solve time 3556.31 s
3600.29/3607.61	c core-guided solve time 3556.31 s
3600.29/3607.61	c propagation time 1839.79 s
3600.29/3607.61	c conflict analysis time 1628.48 s
3600.29/3607.61	c propagations 329614517
3600.29/3607.61	c resolve steps 12849174
3600.29/3607.61	c decisions 4387528
3600.29/3607.61	c conflicts 386099
3600.29/3607.61	c restarts 924
3600.29/3607.61	c inprocessing phases 53
3600.29/3607.61	c input clauses 359686
3600.29/3607.61	c input cardinalities 0
3600.29/3607.61	c input general constraints 116
3600.29/3607.61	c input average constraint length 12.60
3600.29/3607.61	c input average constraint degree 27808.87
3600.29/3607.61	c learned clauses 180921
3600.29/3607.61	c learned cardinalities 6
3600.29/3607.61	c learned general constraints 205216
3600.29/3607.61	c learned average constraint length 4646.98
3600.29/3607.61	c learned average constraint degree 4620378650.70
3600.29/3607.61	c watched constraints 196539
3600.29/3607.61	c counting constraints 8793
3600.29/3607.61	c gcd simplifications 79926
3600.29/3607.61	c detected cardinalities 4
3600.29/3607.61	c weakened non-implied lits 427038677
3600.29/3607.61	c weakened non-implying lits 3322645
3600.29/3607.61	c original variables 42438
3600.29/3607.61	c clausal propagations 133975023
3600.29/3607.61	c cardinality propagations 6
3600.29/3607.61	c watched propagations 188501065
3600.29/3607.61	c counting propagations 1853518
3600.29/3607.61	c watch lookups 6327198045
3600.29/3607.61	c watch backjump lookups 5088861888
3600.29/3607.61	c watch checks 393423567552
3600.29/3607.61	c propagation checks 101280415324
3600.29/3607.61	c constraint additions 5340439675
3600.29/3607.61	c trail pops 334356449
3600.29/3607.61	c formula constraints 358395
3600.29/3607.61	c learned constraints 386143
3600.29/3607.61	c bound constraints 86
3600.29/3607.61	c core-guided constraints 1321
3600.29/3607.61	c encountered formula constraints 12282161
3600.29/3607.61	c encountered learned constraints 924732
3600.29/3607.61	c encountered bound constraints 0
3600.29/3607.61	c encountered core-guided constraints 28380
3600.29/3607.61	c LP total time 0 s
3600.29/3607.61	c LP solve time 0 s
3600.29/3607.61	c LP constraints added 0
3600.29/3607.61	c LP constraints removed 0
3600.29/3607.61	c LP pivots internal 0
3600.29/3607.61	c LP pivots root 0
3600.29/3607.61	c LP calls 0
3600.29/3607.61	c LP optimalities 0
3600.29/3607.61	c LP no pivot count 0
3600.29/3607.61	c LP infeasibilities 0
3600.29/3607.61	c LP valid Farkas constraints 0
3600.29/3607.61	c LP learned Farkas constraints 0
3600.29/3607.61	c LP basis resets 0
3600.29/3607.61	c LP cycling count 0
3600.29/3607.61	c LP singular count 0
3600.29/3607.61	c LP no primal count 0
3600.29/3607.61	c LP no farkas count 0
3600.29/3607.61	c LP other issue count 0
3600.29/3607.61	c LP Gomory cuts 0
3600.29/3607.61	c LP learned cuts 0
3600.29/3607.61	c LP deleted cuts 0
3600.29/3607.61	c LP encountered Gomory constraints 0
3600.29/3607.61	c LP encountered Farkas constraints 0
3600.29/3607.61	c LP encountered learned Farkas constraints 0
3600.29/3607.61	c CG auxiliary variables introduced 1321
3600.29/3607.61	c CG solutions found 0
3600.29/3607.61	c CG cores constructed 86
3600.29/3607.61	c CG core cardinality constraints returned 3
3600.29/3607.61	c CG unit cores 0
3600.29/3607.61	c CG single cores 69
3600.29/3607.61	c CG blocks removed during cardinality reduction 85
3600.29/3607.61	c CG first core best 4
3600.29/3607.61	c CG decision core best 3
3600.29/3607.61	c CG core reduction tie 10
3600.29/3607.61	c CG core degree average 2.72
3600.29/3607.61	c CG core slack average 87.36
3600.29/3607.61	c CG exhausted 0
3600.29/3607.61	c CG exhaust time 0 s
3600.29/3607.61	c CG trimmed 759
3600.29/3607.61	c CG trim time 1.11897 s
3600.29/3607.61	c CG minimized 0
3600.29/3607.61	c CG minimize time 0 s
3600.29/3607.61	c CG am1 prop time 4.79669 s
3600.29/3607.61	c CG # am1s reformulated 1321
3600.29/3607.61	c CG lower bound derived from am1s 31103743
3600.29/3607.61	c CG # clausal cores 41
3600.29/3607.61	c CG # cardinality cores 0
3600.29/3607.61	c CG # pb cores 62
3600.29/3607.61	c CG # pb reforms 0
3600.29/3607.61	c CG # cores discarded because of pb reform 0
3600.29/3607.61	d LOWERBOUND -369888272
3600.29/3607.61	d NCORES 86
3600.29/3607.61	d NPBCORES 62
3600.29/3607.61	d NPBREFORM 0
3600.29/3607.61	d NTRIMMED 759
3600.29/3607.61	d NEXHAUSTED 0
3600.29/3607.61	d NAM1S 1321
3600.29/3607.61	d AM1LB 31103743
3600.29/3607.62	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 (49718 MiB free)
  memory of node 1: 64510 MiB (58470 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459296-1721899611/watcher-4459296-1721899611 -o /tmp/evaluation-result-4459296-1721899611/solver-4459296-1721899611 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721899611-225192 --watchdog 3760 pb-oll-rs HOME/instance-4459296-1721899611.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
Current StackSize limit: 8192 KiB

solver pid=225236, runsolver pid=225231

[startup+0.100282 s]*
/proc/loadavg: 2.05 3.57 3.91 7/254 225245
/proc/meminfo: memFree=110747112/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=50996 memory=17212 CPUtime=0.09 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 4322 0 0 0 7 2 0 0 20 0 1 0 26485286 52219904 4303 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 12749 4303 1187 291 0 4283 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 50996 KiB
Current children cumulated memory: 17212 KiB

[startup+0.205959 s]*
/proc/loadavg: 2.21 3.57 3.91 7/254 225245
/proc/meminfo: memFree=110719612/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=52184 memory=20840 CPUtime=0.19 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 4765 0 0 0 14 5 0 0 20 0 1 0 26485286 53436416 5210 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 13046 5210 1187 291 0 4580 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 52184 KiB
Current children cumulated memory: 20840 KiB

[startup+0.305921 s]*
/proc/loadavg: 2.21 3.57 3.91 7/254 225245
/proc/meminfo: memFree=110698804/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=56224 memory=23328 CPUtime=0.29 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 5358 0 0 0 21 8 0 0 20 0 1 0 26485286 57573376 5832 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 14056 5832 1187 291 0 5590 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 56224 KiB
Current children cumulated memory: 23328 KiB

[startup+0.700229 s]
/proc/loadavg: 2.21 3.57 3.91 7/254 225252
/proc/meminfo: memFree=110694492/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=65396 memory=34964 CPUtime=0.68 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 7248 0 0 0 48 20 0 0 20 0 1 0 26485286 66965504 8741 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 16349 8741 1187 291 0 7883 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 65396 KiB
Current children cumulated memory: 34964 KiB

[startup+1.50024 s]
/proc/loadavg: 2.21 3.57 3.91 6/258 225256
/proc/meminfo: memFree=109980456/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=110072 memory=78708 CPUtime=1.49 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 17075 0 0 0 121 28 0 0 20 0 1 0 26485286 112713728 19677 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 27518 19677 1298 291 0 19052 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 110072 KiB
Current children cumulated memory: 78708 KiB

[startup+3.10601 s]
/proc/loadavg: 2.21 3.57 3.91 6/258 225256
/proc/meminfo: memFree=109793076/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=149052 memory=117768 CPUtime=3.09 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 26823 0 0 0 280 29 0 0 20 0 1 0 26485286 152629248 29442 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 37263 29442 1298 291 0 28797 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 149052 KiB
Current children cumulated memory: 117768 KiB

[startup+6.30023 s]
/proc/loadavg: 2.35 3.58 3.91 6/258 225256
/proc/meminfo: memFree=109656748/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=164156 memory=132804 CPUtime=6.27 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 30603 0 0 0 597 30 0 0 20 0 1 0 26485286 168095744 33201 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 41039 33201 1298 291 0 32573 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 164156 KiB
Current children cumulated memory: 132804 KiB

[startup+12.7002 s]
/proc/loadavg: 2.48 3.59 3.91 6/258 225258
/proc/meminfo: memFree=109596636/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=210308 memory=173368 CPUtime=12.65 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 35494 0 0 0 1224 41 0 0 20 0 1 0 26485286 215355392 43342 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 52577 43342 1377 291 0 44111 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 210308 KiB
Current children cumulated memory: 173368 KiB

[startup+25.5002 s]
/proc/loadavg: 2.79 3.62 3.92 5/258 225259
/proc/meminfo: memFree=109344508/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=262456 memory=223720 CPUtime=25.43 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 41773 0 0 0 2495 48 0 0 20 0 1 0 26485286 268754944 55930 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 65614 55930 1440 291 0 57148 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 262456 KiB
Current children cumulated memory: 223720 KiB

[startup+51.1061 s]
/proc/loadavg: 3.27 3.66 3.92 5/258 225264
/proc/meminfo: memFree=109119864/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=422272 memory=320852 CPUtime=50.98 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 51751 0 0 0 5039 59 0 0 20 0 1 0 26485286 432406528 80213 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 105568 80213 1440 291 0 97102 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 422272 KiB
Current children cumulated memory: 320852 KiB

[startup+102.3 s]
/proc/loadavg: 3.92 3.77 3.95 5/260 225443
/proc/meminfo: memFree=108913636/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=472880 memory=383380 CPUtime=102.07 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 64276 0 0 0 10131 76 0 0 20 0 1 0 26485286 484229120 95845 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 118220 95845 1440 291 0 109754 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 472880 KiB
Current children cumulated memory: 383380 KiB

[startup+162.3 s]
/proc/loadavg: 4.03 3.83 3.96 5/260 225454
/proc/meminfo: memFree=108750860/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=489624 memory=434280 CPUtime=161.94 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 74324 0 0 0 16105 89 0 0 20 0 1 0 26485286 501374976 108570 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 122406 108570 1440 291 0 113940 0
Current children cumulated CPU time: 161.94 s
Current children cumulated vsize: 489624 KiB
Current children cumulated memory: 434280 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 3.90 3.98 5/260 225523
/proc/meminfo: memFree=108604096/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=640812 memory=486400 CPUtime=221.8 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 81055 0 0 0 22079 101 0 0 20 0 1 0 26485286 656191488 121600 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 160203 121600 1440 291 0 151737 0
Current children cumulated CPU time: 221.8 s
Current children cumulated vsize: 640812 KiB
Current children cumulated memory: 486400 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 3.95 3.99 5/260 225534
/proc/meminfo: memFree=108476872/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=641608 memory=511824 CPUtime=281.68 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 81337 0 0 0 28060 108 0 0 20 0 1 0 26485286 657006592 127956 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 160402 127956 1440 291 0 151936 0
Current children cumulated CPU time: 281.68 s
Current children cumulated vsize: 641608 KiB
Current children cumulated memory: 511824 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.97 4.00 5/258 225546
/proc/meminfo: memFree=108407060/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=642680 memory=521548 CPUtime=341.54 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 81699 0 0 0 34037 117 0 0 20 0 1 0 26485286 658104320 130387 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 160670 130387 1440 291 0 152204 0
Current children cumulated CPU time: 341.54 s
Current children cumulated vsize: 642680 KiB
Current children cumulated memory: 521548 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.01 4.01 5/258 225556
/proc/meminfo: memFree=108359668/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=644164 memory=523036 CPUtime=401.41 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 82233 0 0 0 40017 124 0 0 20 0 1 0 26485286 659623936 130759 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 161041 130759 1440 291 0 152575 0
Current children cumulated CPU time: 401.41 s
Current children cumulated vsize: 644164 KiB
Current children cumulated memory: 523036 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.02 4.01 5/256 225566
/proc/meminfo: memFree=108292572/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=638584 memory=541500 CPUtime=461.28 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 82771 0 0 0 45995 133 0 0 20 0 1 0 26485286 653910016 135375 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 159646 135375 1440 291 0 151180 0
Current children cumulated CPU time: 461.28 s

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

Current children cumulated memory: 1549524 KiB

[startup+2922.3 s]
/proc/loadavg: 3.05 3.38 3.76 4/249 226619
/proc/meminfo: memFree=108941856/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=1960408 memory=1565872 CPUtime=2916.32 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 263140 0 0 0 291099 533 0 0 20 0 1 0 26485286 2007457792 391468 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 490102 391468 1440 291 0 481636 0
Current children cumulated CPU time: 2916.32 s
Current children cumulated vsize: 1960408 KiB
Current children cumulated memory: 1565872 KiB

[startup+2982.3 s]
/proc/loadavg: 3.14 3.34 3.72 4/247 226629
/proc/meminfo: memFree=108935280/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=1960408 memory=1571380 CPUtime=2976.22 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 263437 0 0 0 297087 535 0 0 20 0 1 0 26485286 2007457792 392845 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 490102 392845 1440 291 0 481636 0
Current children cumulated CPU time: 2976.22 s
Current children cumulated vsize: 1960408 KiB
Current children cumulated memory: 1571380 KiB

[startup+3042.3 s]
/proc/loadavg: 3.11 3.29 3.68 4/247 226639
/proc/meminfo: memFree=108901320/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=1960408 memory=1604336 CPUtime=3036.1 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 264945 0 0 0 303073 537 0 0 20 0 1 0 26485286 2007457792 401084 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 490102 401084 1440 291 0 481636 0
Current children cumulated CPU time: 3036.1 s
Current children cumulated vsize: 1960408 KiB
Current children cumulated memory: 1604336 KiB

[startup+3102.3 s]
/proc/loadavg: 3.09 3.25 3.64 4/247 226650
/proc/meminfo: memFree=108884104/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=1960408 memory=1620524 CPUtime=3095.99 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 265503 0 0 0 309060 539 0 0 20 0 1 0 26485286 2007457792 405131 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 490102 405131 1440 291 0 481636 0
Current children cumulated CPU time: 3095.99 s
Current children cumulated vsize: 1960408 KiB
Current children cumulated memory: 1620524 KiB

[startup+3162.3 s]
/proc/loadavg: 3.10 3.22 3.60 4/247 226660
/proc/meminfo: memFree=108879320/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=1960408 memory=1624528 CPUtime=3155.88 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 266158 0 0 0 315046 542 0 0 20 0 1 0 26485286 2007457792 406132 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 490102 406132 1440 291 0 481636 0
Current children cumulated CPU time: 3155.88 s
Current children cumulated vsize: 1960408 KiB
Current children cumulated memory: 1624528 KiB

[startup+3222.3 s]
/proc/loadavg: 3.09 3.19 3.57 4/250 226675
/proc/meminfo: memFree=108863664/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=1960644 memory=1636428 CPUtime=3215.76 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 267124 0 0 0 321032 544 0 0 20 0 1 0 26485286 2007699456 409107 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 490161 409107 1440 291 0 481695 0
Current children cumulated CPU time: 3215.76 s
Current children cumulated vsize: 1960644 KiB
Current children cumulated memory: 1636428 KiB

[startup+3282.3 s]
/proc/loadavg: 3.07 3.17 3.54 4/250 226685
/proc/meminfo: memFree=108862448/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=1960408 memory=1635812 CPUtime=3275.64 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 268934 0 0 0 327008 556 0 0 20 0 1 0 26485286 2007457792 408953 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 490102 408953 1440 291 0 481636 0
Current children cumulated CPU time: 3275.64 s
Current children cumulated vsize: 1960408 KiB
Current children cumulated memory: 1635812 KiB

[startup+3342.3 s]
/proc/loadavg: 3.06 3.15 3.51 4/251 226698
/proc/meminfo: memFree=108856788/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=1960408 memory=1635812 CPUtime=3335.53 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 270808 0 0 0 332984 569 0 0 20 0 1 0 26485286 2007457792 408953 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 490102 408953 1440 291 0 481636 0
Current children cumulated CPU time: 3335.53 s
Current children cumulated vsize: 1960408 KiB
Current children cumulated memory: 1635812 KiB

[startup+3402.3 s]
/proc/loadavg: 3.06 3.14 3.48 4/251 226708
/proc/meminfo: memFree=108854820/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=1960408 memory=1635808 CPUtime=3395.39 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 272761 0 0 0 338959 580 0 0 20 0 1 0 26485286 2007457792 408952 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 490102 408952 1440 291 0 481636 0
Current children cumulated CPU time: 3395.39 s
Current children cumulated vsize: 1960408 KiB
Current children cumulated memory: 1635808 KiB

[startup+3462.3 s]
/proc/loadavg: 3.13 3.14 3.45 4/251 226718
/proc/meminfo: memFree=108852032/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=1960408 memory=1635812 CPUtime=3455.27 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 273323 0 0 0 344933 594 0 0 20 0 1 0 26485286 2007457792 408953 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 490102 408953 1440 291 0 481636 0
Current children cumulated CPU time: 3455.27 s
Current children cumulated vsize: 1960408 KiB
Current children cumulated memory: 1635812 KiB

[startup+3522.3 s]
/proc/loadavg: 3.10 3.13 3.43 4/252 227112
/proc/meminfo: memFree=108831000/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=1976568 memory=1651296 CPUtime=3515.15 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 278956 0 0 0 350916 599 0 0 20 0 1 0 26485286 2024005632 412824 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 494142 412824 1440 291 0 485676 0
Current children cumulated CPU time: 3515.15 s
Current children cumulated vsize: 1976568 KiB
Current children cumulated memory: 1651296 KiB

[startup+3582.3 s]
/proc/loadavg: 3.12 3.12 3.41 4/250 227122
/proc/meminfo: memFree=108789260/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=2014600 memory=1687740 CPUtime=3575.04 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 290688 0 0 0 356896 608 0 0 20 0 1 0 26485286 2062950400 421935 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 503650 421935 1440 291 0 495184 0
Current children cumulated CPU time: 3575.04 s
Current children cumulated vsize: 2014600 KiB
Current children cumulated memory: 1687740 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.4 s]
/proc/loadavg: 3.08 3.11 3.39 4/250 227125
/proc/meminfo: memFree=108788304/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=2014600 memory=1687756 CPUtime=3600.09 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 290834 0 0 0 359397 612 0 0 20 0 1 0 26485286 2062950400 421939 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 503650 421939 1440 291 0 495184 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2014600 KiB
Current children cumulated memory: 1687756 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.19 s, system=6.13404 s

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

[startup+3607.6 s]
/proc/loadavg: 3.08 3.11 3.39 4/250 227125
/proc/meminfo: memFree=108788304/131524600 swapFree=131054736/131071996
[pid=225236] ppid=225231 vsize=2014600 memory=1687756 CPUtime=3600.29 cores=4,6
/proc/225236/stat : 225236 (pb-oll-rs) R 225231 225236 225181 0 -1 4194304 290843 0 0 0 359417 612 0 0 20 0 1 0 26485286 2062950400 421939 134679101440 4194304 5384485 140728672843984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 25661440 140728672846871 140728672846948 140728672846948 140728672853963 0
/proc/225236/statm: 503650 421939 1440 291 0 495184 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 2014600 KiB
Current children cumulated memory: 1687756 KiB

Child status: 0

Real time (s): 3607.63
CPU time (s): 3600.33
CPU user time (s): 3594.19
CPU system time (s): 6.13404
CPU usage (%): 99.7976
Max. virtual memory (cumulated for all children) (KiB): 2025628
Max. memory (cumulated for all children) (KiB): 1698516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.19
system time used= 6.13404
maximum resident set size= 1698516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290854
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= 117
involuntary context switches= 6186


# summary of solver processes directly reported to runsolver:
#   pid: 225236
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3594.19
#   total CPU system time (s): 6.13404

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0333 second user time and 14.8746 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-25 11:26:51
IDJOB=4459296
IDBENCH=178667
IDSOLVER=3082
FILE ID=nodeC034/4459296-1721899611
RUNJOBID= nodeC034-1721899611-225192
SLURM_JOB_ID= 8089371
Free space on /tmp= 890052 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
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-4459296-1721899611/watcher-4459296-1721899611 -o /tmp/evaluation-result-4459296-1721899611/solver-4459296-1721899611 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721899611-225192 --watchdog 3760  pb-oll-rs HOME/instance-4459296-1721899611.opb

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

MD5SUM BENCH= 8b0f0a056877f36e2c13e33d533276b3
RANDOM SEED=1947844131

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3616.925
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        110791380 kB
MemAvailable:   129690760 kB
Buffers:          307876 kB
Cached:         19350524 kB
SwapCached:          112 kB
Active:          1727388 kB
Inactive:       18293252 kB
Active(anon):       1852 kB
Inactive(anon):   403052 kB
Active(file):    1725536 kB
Inactive(file): 17890200 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131054736 kB
Dirty:             41756 kB
Writeback:             0 kB
AnonPages:        361492 kB
Mapped:            93540 kB
Shmem:             42580 kB
KReclaimable:     246584 kB
Slab:             361808 kB
SReclaimable:     246584 kB
SUnreclaim:       115224 kB
KernelStack:        3920 kB
PageTables:         9816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     804292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14112 kB
HardwareCorrupted:     0 kB
AnonHugePages:    239616 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:      357076 kB
DirectMap2M:    48699392 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC034 at 2024-07-25 12:26:59