Trace number 4435855

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-02SAT (TO)218 3600.05 3609.3

DiagnosticValue
AM1LB53
LOWERBOUND144
NAM1S53
NCORES90
NEXHAUSTED1
NPBCORES57
NPBREFORM0
NTRIMMED5

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
MD5SUMf4fbd70ee8b80515313bebcddc52f82a
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 benchmark181
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables476
Total number of constraints476
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints476
Minimum length of a constraint3
Maximum length of a constraint18
Number of terms in the objective function 476
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 476
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 476
Number of bits of the biggest sum of numbers9
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.00/0.00	c [STEP] solving
0.00/0.00	c #variables 476 #constraints 476
0.00/0.00	c SMALL=int, LARGE=long long
0.00/0.00	c bounds - >= 0 @ 0.001892
0.00/0.00	c stratification level: 0
0.00/0.01	c bounds - >= 54 @ 0.003482
0.00/0.01	c bounds - >= 55 @ 0.003686
0.00/0.01	c bounds - >= 56 @ 0.00374
0.00/0.01	c bounds - >= 57 @ 0.00374
0.00/0.01	c bounds - >= 58 @ 0.00374
0.00/0.01	c bounds - >= 59 @ 0.00374
0.00/0.01	c bounds - >= 60 @ 0.00374
0.00/0.01	c bounds - >= 61 @ 0.00374
0.00/0.01	c bounds - >= 62 @ 0.00374
0.00/0.01	c bounds - >= 63 @ 0.00374
0.00/0.01	c bounds - >= 64 @ 0.00374
0.00/0.01	c bounds - >= 65 @ 0.00374
0.00/0.01	c bounds - >= 66 @ 0.00374
0.00/0.01	c bounds - >= 67 @ 0.003748
0.00/0.01	c bounds - >= 68 @ 0.003748
0.00/0.01	c bounds - >= 69 @ 0.003748
0.00/0.01	c bounds - >= 70 @ 0.003748
0.00/0.01	c bounds - >= 71 @ 0.003748
0.00/0.01	c bounds - >= 72 @ 0.003748
0.00/0.01	c bounds - >= 73 @ 0.003748
0.00/0.01	c bounds - >= 74 @ 0.003748
0.00/0.01	c bounds - >= 75 @ 0.003748
0.00/0.01	c bounds - >= 76 @ 0.003748
0.00/0.01	c bounds - >= 77 @ 0.003822
0.00/0.01	c bounds - >= 78 @ 0.003932
0.00/0.01	c bounds - >= 79 @ 0.004034
0.00/0.01	c bounds - >= 80 @ 0.004152
0.00/0.01	c bounds - >= 81 @ 0.004253
0.00/0.01	c bounds - >= 82 @ 0.004354
0.00/0.01	c bounds - >= 83 @ 0.004456
0.00/0.01	c bounds - >= 84 @ 0.004568
0.00/0.01	c bounds - >= 85 @ 0.004677
0.00/0.01	c bounds - >= 86 @ 0.004807
0.00/0.01	c bounds - >= 87 @ 0.004917
0.00/0.01	c bounds - >= 88 @ 0.005046
0.00/0.01	c bounds - >= 89 @ 0.005152
0.00/0.01	c bounds - >= 90 @ 0.00526
0.00/0.01	c bounds - >= 91 @ 0.005365
0.00/0.01	c bounds - >= 92 @ 0.005476
0.00/0.01	c bounds - >= 93 @ 0.005592
0.00/0.01	c bounds - >= 94 @ 0.005666
0.00/0.01	c bounds - >= 95 @ 0.005673
0.00/0.01	c bounds - >= 96 @ 0.005673
0.00/0.01	c bounds - >= 97 @ 0.005673
0.00/0.01	c bounds - >= 98 @ 0.005673
0.00/0.01	c bounds - >= 99 @ 0.005673
0.00/0.01	c bounds - >= 100 @ 0.005673
0.00/0.01	c bounds - >= 101 @ 0.005673
0.00/0.01	c bounds - >= 102 @ 0.005693
0.00/0.01	c bounds - >= 103 @ 0.005693
0.00/0.01	c bounds - >= 104 @ 0.005693
0.00/0.01	c bounds - >= 105 @ 0.005693
0.00/0.01	c bounds - >= 106 @ 0.005693
0.00/0.01	c bounds - >= 107 @ 0.005693
0.00/0.01	c bounds - >= 108 @ 0.005693
0.00/0.01	c bounds - >= 109 @ 0.005693
0.00/0.01	c bounds - >= 110 @ 0.005742
0.00/0.01	c bounds - >= 111 @ 0.005877
0.00/0.01	c bounds - >= 112 @ 0.006012
0.00/0.01	c bounds - >= 113 @ 0.006151
0.00/0.01	c bounds - >= 114 @ 0.006283
0.00/0.01	c bounds - >= 115 @ 0.006412
0.00/0.01	c bounds - >= 116 @ 0.006538
0.00/0.01	c bounds - >= 117 @ 0.006673
0.00/0.01	c bounds - >= 118 @ 0.006691
0.00/0.01	c bounds - >= 119 @ 0.006691
0.00/0.01	c bounds - >= 120 @ 0.006691
0.00/0.01	c bounds - >= 121 @ 0.006691
0.00/0.01	c bounds - >= 122 @ 0.006691
0.00/0.01	c bounds - >= 123 @ 0.006691
0.00/0.01	c bounds - >= 124 @ 0.006691
0.00/0.01	c bounds - >= 125 @ 0.006693
0.00/0.01	c bounds - >= 126 @ 0.006693
0.00/0.01	c finalizing WCE round: reformulating cores
28.61/28.70	c #Conflicts:       1000 | #Constraints:       1620
28.61/28.70	c #Conflicts:       2000 | #Constraints:       2625
28.61/28.70	c INPROCESSING
28.61/28.70	c GARBAGE COLLECT
28.61/28.70	c #Conflicts:       3000 | #Constraints:       2556
28.61/28.70	c #Conflicts:       4000 | #Constraints:       3558
28.61/28.70	c INPROCESSING
28.61/28.70	c GARBAGE COLLECT
28.61/28.70	c #Conflicts:       5000 | #Constraints:       2965
28.61/28.70	c #Conflicts:       6000 | #Constraints:       3967
28.61/28.70	c INPROCESSING
28.61/28.70	c GARBAGE COLLECT
28.61/28.70	c #Conflicts:       7000 | #Constraints:       2971
28.61/28.70	c #Conflicts:       8000 | #Constraints:       3973
28.61/28.70	c #Conflicts:       9000 | #Constraints:       4977
28.61/28.70	c INPROCESSING
28.61/28.70	c GARBAGE COLLECT
28.61/28.70	c #Conflicts:      10000 | #Constraints:       3684
28.61/28.70	c #Conflicts:      11000 | #Constraints:       4686
28.61/28.70	c #Conflicts:      12000 | #Constraints:       5688
28.61/28.70	c INPROCESSING
28.61/28.70	c GARBAGE COLLECT
28.61/28.70	c #Conflicts:      13000 | #Constraints:       4145
28.61/28.70	c #Conflicts:      14000 | #Constraints:       5147
28.61/28.70	c #Conflicts:      15000 | #Constraints:       6149
28.61/28.70	c INPROCESSING
28.61/28.70	c GARBAGE COLLECT
28.61/28.70	c #Conflicts:      16000 | #Constraints:       4383
28.61/28.70	c #Conflicts:      17000 | #Constraints:       5385
28.61/28.70	c #Conflicts:      18000 | #Constraints:       6387
28.61/28.70	c INPROCESSING
28.61/28.70	c GARBAGE COLLECT
28.61/28.70	c #Conflicts:      19000 | #Constraints:       4396
28.61/28.70	c #Conflicts:      20000 | #Constraints:       5398
28.61/28.70	c #Conflicts:      21000 | #Constraints:       6406
28.61/28.70	c INPROCESSING
28.61/28.70	c GARBAGE COLLECT
28.61/28.70	c #Conflicts:      22000 | #Constraints:       4215
28.61/28.70	c #Conflicts:      23000 | #Constraints:       5217
28.61/28.70	c #Conflicts:      24000 | #Constraints:       6221
28.61/28.70	c #Conflicts:      25000 | #Constraints:       7223
28.61/28.70	c INPROCESSING
28.61/28.70	c GARBAGE COLLECT
28.61/28.70	c #Conflicts:      26000 | #Constraints:       4829
28.61/28.70	c #Conflicts:      27000 | #Constraints:       5831
28.61/28.70	c #Conflicts:      28000 | #Constraints:       6833
28.61/28.70	c #Conflicts:      29000 | #Constraints:       7837
28.61/28.70	c INPROCESSING
28.61/28.70	c GARBAGE COLLECT
28.61/28.70	c #Conflicts:      30000 | #Constraints:       5240
28.61/28.70	c #Conflicts:      31000 | #Constraints:       6242
28.61/28.70	c #Conflicts:      32000 | #Constraints:       7244
28.61/28.70	c #Conflicts:      33000 | #Constraints:       8248
28.61/28.70	c INPROCESSING
28.61/28.70	c GARBAGE COLLECT
28.61/28.70	c #Conflicts:      34000 | #Constraints:       5449
28.61/28.70	c #Conflicts:      35000 | #Constraints:       6451
28.61/28.70	c #Conflicts:      36000 | #Constraints:       7453
28.61/28.70	c #Conflicts:      37000 | #Constraints:       8457
28.61/28.70	c INPROCESSING
28.61/28.70	c GARBAGE COLLECT
28.61/28.70	c #Conflicts:      38000 | #Constraints:       5457
28.61/28.70	c #Conflicts:      39000 | #Constraints:       6459
28.61/28.70	c #Conflicts:      40000 | #Constraints:       7461
28.61/28.70	c #Conflicts:      41000 | #Constraints:       8465
28.61/28.70	c INPROCESSING
28.61/28.70	c GARBAGE COLLECT
28.61/28.70	c #Conflicts:      42000 | #Constraints:       5270
28.61/28.70	c #Conflicts:      43000 | #Constraints:       6272
28.61/28.70	c #Conflicts:      44000 | #Constraints:       7276
28.61/28.70	c #Conflicts:      45000 | #Constraints:       8278
28.61/28.70	c #Conflicts:      46000 | #Constraints:       9280
28.61/28.70	c INPROCESSING
28.61/28.70	c GARBAGE COLLECT
28.61/28.70	c #Conflicts:      47000 | #Constraints:       5885
28.61/28.70	c #Conflicts:      48000 | #Constraints:       6887
28.61/28.70	c #Conflicts:      49000 | #Constraints:       7889
28.61/28.70	c #Conflicts:      50000 | #Constraints:       8893
28.61/28.70	c #Conflicts:      51000 | #Constraints:       9895
28.61/28.70	c INPROCESSING
28.61/28.70	c GARBAGE COLLECT
28.61/28.70	c #Conflicts:      52000 | #Constraints:       6300
28.61/28.70	c #Conflicts:      53000 | #Constraints:       7302
28.61/28.70	c #Conflicts:      54000 | #Constraints:       8304
28.61/28.70	c bounds 220 >= 126 @ 27.7636
28.61/28.70	c bounds 220 >= 127 @ 27.7744
28.61/28.70	c bounds 220 >= 128 @ 27.7766
28.61/28.70	c bounds 220 >= 129 @ 27.7791
28.61/28.70	c bounds 220 >= 130 @ 27.783
28.61/28.70	c bounds 220 >= 131 @ 27.7881
28.61/28.70	c bounds 220 >= 132 @ 27.7901
28.61/28.70	c bounds 220 >= 133 @ 27.794
28.61/28.70	c bounds 220 >= 134 @ 27.7959
28.61/28.70	c bounds 220 >= 135 @ 27.8051
28.61/28.70	c bounds 220 >= 136 @ 27.8368
28.61/28.70	c finalizing WCE round: reformulating cores
41.57/41.74	c #Conflicts:      55000 | #Constraints:       9438
41.57/41.74	c #Conflicts:      56000 | #Constraints:      10440
41.57/41.74	c INPROCESSING
41.57/41.74	c GARBAGE COLLECT
41.57/41.74	c #Conflicts:      57000 | #Constraints:       6605
41.57/41.74	c #Conflicts:      58000 | #Constraints:       7607
41.57/41.74	c #Conflicts:      59000 | #Constraints:       8609
41.57/41.74	c #Conflicts:      60000 | #Constraints:       9613
41.57/41.74	c #Conflicts:      61000 | #Constraints:      10615
41.57/41.74	c INPROCESSING
41.57/41.74	c GARBAGE COLLECT
41.57/41.74	c #Conflicts:      62000 | #Constraints:       6601
41.57/41.74	c #Conflicts:      63000 | #Constraints:       7603
41.57/41.74	c bounds 219 >= 136 @ 33.9529
41.57/41.74	c bounds 219 >= 137 @ 33.9634
41.57/41.74	c bounds 219 >= 138 @ 34.0051
41.57/41.74	c bounds 219 >= 139 @ 34.1297
41.57/41.74	c #Conflicts:      64000 | #Constraints:       8735
41.57/41.74	c #Conflicts:      65000 | #Constraints:       9735
41.57/41.74	c #Conflicts:      66000 | #Constraints:      10735
41.57/41.74	c bounds 219 >= 140 @ 40.6675
41.57/41.74	c finalizing WCE round: reformulating cores
219.88/220.57	c INPROCESSING
219.88/220.57	c GARBAGE COLLECT
219.88/220.57	c #Conflicts:      67000 | #Constraints:       6619
219.88/220.57	c #Conflicts:      68000 | #Constraints:       7621
219.88/220.57	c bounds 218 >= 139 @ 43.6713
219.88/220.57	c #Conflicts:      69000 | #Constraints:       8627
219.88/220.57	c bounds 218 >= 141 @ 44.4203
219.88/220.57	c bounds 218 >= 142 @ 44.4652
219.88/220.57	c #Conflicts:      70000 | #Constraints:       9661
219.88/220.57	c #Conflicts:      71000 | #Constraints:      10661
219.88/220.57	c bounds 218 >= 143 @ 47.3419
219.88/220.57	c #Conflicts:      72000 | #Constraints:      11734
219.88/220.57	c INPROCESSING
219.88/220.57	c GARBAGE COLLECT
219.88/220.57	c #Conflicts:      73000 | #Constraints:       7278
219.88/220.57	c #Conflicts:      74000 | #Constraints:       8278
219.88/220.57	c #Conflicts:      75000 | #Constraints:       9278
219.88/220.57	c #Conflicts:      76000 | #Constraints:      10278
219.88/220.57	c #Conflicts:      77000 | #Constraints:      11278
219.88/220.57	c #Conflicts:      78000 | #Constraints:      12278
219.88/220.57	c INPROCESSING
219.88/220.57	c GARBAGE COLLECT
219.88/220.57	c #Conflicts:      79000 | #Constraints:       7680
219.88/220.57	c #Conflicts:      80000 | #Constraints:       8680
219.88/220.57	c #Conflicts:      81000 | #Constraints:       9680
219.88/220.57	c #Conflicts:      82000 | #Constraints:      10680
219.88/220.57	c #Conflicts:      83000 | #Constraints:      11680
219.88/220.57	c #Conflicts:      84000 | #Constraints:      12680
219.88/220.57	c INPROCESSING
219.88/220.57	c GARBAGE COLLECT
219.88/220.57	c #Conflicts:      85000 | #Constraints:       7880
219.88/220.57	c #Conflicts:      86000 | #Constraints:       8880
219.88/220.57	c #Conflicts:      87000 | #Constraints:       9880
219.88/220.57	c #Conflicts:      88000 | #Constraints:      10880
219.88/220.57	c #Conflicts:      89000 | #Constraints:      11880
219.88/220.57	c #Conflicts:      90000 | #Constraints:      12880
219.88/220.57	c INPROCESSING
219.88/220.57	c GARBAGE COLLECT
219.88/220.57	c #Conflicts:      91000 | #Constraints:       7882
219.88/220.57	c #Conflicts:      92000 | #Constraints:       8882
219.88/220.57	c #Conflicts:      93000 | #Constraints:       9882
219.88/220.57	c #Conflicts:      94000 | #Constraints:      10882
219.88/220.57	c #Conflicts:      95000 | #Constraints:      11882
219.88/220.57	c #Conflicts:      96000 | #Constraints:      12882
219.88/220.57	c INPROCESSING
219.88/220.57	c GARBAGE COLLECT
219.88/220.57	c #Conflicts:      97000 | #Constraints:       7684
219.88/220.57	c #Conflicts:      98000 | #Constraints:       8684
219.88/220.57	c #Conflicts:      99000 | #Constraints:       9684
219.88/220.57	c #Conflicts:     100000 | #Constraints:      10684
219.88/220.57	c #Conflicts:     101000 | #Constraints:      11684
219.88/220.57	c #Conflicts:     102000 | #Constraints:      12684
219.88/220.57	c #Conflicts:     103000 | #Constraints:      13684
219.88/220.57	c INPROCESSING
219.88/220.57	c GARBAGE COLLECT
219.88/220.57	c #Conflicts:     104000 | #Constraints:       8293
219.88/220.57	c #Conflicts:     105000 | #Constraints:       9293
219.88/220.57	c #Conflicts:     106000 | #Constraints:      10293
219.88/220.57	c #Conflicts:     107000 | #Constraints:      11293
219.88/220.57	c #Conflicts:     108000 | #Constraints:      12293
219.88/220.57	c #Conflicts:     109000 | #Constraints:      13293
219.88/220.57	c #Conflicts:     110000 | #Constraints:      14293
219.88/220.57	c #Conflicts:     111000 | #Constraints:      15293
219.88/220.57	c #Conflicts:     112000 | #Constraints:      16293
219.88/220.57	c #Conflicts:     113000 | #Constraints:      17293
219.88/220.57	c #Conflicts:     114000 | #Constraints:      18293
219.88/220.57	c bounds 218 >= 144 @ 122.811
219.88/220.57	c #Conflicts:     115000 | #Constraints:      19357
219.88/220.57	c #Conflicts:     116000 | #Constraints:      20357
219.88/220.57	c #Conflicts:     117000 | #Constraints:      21357
219.88/220.57	c #Conflicts:     118000 | #Constraints:      22357
219.88/220.57	c #Conflicts:     119000 | #Constraints:      23357
219.88/220.57	c #Conflicts:     120000 | #Constraints:      24357
219.88/220.57	c #Conflicts:     121000 | #Constraints:      25357
219.88/220.57	c #Conflicts:     122000 | #Constraints:      26357
219.88/220.57	c #Conflicts:     123000 | #Constraints:      27357
219.88/220.57	c #Conflicts:     124000 | #Constraints:      28357
219.88/220.57	c #Conflicts:     125000 | #Constraints:      29357
219.88/220.57	c #Conflicts:     126000 | #Constraints:      30357
219.88/220.57	c #Conflicts:     127000 | #Constraints:      31357
219.88/220.57	c #Conflicts:     128000 | #Constraints:      32357
219.88/220.57	c #Conflicts:     129000 | #Constraints:      33357
219.88/220.57	c #Conflicts:     130000 | #Constraints:      34357
219.88/220.57	c #Conflicts:     131000 | #Constraints:      35357
219.88/220.57	c #Conflicts:     132000 | #Constraints:      36357
219.88/220.57	c INPROCESSING
219.88/220.57	c GARBAGE COLLECT
219.88/220.57	c #Conflicts:     133000 | #Constraints:      19486
219.88/220.57	c #Conflicts:     134000 | #Constraints:      20486
219.88/220.57	c #Conflicts:     135000 | #Constraints:      21486
219.88/220.57	c #Conflicts:     136000 | #Constraints:      22486
219.88/220.57	c #Conflicts:     137000 | #Constraints:      23486
864.60/867.06	c #Conflicts:     138000 | #Constraints:      24486
864.60/867.06	c #Conflicts:     139000 | #Constraints:      25486
864.60/867.06	c #Conflicts:     140000 | #Constraints:      26486
864.60/867.06	c INPROCESSING
864.60/867.06	c GARBAGE COLLECT
864.60/867.06	c #Conflicts:     141000 | #Constraints:      14606
864.60/867.06	c #Conflicts:     142000 | #Constraints:      15606
864.60/867.06	c #Conflicts:     143000 | #Constraints:      16606
864.60/867.06	c #Conflicts:     144000 | #Constraints:      17606
864.60/867.06	c #Conflicts:     145000 | #Constraints:      18606
864.60/867.06	c #Conflicts:     146000 | #Constraints:      19606
864.60/867.06	c #Conflicts:     147000 | #Constraints:      20606
864.60/867.06	c #Conflicts:     148000 | #Constraints:      21606
864.60/867.06	c #Conflicts:     149000 | #Constraints:      22606
864.60/867.06	c #Conflicts:     150000 | #Constraints:      23606
864.60/867.06	c #Conflicts:     151000 | #Constraints:      24606
864.60/867.06	c #Conflicts:     152000 | #Constraints:      25606
864.60/867.06	c #Conflicts:     153000 | #Constraints:      26606
864.60/867.06	c #Conflicts:     154000 | #Constraints:      27606
864.60/867.06	c #Conflicts:     155000 | #Constraints:      28606
864.60/867.06	c #Conflicts:     156000 | #Constraints:      29606
864.60/867.06	c #Conflicts:     157000 | #Constraints:      30606
864.60/867.06	c #Conflicts:     158000 | #Constraints:      31606
864.60/867.06	c #Conflicts:     159000 | #Constraints:      32606
864.60/867.06	c #Conflicts:     160000 | #Constraints:      33606
864.60/867.06	c #Conflicts:     161000 | #Constraints:      34606
864.60/867.06	c #Conflicts:     162000 | #Constraints:      35606
864.60/867.06	c #Conflicts:     163000 | #Constraints:      36606
864.60/867.06	c #Conflicts:     164000 | #Constraints:      37606
864.60/867.06	c #Conflicts:     165000 | #Constraints:      38606
864.60/867.06	c #Conflicts:     166000 | #Constraints:      39606
864.60/867.06	c #Conflicts:     167000 | #Constraints:      40606
864.60/867.06	c #Conflicts:     168000 | #Constraints:      41606
864.60/867.06	c #Conflicts:     169000 | #Constraints:      42606
864.60/867.06	c #Conflicts:     170000 | #Constraints:      43606
864.60/867.06	c #Conflicts:     171000 | #Constraints:      44606
864.60/867.06	c #Conflicts:     172000 | #Constraints:      45606
864.60/867.06	c INPROCESSING
864.60/867.06	c GARBAGE COLLECT
864.60/867.06	c #Conflicts:     173000 | #Constraints:      23974
864.60/867.06	c #Conflicts:     174000 | #Constraints:      24974
864.60/867.06	c #Conflicts:     175000 | #Constraints:      25974
864.60/867.06	c #Conflicts:     176000 | #Constraints:      26974
864.60/867.06	c #Conflicts:     177000 | #Constraints:      27974
864.60/867.06	c #Conflicts:     178000 | #Constraints:      28974
864.60/867.06	c #Conflicts:     179000 | #Constraints:      29974
864.60/867.06	c #Conflicts:     180000 | #Constraints:      30974
864.60/867.06	c #Conflicts:     181000 | #Constraints:      31974
864.60/867.06	c #Conflicts:     182000 | #Constraints:      32974
864.60/867.06	c INPROCESSING
864.60/867.06	c GARBAGE COLLECT
864.60/867.06	c #Conflicts:     183000 | #Constraints:      18909
864.60/867.06	c #Conflicts:     184000 | #Constraints:      19909
864.60/867.06	c #Conflicts:     185000 | #Constraints:      20909
864.60/867.06	c #Conflicts:     186000 | #Constraints:      21909
864.60/867.06	c #Conflicts:     187000 | #Constraints:      22909
864.60/867.06	c #Conflicts:     188000 | #Constraints:      23909
864.60/867.06	c #Conflicts:     189000 | #Constraints:      24909
864.60/867.06	c #Conflicts:     190000 | #Constraints:      25909
864.60/867.06	c #Conflicts:     191000 | #Constraints:      26909
864.60/867.06	c #Conflicts:     192000 | #Constraints:      27909
864.60/867.06	c #Conflicts:     193000 | #Constraints:      28909
864.60/867.06	c #Conflicts:     194000 | #Constraints:      29909
864.60/867.06	c #Conflicts:     195000 | #Constraints:      30909
864.60/867.06	c #Conflicts:     196000 | #Constraints:      31909
864.60/867.06	c #Conflicts:     197000 | #Constraints:      32909
864.60/867.06	c #Conflicts:     198000 | #Constraints:      33909
864.60/867.06	c #Conflicts:     199000 | #Constraints:      34909
864.60/867.06	c #Conflicts:     200000 | #Constraints:      35909
864.60/867.06	c #Conflicts:     201000 | #Constraints:      36909
864.60/867.06	c #Conflicts:     202000 | #Constraints:      37909
864.60/867.06	c #Conflicts:     203000 | #Constraints:      38909
864.60/867.06	c #Conflicts:     204000 | #Constraints:      39909
864.60/867.06	c #Conflicts:     205000 | #Constraints:      40909
864.60/867.06	c #Conflicts:     206000 | #Constraints:      41909
864.60/867.06	c #Conflicts:     207000 | #Constraints:      42909
864.60/867.06	c #Conflicts:     208000 | #Constraints:      43909
864.60/867.06	c #Conflicts:     209000 | #Constraints:      44909
864.60/867.06	c #Conflicts:     210000 | #Constraints:      45909
864.60/867.06	c #Conflicts:     211000 | #Constraints:      46909
864.60/867.06	c #Conflicts:     212000 | #Constraints:      47909
864.60/867.06	c #Conflicts:     213000 | #Constraints:      48909
864.60/867.06	c #Conflicts:     214000 | #Constraints:      49909
1751.82/1756.47	c #Conflicts:     215000 | #Constraints:      50909
1751.82/1756.47	c #Conflicts:     216000 | #Constraints:      51909
1751.82/1756.47	c #Conflicts:     217000 | #Constraints:      52909
1751.82/1756.47	c INPROCESSING
1751.82/1756.47	c GARBAGE COLLECT
1751.82/1756.47	c #Conflicts:     218000 | #Constraints:      27776
1751.82/1756.47	c #Conflicts:     219000 | #Constraints:      28776
1751.82/1756.47	c #Conflicts:     220000 | #Constraints:      29776
1751.82/1756.47	c #Conflicts:     221000 | #Constraints:      30776
1751.82/1756.47	c #Conflicts:     222000 | #Constraints:      31776
1751.82/1756.47	c #Conflicts:     223000 | #Constraints:      32776
1751.82/1756.47	c #Conflicts:     224000 | #Constraints:      33776
1751.82/1756.47	c #Conflicts:     225000 | #Constraints:      34776
1751.82/1756.47	c #Conflicts:     226000 | #Constraints:      35776
1751.82/1756.47	c #Conflicts:     227000 | #Constraints:      36776
1751.82/1756.47	c #Conflicts:     228000 | #Constraints:      37776
1751.82/1756.47	c INPROCESSING
1751.82/1756.47	c GARBAGE COLLECT
1751.82/1756.47	c #Conflicts:     229000 | #Constraints:      24283
1751.82/1756.47	c #Conflicts:     230000 | #Constraints:      25283
1751.82/1756.47	c #Conflicts:     231000 | #Constraints:      26283
1751.82/1756.47	c #Conflicts:     232000 | #Constraints:      27283
1751.82/1756.47	c #Conflicts:     233000 | #Constraints:      28283
1751.82/1756.47	c #Conflicts:     234000 | #Constraints:      29283
1751.82/1756.47	c #Conflicts:     235000 | #Constraints:      30283
1751.82/1756.47	c #Conflicts:     236000 | #Constraints:      31283
1751.82/1756.47	c #Conflicts:     237000 | #Constraints:      32283
1751.82/1756.47	c #Conflicts:     238000 | #Constraints:      33283
1751.82/1756.47	c #Conflicts:     239000 | #Constraints:      34283
1751.82/1756.47	c #Conflicts:     240000 | #Constraints:      35283
1751.82/1756.47	c #Conflicts:     241000 | #Constraints:      36283
1751.82/1756.47	c #Conflicts:     242000 | #Constraints:      37283
1751.82/1756.47	c #Conflicts:     243000 | #Constraints:      38283
1751.82/1756.47	c #Conflicts:     244000 | #Constraints:      39283
1751.82/1756.47	c #Conflicts:     245000 | #Constraints:      40283
1751.82/1756.47	c #Conflicts:     246000 | #Constraints:      41283
1751.82/1756.47	c #Conflicts:     247000 | #Constraints:      42283
1751.82/1756.47	c #Conflicts:     248000 | #Constraints:      43283
1751.82/1756.47	c #Conflicts:     249000 | #Constraints:      44283
1751.82/1756.47	c #Conflicts:     250000 | #Constraints:      45283
1751.82/1756.47	c #Conflicts:     251000 | #Constraints:      46283
1751.82/1756.47	c #Conflicts:     252000 | #Constraints:      47283
1751.82/1756.47	c #Conflicts:     253000 | #Constraints:      48283
1751.82/1756.47	c #Conflicts:     254000 | #Constraints:      49283
1751.82/1756.47	c #Conflicts:     255000 | #Constraints:      50283
1751.82/1756.47	c #Conflicts:     256000 | #Constraints:      51283
1751.82/1756.47	c #Conflicts:     257000 | #Constraints:      52283
1751.82/1756.47	c #Conflicts:     258000 | #Constraints:      53283
1751.82/1756.47	c #Conflicts:     259000 | #Constraints:      54283
1751.82/1756.47	c #Conflicts:     260000 | #Constraints:      55283
1751.82/1756.47	c #Conflicts:     261000 | #Constraints:      56283
1751.82/1756.47	c #Conflicts:     262000 | #Constraints:      57283
1751.82/1756.47	c #Conflicts:     263000 | #Constraints:      58283
1751.82/1756.47	c #Conflicts:     264000 | #Constraints:      59283
1751.82/1756.47	c #Conflicts:     265000 | #Constraints:      60283
1751.82/1756.47	c #Conflicts:     266000 | #Constraints:      61283
1751.82/1756.47	c INPROCESSING
1751.82/1756.47	c GARBAGE COLLECT
1751.82/1756.47	c #Conflicts:     267000 | #Constraints:      31912
1751.82/1756.47	c #Conflicts:     268000 | #Constraints:      32912
1751.82/1756.47	c #Conflicts:     269000 | #Constraints:      33912
1751.82/1756.47	c #Conflicts:     270000 | #Constraints:      34912
1751.82/1756.47	c #Conflicts:     271000 | #Constraints:      35912
1751.82/1756.47	c #Conflicts:     272000 | #Constraints:      36912
1751.82/1756.47	c #Conflicts:     273000 | #Constraints:      37912
1751.82/1756.47	c #Conflicts:     274000 | #Constraints:      38912
1751.82/1756.47	c #Conflicts:     275000 | #Constraints:      39912
1751.82/1756.47	c #Conflicts:     276000 | #Constraints:      40912
1751.82/1756.47	c #Conflicts:     277000 | #Constraints:      41912
1751.82/1756.47	c #Conflicts:     278000 | #Constraints:      42912
1751.82/1756.47	c INPROCESSING
1751.82/1756.47	c GARBAGE COLLECT
1751.82/1756.47	c #Conflicts:     279000 | #Constraints:      29498
1751.82/1756.47	c #Conflicts:     280000 | #Constraints:      30498
1751.82/1756.47	c #Conflicts:     281000 | #Constraints:      31498
1751.82/1756.47	c #Conflicts:     282000 | #Constraints:      32498
1751.82/1756.47	c #Conflicts:     283000 | #Constraints:      33498
1751.82/1756.47	c #Conflicts:     284000 | #Constraints:      34498
1751.82/1756.47	c #Conflicts:     285000 | #Constraints:      35498
1751.82/1756.47	c #Conflicts:     286000 | #Constraints:      36498
1751.82/1756.47	c #Conflicts:     287000 | #Constraints:      37498
1751.82/1756.47	c #Conflicts:     288000 | #Constraints:      38498
1751.82/1756.47	c #Conflicts:     289000 | #Constraints:      39498
1751.82/1756.47	c #Conflicts:     290000 | #Constraints:      40498
3215.73/3224.08	c #Conflicts:     291000 | #Constraints:      41498
3215.73/3224.08	c #Conflicts:     292000 | #Constraints:      42498
3215.73/3224.08	c #Conflicts:     293000 | #Constraints:      43498
3215.73/3224.08	c #Conflicts:     294000 | #Constraints:      44498
3215.73/3224.08	c #Conflicts:     295000 | #Constraints:      45498
3215.73/3224.08	c #Conflicts:     296000 | #Constraints:      46498
3215.73/3224.08	c #Conflicts:     297000 | #Constraints:      47498
3215.73/3224.08	c #Conflicts:     298000 | #Constraints:      48498
3215.73/3224.08	c #Conflicts:     299000 | #Constraints:      49498
3215.73/3224.08	c #Conflicts:     300000 | #Constraints:      50498
3215.73/3224.08	c #Conflicts:     301000 | #Constraints:      51498
3215.73/3224.08	c #Conflicts:     302000 | #Constraints:      52498
3215.73/3224.08	c #Conflicts:     303000 | #Constraints:      53498
3215.73/3224.08	c #Conflicts:     304000 | #Constraints:      54498
3215.73/3224.08	c #Conflicts:     305000 | #Constraints:      55498
3215.73/3224.08	c #Conflicts:     306000 | #Constraints:      56498
3215.73/3224.08	c #Conflicts:     307000 | #Constraints:      57498
3215.73/3224.08	c #Conflicts:     308000 | #Constraints:      58498
3215.73/3224.08	c #Conflicts:     309000 | #Constraints:      59498
3215.73/3224.08	c #Conflicts:     310000 | #Constraints:      60498
3215.73/3224.08	c #Conflicts:     311000 | #Constraints:      61498
3215.73/3224.08	c #Conflicts:     312000 | #Constraints:      62498
3215.73/3224.08	c #Conflicts:     313000 | #Constraints:      63498
3215.73/3224.08	c #Conflicts:     314000 | #Constraints:      64498
3215.73/3224.08	c #Conflicts:     315000 | #Constraints:      65498
3215.73/3224.08	c #Conflicts:     316000 | #Constraints:      66498
3215.73/3224.08	c #Conflicts:     317000 | #Constraints:      67498
3215.73/3224.08	c #Conflicts:     318000 | #Constraints:      68498
3215.73/3224.08	c #Conflicts:     319000 | #Constraints:      69498
3215.73/3224.08	c #Conflicts:     320000 | #Constraints:      70498
3215.73/3224.08	c INPROCESSING
3215.73/3224.08	c GARBAGE COLLECT
3215.73/3224.08	c #Conflicts:     321000 | #Constraints:      36780
3215.73/3224.08	c #Conflicts:     322000 | #Constraints:      37780
3215.73/3224.08	c #Conflicts:     323000 | #Constraints:      38780
3215.73/3224.08	c #Conflicts:     324000 | #Constraints:      39780
3215.73/3224.08	c #Conflicts:     325000 | #Constraints:      40780
3215.73/3224.08	c #Conflicts:     326000 | #Constraints:      41780
3215.73/3224.08	c #Conflicts:     327000 | #Constraints:      42780
3215.73/3224.08	c #Conflicts:     328000 | #Constraints:      43780
3215.73/3224.08	c #Conflicts:     329000 | #Constraints:      44780
3215.73/3224.08	c #Conflicts:     330000 | #Constraints:      45780
3215.73/3224.08	c #Conflicts:     331000 | #Constraints:      46780
3215.73/3224.08	c #Conflicts:     332000 | #Constraints:      47780
3215.73/3224.08	c #Conflicts:     333000 | #Constraints:      48780
3215.73/3224.08	c INPROCESSING
3215.73/3224.08	c GARBAGE COLLECT
3215.73/3224.08	c #Conflicts:     334000 | #Constraints:      36044
3215.73/3224.08	c #Conflicts:     335000 | #Constraints:      37044
3215.73/3224.08	c #Conflicts:     336000 | #Constraints:      38044
3215.73/3224.08	c #Conflicts:     337000 | #Constraints:      39044
3215.73/3224.08	c #Conflicts:     338000 | #Constraints:      40044
3215.73/3224.08	c #Conflicts:     339000 | #Constraints:      41044
3215.73/3224.08	c #Conflicts:     340000 | #Constraints:      42044
3215.73/3224.08	c #Conflicts:     341000 | #Constraints:      43044
3215.73/3224.08	c #Conflicts:     342000 | #Constraints:      44044
3215.73/3224.08	c #Conflicts:     343000 | #Constraints:      45044
3215.73/3224.08	c #Conflicts:     344000 | #Constraints:      46044
3215.73/3224.08	c #Conflicts:     345000 | #Constraints:      47044
3215.73/3224.08	c #Conflicts:     346000 | #Constraints:      48044
3215.73/3224.08	c #Conflicts:     347000 | #Constraints:      49044
3215.73/3224.08	c #Conflicts:     348000 | #Constraints:      50044
3215.73/3224.08	c #Conflicts:     349000 | #Constraints:      51044
3215.73/3224.08	c #Conflicts:     350000 | #Constraints:      52044
3215.73/3224.08	c #Conflicts:     351000 | #Constraints:      53044
3215.73/3224.08	c #Conflicts:     352000 | #Constraints:      54044
3215.73/3224.08	c #Conflicts:     353000 | #Constraints:      55044
3215.73/3224.08	c #Conflicts:     354000 | #Constraints:      56044
3215.73/3224.08	c #Conflicts:     355000 | #Constraints:      57044
3215.73/3224.08	c #Conflicts:     356000 | #Constraints:      58044
3215.73/3224.08	c #Conflicts:     357000 | #Constraints:      59044
3215.73/3224.08	c #Conflicts:     358000 | #Constraints:      60044
3215.73/3224.08	c #Conflicts:     359000 | #Constraints:      61044
3215.73/3224.08	c #Conflicts:     360000 | #Constraints:      62044
3215.73/3224.08	c #Conflicts:     361000 | #Constraints:      63044
3215.73/3224.08	c #Conflicts:     362000 | #Constraints:      64044
3215.73/3224.08	c #Conflicts:     363000 | #Constraints:      65044
3215.73/3224.08	c #Conflicts:     364000 | #Constraints:      66044
3215.73/3224.08	c #Conflicts:     365000 | #Constraints:      67044
3215.73/3224.08	c #Conflicts:     366000 | #Constraints:      68044
3215.73/3224.08	c #Conflicts:     367000 | #Constraints:      69044
3215.73/3224.08	c #Conflicts:     368000 | #Constraints:      70044
3600.04/3609.30	c #Conflicts:     369000 | #Constraints:      71044
3600.04/3609.30	c #Conflicts:     370000 | #Constraints:      72044
3600.04/3609.30	c #Conflicts:     371000 | #Constraints:      73044
3600.04/3609.30	c #Conflicts:     372000 | #Constraints:      74044
3600.04/3609.30	c #Conflicts:     373000 | #Constraints:      75044
3600.04/3609.30	c #Conflicts:     374000 | #Constraints:      76044
3600.04/3609.30	c #Conflicts:     375000 | #Constraints:      77044
3600.04/3609.30	c #Conflicts:     376000 | #Constraints:      78044
3600.04/3609.30	c #Conflicts:     377000 | #Constraints:      79044
3600.04/3609.30	c #Conflicts:     378000 | #Constraints:      80044
3600.04/3609.30	c INPROCESSING
3600.04/3609.30	c GARBAGE COLLECT
3600.04/3609.30	c #Conflicts:     379000 | #Constraints:      41604
3600.04/3609.30	c #Conflicts:     380000 | #Constraints:      42604
3600.04/3609.30	c #Conflicts:     381000 | #Constraints:      43604
3600.04/3609.30	c #Conflicts:     382000 | #Constraints:      44604
3600.04/3609.30	c #Conflicts:     383000 | #Constraints:      45604
3600.04/3609.30	c #Conflicts:     384000 | #Constraints:      46604
3600.04/3609.30	c Program interrupted by user.
3600.04/3609.30	c cpu time 3590.62 s
3600.04/3609.30	c deterministic time 263077859264 2.63e+11
3600.04/3609.30	c optimization time 147.116 s
3600.04/3609.30	c total solve time 3443.5 s
3600.04/3609.30	c core-guided solve time 3443.5 s
3600.04/3609.30	c propagation time 3241 s
3600.04/3609.30	c conflict analysis time 334.27 s
3600.04/3609.30	c propagations 64916157
3600.04/3609.30	c resolve steps 4814419
3600.04/3609.30	c decisions 6526393
3600.04/3609.30	c conflicts 384743
3600.04/3609.30	c restarts 923
3600.04/3609.30	c inprocessing phases 35
3600.04/3609.30	c input clauses 230
3600.04/3609.30	c input cardinalities 433
3600.04/3609.30	c input general constraints 670
3600.04/3609.30	c input average constraint length 44.06
3600.04/3609.30	c input average constraint degree 21.39
3600.04/3609.30	c learned clauses 70010
3600.04/3609.30	c learned cardinalities 1625
3600.04/3609.30	c learned general constraints 313119
3600.04/3609.30	c learned average constraint length 158.91
3600.04/3609.30	c learned average constraint degree 7890998.21
3600.04/3609.30	c watched constraints 252872
3600.04/3609.30	c counting constraints 60917
3600.04/3609.30	c gcd simplifications 29575
3600.04/3609.30	c detected cardinalities 1413
3600.04/3609.30	c weakened non-implied lits 5844245
3600.04/3609.30	c weakened non-implying lits 20846
3600.04/3609.30	c original variables 476
3600.04/3609.30	c clausal propagations 13097458
3600.04/3609.30	c cardinality propagations 814361
3600.04/3609.30	c watched propagations 10182220
3600.04/3609.30	c counting propagations 40453704
3600.04/3609.30	c watch lookups 68577264386
3600.04/3609.30	c watch backjump lookups 66318128845
3600.04/3609.30	c watch checks 116135511787
3600.04/3609.30	c propagation checks 11667554286
3600.04/3609.30	c constraint additions 236130335
3600.04/3609.30	c trail pops 71827074
3600.04/3609.30	c formula constraints 476
3600.04/3609.30	c learned constraints 384754
3600.04/3609.30	c bound constraints 102
3600.04/3609.30	c core-guided constraints 755
3600.04/3609.30	c encountered formula constraints 822232
3600.04/3609.30	c encountered learned constraints 3560931
3600.04/3609.30	c encountered bound constraints 83
3600.04/3609.30	c encountered core-guided constraints 815916
3600.04/3609.30	c LP total time 0 s
3600.04/3609.30	c LP solve time 0 s
3600.04/3609.30	c LP constraints added 0
3600.04/3609.30	c LP constraints removed 0
3600.04/3609.30	c LP pivots internal 0
3600.04/3609.30	c LP pivots root 0
3600.04/3609.30	c LP calls 0
3600.04/3609.30	c LP optimalities 0
3600.04/3609.30	c LP no pivot count 0
3600.04/3609.30	c LP infeasibilities 0
3600.04/3609.30	c LP valid Farkas constraints 0
3600.04/3609.30	c LP learned Farkas constraints 0
3600.04/3609.30	c LP basis resets 0
3600.04/3609.30	c LP cycling count 0
3600.04/3609.30	c LP singular count 0
3600.04/3609.30	c LP no primal count 0
3600.04/3609.30	c LP no farkas count 0
3600.04/3609.30	c LP other issue count 0
3600.04/3609.30	c LP Gomory cuts 0
3600.04/3609.30	c LP learned cuts 0
3600.04/3609.30	c LP deleted cuts 0
3600.04/3609.30	c LP encountered Gomory constraints 0
3600.04/3609.30	c LP encountered Farkas constraints 0
3600.04/3609.30	c LP encountered learned Farkas constraints 0
3600.04/3609.30	c CG auxiliary variables introduced 316
3600.04/3609.30	c CG solutions found 3
3600.04/3609.30	c CG cores constructed 90
3600.04/3609.30	c CG core cardinality constraints returned 0
3600.04/3609.30	c CG unit cores 0
3600.04/3609.30	c CG single cores 90
3600.04/3609.30	c CG blocks removed during cardinality reduction 0
3600.04/3609.30	c CG first core best 0
3600.04/3609.30	c CG decision core best 0
3600.04/3609.30	c CG core reduction tie 0
3600.04/3609.30	c CG core degree average 1.00
3600.04/3609.30	c CG core slack average 6.27
3600.04/3609.30	c CG exhausted 1
3600.04/3609.30	c CG exhaust time 36.7744 s
3600.04/3609.30	c CG trimmed 5
3600.04/3609.30	c CG trim time 0.013154 s
3600.04/3609.30	c CG minimized 0
3600.04/3609.30	c CG minimize time 0 s
3600.04/3609.30	c CG am1 prop time 0.018352 s
3600.04/3609.30	c CG # am1s reformulated 53
3600.04/3609.30	c CG lower bound derived from am1s 53
3600.04/3609.30	c CG # clausal cores 33
3600.04/3609.30	c CG # cardinality cores 0
3600.04/3609.30	c CG # pb cores 57
3600.04/3609.30	c CG # pb reforms 0
3600.04/3609.30	c CG # cores discarded because of pb reform 0
3600.04/3609.30	d LOWERBOUND 144
3600.04/3609.30	d NCORES 90
3600.04/3609.30	d NPBCORES 57
3600.04/3609.30	d NPBREFORM 0
3600.04/3609.30	d NTRIMMED 5
3600.04/3609.30	d NEXHAUSTED 1
3600.04/3609.30	d NAM1S 53
3600.04/3609.30	d AM1LB 53
3600.04/3609.30	o 218
3600.04/3609.30	s SATISFIABLE
3600.04/3609.30	v x1 x2 x3 x4 x5 x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 x22 x23 -x24 x25 x26 -x27 -x28 -x29 x30 x31 -x32 x33 x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 x46 -x47 x48 -x49 -x50 -x51 x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 x61 x62 x63 x64 -x65 x66 x67 -x68 x69 -x70 -x71 -x72 x73 -x74 -x75 x76 -x77 x78 -x79 x80 -x81 -x82 -x83 -x84 x85 x86 x87 -x88 x89 x90 x91 x92 -x93 -x94 -x95 -x96 -x97 x98 x99 -x100 -x101 -x102 -x103 x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 x114 -x115 -x116 x117 -x118 x119 x120 x121 -x122 -x123 -x124 -x125 -x126 x127 x128 -x129 -x130 x131 x132 -x133 -x134 -x135 -x136 x137 x138 -x139 -x140 x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 x153 x154 -x155 x156 -x157 x158 x159 -x160 x161 x162 -x163 -x164 x165 x166 -x167 -x168 -x169 x170 x171 -x172 -x173 x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 x182 -x183 x184 -x185 -x186 x187 -x188 x189 -x190 -x191 x192 x193 x194 x195 x196 -x197 -x198 -x199 -x200 x201 x202 x203 x204 x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 x215 -x216 -x217 x218 x219 x220 -x221 x222 -x223 -x224 x225 -x226 -x227 -x228 x229 -x230 x231 x232 -x233 x234 x235 -x236 -x237 x238 x239 -x240 x241 x242 -x243 x244 -x245 -x246 x247 -x248 -x249 x250 x251 x252 -x253 x254 -x255 x256 x257 x258 -x259 x260 x261 -x262 -x263 x264 x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 x273 -x274 x275 -x276 -x277 x278 x279 x280 -x281 x282 x283 -x284 x285 -x286 x287 -x288 x289 x290 -x291 -x292 -x293 x294 x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 x308 -x309 x310 x311 -x312 x313 x314 -x315 -x316 x317 -x318 -x319 x320 -x321 x322 -x323 x324 -x325 -x326 -x327 x328 x329 x330 x331 x332 -x333 x334 -x335 -x336 x337 -x338 -x339 x340 x341 -x342 -x343 -x344 -x345 x346 -x347 x348 x349 x350 x351 -x352 -x353 x354 x355 x356 -x357 x358 x359 -x360 x361 -x362 -x363 x364 -x365 x366 -x367 x368 -x369 x370 x371 x372 -x373 -x374 x375 x376 x377 x378 x379 -x380 -x381 -x382 x383 -x384 x385 x386 x387 -x388 x389 x390 -x391 x392 -x393 x394 -x395 -x396 -x397 x398 -x399 -x400 x401 -x402 x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 x411 -x412 -x413 x414 x415 x416 x417 -x418 x419 -x420 -x421 -x422 x423 -x424 x425 x426 -x427 -x428 x429 x430 x431 x432 x433 x434 -x435 -x436 x437 -x438 -x439 x440 x441 -x442 x443 x444 -x445 -x446 x447 x448 -x449 x450 x451 -x452 -x453 x454 x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 x464 -x465 x466 -x467 x468 -x469 x470 -x471 -x472 x473 -x474 -x475 x476

Verifier Data 

OK	218

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435855-1721097077/watcher-4435855-1721097077 -o /tmp/evaluation-result-4435855-1721097077/solver-4435855-1721097077 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721093479-828364 --watchdog 3760 pb-oll-rs HOME/instance-4435855-1721097077.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100092 s]*
/proc/loadavg: 4.09 4.10 4.13 5/260 830331
/proc/meminfo: memFree=123828304/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=41228 memory=10556 CPUtime=0.09 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 973 0 0 0 8 1 0 0 20 0 1 0 161867896 42217472 2639 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 10307 2639 1366 291 0 1841 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41228 KiB
Current children cumulated memory: 10556 KiB

[startup+0.205797 s]*
/proc/loadavg: 4.09 4.10 4.13 5/260 830331
/proc/meminfo: memFree=123825448/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=43128 memory=13460 CPUtime=0.2 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 1652 0 0 0 18 2 0 0 20 0 1 0 161867896 44163072 3365 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 10782 3365 1366 291 0 2316 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43128 KiB
Current children cumulated memory: 13460 KiB

[startup+0.305722 s]*
/proc/loadavg: 4.09 4.10 4.13 5/260 830331
/proc/meminfo: memFree=123822620/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=47692 memory=16084 CPUtime=0.3 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 2351 0 0 0 28 2 0 0 20 0 1 0 161867896 48836608 4021 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 11923 4021 1366 291 0 3457 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47692 KiB
Current children cumulated memory: 16084 KiB

[startup+0.700215 s]
/proc/loadavg: 4.09 4.10 4.13 5/260 830331
/proc/meminfo: memFree=123820128/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=50140 memory=20800 CPUtime=0.69 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 3466 0 0 0 65 4 0 0 20 0 1 0 161867896 51343360 5200 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 12535 5200 1428 291 0 4069 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 50140 KiB
Current children cumulated memory: 20800 KiB

[startup+1.50021 s]
/proc/loadavg: 4.09 4.10 4.13 5/255 830349
/proc/meminfo: memFree=124028440/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=58220 memory=25628 CPUtime=1.48 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 4652 0 0 0 142 6 0 0 20 0 1 0 161867896 59617280 6407 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 14555 6407 1428 291 0 6089 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 58220 KiB
Current children cumulated memory: 25628 KiB

[startup+3.10538 s]
/proc/loadavg: 4.09 4.10 4.13 4/254 830454
/proc/meminfo: memFree=124330100/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=69208 memory=32420 CPUtime=3.09 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 5828 0 0 0 297 12 0 0 20 0 1 0 161867896 70868992 8105 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 17302 8105 1428 291 0 8836 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 69208 KiB
Current children cumulated memory: 32420 KiB

[startup+6.3002 s]
/proc/loadavg: 4.09 4.09 4.12 5/260 830470
/proc/meminfo: memFree=124280296/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=72248 memory=38424 CPUtime=6.27 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 6846 0 0 0 608 19 0 0 20 0 1 0 161867896 73981952 9606 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 18062 9606 1428 291 0 9596 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 72248 KiB
Current children cumulated memory: 38424 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.11 4.13 5/260 830470
/proc/meminfo: memFree=124245768/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=80312 memory=46572 CPUtime=12.66 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 8249 0 0 0 1236 30 0 0 20 0 1 0 161867896 82239488 11643 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 20078 11643 1428 291 0 11612 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 80312 KiB
Current children cumulated memory: 46572 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.12 4.13 5/260 830474
/proc/meminfo: memFree=124196232/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=97112 memory=57976 CPUtime=25.41 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 10128 0 0 0 2490 51 0 0 20 0 1 0 161867896 99442688 14494 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 24278 14494 1428 291 0 15812 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 97112 KiB
Current children cumulated memory: 57976 KiB

[startup+51.1056 s]
/proc/loadavg: 4.13 4.11 4.13 5/260 830478
/proc/meminfo: memFree=124165944/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=101536 memory=65752 CPUtime=50.95 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 11114 0 0 0 5011 84 0 0 20 0 1 0 161867896 103972864 16438 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 25384 16438 1428 291 0 16918 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 101536 KiB
Current children cumulated memory: 65752 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/258 830486
/proc/meminfo: memFree=124137888/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=108692 memory=72072 CPUtime=102.01 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 12791 0 0 0 10060 141 0 0 20 0 1 0 161867896 111300608 18018 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 27173 18018 1428 291 0 18707 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 108692 KiB
Current children cumulated memory: 72072 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.12 5/258 830498
/proc/meminfo: memFree=124109424/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=119448 memory=82612 CPUtime=161.85 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 14979 0 0 0 16002 183 0 0 20 0 1 0 161867896 122314752 20653 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 29862 20653 1428 291 0 21396 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 119448 KiB
Current children cumulated memory: 82612 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.12 4.12 5/258 830508
/proc/meminfo: memFree=124088460/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=143172 memory=92808 CPUtime=221.68 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 16707 0 0 0 21949 219 0 0 20 0 1 0 161867896 146608128 23202 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 35793 23202 1428 291 0 27327 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 143172 KiB
Current children cumulated memory: 92808 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/255 830518
/proc/meminfo: memFree=124076664/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=143276 memory=92940 CPUtime=281.49 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 16782 0 0 0 27890 259 0 0 20 0 1 0 161867896 146714624 23235 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 35819 23235 1428 291 0 27353 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 143276 KiB
Current children cumulated memory: 92940 KiB

[startup+342.3 s]
/proc/loadavg: 4.20 4.14 4.12 5/255 830528
/proc/meminfo: memFree=124063976/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=145540 memory=94144 CPUtime=341.32 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 17144 0 0 0 33846 286 0 0 20 0 1 0 161867896 149032960 23536 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 36385 23536 1428 291 0 27919 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 145540 KiB
Current children cumulated memory: 94144 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/254 830540
/proc/meminfo: memFree=124058988/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=147132 memory=95932 CPUtime=401.15 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 17597 0 0 0 39806 309 0 0 20 0 1 0 161867896 150663168 23983 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 36783 23983 1428 291 0 28317 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 147132 KiB
Current children cumulated memory: 95932 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.13 4.12 5/254 830550
/proc/meminfo: memFree=124034608/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=150720 memory=109156 CPUtime=460.97 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 18417 0 0 0 45772 325 0 0 20 0 1 0 161867896 154337280 27289 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 37680 27289 1428 291 0 29214 0

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

Current children cumulated memory: 171184 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.12 5/257 831568
/proc/meminfo: memFree=123726836/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=215260 memory=171184 CPUtime=2914.8 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 28804 0 0 0 290640 840 0 0 20 0 1 0 161867896 220426240 42796 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 53815 42796 1428 291 0 45349 0
Current children cumulated CPU time: 2914.8 s
Current children cumulated vsize: 215260 KiB
Current children cumulated memory: 171184 KiB

[startup+2982.3 s]
/proc/loadavg: 4.04 4.08 4.11 5/257 831579
/proc/meminfo: memFree=123723016/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=215260 memory=171184 CPUtime=2974.64 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 28876 0 0 0 296616 848 0 0 20 0 1 0 161867896 220426240 42796 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 53815 42796 1428 291 0 45349 0
Current children cumulated CPU time: 2974.64 s
Current children cumulated vsize: 215260 KiB
Current children cumulated memory: 171184 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.11 5/256 831589
/proc/meminfo: memFree=123718900/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=215260 memory=171184 CPUtime=3034.49 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 28949 0 0 0 302591 858 0 0 20 0 1 0 161867896 220426240 42796 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 53815 42796 1428 291 0 45349 0
Current children cumulated CPU time: 3034.49 s
Current children cumulated vsize: 215260 KiB
Current children cumulated memory: 171184 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.11 5/257 831601
/proc/meminfo: memFree=123718180/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=215764 memory=171280 CPUtime=3094.33 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 29086 0 0 0 308564 869 0 0 20 0 1 0 161867896 220942336 42820 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 53941 42820 1428 291 0 45475 0
Current children cumulated CPU time: 3094.33 s
Current children cumulated vsize: 215764 KiB
Current children cumulated memory: 171280 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.10 5/257 831613
/proc/meminfo: memFree=123716544/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=216244 memory=171608 CPUtime=3154.18 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 29270 0 0 0 314541 877 0 0 20 0 1 0 161867896 221433856 42902 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 54061 42902 1428 291 0 45595 0
Current children cumulated CPU time: 3154.18 s
Current children cumulated vsize: 216244 KiB
Current children cumulated memory: 171608 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.08 4.10 5/259 832010
/proc/meminfo: memFree=123815020/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=216244 memory=171672 CPUtime=3214.03 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 29356 0 0 0 320516 887 0 0 20 0 1 0 161867896 221433856 42918 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 54061 42918 1428 291 0 45595 0
Current children cumulated CPU time: 3214.03 s
Current children cumulated vsize: 216244 KiB
Current children cumulated memory: 171672 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/257 832020
/proc/meminfo: memFree=123811272/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=217780 memory=172436 CPUtime=3273.86 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 29692 0 0 0 326490 896 0 0 20 0 1 0 161867896 223006720 43109 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 54445 43109 1428 291 0 45979 0
Current children cumulated CPU time: 3273.86 s
Current children cumulated vsize: 217780 KiB
Current children cumulated memory: 172436 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.11 4.10 5/257 832030
/proc/meminfo: memFree=123802188/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=225936 memory=176456 CPUtime=3333.71 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 31429 0 0 0 332467 904 0 0 20 0 1 0 161867896 231358464 44114 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 56484 44114 1428 291 0 48018 0
Current children cumulated CPU time: 3333.71 s
Current children cumulated vsize: 225936 KiB
Current children cumulated memory: 176456 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/258 832211
/proc/meminfo: memFree=123788676/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=230836 memory=181860 CPUtime=3393.56 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 32240 0 0 0 338444 912 0 0 20 0 1 0 161867896 236376064 45465 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 57709 45465 1428 291 0 49243 0
Current children cumulated CPU time: 3393.56 s
Current children cumulated vsize: 230836 KiB
Current children cumulated memory: 181860 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/258 832221
/proc/meminfo: memFree=123775584/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=232384 memory=189776 CPUtime=3453.4 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 32568 0 0 0 344421 919 0 0 20 0 1 0 161867896 237961216 47444 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 58096 47444 1428 291 0 49630 0
Current children cumulated CPU time: 3453.4 s
Current children cumulated vsize: 232384 KiB
Current children cumulated memory: 189776 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/259 832288
/proc/meminfo: memFree=123765796/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=232712 memory=190204 CPUtime=3513.25 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 32737 0 0 0 350398 927 0 0 20 0 1 0 161867896 238297088 47551 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 58178 47551 1428 291 0 49712 0
Current children cumulated CPU time: 3513.25 s
Current children cumulated vsize: 232712 KiB
Current children cumulated memory: 190204 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 832299
/proc/meminfo: memFree=123761220/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=232712 memory=190204 CPUtime=3573.11 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 32808 0 0 0 356372 939 0 0 20 0 1 0 161867896 238297088 47551 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 58178 47551 1428 291 0 49712 0
Current children cumulated CPU time: 3573.11 s
Current children cumulated vsize: 232712 KiB
Current children cumulated memory: 190204 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/257 832304
/proc/meminfo: memFree=123757216/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=232712 memory=190204 CPUtime=3600.04 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 32809 0 0 0 359061 943 0 0 20 0 1 0 161867896 238297088 47551 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 58178 47551 1428 291 0 49712 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 232712 KiB
Current children cumulated memory: 190204 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.62 s, system=9.43269 s

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

[startup+3609.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/257 832304
/proc/meminfo: memFree=123757216/131524600 swapFree=131071996/131071996
[pid=830330] ppid=830327 vsize=232712 memory=190204 CPUtime=3600.04 cores=4,6
/proc/830330/stat : 830330 (pb-oll-rs) R 830327 830330 828353 0 -1 4194304 32809 0 0 0 359061 943 0 0 20 0 1 0 161867896 238297088 47551 134679101440 4194304 5384005 140720893761408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27418624 140720893764631 140720893764708 140720893764708 140720893771723 0
/proc/830330/statm: 58178 47551 1428 291 0 49712 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 232712 KiB
Current children cumulated memory: 190204 KiB

Child status: 0

Real time (s): 3609.3
CPU time (s): 3600.05
CPU user time (s): 3590.62
CPU system time (s): 9.43269
CPU usage (%): 99.7436
Max. virtual memory (cumulated for all children) (KiB): 232712
Max. memory (cumulated for all children) (KiB): 190204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.62
system time used= 9.43269
maximum resident set size= 190272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32826
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= 66
involuntary context switches= 2392


# summary of solver processes directly reported to runsolver:
#   pid: 830330
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3590.62
#   total CPU system time (s): 9.43269

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.89737 second user time and 16.9646 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-16 04:31:29
IDJOB=4435855
IDBENCH=147545
IDSOLVER=3067
FILE ID=nodeC015/4435855-1721097077
RUNJOBID= nodeC015-1721093479-828364
SLURM_JOB_ID= 7505595
Free space on /tmp= 890076 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435855-1721097077/watcher-4435855-1721097077 -o /tmp/evaluation-result-4435855-1721097077/solver-4435855-1721097077 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721093479-828364 --watchdog 3760  pb-oll-rs HOME/instance-4435855-1721097077.opb

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

MD5SUM BENCH= f4fbd70ee8b80515313bebcddc52f82a
RANDOM SEED=1954763194

nodeC015.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		: 3648.897
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.61
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		: 3690.092
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.25
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		: 3602.372
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.61
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.942
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.25
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		: 3622.458
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.61
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		: 3690.243
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.25
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		: 3627.713
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.61
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		: 3599.926
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.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123834388 kB
MemAvailable:   129138972 kB
Buffers:          377296 kB
Cached:          5755924 kB
SwapCached:            0 kB
Active:          1205860 kB
Inactive:        5871288 kB
Active(anon):       1556 kB
Inactive(anon):   980084 kB
Active(file):    1204304 kB
Inactive(file):  4891204 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1820 kB
Writeback:            24 kB
AnonPages:        925600 kB
Mapped:           108216 kB
Shmem:             37720 kB
KReclaimable:      97444 kB
Slab:             204680 kB
SReclaimable:      97444 kB
SUnreclaim:       107236 kB
KernelStack:        4208 kB
PageTables:        11464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1207116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62272 kB
HardwareCorrupted:     0 kB
AnonHugePages:    684032 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:      228052 kB
DirectMap2M:    33099776 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC015 at 2024-07-16 05:31:38