Trace number 4454230

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)9212 3600.03 3611.41

DiagnosticValue
AM1LB0
LOWERBOUND4280
NAM1S0
NCORES25
NEXHAUSTED18
NPBCORES0
NPBREFORM4
NTRIMMED5

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb
MD5SUM0aad002c81e214aa0b66948d5567e1f0
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8691
Best CPU time to get the best result obtained on this benchmark0.113538
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables548
Total number of constraints166
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints126
Minimum length of a constraint2
Maximum length of a constraint143
Number of terms in the objective function 416
Biggest coefficient in the objective function 11000
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 96797
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 96797
Number of bits of the biggest sum of numbers17
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 548 #constraints 166
0.00/0.00	c SMALL=int, LARGE=long long
0.00/0.00	c bounds - >= 0 @ 0.000355
0.00/0.00	c stratification level: 101
0.19/0.21	c bounds - >= 101 @ 0.004755
0.19/0.21	c bounds - >= 202 @ 0.018183
0.19/0.21	c #Conflicts:       1000 | #Constraints:       1167
0.19/0.21	c bounds - >= 308 @ 0.129105
0.19/0.21	c bounds - >= 427 @ 0.150737
0.19/0.21	c #Conflicts:       2000 | #Constraints:       2169
0.19/0.21	c INPROCESSING
0.19/0.21	c GARBAGE COLLECT
0.19/0.21	c bounds - >= 541 @ 0.186658
0.19/0.21	c finalizing WCE round: reformulating cores
11.55/11.65	c bounds 12301 >= 101 @ 0.195347
11.55/11.65	c bounds 12301 >= 101 @ 0.210866
11.55/11.65	c #Conflicts:       3000 | #Constraints:       2180
11.55/11.65	c bounds 12301 >= 404 @ 0.345408
11.55/11.65	c bounds 12301 >= 404 @ 0.416412
11.55/11.65	c #Conflicts:       4000 | #Constraints:       3186
11.55/11.65	c INPROCESSING
11.55/11.65	c GARBAGE COLLECT
11.55/11.65	c bounds 12301 >= 404 @ 0.571409
11.55/11.65	c #Conflicts:       5000 | #Constraints:       2358
11.55/11.65	c bounds 12301 >= 813 @ 0.705251
11.55/11.65	c #Conflicts:       6000 | #Constraints:       3362
11.55/11.65	c bounds 12281 >= 1152 @ 0.92147
11.55/11.65	c bounds 12281 >= 1253 @ 0.923496
11.55/11.65	c bounds 12281 >= 1354 @ 0.93282
11.55/11.65	c bounds 12281 >= 1455 @ 0.939353
11.55/11.65	c bounds 12281 >= 1556 @ 0.952462
11.55/11.65	c INPROCESSING
11.55/11.65	c GARBAGE COLLECT
11.55/11.65	c bounds 12281 >= 1657 @ 1.00231
11.55/11.65	c #Conflicts:       7000 | #Constraints:       2270
11.55/11.65	c bounds 12281 >= 1758 @ 1.0453
11.55/11.65	c bounds 12281 >= 1859 @ 1.1307
11.55/11.65	c #Conflicts:       8000 | #Constraints:       3285
11.55/11.65	c bounds 12281 >= 1960 @ 1.30861
11.55/11.65	c #Conflicts:       9000 | #Constraints:       4292
11.55/11.65	c INPROCESSING
11.55/11.65	c GARBAGE COLLECT
11.55/11.65	c #Conflicts:      10000 | #Constraints:       3164
11.55/11.65	c bounds 12281 >= 2061 @ 2.0598
11.55/11.65	c #Conflicts:      11000 | #Constraints:       4171
11.55/11.65	c #Conflicts:      12000 | #Constraints:       5171
11.55/11.65	c INPROCESSING
11.55/11.65	c GARBAGE COLLECT
11.55/11.65	c #Conflicts:      13000 | #Constraints:       3700
11.55/11.65	c #Conflicts:      14000 | #Constraints:       4700
11.55/11.65	c #Conflicts:      15000 | #Constraints:       5700
11.55/11.65	c INPROCESSING
11.55/11.65	c GARBAGE COLLECT
11.55/11.65	c #Conflicts:      16000 | #Constraints:       3973
11.55/11.65	c #Conflicts:      17000 | #Constraints:       4973
11.55/11.65	c #Conflicts:      18000 | #Constraints:       5973
11.55/11.65	c INPROCESSING
11.55/11.65	c GARBAGE COLLECT
11.55/11.65	c #Conflicts:      19000 | #Constraints:       4006
11.55/11.65	c #Conflicts:      20000 | #Constraints:       5006
11.55/11.65	c #Conflicts:      21000 | #Constraints:       6006
11.55/11.65	c INPROCESSING
11.55/11.65	c GARBAGE COLLECT
11.55/11.65	c #Conflicts:      22000 | #Constraints:       3820
11.55/11.65	c #Conflicts:      23000 | #Constraints:       4820
11.55/11.65	c #Conflicts:      24000 | #Constraints:       5820
11.55/11.65	c #Conflicts:      25000 | #Constraints:       6820
11.55/11.65	c INPROCESSING
11.55/11.65	c GARBAGE COLLECT
11.55/11.65	c #Conflicts:      26000 | #Constraints:       4431
11.55/11.65	c bounds 12281 >= 2162 @ 11.2857
11.55/11.65	c finalizing WCE round: reformulating cores
13.06/13.14	c bounds 11986 >= 1253 @ 11.3859
13.06/13.14	c bounds 11122 >= 1455 @ 11.4204
13.06/13.14	c #Conflicts:      27000 | #Constraints:       5448
13.06/13.14	c bounds 11122 >= 1455 @ 11.545
13.06/13.14	c bounds 10705 >= 1859 @ 11.5751
13.06/13.14	c bounds 10670 >= 2061 @ 11.6113
13.06/13.14	c bounds 10579 >= 2263 @ 11.6495
13.06/13.14	c bounds 10574 >= 2465 @ 11.8255
13.06/13.14	c #Conflicts:      28000 | #Constraints:       6474
13.06/13.14	c #Conflicts:      29000 | #Constraints:       7482
13.06/13.14	c INPROCESSING
13.06/13.14	c GARBAGE COLLECT
13.06/13.14	c bounds 10487 >= 2869 @ 12.3817
13.06/13.14	c bounds 10487 >= 2970 @ 12.3928
13.06/13.14	c bounds 10487 >= 3071 @ 12.4152
13.06/13.14	c #Conflicts:      30000 | #Constraints:       4692
13.06/13.14	c bounds 10487 >= 3172 @ 12.7976
13.06/13.14	c finalizing WCE round: reformulating cores
15.14/15.25	c bounds 9726 >= 3172 @ 12.862
15.14/15.25	c bounds 9726 >= 3172 @ 12.8953
15.14/15.25	c #Conflicts:      31000 | #Constraints:       5742
15.14/15.25	c bounds 9726 >= 3172 @ 13.1069
15.14/15.25	c bounds 9726 >= 3475 @ 13.407
15.14/15.25	c #Conflicts:      32000 | #Constraints:       6744
15.14/15.25	c bounds 9726 >= 3576 @ 13.4274
15.14/15.25	c bounds 9726 >= 3677 @ 13.5484
15.14/15.25	c #Conflicts:      33000 | #Constraints:       7785
15.14/15.25	c INPROCESSING
15.14/15.25	c GARBAGE COLLECT
15.14/15.25	c bounds 9726 >= 3778 @ 14.0819
15.14/15.25	c #Conflicts:      34000 | #Constraints:       4920
15.14/15.25	c #Conflicts:      35000 | #Constraints:       5920
15.14/15.25	c finalizing WCE round: reformulating cores
15.75/15.82	c bounds 9658 >= 3778 @ 15.0882
15.75/15.82	c #Conflicts:      36000 | #Constraints:       6930
15.75/15.82	c bounds 9658 >= 3879 @ 15.2032
15.75/15.82	c finalizing WCE round: reformulating cores
17.15/17.28	c #Conflicts:      37000 | #Constraints:       7967
17.15/17.28	c INPROCESSING
17.15/17.28	c GARBAGE COLLECT
17.15/17.28	c bounds 9606 >= 3879 @ 15.9858
17.15/17.28	c #Conflicts:      38000 | #Constraints:       5070
17.15/17.28	c bounds 9606 >= 3980 @ 16.2374
17.15/17.28	c #Conflicts:      39000 | #Constraints:       6070
17.15/17.28	c bounds 9606 >= 4081 @ 16.7267
17.15/17.28	c #Conflicts:      40000 | #Constraints:       7107
17.15/17.28	c finalizing WCE round: reformulating cores
17.64/17.76	c #Conflicts:      41000 | #Constraints:       8110
17.64/17.76	c bounds 9605 >= 4081 @ 17.316
17.64/17.76	c bounds 9574 >= 4081 @ 17.3828
17.64/17.76	c stratification level: 100
47.76/47.95	c INPROCESSING
47.76/47.95	c GARBAGE COLLECT
47.76/47.95	c bounds 9574 >= 4181 @ 17.6649
47.76/47.95	c #Conflicts:      42000 | #Constraints:       4800
47.76/47.95	c #Conflicts:      43000 | #Constraints:       5800
47.76/47.95	c #Conflicts:      44000 | #Constraints:       6800
47.76/47.95	c #Conflicts:      45000 | #Constraints:       7800
47.76/47.95	c #Conflicts:      46000 | #Constraints:       8800
47.76/47.95	c INPROCESSING
47.76/47.95	c GARBAGE COLLECT
47.76/47.95	c #Conflicts:      47000 | #Constraints:       5509
47.76/47.95	c #Conflicts:      48000 | #Constraints:       6509
47.76/47.95	c #Conflicts:      49000 | #Constraints:       7509
47.76/47.95	c #Conflicts:      50000 | #Constraints:       8509
47.76/47.95	c #Conflicts:      51000 | #Constraints:       9509
47.76/47.95	c INPROCESSING
47.76/47.95	c GARBAGE COLLECT
47.76/47.95	c #Conflicts:      52000 | #Constraints:       5961
47.76/47.95	c #Conflicts:      53000 | #Constraints:       6961
47.76/47.95	c #Conflicts:      54000 | #Constraints:       7961
47.76/47.95	c #Conflicts:      55000 | #Constraints:       8961
47.76/47.95	c #Conflicts:      56000 | #Constraints:       9961
47.76/47.95	c INPROCESSING
47.76/47.95	c GARBAGE COLLECT
47.76/47.95	c #Conflicts:      57000 | #Constraints:       6195
47.76/47.95	c #Conflicts:      58000 | #Constraints:       7195
47.76/47.95	c #Conflicts:      59000 | #Constraints:       8195
47.76/47.95	c #Conflicts:      60000 | #Constraints:       9195
47.76/47.95	c #Conflicts:      61000 | #Constraints:      10195
47.76/47.95	c INPROCESSING
47.76/47.95	c GARBAGE COLLECT
47.76/47.95	c #Conflicts:      62000 | #Constraints:       6212
47.76/47.95	c #Conflicts:      63000 | #Constraints:       7212
47.76/47.95	c #Conflicts:      64000 | #Constraints:       8212
47.76/47.95	c #Conflicts:      65000 | #Constraints:       9212
47.76/47.95	c #Conflicts:      66000 | #Constraints:      10212
47.76/47.95	c INPROCESSING
47.76/47.95	c GARBAGE COLLECT
47.76/47.95	c #Conflicts:      67000 | #Constraints:       6009
47.76/47.95	c finalizing WCE round: reformulating cores
48.96/49.15	c #Conflicts:      68000 | #Constraints:       7012
48.96/49.15	c bounds 9544 >= 4181 @ 47.9069
48.96/49.15	c bounds 9352 >= 4181 @ 48.4081
48.96/49.15	c stratification level: 99
178.08/178.67	c #Conflicts:      69000 | #Constraints:       8031
178.08/178.67	c #Conflicts:      70000 | #Constraints:       9031
178.08/178.67	c #Conflicts:      71000 | #Constraints:      10031
178.08/178.67	c #Conflicts:      72000 | #Constraints:      11031
178.08/178.67	c INPROCESSING
178.08/178.67	c GARBAGE COLLECT
178.08/178.67	c #Conflicts:      73000 | #Constraints:       6628
178.08/178.67	c #Conflicts:      74000 | #Constraints:       7628
178.08/178.67	c #Conflicts:      75000 | #Constraints:       8628
178.08/178.67	c #Conflicts:      76000 | #Constraints:       9628
178.08/178.67	c #Conflicts:      77000 | #Constraints:      10628
178.08/178.67	c #Conflicts:      78000 | #Constraints:      11628
178.08/178.67	c INPROCESSING
178.08/178.67	c GARBAGE COLLECT
178.08/178.67	c #Conflicts:      79000 | #Constraints:       7031
178.08/178.67	c #Conflicts:      80000 | #Constraints:       8031
178.08/178.67	c #Conflicts:      81000 | #Constraints:       9031
178.08/178.67	c #Conflicts:      82000 | #Constraints:      10031
178.08/178.67	c #Conflicts:      83000 | #Constraints:      11031
178.08/178.67	c #Conflicts:      84000 | #Constraints:      12031
178.08/178.67	c INPROCESSING
178.08/178.67	c GARBAGE COLLECT
178.08/178.67	c #Conflicts:      85000 | #Constraints:       7234
178.08/178.67	c #Conflicts:      86000 | #Constraints:       8234
178.08/178.67	c #Conflicts:      87000 | #Constraints:       9234
178.08/178.67	c #Conflicts:      88000 | #Constraints:      10234
178.08/178.67	c #Conflicts:      89000 | #Constraints:      11234
178.08/178.67	c #Conflicts:      90000 | #Constraints:      12234
178.08/178.67	c INPROCESSING
178.08/178.67	c GARBAGE COLLECT
178.08/178.67	c #Conflicts:      91000 | #Constraints:       7225
178.08/178.67	c #Conflicts:      92000 | #Constraints:       8225
178.08/178.67	c #Conflicts:      93000 | #Constraints:       9225
178.08/178.67	c #Conflicts:      94000 | #Constraints:      10225
178.08/178.67	c #Conflicts:      95000 | #Constraints:      11225
178.08/178.67	c #Conflicts:      96000 | #Constraints:      12225
178.08/178.67	c INPROCESSING
178.08/178.67	c GARBAGE COLLECT
178.08/178.67	c #Conflicts:      97000 | #Constraints:       7023
178.08/178.67	c #Conflicts:      98000 | #Constraints:       8023
178.08/178.67	c #Conflicts:      99000 | #Constraints:       9023
178.08/178.67	c #Conflicts:     100000 | #Constraints:      10023
178.08/178.67	c #Conflicts:     101000 | #Constraints:      11023
178.08/178.67	c #Conflicts:     102000 | #Constraints:      12023
178.08/178.67	c #Conflicts:     103000 | #Constraints:      13023
178.08/178.67	c INPROCESSING
178.08/178.67	c GARBAGE COLLECT
178.08/178.67	c #Conflicts:     104000 | #Constraints:       7623
178.08/178.67	c #Conflicts:     105000 | #Constraints:       8623
178.08/178.67	c #Conflicts:     106000 | #Constraints:       9623
178.08/178.67	c #Conflicts:     107000 | #Constraints:      10623
178.08/178.67	c #Conflicts:     108000 | #Constraints:      11623
178.08/178.67	c #Conflicts:     109000 | #Constraints:      12623
178.08/178.67	c #Conflicts:     110000 | #Constraints:      13623
178.08/178.67	c INPROCESSING
178.08/178.67	c GARBAGE COLLECT
178.08/178.67	c #Conflicts:     111000 | #Constraints:       8032
178.08/178.67	c #Conflicts:     112000 | #Constraints:       9032
178.08/178.67	c #Conflicts:     113000 | #Constraints:      10032
178.08/178.67	c #Conflicts:     114000 | #Constraints:      11032
178.08/178.67	c #Conflicts:     115000 | #Constraints:      12032
178.08/178.67	c #Conflicts:     116000 | #Constraints:      13032
178.08/178.67	c #Conflicts:     117000 | #Constraints:      14032
178.08/178.67	c INPROCESSING
178.08/178.67	c GARBAGE COLLECT
178.08/178.67	c #Conflicts:     118000 | #Constraints:       8229
178.08/178.67	c #Conflicts:     119000 | #Constraints:       9229
178.08/178.67	c #Conflicts:     120000 | #Constraints:      10229
178.08/178.67	c #Conflicts:     121000 | #Constraints:      11229
178.08/178.67	c #Conflicts:     122000 | #Constraints:      12229
178.08/178.67	c #Conflicts:     123000 | #Constraints:      13229
178.08/178.67	c #Conflicts:     124000 | #Constraints:      14229
178.08/178.67	c INPROCESSING
178.08/178.67	c GARBAGE COLLECT
178.08/178.67	c #Conflicts:     125000 | #Constraints:       8222
178.08/178.67	c #Conflicts:     126000 | #Constraints:       9222
178.08/178.67	c #Conflicts:     127000 | #Constraints:      10222
178.08/178.67	c #Conflicts:     128000 | #Constraints:      11222
178.08/178.67	c #Conflicts:     129000 | #Constraints:      12222
178.08/178.67	c #Conflicts:     130000 | #Constraints:      13222
178.08/178.67	c #Conflicts:     131000 | #Constraints:      14222
178.08/178.67	c INPROCESSING
178.08/178.67	c GARBAGE COLLECT
178.08/178.67	c #Conflicts:     132000 | #Constraints:       8024
178.08/178.67	c #Conflicts:     133000 | #Constraints:       9024
178.08/178.67	c #Conflicts:     134000 | #Constraints:      10024
178.08/178.67	c #Conflicts:     135000 | #Constraints:      11024
178.08/178.67	c #Conflicts:     136000 | #Constraints:      12024
178.08/178.67	c #Conflicts:     137000 | #Constraints:      13024
178.08/178.67	c #Conflicts:     138000 | #Constraints:      14024
178.08/178.67	c #Conflicts:     139000 | #Constraints:      15024
178.08/178.67	c INPROCESSING
178.08/178.67	c GARBAGE COLLECT
178.08/178.67	c #Conflicts:     140000 | #Constraints:       8630
1110.24/1113.71	c #Conflicts:     141000 | #Constraints:       9630
1110.24/1113.71	c #Conflicts:     142000 | #Constraints:      10630
1110.24/1113.71	c #Conflicts:     143000 | #Constraints:      11630
1110.24/1113.71	c #Conflicts:     144000 | #Constraints:      12630
1110.24/1113.71	c #Conflicts:     145000 | #Constraints:      13630
1110.24/1113.71	c #Conflicts:     146000 | #Constraints:      14630
1110.24/1113.71	c #Conflicts:     147000 | #Constraints:      15630
1110.24/1113.71	c INPROCESSING
1110.24/1113.71	c GARBAGE COLLECT
1110.24/1113.71	c #Conflicts:     148000 | #Constraints:       9039
1110.24/1113.71	c #Conflicts:     149000 | #Constraints:      10039
1110.24/1113.71	c #Conflicts:     150000 | #Constraints:      11039
1110.24/1113.71	c #Conflicts:     151000 | #Constraints:      12039
1110.24/1113.71	c #Conflicts:     152000 | #Constraints:      13039
1110.24/1113.71	c #Conflicts:     153000 | #Constraints:      14039
1110.24/1113.71	c #Conflicts:     154000 | #Constraints:      15039
1110.24/1113.71	c #Conflicts:     155000 | #Constraints:      16039
1110.24/1113.71	c INPROCESSING
1110.24/1113.71	c GARBAGE COLLECT
1110.24/1113.71	c #Conflicts:     156000 | #Constraints:       9229
1110.24/1113.71	c #Conflicts:     157000 | #Constraints:      10229
1110.24/1113.71	c #Conflicts:     158000 | #Constraints:      11229
1110.24/1113.71	c #Conflicts:     159000 | #Constraints:      12229
1110.24/1113.71	c #Conflicts:     160000 | #Constraints:      13229
1110.24/1113.71	c #Conflicts:     161000 | #Constraints:      14229
1110.24/1113.71	c #Conflicts:     162000 | #Constraints:      15229
1110.24/1113.71	c #Conflicts:     163000 | #Constraints:      16229
1110.24/1113.71	c INPROCESSING
1110.24/1113.71	c GARBAGE COLLECT
1110.24/1113.71	c #Conflicts:     164000 | #Constraints:       9231
1110.24/1113.71	c #Conflicts:     165000 | #Constraints:      10231
1110.24/1113.71	c #Conflicts:     166000 | #Constraints:      11231
1110.24/1113.71	c #Conflicts:     167000 | #Constraints:      12231
1110.24/1113.71	c #Conflicts:     168000 | #Constraints:      13231
1110.24/1113.71	c #Conflicts:     169000 | #Constraints:      14231
1110.24/1113.71	c #Conflicts:     170000 | #Constraints:      15231
1110.24/1113.71	c #Conflicts:     171000 | #Constraints:      16231
1110.24/1113.71	c INPROCESSING
1110.24/1113.71	c GARBAGE COLLECT
1110.24/1113.71	c #Conflicts:     172000 | #Constraints:       9038
1110.24/1113.71	c #Conflicts:     173000 | #Constraints:      10038
1110.24/1113.71	c #Conflicts:     174000 | #Constraints:      11038
1110.24/1113.71	c #Conflicts:     175000 | #Constraints:      12038
1110.24/1113.71	c #Conflicts:     176000 | #Constraints:      13038
1110.24/1113.71	c #Conflicts:     177000 | #Constraints:      14038
1110.24/1113.71	c #Conflicts:     178000 | #Constraints:      15038
1110.24/1113.71	c #Conflicts:     179000 | #Constraints:      16038
1110.24/1113.71	c #Conflicts:     180000 | #Constraints:      17038
1110.24/1113.71	c #Conflicts:     181000 | #Constraints:      18038
1110.24/1113.71	c #Conflicts:     182000 | #Constraints:      19038
1110.24/1113.71	c #Conflicts:     183000 | #Constraints:      20038
1110.24/1113.71	c #Conflicts:     184000 | #Constraints:      21038
1110.24/1113.71	c #Conflicts:     185000 | #Constraints:      22038
1110.24/1113.71	c #Conflicts:     186000 | #Constraints:      23038
1110.24/1113.71	c #Conflicts:     187000 | #Constraints:      24038
1110.24/1113.71	c #Conflicts:     188000 | #Constraints:      25038
1110.24/1113.71	c #Conflicts:     189000 | #Constraints:      26038
1110.24/1113.71	c #Conflicts:     190000 | #Constraints:      27038
1110.24/1113.71	c #Conflicts:     191000 | #Constraints:      28038
1110.24/1113.71	c #Conflicts:     192000 | #Constraints:      29038
1110.24/1113.71	c #Conflicts:     193000 | #Constraints:      30038
1110.24/1113.71	c #Conflicts:     194000 | #Constraints:      31038
1110.24/1113.71	c #Conflicts:     195000 | #Constraints:      32038
1110.24/1113.71	c #Conflicts:     196000 | #Constraints:      33038
1110.24/1113.71	c #Conflicts:     197000 | #Constraints:      34038
1110.24/1113.71	c #Conflicts:     198000 | #Constraints:      35038
1110.24/1113.71	c #Conflicts:     199000 | #Constraints:      36038
1110.24/1113.71	c #Conflicts:     200000 | #Constraints:      37038
1110.24/1113.71	c #Conflicts:     201000 | #Constraints:      38038
1110.24/1113.71	c #Conflicts:     202000 | #Constraints:      39038
1110.24/1113.71	c #Conflicts:     203000 | #Constraints:      40038
1110.24/1113.71	c #Conflicts:     204000 | #Constraints:      41038
1110.24/1113.71	c #Conflicts:     205000 | #Constraints:      42038
1110.24/1113.71	c #Conflicts:     206000 | #Constraints:      43038
1110.24/1113.71	c #Conflicts:     207000 | #Constraints:      44038
1110.24/1113.71	c #Conflicts:     208000 | #Constraints:      45038
1110.24/1113.71	c #Conflicts:     209000 | #Constraints:      46038
1110.24/1113.71	c #Conflicts:     210000 | #Constraints:      47038
1110.24/1113.71	c INPROCESSING
1110.24/1113.71	c GARBAGE COLLECT
1110.24/1113.71	c #Conflicts:     211000 | #Constraints:      24328
1110.24/1113.71	c #Conflicts:     212000 | #Constraints:      25328
1110.24/1113.71	c #Conflicts:     213000 | #Constraints:      26328
1110.24/1113.71	c #Conflicts:     214000 | #Constraints:      27328
1110.24/1113.71	c #Conflicts:     215000 | #Constraints:      28328
1110.24/1113.71	c bounds 9341 >= 4181 @ 1107.24
1110.24/1113.71	c stratification level: 98
2648.05/2656.52	c #Conflicts:     216000 | #Constraints:      29329
2648.05/2656.52	c #Conflicts:     217000 | #Constraints:      30329
2648.05/2656.52	c #Conflicts:     218000 | #Constraints:      31329
2648.05/2656.52	c #Conflicts:     219000 | #Constraints:      32329
2648.05/2656.52	c #Conflicts:     220000 | #Constraints:      33329
2648.05/2656.52	c INPROCESSING
2648.05/2656.52	c GARBAGE COLLECT
2648.05/2656.52	c #Conflicts:     221000 | #Constraints:      17630
2648.05/2656.52	c #Conflicts:     222000 | #Constraints:      18630
2648.05/2656.52	c #Conflicts:     223000 | #Constraints:      19630
2648.05/2656.52	c #Conflicts:     224000 | #Constraints:      20630
2648.05/2656.52	c #Conflicts:     225000 | #Constraints:      21630
2648.05/2656.52	c #Conflicts:     226000 | #Constraints:      22630
2648.05/2656.52	c #Conflicts:     227000 | #Constraints:      23630
2648.05/2656.52	c #Conflicts:     228000 | #Constraints:      24630
2648.05/2656.52	c #Conflicts:     229000 | #Constraints:      25630
2648.05/2656.52	c #Conflicts:     230000 | #Constraints:      26630
2648.05/2656.52	c INPROCESSING
2648.05/2656.52	c GARBAGE COLLECT
2648.05/2656.52	c #Conflicts:     231000 | #Constraints:      14324
2648.05/2656.52	c #Conflicts:     232000 | #Constraints:      15324
2648.05/2656.52	c #Conflicts:     233000 | #Constraints:      16324
2648.05/2656.52	c #Conflicts:     234000 | #Constraints:      17324
2648.05/2656.52	c #Conflicts:     235000 | #Constraints:      18324
2648.05/2656.52	c #Conflicts:     236000 | #Constraints:      19324
2648.05/2656.52	c #Conflicts:     237000 | #Constraints:      20324
2648.05/2656.52	c #Conflicts:     238000 | #Constraints:      21324
2648.05/2656.52	c #Conflicts:     239000 | #Constraints:      22324
2648.05/2656.52	c #Conflicts:     240000 | #Constraints:      23324
2648.05/2656.52	c INPROCESSING
2648.05/2656.52	c GARBAGE COLLECT
2648.05/2656.52	c #Conflicts:     241000 | #Constraints:      12629
2648.05/2656.52	c #Conflicts:     242000 | #Constraints:      13629
2648.05/2656.52	c #Conflicts:     243000 | #Constraints:      14629
2648.05/2656.52	c #Conflicts:     244000 | #Constraints:      15629
2648.05/2656.52	c #Conflicts:     245000 | #Constraints:      16629
2648.05/2656.52	c #Conflicts:     246000 | #Constraints:      17629
2648.05/2656.52	c #Conflicts:     247000 | #Constraints:      18629
2648.05/2656.52	c #Conflicts:     248000 | #Constraints:      19629
2648.05/2656.52	c #Conflicts:     249000 | #Constraints:      20629
2648.05/2656.52	c #Conflicts:     250000 | #Constraints:      21629
2648.05/2656.52	c #Conflicts:     251000 | #Constraints:      22629
2648.05/2656.52	c #Conflicts:     252000 | #Constraints:      23629
2648.05/2656.52	c #Conflicts:     253000 | #Constraints:      24629
2648.05/2656.52	c #Conflicts:     254000 | #Constraints:      25629
2648.05/2656.52	c #Conflicts:     255000 | #Constraints:      26629
2648.05/2656.52	c #Conflicts:     256000 | #Constraints:      27629
2648.05/2656.52	c #Conflicts:     257000 | #Constraints:      28629
2648.05/2656.52	c #Conflicts:     258000 | #Constraints:      29629
2648.05/2656.52	c #Conflicts:     259000 | #Constraints:      30629
2648.05/2656.52	c #Conflicts:     260000 | #Constraints:      31629
2648.05/2656.52	c #Conflicts:     261000 | #Constraints:      32629
2648.05/2656.52	c #Conflicts:     262000 | #Constraints:      33629
2648.05/2656.52	c #Conflicts:     263000 | #Constraints:      34629
2648.05/2656.52	c #Conflicts:     264000 | #Constraints:      35629
2648.05/2656.52	c #Conflicts:     265000 | #Constraints:      36629
2648.05/2656.52	c #Conflicts:     266000 | #Constraints:      37629
2648.05/2656.52	c #Conflicts:     267000 | #Constraints:      38629
2648.05/2656.52	c #Conflicts:     268000 | #Constraints:      39629
2648.05/2656.52	c #Conflicts:     269000 | #Constraints:      40629
2648.05/2656.52	c #Conflicts:     270000 | #Constraints:      41629
2648.05/2656.52	c #Conflicts:     271000 | #Constraints:      42629
2648.05/2656.52	c #Conflicts:     272000 | #Constraints:      43629
2648.05/2656.52	c bounds 9341 >= 4279 @ 2368.15
2648.05/2656.52	c #Conflicts:     273000 | #Constraints:      44630
2648.05/2656.52	c #Conflicts:     274000 | #Constraints:      45630
2648.05/2656.52	c #Conflicts:     275000 | #Constraints:      46630
2648.05/2656.52	c #Conflicts:     276000 | #Constraints:      47630
2648.05/2656.52	c #Conflicts:     277000 | #Constraints:      48630
2648.05/2656.52	c #Conflicts:     278000 | #Constraints:      49630
2648.05/2656.52	c #Conflicts:     279000 | #Constraints:      50630
2648.05/2656.52	c #Conflicts:     280000 | #Constraints:      51630
2648.05/2656.52	c #Conflicts:     281000 | #Constraints:      52630
2648.05/2656.52	c #Conflicts:     282000 | #Constraints:      53630
2648.05/2656.52	c #Conflicts:     283000 | #Constraints:      54630
2648.05/2656.52	c #Conflicts:     284000 | #Constraints:      55630
2648.05/2656.52	c #Conflicts:     285000 | #Constraints:      56630
2648.05/2656.52	c INPROCESSING
2648.05/2656.52	c GARBAGE COLLECT
2648.05/2656.52	c #Conflicts:     286000 | #Constraints:      29524
2648.05/2656.52	c #Conflicts:     287000 | #Constraints:      30524
2648.05/2656.52	c #Conflicts:     288000 | #Constraints:      31524
2648.05/2656.52	c #Conflicts:     289000 | #Constraints:      32524
2648.05/2656.52	c #Conflicts:     290000 | #Constraints:      33524
2648.05/2656.52	c #Conflicts:     291000 | #Constraints:      34524
2865.18/2874.33	c #Conflicts:     292000 | #Constraints:      35524
2865.18/2874.33	c #Conflicts:     293000 | #Constraints:      36524
2865.18/2874.33	c #Conflicts:     294000 | #Constraints:      37524
2865.18/2874.33	c #Conflicts:     295000 | #Constraints:      38524
2865.18/2874.33	c #Conflicts:     296000 | #Constraints:      39524
2865.18/2874.33	c INPROCESSING
2865.18/2874.33	c GARBAGE COLLECT
2865.18/2874.33	c #Conflicts:     297000 | #Constraints:      20773
2865.18/2874.33	c #Conflicts:     298000 | #Constraints:      21773
2865.18/2874.33	c #Conflicts:     299000 | #Constraints:      22773
2865.18/2874.33	c #Conflicts:     300000 | #Constraints:      23773
2865.18/2874.33	c #Conflicts:     301000 | #Constraints:      24773
2865.18/2874.33	c #Conflicts:     302000 | #Constraints:      25773
2865.18/2874.33	c #Conflicts:     303000 | #Constraints:      26773
2865.18/2874.33	c #Conflicts:     304000 | #Constraints:      27773
2865.18/2874.33	c #Conflicts:     305000 | #Constraints:      28773
2865.18/2874.33	c #Conflicts:     306000 | #Constraints:      29773
2865.18/2874.33	c #Conflicts:     307000 | #Constraints:      30773
2865.18/2874.33	c #Conflicts:     308000 | #Constraints:      31773
2865.18/2874.33	c INPROCESSING
2865.18/2874.33	c GARBAGE COLLECT
2865.18/2874.33	c #Conflicts:     309000 | #Constraints:      17095
2865.18/2874.33	c #Conflicts:     310000 | #Constraints:      18095
2865.18/2874.33	c #Conflicts:     311000 | #Constraints:      19095
2865.18/2874.33	c #Conflicts:     312000 | #Constraints:      20095
2865.18/2874.33	c #Conflicts:     313000 | #Constraints:      21095
2865.18/2874.33	c #Conflicts:     314000 | #Constraints:      22095
2865.18/2874.33	c #Conflicts:     315000 | #Constraints:      23095
2865.18/2874.33	c #Conflicts:     316000 | #Constraints:      24095
2865.18/2874.33	c #Conflicts:     317000 | #Constraints:      25095
2865.18/2874.33	c #Conflicts:     318000 | #Constraints:      26095
2865.18/2874.33	c #Conflicts:     319000 | #Constraints:      27095
2865.18/2874.33	c finalizing WCE round: reformulating cores
2871.67/2880.85	c bounds 9278 >= 4279 @ 2860.17
2871.67/2880.85	c bounds 9274 >= 4280 @ 2865.89
2871.67/2880.85	c bounds 9224 >= 4280 @ 2865.97
2871.67/2880.85	c stratification level: 97
2871.77/2881.00	c bounds 9212 >= 4280 @ 2866.13
2871.77/2881.00	c stratification level: 96
3600.01/3611.40	c INPROCESSING
3600.01/3611.40	c GARBAGE COLLECT
3600.01/3611.40	c #Conflicts:     320000 | #Constraints:      14390
3600.01/3611.40	c #Conflicts:     321000 | #Constraints:      15390
3600.01/3611.40	c #Conflicts:     322000 | #Constraints:      16390
3600.01/3611.40	c #Conflicts:     323000 | #Constraints:      17390
3600.01/3611.40	c #Conflicts:     324000 | #Constraints:      18390
3600.01/3611.40	c #Conflicts:     325000 | #Constraints:      19390
3600.01/3611.40	c #Conflicts:     326000 | #Constraints:      20390
3600.01/3611.40	c #Conflicts:     327000 | #Constraints:      21390
3600.01/3611.40	c #Conflicts:     328000 | #Constraints:      22390
3600.01/3611.40	c #Conflicts:     329000 | #Constraints:      23390
3600.01/3611.40	c #Conflicts:     330000 | #Constraints:      24390
3600.01/3611.40	c #Conflicts:     331000 | #Constraints:      25390
3600.01/3611.40	c INPROCESSING
3600.01/3611.40	c GARBAGE COLLECT
3600.01/3611.40	c #Conflicts:     332000 | #Constraints:      13514
3600.01/3611.40	c #Conflicts:     333000 | #Constraints:      14514
3600.01/3611.40	c #Conflicts:     334000 | #Constraints:      15514
3600.01/3611.40	c #Conflicts:     335000 | #Constraints:      16514
3600.01/3611.40	c #Conflicts:     336000 | #Constraints:      17514
3600.01/3611.40	c #Conflicts:     337000 | #Constraints:      18514
3600.01/3611.40	c #Conflicts:     338000 | #Constraints:      19514
3600.01/3611.40	c #Conflicts:     339000 | #Constraints:      20514
3600.01/3611.40	c #Conflicts:     340000 | #Constraints:      21514
3600.01/3611.40	c #Conflicts:     341000 | #Constraints:      22514
3600.01/3611.40	c #Conflicts:     342000 | #Constraints:      23514
3600.01/3611.40	c #Conflicts:     343000 | #Constraints:      24514
3600.01/3611.40	c #Conflicts:     344000 | #Constraints:      25514
3600.01/3611.40	c INPROCESSING
3600.01/3611.40	c GARBAGE COLLECT
3600.01/3611.40	c #Conflicts:     345000 | #Constraints:      13980
3600.01/3611.40	c #Conflicts:     346000 | #Constraints:      14980
3600.01/3611.40	c #Conflicts:     347000 | #Constraints:      15980
3600.01/3611.40	c #Conflicts:     348000 | #Constraints:      16980
3600.01/3611.40	c #Conflicts:     349000 | #Constraints:      17980
3600.01/3611.40	c #Conflicts:     350000 | #Constraints:      18980
3600.01/3611.40	c #Conflicts:     351000 | #Constraints:      19980
3600.01/3611.40	c #Conflicts:     352000 | #Constraints:      20980
3600.01/3611.40	c #Conflicts:     353000 | #Constraints:      21980
3600.01/3611.40	c #Conflicts:     354000 | #Constraints:      22980
3600.01/3611.40	c #Conflicts:     355000 | #Constraints:      23980
3600.01/3611.40	c #Conflicts:     356000 | #Constraints:      24980
3600.01/3611.40	c INPROCESSING
3600.01/3611.40	c GARBAGE COLLECT
3600.01/3611.40	c #Conflicts:     357000 | #Constraints:      13510
3600.01/3611.40	c #Conflicts:     358000 | #Constraints:      14510
3600.01/3611.40	c #Conflicts:     359000 | #Constraints:      15510
3600.01/3611.40	c #Conflicts:     360000 | #Constraints:      16510
3600.01/3611.40	c #Conflicts:     361000 | #Constraints:      17510
3600.01/3611.40	c #Conflicts:     362000 | #Constraints:      18510
3600.01/3611.40	c #Conflicts:     363000 | #Constraints:      19510
3600.01/3611.40	c #Conflicts:     364000 | #Constraints:      20510
3600.01/3611.40	c #Conflicts:     365000 | #Constraints:      21510
3600.01/3611.40	c #Conflicts:     366000 | #Constraints:      22510
3600.01/3611.40	c #Conflicts:     367000 | #Constraints:      23510
3600.01/3611.40	c #Conflicts:     368000 | #Constraints:      24510
3600.01/3611.40	c #Conflicts:     369000 | #Constraints:      25510
3600.01/3611.40	c #Conflicts:     370000 | #Constraints:      26510
3600.01/3611.40	c #Conflicts:     371000 | #Constraints:      27510
3600.01/3611.40	c #Conflicts:     372000 | #Constraints:      28510
3600.01/3611.40	c #Conflicts:     373000 | #Constraints:      29510
3600.01/3611.40	c #Conflicts:     374000 | #Constraints:      30510
3600.01/3611.40	c #Conflicts:     375000 | #Constraints:      31510
3600.01/3611.40	c #Conflicts:     376000 | #Constraints:      32510
3600.01/3611.40	c #Conflicts:     377000 | #Constraints:      33510
3600.01/3611.40	c #Conflicts:     378000 | #Constraints:      34510
3600.01/3611.40	c #Conflicts:     379000 | #Constraints:      35510
3600.01/3611.40	c #Conflicts:     380000 | #Constraints:      36510
3600.01/3611.40	c #Conflicts:     381000 | #Constraints:      37510
3600.01/3611.40	c #Conflicts:     382000 | #Constraints:      38510
3600.01/3611.40	c #Conflicts:     383000 | #Constraints:      39510
3600.01/3611.40	c #Conflicts:     384000 | #Constraints:      40510
3600.01/3611.40	c Program interrupted by user.
3600.01/3611.40	c cpu time 3592.57 s
3600.01/3611.40	c deterministic time 463008551023 4.63e+11
3600.01/3611.40	c optimization time 420.994 s
3600.01/3611.40	c total solve time 3171.58 s
3600.01/3611.40	c core-guided solve time 3171.58 s
3600.01/3611.40	c propagation time 3346.14 s
3600.01/3611.40	c conflict analysis time 233.107 s
3600.01/3611.40	c propagations 50681003
3600.01/3611.40	c resolve steps 3448012
3600.01/3611.40	c decisions 3689449
3600.01/3611.40	c conflicts 384215
3600.01/3611.40	c restarts 923
3600.01/3611.40	c inprocessing phases 44
3600.01/3611.40	c input clauses 169
3600.01/3611.40	c input cardinalities 169
3600.01/3611.40	c input general constraints 317
3600.01/3611.40	c input average constraint length 51.10
3600.01/3611.40	c input average constraint degree 3319.16
3600.01/3611.40	c learned clauses 43700
3600.01/3611.40	c learned cardinalities 8
3600.01/3611.40	c learned general constraints 340490
3600.01/3611.40	c learned average constraint length 230.23
3600.01/3611.40	c learned average constraint degree 164972230.64
3600.01/3611.40	c watched constraints 320824
3600.01/3611.40	c counting constraints 19983
3600.01/3611.40	c gcd simplifications 17906
3600.01/3611.40	c detected cardinalities 2
3600.01/3611.40	c weakened non-implied lits 8729289
3600.01/3611.40	c weakened non-implying lits 48851
3600.01/3611.40	c original variables 548
3600.01/3611.40	c clausal propagations 4346449
3600.01/3611.40	c cardinality propagations 4863936
3600.01/3611.40	c watched propagations 21757595
3600.01/3611.40	c counting propagations 19604850
3600.01/3611.40	c watch lookups 49647743087
3600.01/3611.40	c watch backjump lookups 46764976328
3600.01/3611.40	c watch checks 295784435343
3600.01/3611.40	c propagation checks 70219938097
3600.01/3611.40	c constraint additions 482333402
3600.01/3611.40	c trail pops 54754313
3600.01/3611.40	c formula constraints 166
3600.01/3611.40	c learned constraints 384198
3600.01/3611.40	c bound constraints 55
3600.01/3611.40	c core-guided constraints 434
3600.01/3611.40	c encountered formula constraints 1100575
3600.01/3611.40	c encountered learned constraints 2369185
3600.01/3611.40	c encountered bound constraints 1549
3600.01/3611.40	c encountered core-guided constraints 360918
3600.01/3611.40	c LP total time 0 s
3600.01/3611.40	c LP solve time 0 s
3600.01/3611.40	c LP constraints added 0
3600.01/3611.40	c LP constraints removed 0
3600.01/3611.40	c LP pivots internal 0
3600.01/3611.40	c LP pivots root 0
3600.01/3611.40	c LP calls 0
3600.01/3611.40	c LP optimalities 0
3600.01/3611.40	c LP no pivot count 0
3600.01/3611.40	c LP infeasibilities 0
3600.01/3611.40	c LP valid Farkas constraints 0
3600.01/3611.40	c LP learned Farkas constraints 0
3600.01/3611.40	c LP basis resets 0
3600.01/3611.40	c LP cycling count 0
3600.01/3611.40	c LP singular count 0
3600.01/3611.40	c LP no primal count 0
3600.01/3611.40	c LP no farkas count 0
3600.01/3611.40	c LP other issue count 0
3600.01/3611.40	c LP Gomory cuts 0
3600.01/3611.40	c LP learned cuts 0
3600.01/3611.40	c LP deleted cuts 0
3600.01/3611.40	c LP encountered Gomory constraints 0
3600.01/3611.40	c LP encountered Farkas constraints 0
3600.01/3611.40	c LP encountered learned Farkas constraints 0
3600.01/3611.40	c CG auxiliary variables introduced 153
3600.01/3611.40	c CG solutions found 13
3600.01/3611.40	c CG cores constructed 25
3600.01/3611.40	c CG core cardinality constraints returned 0
3600.01/3611.40	c CG unit cores 0
3600.01/3611.40	c CG single cores 25
3600.01/3611.40	c CG blocks removed during cardinality reduction 0
3600.01/3611.40	c CG first core best 0
3600.01/3611.40	c CG decision core best 0
3600.01/3611.40	c CG core reduction tie 0
3600.01/3611.40	c CG core degree average 1.00
3600.01/3611.40	c CG core slack average 19.28
3600.01/3611.40	c CG exhausted 18
3600.01/3611.40	c CG exhaust time 10.7446 s
3600.01/3611.40	c CG trimmed 5
3600.01/3611.40	c CG trim time 0.007908 s
3600.01/3611.40	c CG minimized 0
3600.01/3611.40	c CG minimize time 0 s
3600.01/3611.40	c CG am1 prop time 0.001647 s
3600.01/3611.40	c CG # am1s reformulated 0
3600.01/3611.40	c CG lower bound derived from am1s 0
3600.01/3611.40	c CG # clausal cores 25
3600.01/3611.40	c CG # cardinality cores 0
3600.01/3611.40	c CG # pb cores 0
3600.01/3611.40	c CG # pb reforms 4
3600.01/3611.40	c CG # cores discarded because of pb reform 0
3600.01/3611.40	d LOWERBOUND 4280
3600.01/3611.40	d NCORES 25
3600.01/3611.40	d NPBCORES 0
3600.01/3611.40	d NPBREFORM 4
3600.01/3611.40	d NTRIMMED 5
3600.01/3611.40	d NEXHAUSTED 18
3600.01/3611.40	d NAM1S 0
3600.01/3611.40	d AM1LB 0
3600.01/3611.40	o 9212
3600.01/3611.40	s SATISFIABLE
3600.01/3611.40	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 x477 x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 x493 x494 x495 -x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 x509 x510 x511 x512 x513 -x514 -x515 x516 -x517 x518 x519 x520 -x521 x522 x523 x524 -x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 -x535 -x536 x537 x538 x539 x540 -x541 x542 x543 -x544 -x545 x546 -x547 x548

Verifier Data 

OK	9212

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=1061688, runsolver pid=1061685

[startup+0.100256 s]*
/proc/loadavg: 4.06 4.08 4.09 5/256 1061704
/proc/meminfo: memFree=126813916/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=39440 memory=7348 CPUtime=0.09 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 613 0 0 0 9 0 0 0 20 0 1 0 197129889 40386560 1837 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 9860 1837 1392 291 0 1394 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39440 KiB
Current children cumulated memory: 7348 KiB

[startup+0.205504 s]*
/proc/loadavg: 4.06 4.08 4.09 5/256 1061704
/proc/meminfo: memFree=126811988/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=39836 memory=8064 CPUtime=0.19 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 786 0 0 0 18 1 0 0 20 0 1 0 197129889 40792064 2016 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 9959 2016 1392 291 0 1493 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 39836 KiB
Current children cumulated memory: 8064 KiB

[startup+0.304589 s]*
/proc/loadavg: 4.05 4.08 4.09 5/256 1061704
/proc/meminfo: memFree=126810420/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=40364 memory=8820 CPUtime=0.29 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 930 0 0 0 27 2 0 0 20 0 1 0 197129889 41332736 2205 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 10091 2205 1454 291 0 1625 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 40364 KiB
Current children cumulated memory: 8820 KiB

[startup+0.70015 s]
/proc/loadavg: 4.05 4.08 4.09 4/254 1061704
/proc/meminfo: memFree=126994656/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=41440 memory=12712 CPUtime=0.68 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 1387 0 0 0 64 4 0 0 20 0 1 0 197129889 42434560 3178 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 10360 3178 1454 291 0 1894 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41440 KiB
Current children cumulated memory: 12712 KiB

[startup+1.50015 s]
/proc/loadavg: 4.05 4.08 4.09 5/256 1061750
/proc/meminfo: memFree=126985372/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=43056 memory=14032 CPUtime=1.49 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 1720 0 0 0 142 7 0 0 20 0 1 0 197129889 44089344 3508 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 10764 3508 1454 291 0 2298 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 43056 KiB
Current children cumulated memory: 14032 KiB

[startup+3.10532 s]
/proc/loadavg: 4.05 4.08 4.09 5/256 1061751
/proc/meminfo: memFree=126973308/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=44592 memory=15752 CPUtime=3.08 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 2164 0 0 0 296 12 0 0 20 0 1 0 197129889 45662208 3938 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 11148 3938 1454 291 0 2682 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 44592 KiB
Current children cumulated memory: 15752 KiB

[startup+6.30015 s]
/proc/loadavg: 4.05 4.08 4.09 5/256 1061751
/proc/meminfo: memFree=126964196/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=49548 memory=20152 CPUtime=6.27 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 2763 0 0 0 609 18 0 0 20 0 1 0 197129889 50737152 5038 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 12387 5038 1454 291 0 3921 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 49548 KiB
Current children cumulated memory: 20152 KiB

[startup+12.7002 s]
/proc/loadavg: 4.04 4.08 4.09 5/256 1061753
/proc/meminfo: memFree=126923580/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=56600 memory=22964 CPUtime=12.65 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 3435 0 0 0 1239 26 0 0 20 0 1 0 197129889 57958400 5741 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 14150 5741 1454 291 0 5684 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 56600 KiB
Current children cumulated memory: 22964 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 1061923
/proc/meminfo: memFree=126887724/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=62828 memory=32640 CPUtime=25.42 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 5175 0 0 0 2499 43 0 0 20 0 1 0 197129889 64335872 8160 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 15707 8160 1454 291 0 7241 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 62828 KiB
Current children cumulated memory: 32640 KiB

[startup+51.1059 s]
/proc/loadavg: 4.07 4.08 4.09 5/258 1061973
/proc/meminfo: memFree=126343500/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=74720 memory=40336 CPUtime=50.96 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 6548 0 0 0 5034 62 0 0 20 0 1 0 197129889 76513280 10084 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 18680 10084 1454 291 0 10214 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 74720 KiB
Current children cumulated memory: 40336 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/258 1061983
/proc/meminfo: memFree=125462952/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=75856 memory=43456 CPUtime=102.01 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 6865 0 0 0 10104 97 0 0 20 0 1 0 197129889 77676544 10864 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 18964 10864 1454 291 0 10498 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 75856 KiB
Current children cumulated memory: 43456 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/258 1062050
/proc/meminfo: memFree=125217424/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=80376 memory=48600 CPUtime=161.83 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 7683 0 0 0 16062 121 0 0 20 0 1 0 197129889 82305024 12150 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 20094 12150 1454 291 0 11628 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 80376 KiB
Current children cumulated memory: 48600 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/258 1062061
/proc/meminfo: memFree=124526024/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=97080 memory=55828 CPUtime=221.65 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 8985 0 0 0 22016 149 0 0 20 0 1 0 197129889 99409920 13957 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 24270 13957 1454 291 0 15804 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 97080 KiB
Current children cumulated memory: 55828 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/258 1062071
/proc/meminfo: memFree=124215072/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=101672 memory=63588 CPUtime=281.47 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 9931 0 0 0 27978 169 0 0 20 0 1 0 197129889 104112128 15897 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 25418 15897 1454 291 0 16952 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 101672 KiB
Current children cumulated memory: 63588 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 1062081
/proc/meminfo: memFree=124200108/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=103296 memory=64940 CPUtime=341.28 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 10304 0 0 0 33942 186 0 0 20 0 1 0 197129889 105775104 16235 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 25824 16235 1454 291 0 17358 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 103296 KiB
Current children cumulated memory: 64940 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/256 1062093
/proc/meminfo: memFree=124030620/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=103556 memory=65244 CPUtime=401.1 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 10382 0 0 0 39904 206 0 0 20 0 1 0 197129889 106041344 16311 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 25889 16311 1454 291 0 17423 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 103556 KiB
Current children cumulated memory: 65244 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/254 1062103
/proc/meminfo: memFree=123998856/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=131884 memory=84000 CPUtime=460.92 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 12593 0 0 0 45872 220 0 0 20 0 1 0 197129889 135049216 21000 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 32971 21000 1454 291 0 24505 0

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

Current children cumulated memory: 306508 KiB

[startup+2862.3 s]
/proc/loadavg: 4.19 4.22 4.18 5/254 1063109
/proc/meminfo: memFree=121348480/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=452396 memory=306508 CPUtime=2853.22 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 57023 0 0 0 284751 571 0 0 20 0 1 0 197129889 463253504 76627 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 113099 76627 1454 291 0 104633 0
Current children cumulated CPU time: 2853.22 s
Current children cumulated vsize: 452396 KiB
Current children cumulated memory: 306508 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.19 4.17 5/254 1063119
/proc/meminfo: memFree=121295800/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=452396 memory=306616 CPUtime=2913.03 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 57031 0 0 0 290711 592 0 0 20 0 1 0 197129889 463253504 76654 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 113099 76654 1454 291 0 104633 0
Current children cumulated CPU time: 2913.03 s
Current children cumulated vsize: 452396 KiB
Current children cumulated memory: 306616 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.17 4.16 5/254 1063130
/proc/meminfo: memFree=121142476/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=452396 memory=306616 CPUtime=2972.85 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 57039 0 0 0 296677 608 0 0 20 0 1 0 197129889 463253504 76654 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 113099 76654 1454 291 0 104633 0
Current children cumulated CPU time: 2972.85 s
Current children cumulated vsize: 452396 KiB
Current children cumulated memory: 306616 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.15 4.16 5/254 1063140
/proc/meminfo: memFree=120941608/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=452396 memory=306616 CPUtime=3032.66 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 57047 0 0 0 302641 625 0 0 20 0 1 0 197129889 463253504 76654 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 113099 76654 1454 291 0 104633 0
Current children cumulated CPU time: 3032.66 s
Current children cumulated vsize: 452396 KiB
Current children cumulated memory: 306616 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.15 4.16 5/254 1063150
/proc/meminfo: memFree=120545768/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=452396 memory=306616 CPUtime=3092.48 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 57055 0 0 0 308607 641 0 0 20 0 1 0 197129889 463253504 76654 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 113099 76654 1454 291 0 104633 0
Current children cumulated CPU time: 3092.48 s
Current children cumulated vsize: 452396 KiB
Current children cumulated memory: 306616 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.14 4.15 5/256 1063164
/proc/meminfo: memFree=120520336/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=452396 memory=306616 CPUtime=3152.3 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 57063 0 0 0 314573 657 0 0 20 0 1 0 197129889 463253504 76654 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 113099 76654 1454 291 0 104633 0
Current children cumulated CPU time: 3152.3 s
Current children cumulated vsize: 452396 KiB
Current children cumulated memory: 306616 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.16 4.16 5/256 1063175
/proc/meminfo: memFree=120512708/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=452396 memory=306616 CPUtime=3212.12 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 57071 0 0 0 320532 680 0 0 20 0 1 0 197129889 463253504 76654 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 113099 76654 1454 291 0 104633 0
Current children cumulated CPU time: 3212.12 s
Current children cumulated vsize: 452396 KiB
Current children cumulated memory: 306616 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.12 4.15 5/256 1063185
/proc/meminfo: memFree=120508248/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=452396 memory=306616 CPUtime=3271.94 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 57079 0 0 0 326499 695 0 0 20 0 1 0 197129889 463253504 76654 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 113099 76654 1454 291 0 104633 0
Current children cumulated CPU time: 3271.94 s
Current children cumulated vsize: 452396 KiB
Current children cumulated memory: 306616 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/256 1063195
/proc/meminfo: memFree=120440584/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=452396 memory=306616 CPUtime=3331.75 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 57087 0 0 0 332468 707 0 0 20 0 1 0 197129889 463253504 76654 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 113099 76654 1454 291 0 104633 0
Current children cumulated CPU time: 3331.75 s
Current children cumulated vsize: 452396 KiB
Current children cumulated memory: 306616 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/256 1063207
/proc/meminfo: memFree=120374020/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=452396 memory=306624 CPUtime=3391.56 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 57097 0 0 0 338438 718 0 0 20 0 1 0 197129889 463253504 76656 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 113099 76656 1454 291 0 104633 0
Current children cumulated CPU time: 3391.56 s
Current children cumulated vsize: 452396 KiB
Current children cumulated memory: 306624 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/257 1063600
/proc/meminfo: memFree=120248268/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=452396 memory=306624 CPUtime=3451.38 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 57115 0 0 0 344411 727 0 0 20 0 1 0 197129889 463253504 76656 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 113099 76656 1454 291 0 104633 0
Current children cumulated CPU time: 3451.38 s
Current children cumulated vsize: 452396 KiB
Current children cumulated memory: 306624 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.13 5/256 1063610
/proc/meminfo: memFree=120158600/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=452396 memory=306624 CPUtime=3511.19 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 57129 0 0 0 350385 734 0 0 20 0 1 0 197129889 463253504 76656 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 113099 76656 1454 291 0 104633 0
Current children cumulated CPU time: 3511.19 s
Current children cumulated vsize: 452396 KiB
Current children cumulated memory: 306624 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.12 5/256 1063621
/proc/meminfo: memFree=120115832/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=452396 memory=306624 CPUtime=3571.01 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 57143 0 0 0 356359 742 0 0 20 0 1 0 197129889 463253504 76656 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 113099 76656 1454 291 0 104633 0
Current children cumulated CPU time: 3571.01 s
Current children cumulated vsize: 452396 KiB
Current children cumulated memory: 306624 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 4.40 4.17 4.15 5/256 1063716
/proc/meminfo: memFree=121081332/131524600 swapFree=131071996/131071996
[pid=1061688] ppid=1061685 vsize=452396 memory=306760 CPUtime=3600.01 cores=1,3
/proc/1061688/stat : 1061688 (pb-oll-rs) R 1061685 1061688 1059483 0 -1 4194304 57162 0 0 0 359257 744 0 0 20 0 1 0 197129889 463253504 76690 134679101440 4194304 5384485 140736934507456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38604800 140736934511637 140736934511714 140736934511714 140736934518731 0
/proc/1061688/statm: 113099 76690 1454 291 0 104633 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 452396 KiB
Current children cumulated memory: 306760 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.57 s, system=7.45716 s

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

Child status: 0

Real time (s): 3611.41
CPU time (s): 3600.03
CPU user time (s): 3592.57
CPU system time (s): 7.45716
CPU usage (%): 99.6849
Max. virtual memory (cumulated for all children) (KiB): 452532
Max. memory (cumulated for all children) (KiB): 306760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.57
system time used= 7.45716
maximum resident set size= 306836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57178
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= 16
involuntary context switches= 3958


# summary of solver processes directly reported to runsolver:
#   pid: 1061688
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3592.57
#   total CPU system time (s): 7.45716

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.78098 second user time and 20.4028 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-20 06:27:50
IDJOB=4454230
IDBENCH=146905
IDSOLVER=3082
FILE ID=nodeC022/4454230-1721449657
RUNJOBID= nodeC022-1721446059-1059495
SLURM_JOB_ID= 7545669
Free space on /tmp= 890076 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454230-1721449657/watcher-4454230-1721449657 -o /tmp/evaluation-result-4454230-1721449657/solver-4454230-1721449657 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721446059-1059495 --watchdog 3760  pb-oll-rs HOME/instance-4454230-1721449657.opb

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

MD5SUM BENCH= 0aad002c81e214aa0b66948d5567e1f0
RANDOM SEED=507219951

nodeC022.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3661.681
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.66
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		: 3335.025
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.96
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		: 3600.050
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.66
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		: 3534.890
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.96
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		: 3661.678
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.66
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		: 3608.592
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.96
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		: 3599.951
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.66
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		: 3598.993
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126819624 kB
MemAvailable:   129467984 kB
Buffers:          538872 kB
Cached:          2933940 kB
SwapCached:            0 kB
Active:          1241980 kB
Inactive:        2806420 kB
Active(anon):       1540 kB
Inactive(anon):   619632 kB
Active(file):    1240440 kB
Inactive(file):  2186788 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5388 kB
Writeback:             0 kB
AnonPages:        574364 kB
Mapped:           110824 kB
Shmem:             45912 kB
KReclaimable:     121556 kB
Slab:             238352 kB
SReclaimable:     121556 kB
SUnreclaim:       116796 kB
KernelStack:        4080 kB
PageTables:        10596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     867232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            71520 kB
HardwareCorrupted:     0 kB
AnonHugePages:    266240 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:      260820 kB
DirectMap2M:    28872704 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC022 at 2024-07-20 07:28:01