Trace number 4489042

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 2025-05-06SAT (TO)217 3600.08 3610.81

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
MD5SUMbed0fcfa7fe1ab50726d34a7d1903e12
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 benchmark182
Best CPU time to get the best result obtained on this benchmark3600.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables478
Total number of constraints478
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints478
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 478
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 478
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 478
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.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c [STEP] parsing instance
0.00/0.01	c [STEP] solving
0.00/0.01	c #variables 478 #constraints 478
0.00/0.01	c SMALL=int, LARGE=long long
0.00/0.01	c bounds - >= 0 @ 0.003004
0.00/0.01	c stratification level: 0
0.00/0.02	c bounds - >= 55 @ 0.004631
0.00/0.02	c bounds - >= 56 @ 0.004832
0.00/0.02	c bounds - >= 57 @ 0.004917
0.00/0.02	c bounds - >= 58 @ 0.005002
0.00/0.02	c bounds - >= 59 @ 0.005083
0.00/0.02	c bounds - >= 60 @ 0.005165
0.00/0.02	c bounds - >= 61 @ 0.005242
0.00/0.02	c bounds - >= 62 @ 0.005329
0.00/0.02	c bounds - >= 63 @ 0.00542
0.00/0.02	c bounds - >= 64 @ 0.005514
0.00/0.02	c bounds - >= 65 @ 0.005608
0.00/0.02	c bounds - >= 66 @ 0.005709
0.00/0.02	c bounds - >= 67 @ 0.005809
0.00/0.02	c bounds - >= 68 @ 0.005906
0.00/0.02	c bounds - >= 69 @ 0.006013
0.00/0.02	c bounds - >= 70 @ 0.006118
0.00/0.02	c bounds - >= 71 @ 0.006226
0.00/0.02	c bounds - >= 72 @ 0.006331
0.00/0.02	c bounds - >= 73 @ 0.006433
0.00/0.02	c bounds - >= 74 @ 0.006544
0.00/0.02	c bounds - >= 75 @ 0.006658
0.00/0.02	c bounds - >= 76 @ 0.00677
0.00/0.02	c bounds - >= 77 @ 0.006884
0.00/0.02	c bounds - >= 78 @ 0.006998
0.00/0.02	c bounds - >= 79 @ 0.007118
0.00/0.02	c bounds - >= 80 @ 0.007232
0.00/0.02	c bounds - >= 81 @ 0.00735
0.00/0.02	c bounds - >= 82 @ 0.007466
0.00/0.02	c bounds - >= 83 @ 0.00758
0.00/0.02	c bounds - >= 84 @ 0.007688
0.00/0.02	c bounds - >= 85 @ 0.007797
0.00/0.02	c bounds - >= 86 @ 0.007906
0.00/0.02	c bounds - >= 87 @ 0.008018
0.00/0.02	c bounds - >= 88 @ 0.008135
0.00/0.02	c bounds - >= 89 @ 0.008246
0.00/0.02	c bounds - >= 90 @ 0.008352
0.00/0.02	c bounds - >= 91 @ 0.008465
0.00/0.02	c bounds - >= 92 @ 0.008571
0.00/0.02	c bounds - >= 93 @ 0.008685
0.00/0.02	c bounds - >= 94 @ 0.008796
0.00/0.02	c bounds - >= 95 @ 0.008913
0.00/0.02	c bounds - >= 96 @ 0.009022
0.00/0.02	c bounds - >= 97 @ 0.009139
0.00/0.02	c bounds - >= 98 @ 0.009255
0.00/0.02	c bounds - >= 99 @ 0.009366
0.00/0.02	c bounds - >= 100 @ 0.009407
0.00/0.02	c bounds - >= 101 @ 0.009407
0.00/0.02	c bounds - >= 102 @ 0.009407
0.00/0.02	c bounds - >= 103 @ 0.009407
0.00/0.02	c bounds - >= 104 @ 0.009407
0.00/0.02	c bounds - >= 105 @ 0.009407
0.00/0.02	c bounds - >= 106 @ 0.009407
0.00/0.02	c bounds - >= 107 @ 0.009407
0.00/0.02	c bounds - >= 108 @ 0.009407
0.00/0.02	c bounds - >= 109 @ 0.009407
0.00/0.02	c bounds - >= 110 @ 0.009407
0.00/0.02	c bounds - >= 111 @ 0.009407
0.00/0.02	c bounds - >= 112 @ 0.009407
0.00/0.02	c bounds - >= 113 @ 0.009407
0.00/0.02	c bounds - >= 114 @ 0.009407
0.00/0.02	c bounds - >= 115 @ 0.009407
0.00/0.02	c bounds - >= 116 @ 0.009407
0.00/0.02	c bounds - >= 117 @ 0.009407
0.00/0.02	c bounds - >= 118 @ 0.009407
0.00/0.02	c bounds - >= 119 @ 0.009407
0.00/0.02	c bounds - >= 120 @ 0.009407
0.00/0.02	c bounds - >= 121 @ 0.009407
0.00/0.02	c bounds - >= 122 @ 0.009407
0.00/0.02	c bounds - >= 123 @ 0.009407
0.00/0.02	c bounds - >= 124 @ 0.009407
0.00/0.02	c bounds - >= 125 @ 0.009407
0.00/0.02	c bounds - >= 126 @ 0.009407
0.00/0.02	c bounds - >= 127 @ 0.009407
0.00/0.02	c bounds - >= 128 @ 0.009407
0.00/0.02	c bounds - >= 129 @ 0.009407
0.00/0.02	c bounds - >= 130 @ 0.009407
0.00/0.02	c bounds - >= 131 @ 0.009407
0.00/0.02	c bounds - >= 132 @ 0.009407
0.00/0.02	c finalizing WCE round: reformulating cores
39.73/39.97	c #Conflicts:       1000 | #Constraints:       1629
39.73/39.97	c #Conflicts:       2000 | #Constraints:       2637
39.73/39.97	c INPROCESSING
39.73/39.97	c GARBAGE COLLECT
39.73/39.97	c #Conflicts:       3000 | #Constraints:       2563
39.73/39.97	c #Conflicts:       4000 | #Constraints:       3565
39.73/39.97	c INPROCESSING
39.73/39.97	c GARBAGE COLLECT
39.73/39.97	c #Conflicts:       5000 | #Constraints:       2969
39.73/39.97	c #Conflicts:       6000 | #Constraints:       3971
39.73/39.97	c INPROCESSING
39.73/39.97	c GARBAGE COLLECT
39.73/39.97	c #Conflicts:       7000 | #Constraints:       2979
39.73/39.97	c #Conflicts:       8000 | #Constraints:       3981
39.73/39.97	c #Conflicts:       9000 | #Constraints:       4985
39.73/39.97	c INPROCESSING
39.73/39.97	c GARBAGE COLLECT
39.73/39.97	c #Conflicts:      10000 | #Constraints:       3683
39.73/39.97	c #Conflicts:      11000 | #Constraints:       4685
39.73/39.97	c #Conflicts:      12000 | #Constraints:       5687
39.73/39.97	c INPROCESSING
39.73/39.97	c GARBAGE COLLECT
39.73/39.97	c #Conflicts:      13000 | #Constraints:       4138
39.73/39.97	c #Conflicts:      14000 | #Constraints:       5140
39.73/39.97	c #Conflicts:      15000 | #Constraints:       6142
39.73/39.97	c INPROCESSING
39.73/39.97	c GARBAGE COLLECT
39.73/39.97	c #Conflicts:      16000 | #Constraints:       4375
39.73/39.97	c #Conflicts:      17000 | #Constraints:       5377
39.73/39.97	c #Conflicts:      18000 | #Constraints:       6379
39.73/39.97	c INPROCESSING
39.73/39.97	c GARBAGE COLLECT
39.73/39.97	c #Conflicts:      19000 | #Constraints:       4404
39.73/39.97	c #Conflicts:      20000 | #Constraints:       5406
39.73/39.97	c #Conflicts:      21000 | #Constraints:       6408
39.73/39.97	c INPROCESSING
39.73/39.97	c GARBAGE COLLECT
39.73/39.97	c #Conflicts:      22000 | #Constraints:       4216
39.73/39.97	c #Conflicts:      23000 | #Constraints:       5218
39.73/39.97	c #Conflicts:      24000 | #Constraints:       6222
39.73/39.97	c #Conflicts:      25000 | #Constraints:       7224
39.73/39.97	c INPROCESSING
39.73/39.97	c GARBAGE COLLECT
39.73/39.97	c #Conflicts:      26000 | #Constraints:       4832
39.73/39.97	c #Conflicts:      27000 | #Constraints:       5834
39.73/39.97	c #Conflicts:      28000 | #Constraints:       6836
39.73/39.97	c #Conflicts:      29000 | #Constraints:       7840
39.73/39.97	c INPROCESSING
39.73/39.97	c GARBAGE COLLECT
39.73/39.97	c #Conflicts:      30000 | #Constraints:       5239
39.73/39.97	c #Conflicts:      31000 | #Constraints:       6241
39.73/39.97	c #Conflicts:      32000 | #Constraints:       7243
39.73/39.97	c #Conflicts:      33000 | #Constraints:       8247
39.73/39.97	c INPROCESSING
39.73/39.97	c GARBAGE COLLECT
39.73/39.97	c #Conflicts:      34000 | #Constraints:       5453
39.73/39.97	c #Conflicts:      35000 | #Constraints:       6455
39.73/39.97	c #Conflicts:      36000 | #Constraints:       7457
39.73/39.97	c #Conflicts:      37000 | #Constraints:       8461
39.73/39.97	c INPROCESSING
39.73/39.97	c GARBAGE COLLECT
39.73/39.97	c #Conflicts:      38000 | #Constraints:       5466
39.73/39.97	c #Conflicts:      39000 | #Constraints:       6468
39.73/39.97	c #Conflicts:      40000 | #Constraints:       7470
39.73/39.97	c #Conflicts:      41000 | #Constraints:       8474
39.73/39.97	c INPROCESSING
39.73/39.97	c GARBAGE COLLECT
39.73/39.97	c #Conflicts:      42000 | #Constraints:       5276
39.73/39.97	c #Conflicts:      43000 | #Constraints:       6278
39.73/39.97	c #Conflicts:      44000 | #Constraints:       7282
39.73/39.97	c #Conflicts:      45000 | #Constraints:       8284
39.73/39.97	c #Conflicts:      46000 | #Constraints:       9286
39.73/39.97	c INPROCESSING
39.73/39.97	c GARBAGE COLLECT
39.73/39.97	c #Conflicts:      47000 | #Constraints:       5888
39.73/39.97	c #Conflicts:      48000 | #Constraints:       6890
39.73/39.97	c #Conflicts:      49000 | #Constraints:       7892
39.73/39.97	c #Conflicts:      50000 | #Constraints:       8896
39.73/39.97	c #Conflicts:      51000 | #Constraints:       9898
39.73/39.97	c INPROCESSING
39.73/39.97	c GARBAGE COLLECT
39.73/39.97	c #Conflicts:      52000 | #Constraints:       6301
39.73/39.97	c #Conflicts:      53000 | #Constraints:       7303
39.73/39.97	c #Conflicts:      54000 | #Constraints:       8305
39.73/39.97	c #Conflicts:      55000 | #Constraints:       9309
39.73/39.97	c #Conflicts:      56000 | #Constraints:      10311
39.73/39.97	c INPROCESSING
39.73/39.97	c GARBAGE COLLECT
39.73/39.97	c #Conflicts:      57000 | #Constraints:       6511
39.73/39.97	c #Conflicts:      58000 | #Constraints:       7513
39.73/39.97	c #Conflicts:      59000 | #Constraints:       8515
39.73/39.97	c #Conflicts:      60000 | #Constraints:       9519
39.73/39.97	c #Conflicts:      61000 | #Constraints:      10521
39.73/39.97	c INPROCESSING
39.73/39.97	c GARBAGE COLLECT
39.73/39.97	c bounds 220 >= 132 @ 38.9282
39.73/39.97	c bounds 220 >= 133 @ 38.9371
39.73/39.97	c bounds 220 >= 134 @ 38.9402
39.73/39.97	c bounds 220 >= 135 @ 38.9427
39.73/39.97	c bounds 220 >= 136 @ 38.9455
39.73/39.97	c bounds 220 >= 137 @ 38.9506
39.73/39.97	c bounds 220 >= 138 @ 38.9535
39.73/39.97	c bounds 220 >= 139 @ 38.9632
39.73/39.97	c bounds 220 >= 140 @ 38.9759
39.73/39.97	c #Conflicts:      62000 | #Constraints:       6661
39.73/39.97	c finalizing WCE round: reformulating cores
80.71/81.09	c #Conflicts:      63000 | #Constraints:       7669
80.71/81.09	c #Conflicts:      64000 | #Constraints:       8671
80.71/81.09	c #Conflicts:      65000 | #Constraints:       9673
80.71/81.09	c #Conflicts:      66000 | #Constraints:      10677
80.71/81.09	c INPROCESSING
80.71/81.09	c GARBAGE COLLECT
80.71/81.09	c #Conflicts:      67000 | #Constraints:       6445
80.71/81.09	c #Conflicts:      68000 | #Constraints:       7447
80.71/81.09	c bounds 218 >= 140 @ 45.8971
80.71/81.09	c bounds 218 >= 141 @ 45.9148
80.71/81.09	c bounds 218 >= 142 @ 45.9497
80.71/81.09	c bounds 218 >= 143 @ 46.3826
80.71/81.09	c #Conflicts:      69000 | #Constraints:       8624
80.71/81.09	c #Conflicts:      70000 | #Constraints:       9624
80.71/81.09	c #Conflicts:      71000 | #Constraints:      10624
80.71/81.09	c #Conflicts:      72000 | #Constraints:      11624
80.71/81.09	c INPROCESSING
80.71/81.09	c GARBAGE COLLECT
80.71/81.09	c #Conflicts:      73000 | #Constraints:       7196
80.71/81.09	c #Conflicts:      74000 | #Constraints:       8196
80.71/81.09	c #Conflicts:      75000 | #Constraints:       9196
80.71/81.09	c #Conflicts:      76000 | #Constraints:      10196
80.71/81.09	c #Conflicts:      77000 | #Constraints:      11196
80.71/81.09	c #Conflicts:      78000 | #Constraints:      12196
80.71/81.09	c INPROCESSING
80.71/81.09	c GARBAGE COLLECT
80.71/81.09	c #Conflicts:      79000 | #Constraints:       7584
80.71/81.09	c #Conflicts:      80000 | #Constraints:       8584
80.71/81.09	c #Conflicts:      81000 | #Constraints:       9584
80.71/81.09	c finalizing WCE round: reformulating cores
306.59/307.50	c #Conflicts:      82000 | #Constraints:      10589
306.59/307.50	c #Conflicts:      83000 | #Constraints:      11591
306.59/307.50	c bounds 217 >= 143 @ 81.371
306.59/307.50	c bounds 217 >= 144 @ 81.4661
306.59/307.50	c #Conflicts:      84000 | #Constraints:      12739
306.59/307.50	c INPROCESSING
306.59/307.50	c GARBAGE COLLECT
306.59/307.50	c bounds 217 >= 145 @ 82.5719
306.59/307.50	c #Conflicts:      85000 | #Constraints:       7937
306.59/307.50	c #Conflicts:      86000 | #Constraints:       8937
306.59/307.50	c #Conflicts:      87000 | #Constraints:       9937
306.59/307.50	c #Conflicts:      88000 | #Constraints:      10937
306.59/307.50	c #Conflicts:      89000 | #Constraints:      11937
306.59/307.50	c #Conflicts:      90000 | #Constraints:      12937
306.59/307.50	c INPROCESSING
306.59/307.50	c GARBAGE COLLECT
306.59/307.50	c #Conflicts:      91000 | #Constraints:       7911
306.59/307.50	c #Conflicts:      92000 | #Constraints:       8911
306.59/307.50	c #Conflicts:      93000 | #Constraints:       9911
306.59/307.50	c #Conflicts:      94000 | #Constraints:      10911
306.59/307.50	c #Conflicts:      95000 | #Constraints:      11911
306.59/307.50	c #Conflicts:      96000 | #Constraints:      12911
306.59/307.50	c INPROCESSING
306.59/307.50	c GARBAGE COLLECT
306.59/307.50	c #Conflicts:      97000 | #Constraints:       7706
306.59/307.50	c #Conflicts:      98000 | #Constraints:       8706
306.59/307.50	c #Conflicts:      99000 | #Constraints:       9706
306.59/307.50	c #Conflicts:     100000 | #Constraints:      10706
306.59/307.50	c #Conflicts:     101000 | #Constraints:      11706
306.59/307.50	c #Conflicts:     102000 | #Constraints:      12706
306.59/307.50	c #Conflicts:     103000 | #Constraints:      13706
306.59/307.50	c INPROCESSING
306.59/307.50	c GARBAGE COLLECT
306.59/307.50	c #Conflicts:     104000 | #Constraints:       8305
306.59/307.50	c #Conflicts:     105000 | #Constraints:       9305
306.59/307.50	c #Conflicts:     106000 | #Constraints:      10305
306.59/307.50	c #Conflicts:     107000 | #Constraints:      11305
306.59/307.50	c #Conflicts:     108000 | #Constraints:      12305
306.59/307.50	c #Conflicts:     109000 | #Constraints:      13305
306.59/307.50	c #Conflicts:     110000 | #Constraints:      14305
306.59/307.50	c INPROCESSING
306.59/307.50	c GARBAGE COLLECT
306.59/307.50	c bounds 217 >= 146 @ 119.283
306.59/307.50	c #Conflicts:     111000 | #Constraints:       8756
306.59/307.50	c #Conflicts:     112000 | #Constraints:       9756
306.59/307.50	c #Conflicts:     113000 | #Constraints:      10756
306.59/307.50	c #Conflicts:     114000 | #Constraints:      11756
306.59/307.50	c #Conflicts:     115000 | #Constraints:      12756
306.59/307.50	c #Conflicts:     116000 | #Constraints:      13756
306.59/307.50	c #Conflicts:     117000 | #Constraints:      14756
306.59/307.50	c INPROCESSING
306.59/307.50	c GARBAGE COLLECT
306.59/307.50	c #Conflicts:     118000 | #Constraints:       8938
306.59/307.50	c #Conflicts:     119000 | #Constraints:       9938
306.59/307.50	c #Conflicts:     120000 | #Constraints:      10938
306.59/307.50	c #Conflicts:     121000 | #Constraints:      11938
306.59/307.50	c #Conflicts:     122000 | #Constraints:      12938
306.59/307.50	c #Conflicts:     123000 | #Constraints:      13938
306.59/307.50	c #Conflicts:     124000 | #Constraints:      14938
306.59/307.50	c #Conflicts:     125000 | #Constraints:      15938
306.59/307.50	c #Conflicts:     126000 | #Constraints:      16938
306.59/307.50	c #Conflicts:     127000 | #Constraints:      17938
306.59/307.50	c #Conflicts:     128000 | #Constraints:      18938
306.59/307.50	c #Conflicts:     129000 | #Constraints:      19938
306.59/307.50	c #Conflicts:     130000 | #Constraints:      20938
306.59/307.50	c #Conflicts:     131000 | #Constraints:      21938
306.59/307.50	c #Conflicts:     132000 | #Constraints:      22938
306.59/307.50	c #Conflicts:     133000 | #Constraints:      23938
306.59/307.50	c #Conflicts:     134000 | #Constraints:      24938
306.59/307.50	c #Conflicts:     135000 | #Constraints:      25938
306.59/307.50	c #Conflicts:     136000 | #Constraints:      26938
306.59/307.50	c #Conflicts:     137000 | #Constraints:      27938
306.59/307.50	c #Conflicts:     138000 | #Constraints:      28938
306.59/307.50	c #Conflicts:     139000 | #Constraints:      29938
306.59/307.50	c #Conflicts:     140000 | #Constraints:      30938
306.59/307.50	c #Conflicts:     141000 | #Constraints:      31938
306.59/307.50	c #Conflicts:     142000 | #Constraints:      32938
306.59/307.50	c #Conflicts:     143000 | #Constraints:      33938
306.59/307.50	c #Conflicts:     144000 | #Constraints:      34938
306.59/307.50	c #Conflicts:     145000 | #Constraints:      35938
306.59/307.50	c #Conflicts:     146000 | #Constraints:      36938
306.59/307.50	c #Conflicts:     147000 | #Constraints:      37938
306.59/307.50	c #Conflicts:     148000 | #Constraints:      38938
306.59/307.50	c INPROCESSING
306.59/307.50	c GARBAGE COLLECT
306.59/307.50	c #Conflicts:     149000 | #Constraints:      20779
306.59/307.50	c #Conflicts:     150000 | #Constraints:      21779
306.59/307.50	c #Conflicts:     151000 | #Constraints:      22779
306.59/307.50	c #Conflicts:     152000 | #Constraints:      23779
306.59/307.50	c #Conflicts:     153000 | #Constraints:      24779
306.59/307.50	c #Conflicts:     154000 | #Constraints:      25779
1028.10/1031.18	c #Conflicts:     155000 | #Constraints:      26779
1028.10/1031.18	c #Conflicts:     156000 | #Constraints:      27779
1028.10/1031.18	c INPROCESSING
1028.10/1031.18	c GARBAGE COLLECT
1028.10/1031.18	c #Conflicts:     157000 | #Constraints:      15073
1028.10/1031.18	c #Conflicts:     158000 | #Constraints:      16073
1028.10/1031.18	c #Conflicts:     159000 | #Constraints:      17073
1028.10/1031.18	c #Conflicts:     160000 | #Constraints:      18073
1028.10/1031.18	c #Conflicts:     161000 | #Constraints:      19073
1028.10/1031.18	c #Conflicts:     162000 | #Constraints:      20073
1028.10/1031.18	c #Conflicts:     163000 | #Constraints:      21073
1028.10/1031.18	c #Conflicts:     164000 | #Constraints:      22073
1028.10/1031.18	c #Conflicts:     165000 | #Constraints:      23073
1028.10/1031.18	c #Conflicts:     166000 | #Constraints:      24073
1028.10/1031.18	c #Conflicts:     167000 | #Constraints:      25073
1028.10/1031.18	c #Conflicts:     168000 | #Constraints:      26073
1028.10/1031.18	c #Conflicts:     169000 | #Constraints:      27073
1028.10/1031.18	c #Conflicts:     170000 | #Constraints:      28073
1028.10/1031.18	c #Conflicts:     171000 | #Constraints:      29073
1028.10/1031.18	c #Conflicts:     172000 | #Constraints:      30073
1028.10/1031.18	c #Conflicts:     173000 | #Constraints:      31073
1028.10/1031.18	c #Conflicts:     174000 | #Constraints:      32073
1028.10/1031.18	c #Conflicts:     175000 | #Constraints:      33073
1028.10/1031.18	c #Conflicts:     176000 | #Constraints:      34073
1028.10/1031.18	c #Conflicts:     177000 | #Constraints:      35073
1028.10/1031.18	c #Conflicts:     178000 | #Constraints:      36073
1028.10/1031.18	c #Conflicts:     179000 | #Constraints:      37073
1028.10/1031.18	c #Conflicts:     180000 | #Constraints:      38073
1028.10/1031.18	c #Conflicts:     181000 | #Constraints:      39073
1028.10/1031.18	c #Conflicts:     182000 | #Constraints:      40073
1028.10/1031.18	c #Conflicts:     183000 | #Constraints:      41073
1028.10/1031.18	c #Conflicts:     184000 | #Constraints:      42073
1028.10/1031.18	c #Conflicts:     185000 | #Constraints:      43073
1028.10/1031.18	c #Conflicts:     186000 | #Constraints:      44073
1028.10/1031.18	c #Conflicts:     187000 | #Constraints:      45073
1028.10/1031.18	c #Conflicts:     188000 | #Constraints:      46073
1028.10/1031.18	c #Conflicts:     189000 | #Constraints:      47073
1028.10/1031.18	c #Conflicts:     190000 | #Constraints:      48073
1028.10/1031.18	c #Conflicts:     191000 | #Constraints:      49073
1028.10/1031.18	c INPROCESSING
1028.10/1031.18	c GARBAGE COLLECT
1028.10/1031.18	c #Conflicts:     192000 | #Constraints:      25901
1028.10/1031.18	c #Conflicts:     193000 | #Constraints:      26901
1028.10/1031.18	c #Conflicts:     194000 | #Constraints:      27901
1028.10/1031.18	c #Conflicts:     195000 | #Constraints:      28901
1028.10/1031.18	c #Conflicts:     196000 | #Constraints:      29901
1028.10/1031.18	c #Conflicts:     197000 | #Constraints:      30901
1028.10/1031.18	c #Conflicts:     198000 | #Constraints:      31901
1028.10/1031.18	c #Conflicts:     199000 | #Constraints:      32901
1028.10/1031.18	c #Conflicts:     200000 | #Constraints:      33901
1028.10/1031.18	c #Conflicts:     201000 | #Constraints:      34901
1028.10/1031.18	c INPROCESSING
1028.10/1031.18	c GARBAGE COLLECT
1028.10/1031.18	c #Conflicts:     202000 | #Constraints:      19046
1028.10/1031.18	c #Conflicts:     203000 | #Constraints:      20046
1028.10/1031.18	c #Conflicts:     204000 | #Constraints:      21046
1028.10/1031.18	c #Conflicts:     205000 | #Constraints:      22046
1028.10/1031.18	c #Conflicts:     206000 | #Constraints:      23046
1028.10/1031.18	c #Conflicts:     207000 | #Constraints:      24046
1028.10/1031.18	c #Conflicts:     208000 | #Constraints:      25046
1028.10/1031.18	c #Conflicts:     209000 | #Constraints:      26046
1028.10/1031.18	c #Conflicts:     210000 | #Constraints:      27046
1028.10/1031.18	c #Conflicts:     211000 | #Constraints:      28046
1028.10/1031.18	c #Conflicts:     212000 | #Constraints:      29046
1028.10/1031.18	c #Conflicts:     213000 | #Constraints:      30046
1028.10/1031.18	c #Conflicts:     214000 | #Constraints:      31046
1028.10/1031.18	c #Conflicts:     215000 | #Constraints:      32046
1028.10/1031.18	c #Conflicts:     216000 | #Constraints:      33046
1028.10/1031.18	c #Conflicts:     217000 | #Constraints:      34046
1028.10/1031.18	c #Conflicts:     218000 | #Constraints:      35046
1028.10/1031.18	c #Conflicts:     219000 | #Constraints:      36046
1028.10/1031.18	c #Conflicts:     220000 | #Constraints:      37046
1028.10/1031.18	c #Conflicts:     221000 | #Constraints:      38046
1028.10/1031.18	c #Conflicts:     222000 | #Constraints:      39046
1028.10/1031.18	c #Conflicts:     223000 | #Constraints:      40046
1028.10/1031.18	c #Conflicts:     224000 | #Constraints:      41046
1028.10/1031.18	c #Conflicts:     225000 | #Constraints:      42046
1028.10/1031.18	c #Conflicts:     226000 | #Constraints:      43046
1028.10/1031.18	c #Conflicts:     227000 | #Constraints:      44046
1028.10/1031.18	c #Conflicts:     228000 | #Constraints:      45046
1028.10/1031.18	c #Conflicts:     229000 | #Constraints:      46046
1028.10/1031.18	c #Conflicts:     230000 | #Constraints:      47046
2140.79/2147.15	c #Conflicts:     231000 | #Constraints:      48046
2140.79/2147.15	c #Conflicts:     232000 | #Constraints:      49046
2140.79/2147.15	c #Conflicts:     233000 | #Constraints:      50046
2140.79/2147.15	c #Conflicts:     234000 | #Constraints:      51046
2140.79/2147.15	c #Conflicts:     235000 | #Constraints:      52046
2140.79/2147.15	c #Conflicts:     236000 | #Constraints:      53046
2140.79/2147.15	c #Conflicts:     237000 | #Constraints:      54046
2140.79/2147.15	c #Conflicts:     238000 | #Constraints:      55046
2140.79/2147.15	c INPROCESSING
2140.79/2147.15	c GARBAGE COLLECT
2140.79/2147.15	c #Conflicts:     239000 | #Constraints:      28751
2140.79/2147.15	c #Conflicts:     240000 | #Constraints:      29751
2140.79/2147.15	c #Conflicts:     241000 | #Constraints:      30751
2140.79/2147.15	c #Conflicts:     242000 | #Constraints:      31751
2140.79/2147.15	c #Conflicts:     243000 | #Constraints:      32751
2140.79/2147.15	c #Conflicts:     244000 | #Constraints:      33751
2140.79/2147.15	c #Conflicts:     245000 | #Constraints:      34751
2140.79/2147.15	c #Conflicts:     246000 | #Constraints:      35751
2140.79/2147.15	c #Conflicts:     247000 | #Constraints:      36751
2140.79/2147.15	c #Conflicts:     248000 | #Constraints:      37751
2140.79/2147.15	c #Conflicts:     249000 | #Constraints:      38751
2140.79/2147.15	c INPROCESSING
2140.79/2147.15	c GARBAGE COLLECT
2140.79/2147.15	c #Conflicts:     250000 | #Constraints:      23185
2140.79/2147.15	c #Conflicts:     251000 | #Constraints:      24185
2140.79/2147.15	c #Conflicts:     252000 | #Constraints:      25185
2140.79/2147.15	c #Conflicts:     253000 | #Constraints:      26185
2140.79/2147.15	c #Conflicts:     254000 | #Constraints:      27185
2140.79/2147.15	c #Conflicts:     255000 | #Constraints:      28185
2140.79/2147.15	c #Conflicts:     256000 | #Constraints:      29185
2140.79/2147.15	c #Conflicts:     257000 | #Constraints:      30185
2140.79/2147.15	c #Conflicts:     258000 | #Constraints:      31185
2140.79/2147.15	c #Conflicts:     259000 | #Constraints:      32185
2140.79/2147.15	c #Conflicts:     260000 | #Constraints:      33185
2140.79/2147.15	c #Conflicts:     261000 | #Constraints:      34185
2140.79/2147.15	c #Conflicts:     262000 | #Constraints:      35185
2140.79/2147.15	c #Conflicts:     263000 | #Constraints:      36185
2140.79/2147.15	c #Conflicts:     264000 | #Constraints:      37185
2140.79/2147.15	c #Conflicts:     265000 | #Constraints:      38185
2140.79/2147.15	c #Conflicts:     266000 | #Constraints:      39185
2140.79/2147.15	c #Conflicts:     267000 | #Constraints:      40185
2140.79/2147.15	c #Conflicts:     268000 | #Constraints:      41185
2140.79/2147.15	c #Conflicts:     269000 | #Constraints:      42185
2140.79/2147.15	c #Conflicts:     270000 | #Constraints:      43185
2140.79/2147.15	c #Conflicts:     271000 | #Constraints:      44185
2140.79/2147.15	c #Conflicts:     272000 | #Constraints:      45185
2140.79/2147.15	c #Conflicts:     273000 | #Constraints:      46185
2140.79/2147.15	c #Conflicts:     274000 | #Constraints:      47185
2140.79/2147.15	c #Conflicts:     275000 | #Constraints:      48185
2140.79/2147.15	c #Conflicts:     276000 | #Constraints:      49185
2140.79/2147.15	c #Conflicts:     277000 | #Constraints:      50185
2140.79/2147.15	c #Conflicts:     278000 | #Constraints:      51185
2140.79/2147.15	c #Conflicts:     279000 | #Constraints:      52185
2140.79/2147.15	c #Conflicts:     280000 | #Constraints:      53185
2140.79/2147.15	c #Conflicts:     281000 | #Constraints:      54185
2140.79/2147.15	c #Conflicts:     282000 | #Constraints:      55185
2140.79/2147.15	c #Conflicts:     283000 | #Constraints:      56185
2140.79/2147.15	c #Conflicts:     284000 | #Constraints:      57185
2140.79/2147.15	c #Conflicts:     285000 | #Constraints:      58185
2140.79/2147.15	c #Conflicts:     286000 | #Constraints:      59185
2140.79/2147.15	c #Conflicts:     287000 | #Constraints:      60185
2140.79/2147.15	c #Conflicts:     288000 | #Constraints:      61185
2140.79/2147.15	c #Conflicts:     289000 | #Constraints:      62185
2140.79/2147.15	c #Conflicts:     290000 | #Constraints:      63185
2140.79/2147.15	c INPROCESSING
2140.79/2147.15	c GARBAGE COLLECT
2140.79/2147.15	c #Conflicts:     291000 | #Constraints:      32969
2140.79/2147.15	c #Conflicts:     292000 | #Constraints:      33969
2140.79/2147.15	c #Conflicts:     293000 | #Constraints:      34969
2140.79/2147.15	c #Conflicts:     294000 | #Constraints:      35969
2140.79/2147.15	c #Conflicts:     295000 | #Constraints:      36969
2140.79/2147.15	c #Conflicts:     296000 | #Constraints:      37969
2140.79/2147.15	c #Conflicts:     297000 | #Constraints:      38969
2140.79/2147.15	c #Conflicts:     298000 | #Constraints:      39969
2140.79/2147.15	c #Conflicts:     299000 | #Constraints:      40969
2140.79/2147.15	c #Conflicts:     300000 | #Constraints:      41969
2140.79/2147.15	c #Conflicts:     301000 | #Constraints:      42969
2140.79/2147.15	c #Conflicts:     302000 | #Constraints:      43969
2140.79/2147.15	c INPROCESSING
2140.79/2147.15	c GARBAGE COLLECT
2140.79/2147.15	c #Conflicts:     303000 | #Constraints:      27362
2140.79/2147.15	c #Conflicts:     304000 | #Constraints:      28362
2140.79/2147.15	c #Conflicts:     305000 | #Constraints:      29362
2140.79/2147.15	c #Conflicts:     306000 | #Constraints:      30362
2140.79/2147.15	c #Conflicts:     307000 | #Constraints:      31362
3454.71/3465.02	c #Conflicts:     308000 | #Constraints:      32362
3454.71/3465.02	c #Conflicts:     309000 | #Constraints:      33362
3454.71/3465.02	c #Conflicts:     310000 | #Constraints:      34362
3454.71/3465.02	c #Conflicts:     311000 | #Constraints:      35362
3454.71/3465.02	c #Conflicts:     312000 | #Constraints:      36362
3454.71/3465.02	c #Conflicts:     313000 | #Constraints:      37362
3454.71/3465.02	c #Conflicts:     314000 | #Constraints:      38362
3454.71/3465.02	c #Conflicts:     315000 | #Constraints:      39362
3454.71/3465.02	c #Conflicts:     316000 | #Constraints:      40362
3454.71/3465.02	c #Conflicts:     317000 | #Constraints:      41362
3454.71/3465.02	c #Conflicts:     318000 | #Constraints:      42362
3454.71/3465.02	c #Conflicts:     319000 | #Constraints:      43362
3454.71/3465.02	c #Conflicts:     320000 | #Constraints:      44362
3454.71/3465.02	c #Conflicts:     321000 | #Constraints:      45362
3454.71/3465.02	c #Conflicts:     322000 | #Constraints:      46362
3454.71/3465.02	c #Conflicts:     323000 | #Constraints:      47362
3454.71/3465.02	c #Conflicts:     324000 | #Constraints:      48362
3454.71/3465.02	c #Conflicts:     325000 | #Constraints:      49362
3454.71/3465.02	c #Conflicts:     326000 | #Constraints:      50362
3454.71/3465.02	c #Conflicts:     327000 | #Constraints:      51362
3454.71/3465.02	c #Conflicts:     328000 | #Constraints:      52362
3454.71/3465.02	c #Conflicts:     329000 | #Constraints:      53362
3454.71/3465.02	c #Conflicts:     330000 | #Constraints:      54362
3454.71/3465.02	c #Conflicts:     331000 | #Constraints:      55362
3454.71/3465.02	c #Conflicts:     332000 | #Constraints:      56362
3454.71/3465.02	c #Conflicts:     333000 | #Constraints:      57362
3454.71/3465.02	c #Conflicts:     334000 | #Constraints:      58362
3454.71/3465.02	c #Conflicts:     335000 | #Constraints:      59362
3454.71/3465.02	c #Conflicts:     336000 | #Constraints:      60362
3454.71/3465.02	c #Conflicts:     337000 | #Constraints:      61362
3454.71/3465.02	c #Conflicts:     338000 | #Constraints:      62362
3454.71/3465.02	c #Conflicts:     339000 | #Constraints:      63362
3454.71/3465.02	c #Conflicts:     340000 | #Constraints:      64362
3454.71/3465.02	c #Conflicts:     341000 | #Constraints:      65362
3454.71/3465.02	c #Conflicts:     342000 | #Constraints:      66362
3454.71/3465.02	c #Conflicts:     343000 | #Constraints:      67362
3454.71/3465.02	c #Conflicts:     344000 | #Constraints:      68362
3454.71/3465.02	c #Conflicts:     345000 | #Constraints:      69362
3454.71/3465.02	c #Conflicts:     346000 | #Constraints:      70362
3454.71/3465.02	c INPROCESSING
3454.71/3465.02	c GARBAGE COLLECT
3454.71/3465.02	c #Conflicts:     347000 | #Constraints:      36501
3454.71/3465.02	c #Conflicts:     348000 | #Constraints:      37501
3454.71/3465.02	c #Conflicts:     349000 | #Constraints:      38501
3454.71/3465.02	c #Conflicts:     350000 | #Constraints:      39501
3454.71/3465.02	c #Conflicts:     351000 | #Constraints:      40501
3454.71/3465.02	c #Conflicts:     352000 | #Constraints:      41501
3454.71/3465.02	c #Conflicts:     353000 | #Constraints:      42501
3454.71/3465.02	c #Conflicts:     354000 | #Constraints:      43501
3454.71/3465.02	c #Conflicts:     355000 | #Constraints:      44501
3454.71/3465.02	c #Conflicts:     356000 | #Constraints:      45501
3454.71/3465.02	c #Conflicts:     357000 | #Constraints:      46501
3454.71/3465.02	c #Conflicts:     358000 | #Constraints:      47501
3454.71/3465.02	c #Conflicts:     359000 | #Constraints:      48501
3454.71/3465.02	c #Conflicts:     360000 | #Constraints:      49501
3454.71/3465.02	c INPROCESSING
3454.71/3465.02	c GARBAGE COLLECT
3454.71/3465.02	c #Conflicts:     361000 | #Constraints:      33224
3454.71/3465.02	c #Conflicts:     362000 | #Constraints:      34224
3454.71/3465.02	c #Conflicts:     363000 | #Constraints:      35224
3454.71/3465.02	c #Conflicts:     364000 | #Constraints:      36224
3454.71/3465.02	c #Conflicts:     365000 | #Constraints:      37224
3454.71/3465.02	c #Conflicts:     366000 | #Constraints:      38224
3454.71/3465.02	c #Conflicts:     367000 | #Constraints:      39224
3454.71/3465.02	c #Conflicts:     368000 | #Constraints:      40224
3454.71/3465.02	c #Conflicts:     369000 | #Constraints:      41224
3454.71/3465.02	c #Conflicts:     370000 | #Constraints:      42224
3454.71/3465.02	c #Conflicts:     371000 | #Constraints:      43224
3454.71/3465.02	c #Conflicts:     372000 | #Constraints:      44224
3454.71/3465.02	c #Conflicts:     373000 | #Constraints:      45224
3454.71/3465.02	c #Conflicts:     374000 | #Constraints:      46224
3454.71/3465.02	c #Conflicts:     375000 | #Constraints:      47224
3454.71/3465.02	c #Conflicts:     376000 | #Constraints:      48224
3454.71/3465.02	c #Conflicts:     377000 | #Constraints:      49224
3454.71/3465.02	c #Conflicts:     378000 | #Constraints:      50224
3454.71/3465.02	c #Conflicts:     379000 | #Constraints:      51224
3454.71/3465.02	c #Conflicts:     380000 | #Constraints:      52224
3454.71/3465.02	c #Conflicts:     381000 | #Constraints:      53224
3454.71/3465.02	c #Conflicts:     382000 | #Constraints:      54224
3454.71/3465.02	c #Conflicts:     383000 | #Constraints:      55224
3454.71/3465.02	c #Conflicts:     384000 | #Constraints:      56224
3600.06/3610.80	c #Conflicts:     385000 | #Constraints:      57224
3600.06/3610.80	c #Conflicts:     386000 | #Constraints:      58224
3600.06/3610.80	c #Conflicts:     387000 | #Constraints:      59224
3600.06/3610.80	c #Conflicts:     388000 | #Constraints:      60224
3600.06/3610.80	c #Conflicts:     389000 | #Constraints:      61224
3600.06/3610.80	c #Conflicts:     390000 | #Constraints:      62224
3600.06/3610.80	c Program interrupted by user.
3600.06/3610.80	c cpu time 3591.78 s
3600.06/3610.80	c deterministic time 267684192757 2.68e+11
3600.06/3610.80	c optimization time 572.284 s
3600.06/3610.80	c total solve time 3019.49 s
3600.06/3610.80	c core-guided solve time 3019.49 s
3600.06/3610.80	c propagation time 3247.31 s
3600.06/3610.80	c conflict analysis time 329.129 s
3600.06/3610.80	c propagations 64671820
3600.06/3610.80	c resolve steps 4557117
3600.06/3610.80	c decisions 6291690
3600.06/3610.80	c conflicts 390590
3600.06/3610.80	c restarts 950
3600.06/3610.80	c inprocessing phases 36
3600.06/3610.80	c input clauses 229
3600.06/3610.80	c input cardinalities 440
3600.06/3610.80	c input general constraints 667
3600.06/3610.80	c input average constraint length 43.43
3600.06/3610.80	c input average constraint degree 20.99
3600.06/3610.80	c learned clauses 78408
3600.06/3610.80	c learned cardinalities 1441
3600.06/3610.80	c learned general constraints 310753
3600.06/3610.80	c learned average constraint length 157.09
3600.06/3610.80	c learned average constraint degree 3774695.19
3600.06/3610.80	c watched constraints 249878
3600.06/3610.80	c counting constraints 61542
3600.06/3610.80	c gcd simplifications 27692
3600.06/3610.80	c detected cardinalities 1156
3600.06/3610.80	c weakened non-implied lits 5604639
3600.06/3610.80	c weakened non-implying lits 14465
3600.06/3610.80	c original variables 478
3600.06/3610.80	c clausal propagations 16283089
3600.06/3610.80	c cardinality propagations 1082137
3600.06/3610.80	c watched propagations 9557053
3600.06/3610.80	c counting propagations 37412135
3600.06/3610.80	c watch lookups 70515314692
3600.06/3610.80	c watch backjump lookups 68059959309
3600.06/3610.80	c watch checks 115970010397
3600.06/3610.80	c propagation checks 12766136832
3600.06/3610.80	c constraint additions 230454180
3600.06/3610.80	c trail pops 71353836
3600.06/3610.80	c formula constraints 478
3600.06/3610.80	c learned constraints 390602
3600.06/3610.80	c bound constraints 101
3600.06/3610.80	c core-guided constraints 757
3600.06/3610.80	c encountered formula constraints 575944
3600.06/3610.80	c encountered learned constraints 3515349
3600.06/3610.80	c encountered bound constraints 79
3600.06/3610.80	c encountered core-guided constraints 856335
3600.06/3610.80	c LP total time 0 s
3600.06/3610.80	c LP solve time 0 s
3600.06/3610.80	c LP constraints added 0
3600.06/3610.80	c LP constraints removed 0
3600.06/3610.80	c LP pivots internal 0
3600.06/3610.80	c LP pivots root 0
3600.06/3610.80	c LP calls 0
3600.06/3610.80	c LP optimalities 0
3600.06/3610.80	c LP no pivot count 0
3600.06/3610.80	c LP infeasibilities 0
3600.06/3610.80	c LP valid Farkas constraints 0
3600.06/3610.80	c LP learned Farkas constraints 0
3600.06/3610.80	c LP basis resets 0
3600.06/3610.80	c LP cycling count 0
3600.06/3610.80	c LP singular count 0
3600.06/3610.80	c LP no primal count 0
3600.06/3610.80	c LP no farkas count 0
3600.06/3610.80	c LP other issue count 0
3600.06/3610.80	c LP Gomory cuts 0
3600.06/3610.80	c LP learned cuts 0
3600.06/3610.80	c LP deleted cuts 0
3600.06/3610.80	c LP encountered Gomory constraints 0
3600.06/3610.80	c LP encountered Farkas constraints 0
3600.06/3610.80	c LP encountered learned Farkas constraints 0
3600.06/3610.80	c CG auxiliary variables introduced 318
3600.06/3610.80	c CG solutions found 3
3600.06/3610.80	c CG cores constructed 92
3600.06/3610.80	c CG core cardinality constraints returned 0
3600.06/3610.80	c CG unit cores 0
3600.06/3610.80	c CG single cores 91
3600.06/3610.80	c CG blocks removed during cardinality reduction 0
3600.06/3610.80	c CG first core best 0
3600.06/3610.80	c CG decision core best 0
3600.06/3610.80	c CG core reduction tie 1
3600.06/3610.80	c CG core degree average 1.00
3600.06/3610.80	c CG core slack average 6.18
3600.06/3610.80	c CG exhausted 0
3600.06/3610.80	c CG exhaust time 46.7479 s
3600.06/3610.80	c CG trimmed 3
3600.06/3610.80	c CG trim time 0.009682 s
3600.06/3610.80	c CG minimized 0
3600.06/3610.80	c CG minimize time 0 s
3600.06/3610.80	c CG am1 prop time 0.017932 s
3600.06/3610.80	c CG # am1s reformulated 54
3600.06/3610.80	c CG lower bound derived from am1s 54
3600.06/3610.80	c CG # clausal cores 25
3600.06/3610.80	c CG # cardinality cores 0
3600.06/3610.80	c CG # pb cores 68
3600.06/3610.80	c CG # pb reforms 0
3600.06/3610.80	c CG # cores discarded because of pb reform 0
3600.06/3610.80	d LOWERBOUND 146
3600.06/3610.80	d NCORES 92
3600.06/3610.80	d NPBCORES 68
3600.06/3610.80	d NPBREFORM 0
3600.06/3610.80	d NTRIMMED 3
3600.06/3610.80	d NEXHAUSTED 0
3600.06/3610.80	d NAM1S 54
3600.06/3610.80	d AM1LB 54
3600.06/3610.80	o 217
3600.06/3610.80	s SATISFIABLE
3600.06/3610.81	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

Verifier Data 

OK	217

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: 63708 MiB (59847 MiB free)
  memory of node 1: 64465 MiB (60160 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489042-1751343679/watcher-4489042-1751343679 -o /tmp/evaluation-result-4489042-1751343679/solver-4489042-1751343679 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751336454-45258 --watchdog 3760 pb-oll-rs HOME/instance-4489042-1751343679.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=46595, runsolver pid=46592
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.14 4.12 4.09 5/264 46596
/proc/meminfo: memFree=122888336/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=22396 memory=10428 CPUtime=0.09 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 950 0 0 0 8 1 0 0 20 0 1 0 50042427 22933504 2607 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 5599 2607 1344 243 0 1848 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22396 KiB
Current children cumulated memory: 10428 KiB

[startup+0.20571 s]*
/proc/loadavg: 4.14 4.12 4.09 5/264 46596
/proc/meminfo: memFree=122888336/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=24292 memory=14428 CPUtime=0.2 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 1437 0 0 0 18 2 0 0 20 0 1 0 50042427 24875008 3607 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 6073 3607 1344 243 0 2322 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 24292 KiB
Current children cumulated memory: 14428 KiB

[startup+0.305675 s]*
/proc/loadavg: 4.14 4.12 4.09 5/264 46596
/proc/meminfo: memFree=122888336/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=25856 memory=15964 CPUtime=0.29 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 1815 0 0 0 27 2 0 0 20 0 1 0 50042427 26476544 3991 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 6464 3991 1344 243 0 2713 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 25856 KiB
Current children cumulated memory: 15964 KiB

[startup+0.700177 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 46596
/proc/meminfo: memFree=122888336/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=30880 memory=18908 CPUtime=0.68 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 2544 0 0 0 65 3 0 0 20 0 1 0 50042427 31621120 4727 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 7720 4727 1344 243 0 3969 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 30880 KiB
Current children cumulated memory: 18908 KiB

[startup+1.50019 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 46596
/proc/meminfo: memFree=122887584/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=38568 memory=27028 CPUtime=1.47 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 4063 0 0 0 142 5 0 0 20 0 1 0 50042427 39493632 6757 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 9642 6757 1344 243 0 5891 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 38568 KiB
Current children cumulated memory: 27028 KiB

[startup+3.10558 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 46596
/proc/meminfo: memFree=122876440/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=41284 memory=29460 CPUtime=3.07 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 4673 0 0 0 298 9 0 0 20 0 1 0 50042427 42274816 7365 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 10321 7365 1344 243 0 6570 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 41284 KiB
Current children cumulated memory: 29460 KiB

[startup+6.30013 s]
/proc/loadavg: 4.04 4.10 4.09 5/262 46680
/proc/meminfo: memFree=124326472/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=51860 memory=36684 CPUtime=6.22 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 5981 0 0 0 601 21 0 0 20 0 1 0 50042427 53104640 9171 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 12965 9171 1344 243 0 9214 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 51860 KiB
Current children cumulated memory: 36684 KiB

[startup+12.7002 s]
/proc/loadavg: 4.04 4.10 4.09 5/264 46686
/proc/meminfo: memFree=124275028/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=60436 memory=45612 CPUtime=12.6 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 7703 0 0 0 1227 33 0 0 20 0 1 0 50042427 61886464 11403 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 15109 11403 1344 243 0 11358 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 60436 KiB
Current children cumulated memory: 45612 KiB

[startup+25.5002 s]
/proc/loadavg: 4.03 4.09 4.08 5/264 46686
/proc/meminfo: memFree=124236408/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=78256 memory=55972 CPUtime=25.37 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 9788 0 0 0 2488 49 0 0 20 0 1 0 50042427 80134144 13993 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 19564 13993 1344 243 0 15813 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 78256 KiB
Current children cumulated memory: 55972 KiB

[startup+51.1056 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 46732
/proc/meminfo: memFree=124802648/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=82096 memory=64176 CPUtime=50.9 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 10813 0 0 0 5009 81 0 0 20 0 1 0 50042427 84066304 16044 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 20524 16044 1344 243 0 16773 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 82096 KiB
Current children cumulated memory: 64176 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 46735
/proc/meminfo: memFree=124752928/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=90092 memory=75184 CPUtime=101.96 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 12526 0 0 0 10073 123 0 0 20 0 1 0 50042427 92254208 18796 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 22523 18796 1344 243 0 18772 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 90092 KiB
Current children cumulated memory: 75184 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 46742
/proc/meminfo: memFree=124716572/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=96448 memory=80304 CPUtime=161.82 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 13842 0 0 0 16004 178 0 0 20 0 1 0 50042427 98762752 20076 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 24112 20076 1344 243 0 20361 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 96448 KiB
Current children cumulated memory: 80304 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 46745
/proc/meminfo: memFree=124637568/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=104964 memory=87472 CPUtime=221.65 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 15630 0 0 0 21965 200 0 0 20 0 1 0 50042427 107483136 21868 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 26241 21868 1344 243 0 22490 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 104964 KiB
Current children cumulated memory: 87472 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 46750
/proc/meminfo: memFree=124645212/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=130048 memory=97572 CPUtime=281.47 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 17844 0 0 0 27929 218 0 0 20 0 1 0 50042427 133169152 24393 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 32512 24393 1344 243 0 28761 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 130048 KiB
Current children cumulated memory: 97572 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/266 46752
/proc/meminfo: memFree=124656048/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=130176 memory=97700 CPUtime=341.29 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 17904 0 0 0 33884 245 0 0 20 0 1 0 50042427 133300224 24425 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 32544 24425 1344 243 0 28793 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 130176 KiB
Current children cumulated memory: 97700 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/266 46754
/proc/meminfo: memFree=124642368/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=130176 memory=98212 CPUtime=401.1 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 17915 0 0 0 39836 274 0 0 20 0 1 0 50042427 133300224 24553 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 32544 24553 1344 243 0 28793 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 130176 KiB
Current children cumulated memory: 98212 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 46757
/proc/meminfo: memFree=124658508/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=130816 memory=101796 CPUtime=460.92 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 18012 0 0 0 45804 288 0 0 20 0 1 0 50042427 133955584 25449 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 32704 25449 1344 243 0 28953 0
Current children cumulated CPU time: 460.92 s

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

Current children cumulated memory: 161920 KiB

[startup+2862.3 s]
/proc/loadavg: 4.31 4.14 4.11 5/265 46886
/proc/meminfo: memFree=124339620/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=200068 memory=166600 CPUtime=2853.82 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 28039 0 0 0 284674 708 0 0 20 0 1 0 50042427 204869632 41650 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 50017 41650 1344 243 0 46266 0
Current children cumulated CPU time: 2853.82 s
Current children cumulated vsize: 200068 KiB
Current children cumulated memory: 166600 KiB

[startup+2922.3 s]
/proc/loadavg: 4.25 4.15 4.11 5/265 46888
/proc/meminfo: memFree=124341168/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=200068 memory=168664 CPUtime=2913.65 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 28163 0 0 0 290645 720 0 0 20 0 1 0 50042427 204869632 42166 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 50017 42166 1344 243 0 46266 0
Current children cumulated CPU time: 2913.65 s
Current children cumulated vsize: 200068 KiB
Current children cumulated memory: 168664 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/265 46890
/proc/meminfo: memFree=124334140/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=200068 memory=168664 CPUtime=2973.46 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 28163 0 0 0 296617 729 0 0 20 0 1 0 50042427 204869632 42166 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 50017 42166 1344 243 0 46266 0
Current children cumulated CPU time: 2973.46 s
Current children cumulated vsize: 200068 KiB
Current children cumulated memory: 168664 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/264 46892
/proc/meminfo: memFree=124330340/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=200068 memory=168664 CPUtime=3033.29 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 28182 0 0 0 302590 739 0 0 20 0 1 0 50042427 204869632 42166 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 50017 42166 1344 243 0 46266 0
Current children cumulated CPU time: 3033.29 s
Current children cumulated vsize: 200068 KiB
Current children cumulated memory: 168664 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/264 46894
/proc/meminfo: memFree=124319404/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=200396 memory=168792 CPUtime=3093.11 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 28233 0 0 0 308562 749 0 0 20 0 1 0 50042427 205205504 42198 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 50099 42198 1344 243 0 46348 0
Current children cumulated CPU time: 3093.11 s
Current children cumulated vsize: 200396 KiB
Current children cumulated memory: 168792 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 46900
/proc/meminfo: memFree=124318748/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=200396 memory=168792 CPUtime=3152.92 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 28233 0 0 0 314531 761 0 0 20 0 1 0 50042427 205205504 42198 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 50099 42198 1344 243 0 46348 0
Current children cumulated CPU time: 3152.92 s
Current children cumulated vsize: 200396 KiB
Current children cumulated memory: 168792 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/263 46902
/proc/meminfo: memFree=124310292/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=200396 memory=168792 CPUtime=3212.74 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 28233 0 0 0 320500 774 0 0 20 0 1 0 50042427 205205504 42198 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 50099 42198 1344 243 0 46348 0
Current children cumulated CPU time: 3212.74 s
Current children cumulated vsize: 200396 KiB
Current children cumulated memory: 168792 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 46907
/proc/meminfo: memFree=124309516/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=200396 memory=168792 CPUtime=3272.57 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 28233 0 0 0 326473 784 0 0 20 0 1 0 50042427 205205504 42198 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 50099 42198 1344 243 0 46348 0
Current children cumulated CPU time: 3272.57 s
Current children cumulated vsize: 200396 KiB
Current children cumulated memory: 168792 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 46909
/proc/meminfo: memFree=124307860/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=200396 memory=168792 CPUtime=3332.38 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 28233 0 0 0 332446 792 0 0 20 0 1 0 50042427 205205504 42198 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 50099 42198 1344 243 0 46348 0
Current children cumulated CPU time: 3332.38 s
Current children cumulated vsize: 200396 KiB
Current children cumulated memory: 168792 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 46911
/proc/meminfo: memFree=124305972/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=200396 memory=168792 CPUtime=3392.2 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 28235 0 0 0 338419 801 0 0 20 0 1 0 50042427 205205504 42198 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 50099 42198 1344 243 0 46348 0
Current children cumulated CPU time: 3392.2 s
Current children cumulated vsize: 200396 KiB
Current children cumulated memory: 168792 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 46914
/proc/meminfo: memFree=124299740/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=200396 memory=168792 CPUtime=3452.01 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 28236 0 0 0 344391 810 0 0 20 0 1 0 50042427 205205504 42198 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 50099 42198 1344 243 0 46348 0
Current children cumulated CPU time: 3452.01 s
Current children cumulated vsize: 200396 KiB
Current children cumulated memory: 168792 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 46916
/proc/meminfo: memFree=124298356/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=200396 memory=168792 CPUtime=3511.83 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 28238 0 0 0 350365 818 0 0 20 0 1 0 50042427 205205504 42198 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 50099 42198 1344 243 0 46348 0
Current children cumulated CPU time: 3511.83 s
Current children cumulated vsize: 200396 KiB
Current children cumulated memory: 168792 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 46918
/proc/meminfo: memFree=124296884/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=200396 memory=168792 CPUtime=3571.65 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 28239 0 0 0 356339 826 0 0 20 0 1 0 50042427 205205504 42198 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 50099 42198 1344 243 0 46348 0
Current children cumulated CPU time: 3571.65 s
Current children cumulated vsize: 200396 KiB
Current children cumulated memory: 168792 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 46919
/proc/meminfo: memFree=124296816/131249992 swapFree=33010160/33010684
[pid=46595] ppid=46592 vsize=200396 memory=168792 CPUtime=3600.06 cores=4,6
/proc/46595/stat : 46595 (pb-oll-rs) R 46592 46595 45247 0 -1 4194304 28240 0 0 0 359177 829 0 0 20 0 1 0 50042427 205205504 42198 18446744073709551615 4218880 5211445 140726915405968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 10977280 140726915414428 140726915414505 140726915414505 140726915420107 0
/proc/46595/statm: 50099 42198 1344 243 0 46348 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 200396 KiB
Current children cumulated memory: 168792 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.78 s, system=8.29446 s

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

Child status: 0

Real time (s): 3610.81
CPU time (s): 3600.08
CPU user time (s): 3591.78
CPU system time (s): 8.29446
CPU usage (%): 99.7027
Max. virtual memory (cumulated for all children) (KiB): 200396
Max. memory (cumulated for all children) (KiB): 168792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.78
system time used= 8.29446
maximum resident set size= 169048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28254
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= 136
involuntary context switches= 3428


# summary of solver processes directly reported to runsolver:
#   pid: 46595
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3591.78
#   total CPU system time (s): 8.29446

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.20573 second user time and 16.2147 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-07-01 06:21:19
IDJOB=4489042
IDBENCH=147538
IDSOLVER=3345
FILE ID=nodeC035/4489042-1751343679
RUNJOBID= nodeC035-1751336454-45258
SLURM_JOB_ID= 9594384
Free space on /tmp= 433056 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489042-1751343679/watcher-4489042-1751343679 -o /tmp/evaluation-result-4489042-1751343679/solver-4489042-1751343679 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751336454-45258 --watchdog 3760  pb-oll-rs HOME/instance-4489042-1751343679.opb

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

MD5SUM BENCH= bed0fcfa7fe1ab50726d34a7d1903e12
RANDOM SEED=974983041

nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.767
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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		: 3599.751
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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.527
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.900
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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		: 3599.307
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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		: 3599.763
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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		: 3574.631
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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.394
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        122888336 kB
MemAvailable:   127594272 kB
Buffers:            1840 kB
Cached:          5458876 kB
SwapCached:            8 kB
Active:          2467068 kB
Inactive:        5179188 kB
Active(anon):    2191972 kB
Inactive(anon):    11616 kB
Active(file):     275096 kB
Inactive(file):  5167572 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1636 kB
Writeback:             0 kB
AnonPages:       2183808 kB
Mapped:           107128 kB
Shmem:             18048 kB
KReclaimable:     205012 kB
Slab:             294376 kB
SReclaimable:     205012 kB
SUnreclaim:        89364 kB
KernelStack:        4288 kB
PageTables:         7400 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2742260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2013184 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC035 at 2025-07-01 07:21:30