Trace number 4454493

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-19SAT (TO)91 3600.04 3610.11

DiagnosticValue
AM1LB0
LOWERBOUND78
NAM1S0
NCORES77
NEXHAUSTED1
NPBCORES0
NPBREFORM0
NTRIMMED1

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-go19.opb
MD5SUM51fa3ae0158cc49e421df545accb4e20
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 benchmark84
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 variables441
Total number of constraints441
Number of constraints which are clauses361
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint5
Number of terms in the objective function 361
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 361
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 361
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 441 #constraints 441
0.00/0.00	c SMALL=int, LARGE=long long
0.00/0.00	c bounds - >= 0 @ 0.001698
0.00/0.00	c stratification level: 0
0.00/0.00	c bounds - >= 1 @ 0.002199
0.00/0.00	c bounds - >= 2 @ 0.002199
0.00/0.00	c bounds - >= 3 @ 0.002199
0.00/0.00	c bounds - >= 4 @ 0.002199
0.00/0.00	c bounds - >= 5 @ 0.002199
0.00/0.00	c bounds - >= 6 @ 0.002199
0.00/0.00	c bounds - >= 7 @ 0.002199
0.00/0.00	c bounds - >= 8 @ 0.002199
0.00/0.00	c bounds - >= 9 @ 0.002199
0.00/0.00	c bounds - >= 10 @ 0.002199
0.00/0.00	c bounds - >= 11 @ 0.002199
0.00/0.00	c bounds - >= 12 @ 0.002199
0.00/0.00	c bounds - >= 13 @ 0.002246
0.00/0.00	c bounds - >= 14 @ 0.00231
0.00/0.00	c bounds - >= 15 @ 0.002369
0.00/0.00	c bounds - >= 16 @ 0.002425
0.00/0.00	c bounds - >= 17 @ 0.002476
0.00/0.00	c bounds - >= 18 @ 0.002534
0.00/0.00	c bounds - >= 19 @ 0.00258
0.00/0.00	c bounds - >= 20 @ 0.002624
0.00/0.00	c bounds - >= 21 @ 0.002675
0.00/0.00	c bounds - >= 22 @ 0.002728
0.00/0.00	c bounds - >= 23 @ 0.002777
0.00/0.00	c bounds - >= 24 @ 0.002825
0.00/0.00	c bounds - >= 25 @ 0.002873
0.00/0.00	c bounds - >= 26 @ 0.002919
0.00/0.00	c bounds - >= 27 @ 0.002976
0.00/0.00	c bounds - >= 28 @ 0.003028
0.00/0.00	c bounds - >= 29 @ 0.003044
0.00/0.00	c bounds - >= 30 @ 0.003044
0.00/0.00	c bounds - >= 31 @ 0.003044
0.00/0.00	c bounds - >= 32 @ 0.003044
0.00/0.00	c bounds - >= 33 @ 0.003044
0.00/0.00	c bounds - >= 34 @ 0.003044
0.00/0.00	c bounds - >= 35 @ 0.003044
0.00/0.00	c bounds - >= 36 @ 0.003044
0.00/0.00	c bounds - >= 37 @ 0.003044
0.00/0.01	c bounds - >= 38 @ 0.003044
0.00/0.01	c bounds - >= 39 @ 0.003044
0.00/0.01	c bounds - >= 40 @ 0.003044
0.00/0.01	c bounds - >= 41 @ 0.003044
0.00/0.01	c bounds - >= 42 @ 0.003079
0.00/0.01	c bounds - >= 43 @ 0.003147
0.00/0.01	c bounds - >= 44 @ 0.003219
0.00/0.01	c bounds - >= 45 @ 0.003288
0.00/0.01	c bounds - >= 46 @ 0.003373
0.00/0.01	c bounds - >= 47 @ 0.00345
0.00/0.01	c bounds - >= 48 @ 0.003524
0.00/0.01	c bounds - >= 49 @ 0.003581
0.00/0.01	c bounds - >= 50 @ 0.003633
0.00/0.01	c bounds - >= 51 @ 0.003684
0.00/0.01	c bounds - >= 52 @ 0.003735
0.00/0.01	c bounds - >= 53 @ 0.003794
0.00/0.01	c bounds - >= 54 @ 0.003849
0.00/0.01	c bounds - >= 55 @ 0.003905
0.00/0.01	c bounds - >= 56 @ 0.003997
0.00/0.01	c bounds - >= 57 @ 0.00407
0.00/0.01	c bounds - >= 58 @ 0.004149
0.00/0.01	c bounds - >= 59 @ 0.004237
0.00/0.01	c bounds - >= 60 @ 0.004316
0.00/0.01	c bounds - >= 61 @ 0.004395
0.00/0.01	c bounds - >= 62 @ 0.00447
0.00/0.01	c bounds - >= 63 @ 0.004551
0.00/0.01	c bounds - >= 64 @ 0.004627
0.00/0.01	c bounds - >= 65 @ 0.004707
0.00/0.01	c bounds - >= 66 @ 0.004785
0.00/0.01	c finalizing WCE round: reformulating cores
12.65/12.75	c #Conflicts:       1000 | #Constraints:       1520
12.65/12.75	c #Conflicts:       2000 | #Constraints:       2522
12.65/12.75	c INPROCESSING
12.65/12.75	c GARBAGE COLLECT
12.65/12.75	c #Conflicts:       3000 | #Constraints:       2393
12.65/12.75	c #Conflicts:       4000 | #Constraints:       3395
12.65/12.75	c INPROCESSING
12.65/12.75	c GARBAGE COLLECT
12.65/12.75	c #Conflicts:       5000 | #Constraints:       2809
12.65/12.75	c #Conflicts:       6000 | #Constraints:       3811
12.65/12.75	c INPROCESSING
12.65/12.75	c GARBAGE COLLECT
12.65/12.75	c #Conflicts:       7000 | #Constraints:       2818
12.65/12.75	c #Conflicts:       8000 | #Constraints:       3820
12.65/12.75	c #Conflicts:       9000 | #Constraints:       4824
12.65/12.75	c INPROCESSING
12.65/12.75	c GARBAGE COLLECT
12.65/12.75	c #Conflicts:      10000 | #Constraints:       3521
12.65/12.75	c #Conflicts:      11000 | #Constraints:       4523
12.65/12.75	c #Conflicts:      12000 | #Constraints:       5525
12.65/12.75	c INPROCESSING
12.65/12.75	c GARBAGE COLLECT
12.65/12.75	c #Conflicts:      13000 | #Constraints:       3976
12.65/12.75	c #Conflicts:      14000 | #Constraints:       4978
12.65/12.75	c #Conflicts:      15000 | #Constraints:       5980
12.65/12.75	c INPROCESSING
12.65/12.75	c GARBAGE COLLECT
12.65/12.75	c #Conflicts:      16000 | #Constraints:       4211
12.65/12.75	c #Conflicts:      17000 | #Constraints:       5213
12.65/12.75	c #Conflicts:      18000 | #Constraints:       6215
12.65/12.75	c INPROCESSING
12.65/12.75	c GARBAGE COLLECT
12.65/12.75	c #Conflicts:      19000 | #Constraints:       4228
12.65/12.75	c #Conflicts:      20000 | #Constraints:       5230
12.65/12.75	c #Conflicts:      21000 | #Constraints:       6232
12.65/12.75	c INPROCESSING
12.65/12.75	c GARBAGE COLLECT
12.65/12.75	c #Conflicts:      22000 | #Constraints:       4039
12.65/12.75	c #Conflicts:      23000 | #Constraints:       5041
12.65/12.75	c #Conflicts:      24000 | #Constraints:       6045
12.65/12.75	c #Conflicts:      25000 | #Constraints:       7047
12.65/12.75	c INPROCESSING
12.65/12.75	c GARBAGE COLLECT
12.65/12.75	c #Conflicts:      26000 | #Constraints:       4657
12.65/12.75	c #Conflicts:      27000 | #Constraints:       5659
12.65/12.75	c #Conflicts:      28000 | #Constraints:       6661
12.65/12.75	c #Conflicts:      29000 | #Constraints:       7665
12.65/12.75	c INPROCESSING
12.65/12.75	c GARBAGE COLLECT
12.65/12.75	c #Conflicts:      30000 | #Constraints:       5062
12.65/12.75	c #Conflicts:      31000 | #Constraints:       6064
12.65/12.75	c #Conflicts:      32000 | #Constraints:       7066
12.65/12.75	c #Conflicts:      33000 | #Constraints:       8070
12.65/12.75	c INPROCESSING
12.65/12.75	c GARBAGE COLLECT
12.65/12.75	c #Conflicts:      34000 | #Constraints:       5274
12.65/12.75	c #Conflicts:      35000 | #Constraints:       6276
12.65/12.75	c #Conflicts:      36000 | #Constraints:       7278
12.65/12.75	c #Conflicts:      37000 | #Constraints:       8282
12.65/12.75	c INPROCESSING
12.65/12.75	c GARBAGE COLLECT
12.65/12.75	c #Conflicts:      38000 | #Constraints:       5284
12.65/12.75	c #Conflicts:      39000 | #Constraints:       6286
12.65/12.75	c #Conflicts:      40000 | #Constraints:       7288
12.65/12.75	c #Conflicts:      41000 | #Constraints:       8292
12.65/12.75	c INPROCESSING
12.65/12.75	c GARBAGE COLLECT
12.65/12.75	c #Conflicts:      42000 | #Constraints:       5099
12.65/12.75	c #Conflicts:      43000 | #Constraints:       6101
12.65/12.75	c #Conflicts:      44000 | #Constraints:       7105
12.65/12.75	c #Conflicts:      45000 | #Constraints:       8107
12.65/12.75	c #Conflicts:      46000 | #Constraints:       9109
12.65/12.75	c INPROCESSING
12.65/12.75	c GARBAGE COLLECT
12.65/12.75	c #Conflicts:      47000 | #Constraints:       5714
12.65/12.75	c #Conflicts:      48000 | #Constraints:       6716
12.65/12.75	c #Conflicts:      49000 | #Constraints:       7718
12.65/12.75	c #Conflicts:      50000 | #Constraints:       8722
12.65/12.75	c #Conflicts:      51000 | #Constraints:       9724
12.65/12.75	c INPROCESSING
12.65/12.75	c GARBAGE COLLECT
12.65/12.75	c #Conflicts:      52000 | #Constraints:       6122
12.65/12.75	c #Conflicts:      53000 | #Constraints:       7124
12.65/12.75	c bounds 98 >= 66 @ 11.0018
12.65/12.75	c bounds 98 >= 67 @ 11.0063
12.65/12.75	c bounds 98 >= 68 @ 11.016
12.65/12.75	c bounds 98 >= 69 @ 11.029
12.65/12.75	c bounds 98 >= 70 @ 11.0465
12.65/12.75	c bounds 98 >= 71 @ 11.0588
12.65/12.75	c #Conflicts:      54000 | #Constraints:       8252
12.65/12.75	c #Conflicts:      55000 | #Constraints:       9252
12.65/12.75	c #Conflicts:      56000 | #Constraints:      10252
12.65/12.75	c INPROCESSING
12.65/12.75	c GARBAGE COLLECT
12.65/12.75	c finalizing WCE round: reformulating cores
15.25/15.30	c #Conflicts:      57000 | #Constraints:       6416
15.25/15.30	c #Conflicts:      58000 | #Constraints:       7418
15.25/15.30	c #Conflicts:      59000 | #Constraints:       8422
15.25/15.30	c #Conflicts:      60000 | #Constraints:       9424
15.25/15.30	c bounds 97 >= 71 @ 13.7555
15.25/15.30	c bounds 97 >= 72 @ 13.7797
15.25/15.30	c bounds 97 >= 73 @ 13.8456
15.25/15.30	c #Conflicts:      61000 | #Constraints:      10510
15.25/15.30	c INPROCESSING
15.25/15.30	c GARBAGE COLLECT
15.25/15.30	c bounds 97 >= 74 @ 14.7733
15.25/15.30	c finalizing WCE round: reformulating cores
24.52/24.63	c #Conflicts:      62000 | #Constraints:       6614
24.52/24.63	c bounds 95 >= 74 @ 15.0978
24.52/24.63	c #Conflicts:      63000 | #Constraints:       7618
24.52/24.63	c bounds 95 >= 75 @ 15.3185
24.52/24.63	c bounds 95 >= 76 @ 15.4893
24.52/24.63	c #Conflicts:      64000 | #Constraints:       8703
24.52/24.63	c #Conflicts:      65000 | #Constraints:       9703
24.52/24.63	c bounds 95 >= 77 @ 17.0791
24.52/24.63	c #Conflicts:      66000 | #Constraints:      10797
24.52/24.63	c INPROCESSING
24.52/24.63	c GARBAGE COLLECT
24.52/24.63	c #Conflicts:      67000 | #Constraints:       6516
24.52/24.63	c #Conflicts:      68000 | #Constraints:       7516
24.52/24.63	c #Conflicts:      69000 | #Constraints:       8516
24.52/24.63	c #Conflicts:      70000 | #Constraints:       9516
24.52/24.63	c #Conflicts:      71000 | #Constraints:      10516
24.52/24.63	c #Conflicts:      72000 | #Constraints:      11516
24.52/24.63	c INPROCESSING
24.52/24.63	c GARBAGE COLLECT
24.52/24.63	c #Conflicts:      73000 | #Constraints:       7106
24.52/24.63	c #Conflicts:      74000 | #Constraints:       8106
24.52/24.63	c #Conflicts:      75000 | #Constraints:       9106
24.52/24.63	c #Conflicts:      76000 | #Constraints:      10106
24.52/24.63	c finalizing WCE round: reformulating cores
300.01/300.87	c #Conflicts:      77000 | #Constraints:      11109
300.01/300.87	c bounds 91 >= 77 @ 24.481
300.01/300.87	c #Conflicts:      78000 | #Constraints:      12111
300.01/300.87	c INPROCESSING
300.01/300.87	c GARBAGE COLLECT
300.01/300.87	c #Conflicts:      79000 | #Constraints:       7520
300.01/300.87	c #Conflicts:      80000 | #Constraints:       8520
300.01/300.87	c #Conflicts:      81000 | #Constraints:       9520
300.01/300.87	c bounds 91 >= 78 @ 27.761
300.01/300.87	c #Conflicts:      82000 | #Constraints:      10617
300.01/300.87	c #Conflicts:      83000 | #Constraints:      11617
300.01/300.87	c #Conflicts:      84000 | #Constraints:      12617
300.01/300.87	c INPROCESSING
300.01/300.87	c GARBAGE COLLECT
300.01/300.87	c #Conflicts:      85000 | #Constraints:       7774
300.01/300.87	c #Conflicts:      86000 | #Constraints:       8774
300.01/300.87	c #Conflicts:      87000 | #Constraints:       9774
300.01/300.87	c #Conflicts:      88000 | #Constraints:      10774
300.01/300.87	c #Conflicts:      89000 | #Constraints:      11774
300.01/300.87	c #Conflicts:      90000 | #Constraints:      12774
300.01/300.87	c INPROCESSING
300.01/300.87	c GARBAGE COLLECT
300.01/300.87	c #Conflicts:      91000 | #Constraints:       7755
300.01/300.87	c #Conflicts:      92000 | #Constraints:       8755
300.01/300.87	c #Conflicts:      93000 | #Constraints:       9755
300.01/300.87	c #Conflicts:      94000 | #Constraints:      10755
300.01/300.87	c #Conflicts:      95000 | #Constraints:      11755
300.01/300.87	c #Conflicts:      96000 | #Constraints:      12755
300.01/300.87	c INPROCESSING
300.01/300.87	c GARBAGE COLLECT
300.01/300.87	c #Conflicts:      97000 | #Constraints:       7562
300.01/300.87	c #Conflicts:      98000 | #Constraints:       8562
300.01/300.87	c #Conflicts:      99000 | #Constraints:       9562
300.01/300.87	c #Conflicts:     100000 | #Constraints:      10562
300.01/300.87	c #Conflicts:     101000 | #Constraints:      11562
300.01/300.87	c #Conflicts:     102000 | #Constraints:      12562
300.01/300.87	c #Conflicts:     103000 | #Constraints:      13562
300.01/300.87	c #Conflicts:     104000 | #Constraints:      14562
300.01/300.87	c #Conflicts:     105000 | #Constraints:      15562
300.01/300.87	c #Conflicts:     106000 | #Constraints:      16562
300.01/300.87	c #Conflicts:     107000 | #Constraints:      17562
300.01/300.87	c #Conflicts:     108000 | #Constraints:      18562
300.01/300.87	c #Conflicts:     109000 | #Constraints:      19562
300.01/300.87	c #Conflicts:     110000 | #Constraints:      20562
300.01/300.87	c #Conflicts:     111000 | #Constraints:      21562
300.01/300.87	c #Conflicts:     112000 | #Constraints:      22562
300.01/300.87	c #Conflicts:     113000 | #Constraints:      23562
300.01/300.87	c #Conflicts:     114000 | #Constraints:      24562
300.01/300.87	c #Conflicts:     115000 | #Constraints:      25562
300.01/300.87	c #Conflicts:     116000 | #Constraints:      26562
300.01/300.87	c #Conflicts:     117000 | #Constraints:      27562
300.01/300.87	c #Conflicts:     118000 | #Constraints:      28562
300.01/300.87	c #Conflicts:     119000 | #Constraints:      29562
300.01/300.87	c #Conflicts:     120000 | #Constraints:      30562
300.01/300.87	c #Conflicts:     121000 | #Constraints:      31562
300.01/300.87	c #Conflicts:     122000 | #Constraints:      32562
300.01/300.87	c #Conflicts:     123000 | #Constraints:      33562
300.01/300.87	c #Conflicts:     124000 | #Constraints:      34562
300.01/300.87	c INPROCESSING
300.01/300.87	c GARBAGE COLLECT
300.01/300.87	c #Conflicts:     125000 | #Constraints:      18357
300.01/300.87	c #Conflicts:     126000 | #Constraints:      19357
300.01/300.87	c #Conflicts:     127000 | #Constraints:      20357
300.01/300.87	c #Conflicts:     128000 | #Constraints:      21357
300.01/300.87	c #Conflicts:     129000 | #Constraints:      22357
300.01/300.87	c #Conflicts:     130000 | #Constraints:      23357
300.01/300.87	c #Conflicts:     131000 | #Constraints:      24357
300.01/300.87	c #Conflicts:     132000 | #Constraints:      25357
300.01/300.87	c INPROCESSING
300.01/300.87	c GARBAGE COLLECT
300.01/300.87	c #Conflicts:     133000 | #Constraints:      13901
300.01/300.87	c #Conflicts:     134000 | #Constraints:      14901
300.01/300.87	c #Conflicts:     135000 | #Constraints:      15901
300.01/300.87	c #Conflicts:     136000 | #Constraints:      16901
300.01/300.87	c #Conflicts:     137000 | #Constraints:      17901
300.01/300.87	c #Conflicts:     138000 | #Constraints:      18901
300.01/300.87	c #Conflicts:     139000 | #Constraints:      19901
300.01/300.87	c #Conflicts:     140000 | #Constraints:      20901
300.01/300.87	c INPROCESSING
300.01/300.87	c GARBAGE COLLECT
300.01/300.87	c #Conflicts:     141000 | #Constraints:      11730
300.01/300.87	c #Conflicts:     142000 | #Constraints:      12730
300.01/300.87	c #Conflicts:     143000 | #Constraints:      13730
300.01/300.87	c #Conflicts:     144000 | #Constraints:      14730
300.01/300.87	c #Conflicts:     145000 | #Constraints:      15730
300.01/300.87	c #Conflicts:     146000 | #Constraints:      16730
300.01/300.87	c #Conflicts:     147000 | #Constraints:      17730
300.01/300.87	c #Conflicts:     148000 | #Constraints:      18730
300.01/300.87	c #Conflicts:     149000 | #Constraints:      19730
300.01/300.87	c #Conflicts:     150000 | #Constraints:      20730
1011.33/1014.32	c #Conflicts:     151000 | #Constraints:      21730
1011.33/1014.32	c #Conflicts:     152000 | #Constraints:      22730
1011.33/1014.32	c #Conflicts:     153000 | #Constraints:      23730
1011.33/1014.32	c #Conflicts:     154000 | #Constraints:      24730
1011.33/1014.32	c #Conflicts:     155000 | #Constraints:      25730
1011.33/1014.32	c #Conflicts:     156000 | #Constraints:      26730
1011.33/1014.32	c #Conflicts:     157000 | #Constraints:      27730
1011.33/1014.32	c #Conflicts:     158000 | #Constraints:      28730
1011.33/1014.32	c #Conflicts:     159000 | #Constraints:      29730
1011.33/1014.32	c #Conflicts:     160000 | #Constraints:      30730
1011.33/1014.32	c #Conflicts:     161000 | #Constraints:      31730
1011.33/1014.32	c #Conflicts:     162000 | #Constraints:      32730
1011.33/1014.32	c #Conflicts:     163000 | #Constraints:      33730
1011.33/1014.32	c #Conflicts:     164000 | #Constraints:      34730
1011.33/1014.32	c #Conflicts:     165000 | #Constraints:      35730
1011.33/1014.32	c #Conflicts:     166000 | #Constraints:      36730
1011.33/1014.32	c #Conflicts:     167000 | #Constraints:      37730
1011.33/1014.32	c #Conflicts:     168000 | #Constraints:      38730
1011.33/1014.32	c #Conflicts:     169000 | #Constraints:      39730
1011.33/1014.32	c #Conflicts:     170000 | #Constraints:      40730
1011.33/1014.32	c #Conflicts:     171000 | #Constraints:      41730
1011.33/1014.32	c #Conflicts:     172000 | #Constraints:      42730
1011.33/1014.32	c INPROCESSING
1011.33/1014.32	c GARBAGE COLLECT
1011.33/1014.32	c #Conflicts:     173000 | #Constraints:      22452
1011.33/1014.32	c #Conflicts:     174000 | #Constraints:      23452
1011.33/1014.32	c #Conflicts:     175000 | #Constraints:      24452
1011.33/1014.32	c #Conflicts:     176000 | #Constraints:      25452
1011.33/1014.32	c #Conflicts:     177000 | #Constraints:      26452
1011.33/1014.32	c #Conflicts:     178000 | #Constraints:      27452
1011.33/1014.32	c #Conflicts:     179000 | #Constraints:      28452
1011.33/1014.32	c #Conflicts:     180000 | #Constraints:      29452
1011.33/1014.32	c #Conflicts:     181000 | #Constraints:      30452
1011.33/1014.32	c #Conflicts:     182000 | #Constraints:      31452
1011.33/1014.32	c INPROCESSING
1011.33/1014.32	c GARBAGE COLLECT
1011.33/1014.32	c #Conflicts:     183000 | #Constraints:      17206
1011.33/1014.32	c #Conflicts:     184000 | #Constraints:      18206
1011.33/1014.32	c #Conflicts:     185000 | #Constraints:      19206
1011.33/1014.32	c #Conflicts:     186000 | #Constraints:      20206
1011.33/1014.32	c #Conflicts:     187000 | #Constraints:      21206
1011.33/1014.32	c #Conflicts:     188000 | #Constraints:      22206
1011.33/1014.32	c #Conflicts:     189000 | #Constraints:      23206
1011.33/1014.32	c #Conflicts:     190000 | #Constraints:      24206
1011.33/1014.32	c #Conflicts:     191000 | #Constraints:      25206
1011.33/1014.32	c INPROCESSING
1011.33/1014.32	c GARBAGE COLLECT
1011.33/1014.32	c #Conflicts:     192000 | #Constraints:      13889
1011.33/1014.32	c #Conflicts:     193000 | #Constraints:      14889
1011.33/1014.32	c #Conflicts:     194000 | #Constraints:      15889
1011.33/1014.32	c #Conflicts:     195000 | #Constraints:      16889
1011.33/1014.32	c #Conflicts:     196000 | #Constraints:      17889
1011.33/1014.32	c #Conflicts:     197000 | #Constraints:      18889
1011.33/1014.32	c #Conflicts:     198000 | #Constraints:      19889
1011.33/1014.32	c #Conflicts:     199000 | #Constraints:      20889
1011.33/1014.32	c #Conflicts:     200000 | #Constraints:      21889
1011.33/1014.32	c #Conflicts:     201000 | #Constraints:      22889
1011.33/1014.32	c #Conflicts:     202000 | #Constraints:      23889
1011.33/1014.32	c #Conflicts:     203000 | #Constraints:      24889
1011.33/1014.32	c #Conflicts:     204000 | #Constraints:      25889
1011.33/1014.32	c #Conflicts:     205000 | #Constraints:      26889
1011.33/1014.32	c #Conflicts:     206000 | #Constraints:      27889
1011.33/1014.32	c #Conflicts:     207000 | #Constraints:      28889
1011.33/1014.32	c #Conflicts:     208000 | #Constraints:      29889
1011.33/1014.32	c #Conflicts:     209000 | #Constraints:      30889
1011.33/1014.32	c #Conflicts:     210000 | #Constraints:      31889
1011.33/1014.32	c #Conflicts:     211000 | #Constraints:      32889
1011.33/1014.32	c #Conflicts:     212000 | #Constraints:      33889
1011.33/1014.32	c #Conflicts:     213000 | #Constraints:      34889
1011.33/1014.32	c #Conflicts:     214000 | #Constraints:      35889
1011.33/1014.32	c #Conflicts:     215000 | #Constraints:      36889
1011.33/1014.32	c #Conflicts:     216000 | #Constraints:      37889
1011.33/1014.32	c #Conflicts:     217000 | #Constraints:      38889
1011.33/1014.32	c #Conflicts:     218000 | #Constraints:      39889
1011.33/1014.32	c #Conflicts:     219000 | #Constraints:      40889
1011.33/1014.32	c #Conflicts:     220000 | #Constraints:      41889
1011.33/1014.32	c #Conflicts:     221000 | #Constraints:      42889
1011.33/1014.32	c #Conflicts:     222000 | #Constraints:      43889
1011.33/1014.32	c #Conflicts:     223000 | #Constraints:      44889
1011.33/1014.32	c #Conflicts:     224000 | #Constraints:      45889
1011.33/1014.32	c #Conflicts:     225000 | #Constraints:      46889
1011.33/1014.32	c #Conflicts:     226000 | #Constraints:      47889
1011.33/1014.32	c #Conflicts:     227000 | #Constraints:      48889
1806.16/1811.39	c #Conflicts:     228000 | #Constraints:      49889
1806.16/1811.39	c INPROCESSING
1806.16/1811.39	c GARBAGE COLLECT
1806.16/1811.39	c #Conflicts:     229000 | #Constraints:      26427
1806.16/1811.39	c #Conflicts:     230000 | #Constraints:      27427
1806.16/1811.39	c #Conflicts:     231000 | #Constraints:      28427
1806.16/1811.39	c #Conflicts:     232000 | #Constraints:      29427
1806.16/1811.39	c #Conflicts:     233000 | #Constraints:      30427
1806.16/1811.39	c #Conflicts:     234000 | #Constraints:      31427
1806.16/1811.39	c #Conflicts:     235000 | #Constraints:      32427
1806.16/1811.39	c #Conflicts:     236000 | #Constraints:      33427
1806.16/1811.39	c #Conflicts:     237000 | #Constraints:      34427
1806.16/1811.39	c #Conflicts:     238000 | #Constraints:      35427
1806.16/1811.39	c INPROCESSING
1806.16/1811.39	c GARBAGE COLLECT
1806.16/1811.39	c #Conflicts:     239000 | #Constraints:      18843
1806.16/1811.39	c #Conflicts:     240000 | #Constraints:      19843
1806.16/1811.39	c #Conflicts:     241000 | #Constraints:      20843
1806.16/1811.39	c #Conflicts:     242000 | #Constraints:      21843
1806.16/1811.39	c #Conflicts:     243000 | #Constraints:      22843
1806.16/1811.39	c #Conflicts:     244000 | #Constraints:      23843
1806.16/1811.39	c #Conflicts:     245000 | #Constraints:      24843
1806.16/1811.39	c #Conflicts:     246000 | #Constraints:      25843
1806.16/1811.39	c #Conflicts:     247000 | #Constraints:      26843
1806.16/1811.39	c #Conflicts:     248000 | #Constraints:      27843
1806.16/1811.39	c #Conflicts:     249000 | #Constraints:      28843
1806.16/1811.39	c INPROCESSING
1806.16/1811.39	c GARBAGE COLLECT
1806.16/1811.39	c #Conflicts:     250000 | #Constraints:      15619
1806.16/1811.39	c #Conflicts:     251000 | #Constraints:      16619
1806.16/1811.39	c #Conflicts:     252000 | #Constraints:      17619
1806.16/1811.39	c #Conflicts:     253000 | #Constraints:      18619
1806.16/1811.39	c #Conflicts:     254000 | #Constraints:      19619
1806.16/1811.39	c #Conflicts:     255000 | #Constraints:      20619
1806.16/1811.39	c #Conflicts:     256000 | #Constraints:      21619
1806.16/1811.39	c #Conflicts:     257000 | #Constraints:      22619
1806.16/1811.39	c #Conflicts:     258000 | #Constraints:      23619
1806.16/1811.39	c #Conflicts:     259000 | #Constraints:      24619
1806.16/1811.39	c #Conflicts:     260000 | #Constraints:      25619
1806.16/1811.39	c #Conflicts:     261000 | #Constraints:      26619
1806.16/1811.39	c #Conflicts:     262000 | #Constraints:      27619
1806.16/1811.39	c #Conflicts:     263000 | #Constraints:      28619
1806.16/1811.39	c #Conflicts:     264000 | #Constraints:      29619
1806.16/1811.39	c #Conflicts:     265000 | #Constraints:      30619
1806.16/1811.39	c #Conflicts:     266000 | #Constraints:      31619
1806.16/1811.39	c #Conflicts:     267000 | #Constraints:      32619
1806.16/1811.39	c #Conflicts:     268000 | #Constraints:      33619
1806.16/1811.39	c #Conflicts:     269000 | #Constraints:      34619
1806.16/1811.39	c #Conflicts:     270000 | #Constraints:      35619
1806.16/1811.39	c #Conflicts:     271000 | #Constraints:      36619
1806.16/1811.39	c #Conflicts:     272000 | #Constraints:      37619
1806.16/1811.39	c #Conflicts:     273000 | #Constraints:      38619
1806.16/1811.39	c #Conflicts:     274000 | #Constraints:      39619
1806.16/1811.39	c #Conflicts:     275000 | #Constraints:      40619
1806.16/1811.39	c #Conflicts:     276000 | #Constraints:      41619
1806.16/1811.39	c #Conflicts:     277000 | #Constraints:      42619
1806.16/1811.39	c #Conflicts:     278000 | #Constraints:      43619
1806.16/1811.39	c #Conflicts:     279000 | #Constraints:      44619
1806.16/1811.39	c #Conflicts:     280000 | #Constraints:      45619
1806.16/1811.39	c #Conflicts:     281000 | #Constraints:      46619
1806.16/1811.39	c #Conflicts:     282000 | #Constraints:      47619
1806.16/1811.39	c #Conflicts:     283000 | #Constraints:      48619
1806.16/1811.39	c #Conflicts:     284000 | #Constraints:      49619
1806.16/1811.39	c #Conflicts:     285000 | #Constraints:      50619
1806.16/1811.39	c #Conflicts:     286000 | #Constraints:      51619
1806.16/1811.39	c #Conflicts:     287000 | #Constraints:      52619
1806.16/1811.39	c #Conflicts:     288000 | #Constraints:      53619
1806.16/1811.39	c #Conflicts:     289000 | #Constraints:      54619
1806.16/1811.39	c #Conflicts:     290000 | #Constraints:      55619
1806.16/1811.39	c INPROCESSING
1806.16/1811.39	c GARBAGE COLLECT
1806.16/1811.39	c #Conflicts:     291000 | #Constraints:      29087
1806.16/1811.39	c #Conflicts:     292000 | #Constraints:      30087
1806.16/1811.39	c #Conflicts:     293000 | #Constraints:      31087
1806.16/1811.39	c #Conflicts:     294000 | #Constraints:      32087
1806.16/1811.39	c #Conflicts:     295000 | #Constraints:      33087
1806.16/1811.39	c #Conflicts:     296000 | #Constraints:      34087
1806.16/1811.39	c #Conflicts:     297000 | #Constraints:      35087
1806.16/1811.39	c #Conflicts:     298000 | #Constraints:      36087
1806.16/1811.39	c #Conflicts:     299000 | #Constraints:      37087
1806.16/1811.39	c #Conflicts:     300000 | #Constraints:      38087
1806.16/1811.39	c #Conflicts:     301000 | #Constraints:      39087
1806.16/1811.39	c #Conflicts:     302000 | #Constraints:      40087
1806.16/1811.39	c INPROCESSING
1806.16/1811.39	c GARBAGE COLLECT
2821.05/2829.17	c #Conflicts:     303000 | #Constraints:      21238
2821.05/2829.17	c #Conflicts:     304000 | #Constraints:      22238
2821.05/2829.17	c #Conflicts:     305000 | #Constraints:      23238
2821.05/2829.17	c #Conflicts:     306000 | #Constraints:      24238
2821.05/2829.17	c #Conflicts:     307000 | #Constraints:      25238
2821.05/2829.17	c #Conflicts:     308000 | #Constraints:      26238
2821.05/2829.17	c #Conflicts:     309000 | #Constraints:      27238
2821.05/2829.17	c #Conflicts:     310000 | #Constraints:      28238
2821.05/2829.17	c #Conflicts:     311000 | #Constraints:      29238
2821.05/2829.17	c #Conflicts:     312000 | #Constraints:      30238
2821.05/2829.17	c #Conflicts:     313000 | #Constraints:      31238
2821.05/2829.17	c #Conflicts:     314000 | #Constraints:      32238
2821.05/2829.17	c #Conflicts:     315000 | #Constraints:      33238
2821.05/2829.17	c INPROCESSING
2821.05/2829.17	c GARBAGE COLLECT
2821.05/2829.17	c #Conflicts:     316000 | #Constraints:      19681
2821.05/2829.17	c #Conflicts:     317000 | #Constraints:      20681
2821.05/2829.17	c #Conflicts:     318000 | #Constraints:      21681
2821.05/2829.17	c #Conflicts:     319000 | #Constraints:      22681
2821.05/2829.17	c #Conflicts:     320000 | #Constraints:      23681
2821.05/2829.17	c #Conflicts:     321000 | #Constraints:      24681
2821.05/2829.17	c #Conflicts:     322000 | #Constraints:      25681
2821.05/2829.17	c #Conflicts:     323000 | #Constraints:      26681
2821.05/2829.17	c #Conflicts:     324000 | #Constraints:      27681
2821.05/2829.17	c #Conflicts:     325000 | #Constraints:      28681
2821.05/2829.17	c #Conflicts:     326000 | #Constraints:      29681
2821.05/2829.17	c #Conflicts:     327000 | #Constraints:      30681
2821.05/2829.17	c #Conflicts:     328000 | #Constraints:      31681
2821.05/2829.17	c #Conflicts:     329000 | #Constraints:      32681
2821.05/2829.17	c #Conflicts:     330000 | #Constraints:      33681
2821.05/2829.17	c #Conflicts:     331000 | #Constraints:      34681
2821.05/2829.17	c #Conflicts:     332000 | #Constraints:      35681
2821.05/2829.17	c #Conflicts:     333000 | #Constraints:      36681
2821.05/2829.17	c #Conflicts:     334000 | #Constraints:      37681
2821.05/2829.17	c #Conflicts:     335000 | #Constraints:      38681
2821.05/2829.17	c #Conflicts:     336000 | #Constraints:      39681
2821.05/2829.17	c #Conflicts:     337000 | #Constraints:      40681
2821.05/2829.17	c #Conflicts:     338000 | #Constraints:      41681
2821.05/2829.17	c #Conflicts:     339000 | #Constraints:      42681
2821.05/2829.17	c #Conflicts:     340000 | #Constraints:      43681
2821.05/2829.17	c #Conflicts:     341000 | #Constraints:      44681
2821.05/2829.17	c #Conflicts:     342000 | #Constraints:      45681
2821.05/2829.17	c #Conflicts:     343000 | #Constraints:      46681
2821.05/2829.17	c #Conflicts:     344000 | #Constraints:      47681
2821.05/2829.17	c #Conflicts:     345000 | #Constraints:      48681
2821.05/2829.17	c #Conflicts:     346000 | #Constraints:      49681
2821.05/2829.17	c #Conflicts:     347000 | #Constraints:      50681
2821.05/2829.17	c #Conflicts:     348000 | #Constraints:      51681
2821.05/2829.17	c #Conflicts:     349000 | #Constraints:      52681
2821.05/2829.17	c #Conflicts:     350000 | #Constraints:      53681
2821.05/2829.17	c #Conflicts:     351000 | #Constraints:      54681
2821.05/2829.17	c #Conflicts:     352000 | #Constraints:      55681
2821.05/2829.17	c #Conflicts:     353000 | #Constraints:      56681
2821.05/2829.17	c #Conflicts:     354000 | #Constraints:      57681
2821.05/2829.17	c #Conflicts:     355000 | #Constraints:      58681
2821.05/2829.17	c #Conflicts:     356000 | #Constraints:      59681
2821.05/2829.17	c #Conflicts:     357000 | #Constraints:      60681
2821.05/2829.17	c #Conflicts:     358000 | #Constraints:      61681
2821.05/2829.17	c #Conflicts:     359000 | #Constraints:      62681
2821.05/2829.17	c #Conflicts:     360000 | #Constraints:      63681
2821.05/2829.17	c INPROCESSING
2821.05/2829.17	c GARBAGE COLLECT
2821.05/2829.17	c #Conflicts:     361000 | #Constraints:      33335
2821.05/2829.17	c #Conflicts:     362000 | #Constraints:      34335
2821.05/2829.17	c #Conflicts:     363000 | #Constraints:      35335
2821.05/2829.17	c #Conflicts:     364000 | #Constraints:      36335
2821.05/2829.17	c #Conflicts:     365000 | #Constraints:      37335
2821.05/2829.17	c #Conflicts:     366000 | #Constraints:      38335
2821.05/2829.17	c #Conflicts:     367000 | #Constraints:      39335
2821.05/2829.17	c #Conflicts:     368000 | #Constraints:      40335
2821.05/2829.17	c #Conflicts:     369000 | #Constraints:      41335
2821.05/2829.17	c #Conflicts:     370000 | #Constraints:      42335
2821.05/2829.17	c #Conflicts:     371000 | #Constraints:      43335
2821.05/2829.17	c #Conflicts:     372000 | #Constraints:      44335
2821.05/2829.17	c #Conflicts:     373000 | #Constraints:      45335
2821.05/2829.17	c INPROCESSING
2821.05/2829.17	c GARBAGE COLLECT
2821.05/2829.17	c #Conflicts:     374000 | #Constraints:      23817
2821.05/2829.17	c #Conflicts:     375000 | #Constraints:      24817
2821.05/2829.17	c #Conflicts:     376000 | #Constraints:      25817
2821.05/2829.17	c #Conflicts:     377000 | #Constraints:      26817
2821.05/2829.17	c #Conflicts:     378000 | #Constraints:      27817
2821.05/2829.17	c #Conflicts:     379000 | #Constraints:      28817
3600.02/3610.10	c #Conflicts:     380000 | #Constraints:      29817
3600.02/3610.10	c #Conflicts:     381000 | #Constraints:      30817
3600.02/3610.10	c #Conflicts:     382000 | #Constraints:      31817
3600.02/3610.10	c #Conflicts:     383000 | #Constraints:      32817
3600.02/3610.10	c #Conflicts:     384000 | #Constraints:      33817
3600.02/3610.10	c #Conflicts:     385000 | #Constraints:      34817
3600.02/3610.10	c #Conflicts:     386000 | #Constraints:      35817
3600.02/3610.10	c #Conflicts:     387000 | #Constraints:      36817
3600.02/3610.10	c INPROCESSING
3600.02/3610.10	c GARBAGE COLLECT
3600.02/3610.10	c #Conflicts:     388000 | #Constraints:      22738
3600.02/3610.10	c #Conflicts:     389000 | #Constraints:      23738
3600.02/3610.10	c #Conflicts:     390000 | #Constraints:      24738
3600.02/3610.10	c #Conflicts:     391000 | #Constraints:      25738
3600.02/3610.10	c #Conflicts:     392000 | #Constraints:      26738
3600.02/3610.10	c #Conflicts:     393000 | #Constraints:      27738
3600.02/3610.10	c #Conflicts:     394000 | #Constraints:      28738
3600.02/3610.10	c #Conflicts:     395000 | #Constraints:      29738
3600.02/3610.10	c #Conflicts:     396000 | #Constraints:      30738
3600.02/3610.10	c #Conflicts:     397000 | #Constraints:      31738
3600.02/3610.10	c #Conflicts:     398000 | #Constraints:      32738
3600.02/3610.10	c #Conflicts:     399000 | #Constraints:      33738
3600.02/3610.10	c #Conflicts:     400000 | #Constraints:      34738
3600.02/3610.10	c #Conflicts:     401000 | #Constraints:      35738
3600.02/3610.10	c #Conflicts:     402000 | #Constraints:      36738
3600.02/3610.10	c #Conflicts:     403000 | #Constraints:      37738
3600.02/3610.10	c #Conflicts:     404000 | #Constraints:      38738
3600.02/3610.10	c #Conflicts:     405000 | #Constraints:      39738
3600.02/3610.10	c #Conflicts:     406000 | #Constraints:      40738
3600.02/3610.10	c #Conflicts:     407000 | #Constraints:      41738
3600.02/3610.10	c #Conflicts:     408000 | #Constraints:      42738
3600.02/3610.10	c #Conflicts:     409000 | #Constraints:      43738
3600.02/3610.10	c #Conflicts:     410000 | #Constraints:      44738
3600.02/3610.10	c #Conflicts:     411000 | #Constraints:      45738
3600.02/3610.10	c #Conflicts:     412000 | #Constraints:      46738
3600.02/3610.10	c #Conflicts:     413000 | #Constraints:      47738
3600.02/3610.10	c #Conflicts:     414000 | #Constraints:      48738
3600.02/3610.10	c #Conflicts:     415000 | #Constraints:      49738
3600.02/3610.10	c #Conflicts:     416000 | #Constraints:      50738
3600.02/3610.10	c #Conflicts:     417000 | #Constraints:      51738
3600.02/3610.10	c #Conflicts:     418000 | #Constraints:      52738
3600.02/3610.10	c #Conflicts:     419000 | #Constraints:      53738
3600.02/3610.10	c #Conflicts:     420000 | #Constraints:      54738
3600.02/3610.10	c #Conflicts:     421000 | #Constraints:      55738
3600.02/3610.10	c #Conflicts:     422000 | #Constraints:      56738
3600.02/3610.10	c #Conflicts:     423000 | #Constraints:      57738
3600.02/3610.10	c #Conflicts:     424000 | #Constraints:      58738
3600.02/3610.10	c #Conflicts:     425000 | #Constraints:      59738
3600.02/3610.10	c #Conflicts:     426000 | #Constraints:      60738
3600.02/3610.10	c #Conflicts:     427000 | #Constraints:      61738
3600.02/3610.10	c #Conflicts:     428000 | #Constraints:      62738
3600.02/3610.10	c #Conflicts:     429000 | #Constraints:      63738
3600.02/3610.10	c Program interrupted by user.
3600.02/3610.10	c cpu time 3590.07 s
3600.02/3610.10	c deterministic time 300015049940 3.00e+11
3600.02/3610.10	c optimization time 682.964 s
3600.02/3610.10	c total solve time 2907.1 s
3600.02/3610.10	c core-guided solve time 2907.1 s
3600.02/3610.10	c propagation time 3341 s
3600.02/3610.10	c conflict analysis time 234.236 s
3600.02/3610.10	c propagations 50318275
3600.02/3610.10	c resolve steps 4587631
3600.02/3610.10	c decisions 6858093
3600.02/3610.10	c conflicts 429145
3600.02/3610.10	c restarts 1020
3600.02/3610.10	c inprocessing phases 38
3600.02/3610.10	c input clauses 636
3600.02/3610.10	c input cardinalities 409
3600.02/3610.10	c input general constraints 215
3600.02/3610.10	c input average constraint length 30.14
3600.02/3610.10	c input average constraint degree 6.59
3600.02/3610.10	c learned clauses 64621
3600.02/3610.10	c learned cardinalities 6136
3600.02/3610.10	c learned general constraints 358386
3600.02/3610.10	c learned average constraint length 121.55
3600.02/3610.10	c learned average constraint degree 1735290.06
3600.02/3610.10	c watched constraints 303748
3600.02/3610.10	c counting constraints 54853
3600.02/3610.10	c gcd simplifications 4459
3600.02/3610.10	c detected cardinalities 261
3600.02/3610.10	c weakened non-implied lits 5102741
3600.02/3610.10	c weakened non-implying lits 12156
3600.02/3610.10	c original variables 441
3600.02/3610.10	c clausal propagations 11849541
3600.02/3610.10	c cardinality propagations 1051613
3600.02/3610.10	c watched propagations 9967935
3600.02/3610.10	c counting propagations 26965262
3600.02/3610.10	c watch lookups 66992854349
3600.02/3610.10	c watch backjump lookups 63430973958
3600.02/3610.10	c watch checks 149883824877
3600.02/3610.10	c propagation checks 19404977041
3600.02/3610.10	c constraint additions 187638141
3600.02/3610.10	c trail pops 57605205
3600.02/3610.10	c formula constraints 441
3600.02/3610.10	c learned constraints 429143
3600.02/3610.10	c bound constraints 85
3600.02/3610.10	c core-guided constraints 734
3600.02/3610.10	c encountered formula constraints 288390
3600.02/3610.10	c encountered learned constraints 4032732
3600.02/3610.10	c encountered bound constraints 78
3600.02/3610.10	c encountered core-guided constraints 695576
3600.02/3610.10	c LP total time 0 s
3600.02/3610.10	c LP solve time 0 s
3600.02/3610.10	c LP constraints added 0
3600.02/3610.10	c LP constraints removed 0
3600.02/3610.10	c LP pivots internal 0
3600.02/3610.10	c LP pivots root 0
3600.02/3610.10	c LP calls 0
3600.02/3610.10	c LP optimalities 0
3600.02/3610.10	c LP no pivot count 0
3600.02/3610.10	c LP infeasibilities 0
3600.02/3610.10	c LP valid Farkas constraints 0
3600.02/3610.10	c LP learned Farkas constraints 0
3600.02/3610.10	c LP basis resets 0
3600.02/3610.10	c LP cycling count 0
3600.02/3610.10	c LP singular count 0
3600.02/3610.10	c LP no primal count 0
3600.02/3610.10	c LP no farkas count 0
3600.02/3610.10	c LP other issue count 0
3600.02/3610.10	c LP Gomory cuts 0
3600.02/3610.10	c LP learned cuts 0
3600.02/3610.10	c LP deleted cuts 0
3600.02/3610.10	c LP encountered Gomory constraints 0
3600.02/3610.10	c LP encountered Farkas constraints 0
3600.02/3610.10	c LP encountered learned Farkas constraints 0
3600.02/3610.10	c CG auxiliary variables introduced 270
3600.02/3610.10	c CG solutions found 4
3600.02/3610.10	c CG cores constructed 77
3600.02/3610.10	c CG core cardinality constraints returned 0
3600.02/3610.10	c CG unit cores 0
3600.02/3610.10	c CG single cores 77
3600.02/3610.10	c CG blocks removed during cardinality reduction 0
3600.02/3610.10	c CG first core best 0
3600.02/3610.10	c CG decision core best 0
3600.02/3610.10	c CG core reduction tie 0
3600.02/3610.10	c CG core degree average 1.00
3600.02/3610.10	c CG core slack average 6.62
3600.02/3610.10	c CG exhausted 1
3600.02/3610.10	c CG exhaust time 13.4479 s
3600.02/3610.10	c CG trimmed 1
3600.02/3610.10	c CG trim time 0.0054 s
3600.02/3610.10	c CG minimized 0
3600.02/3610.10	c CG minimize time 0 s
3600.02/3610.10	c CG am1 prop time 0.009922 s
3600.02/3610.10	c CG # am1s reformulated 0
3600.02/3610.10	c CG lower bound derived from am1s 0
3600.02/3610.10	c CG # clausal cores 77
3600.02/3610.10	c CG # cardinality cores 0
3600.02/3610.10	c CG # pb cores 0
3600.02/3610.10	c CG # pb reforms 0
3600.02/3610.10	c CG # cores discarded because of pb reform 0
3600.02/3610.10	d LOWERBOUND 78
3600.02/3610.10	d NCORES 77
3600.02/3610.10	d NPBCORES 0
3600.02/3610.10	d NPBREFORM 0
3600.02/3610.10	d NTRIMMED 1
3600.02/3610.10	d NEXHAUSTED 1
3600.02/3610.10	d NAM1S 0
3600.02/3610.10	d AM1LB 0
3600.02/3610.10	o 91
3600.02/3610.10	s SATISFIABLE
3600.02/3610.10	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

Verifier Data 

OK	91

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454493-1721473687/watcher-4454493-1721473687 -o /tmp/evaluation-result-4454493-1721473687/solver-4454493-1721473687 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721466477-1082119 --watchdog 3760 pb-oll-rs HOME/instance-4454493-1721473687.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1086421, runsolver pid=1086418
Current StackSize limit: 8192 KiB


[startup+0.100091 s]*
/proc/loadavg: 4.14 4.13 4.10 5/252 1086422
/proc/meminfo: memFree=123751664/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=42204 memory=11948 CPUtime=0.09 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 1266 0 0 0 9 0 0 0 20 0 1 0 199534021 43216896 2987 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 10551 2987 1391 291 0 2085 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42204 KiB
Current children cumulated memory: 11948 KiB

[startup+0.205596 s]*
/proc/loadavg: 4.14 4.13 4.10 5/252 1086422
/proc/meminfo: memFree=123707144/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=43196 memory=13004 CPUtime=0.2 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 1530 0 0 0 19 1 0 0 20 0 1 0 199534021 44232704 3251 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 10799 3251 1391 291 0 2333 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43196 KiB
Current children cumulated memory: 13004 KiB

[startup+0.305493 s]*
/proc/loadavg: 4.14 4.13 4.10 5/252 1086422
/proc/meminfo: memFree=123663360/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=43916 memory=13976 CPUtime=0.3 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 1751 0 0 0 29 1 0 0 20 0 1 0 199534021 44969984 3494 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 10979 3494 1440 291 0 2513 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43916 KiB
Current children cumulated memory: 13976 KiB

[startup+0.70022 s]
/proc/loadavg: 4.14 4.13 4.10 5/250 1086422
/proc/meminfo: memFree=123610136/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=49648 memory=17968 CPUtime=0.69 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 2762 0 0 0 66 3 0 0 20 0 1 0 199534021 50839552 4492 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 12412 4492 1440 291 0 3946 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49648 KiB
Current children cumulated memory: 17968 KiB

[startup+1.50022 s]
/proc/loadavg: 4.14 4.13 4.10 5/256 1086433
/proc/meminfo: memFree=123590088/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=51408 memory=20608 CPUtime=1.48 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 3423 0 0 0 142 6 0 0 20 0 1 0 199534021 52641792 5152 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 12852 5152 1440 291 0 4386 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 51408 KiB
Current children cumulated memory: 20608 KiB

[startup+3.10563 s]
/proc/loadavg: 4.14 4.13 4.10 5/253 1086473
/proc/meminfo: memFree=123536884/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=59636 memory=27108 CPUtime=3.09 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 4530 0 0 0 297 12 0 0 20 0 1 0 199534021 61067264 6777 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 14909 6777 1440 291 0 6443 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 27108 KiB

[startup+6.30019 s]
/proc/loadavg: 4.13 4.13 4.10 5/256 1086525
/proc/meminfo: memFree=127749444/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=63284 memory=32052 CPUtime=6.27 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 5265 0 0 0 605 22 0 0 20 0 1 0 199534021 64802816 8013 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 15821 8013 1440 291 0 7355 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 63284 KiB
Current children cumulated memory: 32052 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.13 4.10 5/256 1086527
/proc/meminfo: memFree=127416708/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=90720 memory=55564 CPUtime=12.65 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 10104 0 0 0 1225 40 0 0 20 0 1 0 199534021 92897280 13891 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 22680 13891 1440 291 0 14214 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 90720 KiB
Current children cumulated memory: 55564 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.12 4.09 5/254 1086543
/proc/meminfo: memFree=127717388/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=94588 memory=60488 CPUtime=25.42 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 10930 0 0 0 2472 70 0 0 20 0 1 0 199534021 96858112 15122 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 23647 15122 1440 291 0 15181 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 94588 KiB
Current children cumulated memory: 60488 KiB

[startup+51.1057 s]
/proc/loadavg: 4.12 4.12 4.10 5/256 1086579
/proc/meminfo: memFree=127831628/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=96900 memory=64888 CPUtime=50.96 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 11572 0 0 0 4986 110 0 0 20 0 1 0 199534021 99225600 16222 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 24225 16222 1440 291 0 15759 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 96900 KiB
Current children cumulated memory: 64888 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 1086588
/proc/meminfo: memFree=127627272/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=104912 memory=73476 CPUtime=102.03 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 13311 0 0 0 10063 140 0 0 20 0 1 0 199534021 107429888 18369 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 26228 18369 1440 291 0 17762 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 104912 KiB
Current children cumulated memory: 73476 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 1086603
/proc/meminfo: memFree=127480060/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=122228 memory=84036 CPUtime=161.88 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 14957 0 0 0 16027 161 0 0 20 0 1 0 199534021 125161472 21009 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 30557 21009 1440 291 0 22091 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 122228 KiB
Current children cumulated memory: 84036 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 1086613
/proc/meminfo: memFree=127397664/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=124996 memory=90456 CPUtime=221.72 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 15626 0 0 0 21990 182 0 0 20 0 1 0 199534021 127995904 22614 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 31249 22614 1440 291 0 22783 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 124996 KiB
Current children cumulated memory: 90456 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 1086623
/proc/meminfo: memFree=127261524/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=125284 memory=90556 CPUtime=281.56 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 15720 0 0 0 27939 217 0 0 20 0 1 0 199534021 128290816 22639 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 31321 22639 1440 291 0 22855 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 125284 KiB
Current children cumulated memory: 90556 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/257 1086636
/proc/meminfo: memFree=127181596/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=125284 memory=90556 CPUtime=341.39 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 15740 0 0 0 33893 246 0 0 20 0 1 0 199534021 128290816 22639 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 31321 22639 1440 291 0 22855 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 125284 KiB
Current children cumulated memory: 90556 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/257 1086647
/proc/meminfo: memFree=127043272/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=125284 memory=90640 CPUtime=401.2 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 15787 0 0 0 39858 262 0 0 20 0 1 0 199534021 128290816 22660 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 31321 22660 1440 291 0 22855 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 125284 KiB
Current children cumulated memory: 90640 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/256 1086657
/proc/meminfo: memFree=126943116/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=129452 memory=95404 CPUtime=461.03 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 16539 0 0 0 45825 278 0 0 20 0 1 0 199534021 132558848 23851 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0

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

Current children cumulated memory: 139624 KiB

[startup+2922.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/257 1088112
/proc/meminfo: memFree=124856424/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=202600 memory=139624 CPUtime=2913.97 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 24737 0 0 0 290524 873 0 0 20 0 1 0 199534021 207462400 34906 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 50650 34906 1440 291 0 42184 0
Current children cumulated CPU time: 2913.97 s
Current children cumulated vsize: 202600 KiB
Current children cumulated memory: 139624 KiB

[startup+2982.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/257 1088123
/proc/meminfo: memFree=124812416/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=202600 memory=139676 CPUtime=2973.78 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 24783 0 0 0 296485 893 0 0 20 0 1 0 199534021 207462400 34919 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 50650 34919 1440 291 0 42184 0
Current children cumulated CPU time: 2973.78 s
Current children cumulated vsize: 202600 KiB
Current children cumulated memory: 139676 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/259 1088303
/proc/meminfo: memFree=124780024/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=202600 memory=139676 CPUtime=3033.6 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 24817 0 0 0 302451 909 0 0 20 0 1 0 199534021 207462400 34919 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 50650 34919 1440 291 0 42184 0
Current children cumulated CPU time: 3033.6 s
Current children cumulated vsize: 202600 KiB
Current children cumulated memory: 139676 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 1088314
/proc/meminfo: memFree=124746720/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=202600 memory=139676 CPUtime=3093.42 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 24851 0 0 0 308418 924 0 0 20 0 1 0 199534021 207462400 34919 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 50650 34919 1440 291 0 42184 0
Current children cumulated CPU time: 3093.42 s
Current children cumulated vsize: 202600 KiB
Current children cumulated memory: 139676 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 1088338
/proc/meminfo: memFree=124696840/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=202600 memory=145908 CPUtime=3153.26 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 24924 0 0 0 314389 937 0 0 20 0 1 0 199534021 207462400 36477 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 50650 36477 1440 291 0 42184 0
Current children cumulated CPU time: 3153.26 s
Current children cumulated vsize: 202600 KiB
Current children cumulated memory: 145908 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 1088349
/proc/meminfo: memFree=124650964/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=202600 memory=145908 CPUtime=3213.12 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 24983 0 0 0 320366 946 0 0 20 0 1 0 199534021 207462400 36477 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 50650 36477 1440 291 0 42184 0
Current children cumulated CPU time: 3213.12 s
Current children cumulated vsize: 202600 KiB
Current children cumulated memory: 145908 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 1088359
/proc/meminfo: memFree=124618504/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=202600 memory=145908 CPUtime=3272.98 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 25045 0 0 0 326343 955 0 0 20 0 1 0 199534021 207462400 36477 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 50650 36477 1440 291 0 42184 0
Current children cumulated CPU time: 3272.98 s
Current children cumulated vsize: 202600 KiB
Current children cumulated memory: 145908 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/258 1088371
/proc/meminfo: memFree=124584976/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=202600 memory=145908 CPUtime=3332.84 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 25108 0 0 0 332322 962 0 0 20 0 1 0 199534021 207462400 36477 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 50650 36477 1440 291 0 42184 0
Current children cumulated CPU time: 3332.84 s
Current children cumulated vsize: 202600 KiB
Current children cumulated memory: 145908 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/258 1088382
/proc/meminfo: memFree=124544532/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=202600 memory=145908 CPUtime=3392.71 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 25172 0 0 0 338299 972 0 0 20 0 1 0 199534021 207462400 36477 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 50650 36477 1440 291 0 42184 0
Current children cumulated CPU time: 3392.71 s
Current children cumulated vsize: 202600 KiB
Current children cumulated memory: 145908 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 1088393
/proc/meminfo: memFree=124505740/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=202600 memory=145908 CPUtime=3452.57 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 25237 0 0 0 344277 980 0 0 20 0 1 0 199534021 207462400 36477 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 50650 36477 1440 291 0 42184 0
Current children cumulated CPU time: 3452.57 s
Current children cumulated vsize: 202600 KiB
Current children cumulated memory: 145908 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 1088403
/proc/meminfo: memFree=124473976/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=202600 memory=145908 CPUtime=3512.43 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 25303 0 0 0 350257 986 0 0 20 0 1 0 199534021 207462400 36477 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 50650 36477 1440 291 0 42184 0
Current children cumulated CPU time: 3512.43 s
Current children cumulated vsize: 202600 KiB
Current children cumulated memory: 145908 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 1088414
/proc/meminfo: memFree=124446876/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=203628 memory=146172 CPUtime=3572.29 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 25474 0 0 0 356236 993 0 0 20 0 1 0 199534021 208515072 36543 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 50907 36543 1440 291 0 42441 0
Current children cumulated CPU time: 3572.29 s
Current children cumulated vsize: 203628 KiB
Current children cumulated memory: 146172 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.19 4.13 4.10 5/256 1088420
/proc/meminfo: memFree=124426232/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=204140 memory=146428 CPUtime=3600.02 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 25542 0 0 0 359006 996 0 0 20 0 1 0 199534021 209039360 36607 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 51035 36607 1440 291 0 42569 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 204140 KiB
Current children cumulated memory: 146428 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.07 s, system=9.9694 s

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

[startup+3610.11 s]
/proc/loadavg: 4.19 4.13 4.10 5/256 1088420
/proc/meminfo: memFree=124426232/131524600 swapFree=131071996/131071996
[pid=1086421] ppid=1086418 vsize=204140 memory=146428 CPUtime=3600.02 cores=4,6
/proc/1086421/stat : 1086421 (pb-oll-rs) R 1086418 1086421 1082106 0 -1 4194304 25542 0 0 0 359006 996 0 0 20 0 1 0 199534021 209039360 36607 134679101440 4194304 5384485 140731337820816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12496896 140731337827349 140731337827426 140731337827426 140731337834443 0
/proc/1086421/statm: 51035 36607 1440 291 0 42569 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 204140 KiB
Current children cumulated memory: 146428 KiB

Child status: 0

Real time (s): 3610.11
CPU time (s): 3600.04
CPU user time (s): 3590.07
CPU system time (s): 9.9694
CPU usage (%): 99.7211
Max. virtual memory (cumulated for all children) (KiB): 204140
Max. memory (cumulated for all children) (KiB): 146428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.07
system time used= 9.9694
maximum resident set size= 146832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25558
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= 60
involuntary context switches= 2074


# summary of solver processes directly reported to runsolver:
#   pid: 1086421
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3590.07
#   total CPU system time (s): 9.9694

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.93005 second user time and 16.2088 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2024-07-20 13:08:19
IDJOB=4454493
IDBENCH=155338
IDSOLVER=3082
FILE ID=nodeC025/4454493-1721473687
RUNJOBID= nodeC025-1721466477-1082119
SLURM_JOB_ID= 7545718
Free space on /tmp= 889956 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-go19.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454493-1721473687/watcher-4454493-1721473687 -o /tmp/evaluation-result-4454493-1721473687/solver-4454493-1721473687 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721466477-1082119 --watchdog 3760  pb-oll-rs HOME/instance-4454493-1721473687.opb

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

MD5SUM BENCH= 51fa3ae0158cc49e421df545accb4e20
RANDOM SEED=55214195

nodeC025.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		: 3674.054
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.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123806472 kB
MemAvailable:   125151256 kB
Buffers:          581704 kB
Cached:          1598040 kB
SwapCached:            0 kB
Active:          1183132 kB
Inactive:        5888104 kB
Active(anon):       1512 kB
Inactive(anon):  4935560 kB
Active(file):    1181620 kB
Inactive(file):   952544 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             59224 kB
Writeback:            52 kB
AnonPages:       4886924 kB
Mapped:           110104 kB
Shmem:             45912 kB
KReclaimable:     100532 kB
Slab:             216292 kB
SReclaimable:     100532 kB
SUnreclaim:       115760 kB
KernelStack:        4028 kB
PageTables:        19080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    5763180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            74528 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3745792 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:      318164 kB
DirectMap2M:    43495424 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 889996 MiB
End job on nodeC025 at 2024-07-20 14:08:29