Trace number 4454300

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)217 3600.01 3609.9

DiagnosticValue
AM1LB54
LOWERBOUND146
NAM1S54
NCORES92
NEXHAUSTED0
NPBCORES68
NPBREFORM0
NTRIMMED3

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 benchmark3558
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.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 478 #constraints 478
0.00/0.00	c SMALL=int, LARGE=long long
0.00/0.00	c bounds - >= 0 @ 0.00099
0.00/0.00	c stratification level: 0
0.00/0.01	c bounds - >= 55 @ 0.002175
0.00/0.01	c bounds - >= 56 @ 0.002387
0.00/0.01	c bounds - >= 57 @ 0.002468
0.00/0.01	c bounds - >= 58 @ 0.002551
0.00/0.01	c bounds - >= 59 @ 0.002629
0.00/0.01	c bounds - >= 60 @ 0.002708
0.00/0.01	c bounds - >= 61 @ 0.002783
0.00/0.01	c bounds - >= 62 @ 0.002867
0.00/0.01	c bounds - >= 63 @ 0.002902
0.00/0.01	c bounds - >= 64 @ 0.002902
0.00/0.01	c bounds - >= 65 @ 0.002902
0.00/0.01	c bounds - >= 66 @ 0.002902
0.00/0.01	c bounds - >= 67 @ 0.002902
0.00/0.01	c bounds - >= 68 @ 0.002902
0.00/0.01	c bounds - >= 69 @ 0.002902
0.00/0.01	c bounds - >= 70 @ 0.002902
0.00/0.01	c bounds - >= 71 @ 0.002902
0.00/0.01	c bounds - >= 72 @ 0.002902
0.00/0.01	c bounds - >= 73 @ 0.003025
0.00/0.01	c bounds - >= 74 @ 0.003135
0.00/0.01	c bounds - >= 75 @ 0.003261
0.00/0.01	c bounds - >= 76 @ 0.003372
0.00/0.01	c bounds - >= 77 @ 0.003482
0.00/0.01	c bounds - >= 78 @ 0.003594
0.00/0.01	c bounds - >= 79 @ 0.003714
0.00/0.01	c bounds - >= 80 @ 0.003824
0.00/0.01	c bounds - >= 81 @ 0.003957
0.00/0.01	c bounds - >= 82 @ 0.004074
0.00/0.01	c bounds - >= 83 @ 0.004189
0.00/0.01	c bounds - >= 84 @ 0.004311
0.00/0.01	c bounds - >= 85 @ 0.004419
0.00/0.01	c bounds - >= 86 @ 0.004526
0.00/0.01	c bounds - >= 87 @ 0.004634
0.00/0.01	c bounds - >= 88 @ 0.004749
0.00/0.01	c bounds - >= 89 @ 0.004859
0.00/0.01	c bounds - >= 90 @ 0.004911
0.00/0.01	c bounds - >= 91 @ 0.004911
0.00/0.01	c bounds - >= 92 @ 0.004911
0.00/0.01	c bounds - >= 93 @ 0.004911
0.00/0.01	c bounds - >= 94 @ 0.004911
0.00/0.01	c bounds - >= 95 @ 0.004911
0.00/0.01	c bounds - >= 96 @ 0.004911
0.00/0.01	c bounds - >= 97 @ 0.004911
0.00/0.01	c bounds - >= 98 @ 0.004911
0.00/0.01	c bounds - >= 99 @ 0.004911
0.00/0.01	c bounds - >= 100 @ 0.004911
0.00/0.01	c bounds - >= 101 @ 0.004911
0.00/0.01	c bounds - >= 102 @ 0.004911
0.00/0.01	c bounds - >= 103 @ 0.004911
0.00/0.01	c bounds - >= 104 @ 0.004911
0.00/0.01	c bounds - >= 105 @ 0.004911
0.00/0.01	c bounds - >= 106 @ 0.004911
0.00/0.01	c bounds - >= 107 @ 0.004911
0.00/0.01	c bounds - >= 108 @ 0.005024
0.00/0.01	c bounds - >= 109 @ 0.005154
0.00/0.01	c bounds - >= 110 @ 0.005291
0.00/0.01	c bounds - >= 111 @ 0.00541
0.00/0.01	c bounds - >= 112 @ 0.005526
0.00/0.01	c bounds - >= 113 @ 0.005649
0.00/0.01	c bounds - >= 114 @ 0.005771
0.00/0.01	c bounds - >= 115 @ 0.00586
0.00/0.01	c bounds - >= 116 @ 0.005983
0.00/0.01	c bounds - >= 117 @ 0.006098
0.00/0.01	c bounds - >= 118 @ 0.006237
0.00/0.01	c bounds - >= 119 @ 0.006353
0.00/0.01	c bounds - >= 120 @ 0.006466
0.00/0.01	c bounds - >= 121 @ 0.006579
0.00/0.01	c bounds - >= 122 @ 0.006689
0.00/0.01	c bounds - >= 123 @ 0.006803
0.00/0.01	c bounds - >= 124 @ 0.006941
0.00/0.01	c bounds - >= 125 @ 0.00706
0.00/0.01	c bounds - >= 126 @ 0.007207
0.00/0.01	c bounds - >= 127 @ 0.007319
0.00/0.01	c bounds - >= 128 @ 0.007439
0.00/0.01	c bounds - >= 129 @ 0.00757
0.00/0.01	c bounds - >= 130 @ 0.007699
0.00/0.01	c bounds - >= 131 @ 0.007846
0.00/0.01	c bounds - >= 132 @ 0.007985
0.00/0.01	c finalizing WCE round: reformulating cores
38.49/38.67	c #Conflicts:       1000 | #Constraints:       1629
38.49/38.67	c #Conflicts:       2000 | #Constraints:       2637
38.49/38.67	c INPROCESSING
38.49/38.67	c GARBAGE COLLECT
38.49/38.67	c #Conflicts:       3000 | #Constraints:       2563
38.49/38.67	c #Conflicts:       4000 | #Constraints:       3565
38.49/38.67	c INPROCESSING
38.49/38.67	c GARBAGE COLLECT
38.49/38.67	c #Conflicts:       5000 | #Constraints:       2969
38.49/38.67	c #Conflicts:       6000 | #Constraints:       3971
38.49/38.67	c INPROCESSING
38.49/38.67	c GARBAGE COLLECT
38.49/38.67	c #Conflicts:       7000 | #Constraints:       2979
38.49/38.67	c #Conflicts:       8000 | #Constraints:       3981
38.49/38.67	c #Conflicts:       9000 | #Constraints:       4985
38.49/38.67	c INPROCESSING
38.49/38.67	c GARBAGE COLLECT
38.49/38.67	c #Conflicts:      10000 | #Constraints:       3683
38.49/38.67	c #Conflicts:      11000 | #Constraints:       4685
38.49/38.67	c #Conflicts:      12000 | #Constraints:       5687
38.49/38.67	c INPROCESSING
38.49/38.67	c GARBAGE COLLECT
38.49/38.67	c #Conflicts:      13000 | #Constraints:       4138
38.49/38.67	c #Conflicts:      14000 | #Constraints:       5140
38.49/38.67	c #Conflicts:      15000 | #Constraints:       6142
38.49/38.67	c INPROCESSING
38.49/38.67	c GARBAGE COLLECT
38.49/38.67	c #Conflicts:      16000 | #Constraints:       4375
38.49/38.67	c #Conflicts:      17000 | #Constraints:       5377
38.49/38.67	c #Conflicts:      18000 | #Constraints:       6379
38.49/38.67	c INPROCESSING
38.49/38.67	c GARBAGE COLLECT
38.49/38.67	c #Conflicts:      19000 | #Constraints:       4404
38.49/38.67	c #Conflicts:      20000 | #Constraints:       5406
38.49/38.67	c #Conflicts:      21000 | #Constraints:       6408
38.49/38.67	c INPROCESSING
38.49/38.67	c GARBAGE COLLECT
38.49/38.67	c #Conflicts:      22000 | #Constraints:       4216
38.49/38.67	c #Conflicts:      23000 | #Constraints:       5218
38.49/38.67	c #Conflicts:      24000 | #Constraints:       6222
38.49/38.67	c #Conflicts:      25000 | #Constraints:       7224
38.49/38.67	c INPROCESSING
38.49/38.67	c GARBAGE COLLECT
38.49/38.67	c #Conflicts:      26000 | #Constraints:       4832
38.49/38.67	c #Conflicts:      27000 | #Constraints:       5834
38.49/38.67	c #Conflicts:      28000 | #Constraints:       6836
38.49/38.67	c #Conflicts:      29000 | #Constraints:       7840
38.49/38.67	c INPROCESSING
38.49/38.67	c GARBAGE COLLECT
38.49/38.67	c #Conflicts:      30000 | #Constraints:       5239
38.49/38.67	c #Conflicts:      31000 | #Constraints:       6241
38.49/38.67	c #Conflicts:      32000 | #Constraints:       7243
38.49/38.67	c #Conflicts:      33000 | #Constraints:       8247
38.49/38.67	c INPROCESSING
38.49/38.67	c GARBAGE COLLECT
38.49/38.67	c #Conflicts:      34000 | #Constraints:       5453
38.49/38.67	c #Conflicts:      35000 | #Constraints:       6455
38.49/38.67	c #Conflicts:      36000 | #Constraints:       7457
38.49/38.67	c #Conflicts:      37000 | #Constraints:       8461
38.49/38.67	c INPROCESSING
38.49/38.67	c GARBAGE COLLECT
38.49/38.67	c #Conflicts:      38000 | #Constraints:       5466
38.49/38.67	c #Conflicts:      39000 | #Constraints:       6468
38.49/38.67	c #Conflicts:      40000 | #Constraints:       7470
38.49/38.67	c #Conflicts:      41000 | #Constraints:       8474
38.49/38.67	c INPROCESSING
38.49/38.67	c GARBAGE COLLECT
38.49/38.67	c #Conflicts:      42000 | #Constraints:       5276
38.49/38.67	c #Conflicts:      43000 | #Constraints:       6278
38.49/38.67	c #Conflicts:      44000 | #Constraints:       7282
38.49/38.67	c #Conflicts:      45000 | #Constraints:       8284
38.49/38.67	c #Conflicts:      46000 | #Constraints:       9286
38.49/38.67	c INPROCESSING
38.49/38.67	c GARBAGE COLLECT
38.49/38.67	c #Conflicts:      47000 | #Constraints:       5888
38.49/38.67	c #Conflicts:      48000 | #Constraints:       6890
38.49/38.67	c #Conflicts:      49000 | #Constraints:       7892
38.49/38.67	c #Conflicts:      50000 | #Constraints:       8896
38.49/38.67	c #Conflicts:      51000 | #Constraints:       9898
38.49/38.67	c INPROCESSING
38.49/38.67	c GARBAGE COLLECT
38.49/38.67	c #Conflicts:      52000 | #Constraints:       6301
38.49/38.67	c #Conflicts:      53000 | #Constraints:       7303
38.49/38.67	c #Conflicts:      54000 | #Constraints:       8305
38.49/38.67	c #Conflicts:      55000 | #Constraints:       9309
38.49/38.67	c #Conflicts:      56000 | #Constraints:      10311
38.49/38.67	c INPROCESSING
38.49/38.67	c GARBAGE COLLECT
38.49/38.67	c #Conflicts:      57000 | #Constraints:       6511
38.49/38.67	c #Conflicts:      58000 | #Constraints:       7513
38.49/38.67	c #Conflicts:      59000 | #Constraints:       8515
38.49/38.67	c #Conflicts:      60000 | #Constraints:       9519
38.49/38.67	c #Conflicts:      61000 | #Constraints:      10521
38.49/38.67	c INPROCESSING
38.49/38.67	c GARBAGE COLLECT
38.49/38.67	c bounds 220 >= 132 @ 37.6335
38.49/38.67	c bounds 220 >= 133 @ 37.6426
38.49/38.67	c bounds 220 >= 134 @ 37.6456
38.49/38.67	c bounds 220 >= 135 @ 37.6477
38.49/38.67	c bounds 220 >= 136 @ 37.6503
38.49/38.67	c bounds 220 >= 137 @ 37.6552
38.49/38.67	c bounds 220 >= 138 @ 37.658
38.49/38.67	c bounds 220 >= 139 @ 37.6677
38.49/38.67	c bounds 220 >= 140 @ 37.6795
38.49/38.67	c #Conflicts:      62000 | #Constraints:       6661
38.49/38.67	c finalizing WCE round: reformulating cores
78.47/78.70	c #Conflicts:      63000 | #Constraints:       7669
78.47/78.70	c #Conflicts:      64000 | #Constraints:       8671
78.47/78.70	c #Conflicts:      65000 | #Constraints:       9673
78.47/78.70	c #Conflicts:      66000 | #Constraints:      10677
78.47/78.70	c INPROCESSING
78.47/78.70	c GARBAGE COLLECT
78.47/78.70	c #Conflicts:      67000 | #Constraints:       6445
78.47/78.70	c #Conflicts:      68000 | #Constraints:       7447
78.47/78.70	c bounds 218 >= 140 @ 44.6059
78.47/78.70	c bounds 218 >= 141 @ 44.6249
78.47/78.70	c bounds 218 >= 142 @ 44.66
78.47/78.70	c bounds 218 >= 143 @ 45.0808
78.47/78.70	c #Conflicts:      69000 | #Constraints:       8624
78.47/78.70	c #Conflicts:      70000 | #Constraints:       9624
78.47/78.70	c #Conflicts:      71000 | #Constraints:      10624
78.47/78.70	c #Conflicts:      72000 | #Constraints:      11624
78.47/78.70	c INPROCESSING
78.47/78.70	c GARBAGE COLLECT
78.47/78.70	c #Conflicts:      73000 | #Constraints:       7196
78.47/78.70	c #Conflicts:      74000 | #Constraints:       8196
78.47/78.70	c #Conflicts:      75000 | #Constraints:       9196
78.47/78.70	c #Conflicts:      76000 | #Constraints:      10196
78.47/78.70	c #Conflicts:      77000 | #Constraints:      11196
78.47/78.70	c #Conflicts:      78000 | #Constraints:      12196
78.47/78.70	c INPROCESSING
78.47/78.70	c GARBAGE COLLECT
78.47/78.70	c #Conflicts:      79000 | #Constraints:       7584
78.47/78.70	c #Conflicts:      80000 | #Constraints:       8584
78.47/78.70	c #Conflicts:      81000 | #Constraints:       9584
78.47/78.70	c finalizing WCE round: reformulating cores
330.19/331.12	c #Conflicts:      82000 | #Constraints:      10589
330.19/331.12	c #Conflicts:      83000 | #Constraints:      11591
330.19/331.12	c bounds 217 >= 143 @ 79.0568
330.19/331.12	c bounds 217 >= 144 @ 79.1634
330.19/331.12	c #Conflicts:      84000 | #Constraints:      12739
330.19/331.12	c INPROCESSING
330.19/331.12	c GARBAGE COLLECT
330.19/331.12	c bounds 217 >= 145 @ 80.3669
330.19/331.12	c #Conflicts:      85000 | #Constraints:       7937
330.19/331.12	c #Conflicts:      86000 | #Constraints:       8937
330.19/331.12	c #Conflicts:      87000 | #Constraints:       9937
330.19/331.12	c #Conflicts:      88000 | #Constraints:      10937
330.19/331.12	c #Conflicts:      89000 | #Constraints:      11937
330.19/331.12	c #Conflicts:      90000 | #Constraints:      12937
330.19/331.12	c INPROCESSING
330.19/331.12	c GARBAGE COLLECT
330.19/331.12	c #Conflicts:      91000 | #Constraints:       7911
330.19/331.12	c #Conflicts:      92000 | #Constraints:       8911
330.19/331.12	c #Conflicts:      93000 | #Constraints:       9911
330.19/331.12	c #Conflicts:      94000 | #Constraints:      10911
330.19/331.12	c #Conflicts:      95000 | #Constraints:      11911
330.19/331.12	c #Conflicts:      96000 | #Constraints:      12911
330.19/331.12	c INPROCESSING
330.19/331.12	c GARBAGE COLLECT
330.19/331.12	c #Conflicts:      97000 | #Constraints:       7706
330.19/331.12	c #Conflicts:      98000 | #Constraints:       8706
330.19/331.12	c #Conflicts:      99000 | #Constraints:       9706
330.19/331.12	c #Conflicts:     100000 | #Constraints:      10706
330.19/331.12	c #Conflicts:     101000 | #Constraints:      11706
330.19/331.12	c #Conflicts:     102000 | #Constraints:      12706
330.19/331.12	c #Conflicts:     103000 | #Constraints:      13706
330.19/331.12	c INPROCESSING
330.19/331.12	c GARBAGE COLLECT
330.19/331.12	c #Conflicts:     104000 | #Constraints:       8305
330.19/331.12	c #Conflicts:     105000 | #Constraints:       9305
330.19/331.12	c #Conflicts:     106000 | #Constraints:      10305
330.19/331.12	c #Conflicts:     107000 | #Constraints:      11305
330.19/331.12	c #Conflicts:     108000 | #Constraints:      12305
330.19/331.12	c #Conflicts:     109000 | #Constraints:      13305
330.19/331.12	c #Conflicts:     110000 | #Constraints:      14305
330.19/331.12	c INPROCESSING
330.19/331.12	c GARBAGE COLLECT
330.19/331.12	c bounds 217 >= 146 @ 120.309
330.19/331.12	c #Conflicts:     111000 | #Constraints:       8756
330.19/331.12	c #Conflicts:     112000 | #Constraints:       9756
330.19/331.12	c #Conflicts:     113000 | #Constraints:      10756
330.19/331.12	c #Conflicts:     114000 | #Constraints:      11756
330.19/331.12	c #Conflicts:     115000 | #Constraints:      12756
330.19/331.12	c #Conflicts:     116000 | #Constraints:      13756
330.19/331.12	c #Conflicts:     117000 | #Constraints:      14756
330.19/331.12	c INPROCESSING
330.19/331.12	c GARBAGE COLLECT
330.19/331.12	c #Conflicts:     118000 | #Constraints:       8938
330.19/331.12	c #Conflicts:     119000 | #Constraints:       9938
330.19/331.12	c #Conflicts:     120000 | #Constraints:      10938
330.19/331.12	c #Conflicts:     121000 | #Constraints:      11938
330.19/331.12	c #Conflicts:     122000 | #Constraints:      12938
330.19/331.12	c #Conflicts:     123000 | #Constraints:      13938
330.19/331.12	c #Conflicts:     124000 | #Constraints:      14938
330.19/331.12	c #Conflicts:     125000 | #Constraints:      15938
330.19/331.12	c #Conflicts:     126000 | #Constraints:      16938
330.19/331.12	c #Conflicts:     127000 | #Constraints:      17938
330.19/331.12	c #Conflicts:     128000 | #Constraints:      18938
330.19/331.12	c #Conflicts:     129000 | #Constraints:      19938
330.19/331.12	c #Conflicts:     130000 | #Constraints:      20938
330.19/331.12	c #Conflicts:     131000 | #Constraints:      21938
330.19/331.12	c #Conflicts:     132000 | #Constraints:      22938
330.19/331.12	c #Conflicts:     133000 | #Constraints:      23938
330.19/331.12	c #Conflicts:     134000 | #Constraints:      24938
330.19/331.12	c #Conflicts:     135000 | #Constraints:      25938
330.19/331.12	c #Conflicts:     136000 | #Constraints:      26938
330.19/331.12	c #Conflicts:     137000 | #Constraints:      27938
330.19/331.12	c #Conflicts:     138000 | #Constraints:      28938
330.19/331.12	c #Conflicts:     139000 | #Constraints:      29938
330.19/331.12	c #Conflicts:     140000 | #Constraints:      30938
330.19/331.12	c #Conflicts:     141000 | #Constraints:      31938
330.19/331.12	c #Conflicts:     142000 | #Constraints:      32938
330.19/331.12	c #Conflicts:     143000 | #Constraints:      33938
330.19/331.12	c #Conflicts:     144000 | #Constraints:      34938
330.19/331.12	c #Conflicts:     145000 | #Constraints:      35938
330.19/331.12	c #Conflicts:     146000 | #Constraints:      36938
330.19/331.12	c #Conflicts:     147000 | #Constraints:      37938
330.19/331.12	c #Conflicts:     148000 | #Constraints:      38938
330.19/331.12	c INPROCESSING
330.19/331.12	c GARBAGE COLLECT
330.19/331.12	c #Conflicts:     149000 | #Constraints:      20779
330.19/331.12	c #Conflicts:     150000 | #Constraints:      21779
330.19/331.12	c #Conflicts:     151000 | #Constraints:      22779
330.19/331.12	c #Conflicts:     152000 | #Constraints:      23779
330.19/331.12	c #Conflicts:     153000 | #Constraints:      24779
330.19/331.12	c #Conflicts:     154000 | #Constraints:      25779
1126.88/1129.92	c #Conflicts:     155000 | #Constraints:      26779
1126.88/1129.92	c #Conflicts:     156000 | #Constraints:      27779
1126.88/1129.92	c INPROCESSING
1126.88/1129.92	c GARBAGE COLLECT
1126.88/1129.92	c #Conflicts:     157000 | #Constraints:      15073
1126.88/1129.92	c #Conflicts:     158000 | #Constraints:      16073
1126.88/1129.92	c #Conflicts:     159000 | #Constraints:      17073
1126.88/1129.92	c #Conflicts:     160000 | #Constraints:      18073
1126.88/1129.92	c #Conflicts:     161000 | #Constraints:      19073
1126.88/1129.92	c #Conflicts:     162000 | #Constraints:      20073
1126.88/1129.92	c #Conflicts:     163000 | #Constraints:      21073
1126.88/1129.92	c #Conflicts:     164000 | #Constraints:      22073
1126.88/1129.92	c #Conflicts:     165000 | #Constraints:      23073
1126.88/1129.92	c #Conflicts:     166000 | #Constraints:      24073
1126.88/1129.92	c #Conflicts:     167000 | #Constraints:      25073
1126.88/1129.92	c #Conflicts:     168000 | #Constraints:      26073
1126.88/1129.92	c #Conflicts:     169000 | #Constraints:      27073
1126.88/1129.92	c #Conflicts:     170000 | #Constraints:      28073
1126.88/1129.92	c #Conflicts:     171000 | #Constraints:      29073
1126.88/1129.92	c #Conflicts:     172000 | #Constraints:      30073
1126.88/1129.92	c #Conflicts:     173000 | #Constraints:      31073
1126.88/1129.92	c #Conflicts:     174000 | #Constraints:      32073
1126.88/1129.92	c #Conflicts:     175000 | #Constraints:      33073
1126.88/1129.92	c #Conflicts:     176000 | #Constraints:      34073
1126.88/1129.92	c #Conflicts:     177000 | #Constraints:      35073
1126.88/1129.92	c #Conflicts:     178000 | #Constraints:      36073
1126.88/1129.92	c #Conflicts:     179000 | #Constraints:      37073
1126.88/1129.92	c #Conflicts:     180000 | #Constraints:      38073
1126.88/1129.92	c #Conflicts:     181000 | #Constraints:      39073
1126.88/1129.92	c #Conflicts:     182000 | #Constraints:      40073
1126.88/1129.92	c #Conflicts:     183000 | #Constraints:      41073
1126.88/1129.92	c #Conflicts:     184000 | #Constraints:      42073
1126.88/1129.92	c #Conflicts:     185000 | #Constraints:      43073
1126.88/1129.92	c #Conflicts:     186000 | #Constraints:      44073
1126.88/1129.92	c #Conflicts:     187000 | #Constraints:      45073
1126.88/1129.92	c #Conflicts:     188000 | #Constraints:      46073
1126.88/1129.92	c #Conflicts:     189000 | #Constraints:      47073
1126.88/1129.92	c #Conflicts:     190000 | #Constraints:      48073
1126.88/1129.92	c #Conflicts:     191000 | #Constraints:      49073
1126.88/1129.92	c INPROCESSING
1126.88/1129.92	c GARBAGE COLLECT
1126.88/1129.92	c #Conflicts:     192000 | #Constraints:      25901
1126.88/1129.92	c #Conflicts:     193000 | #Constraints:      26901
1126.88/1129.92	c #Conflicts:     194000 | #Constraints:      27901
1126.88/1129.92	c #Conflicts:     195000 | #Constraints:      28901
1126.88/1129.92	c #Conflicts:     196000 | #Constraints:      29901
1126.88/1129.92	c #Conflicts:     197000 | #Constraints:      30901
1126.88/1129.92	c #Conflicts:     198000 | #Constraints:      31901
1126.88/1129.92	c #Conflicts:     199000 | #Constraints:      32901
1126.88/1129.92	c #Conflicts:     200000 | #Constraints:      33901
1126.88/1129.92	c #Conflicts:     201000 | #Constraints:      34901
1126.88/1129.92	c INPROCESSING
1126.88/1129.92	c GARBAGE COLLECT
1126.88/1129.92	c #Conflicts:     202000 | #Constraints:      19046
1126.88/1129.92	c #Conflicts:     203000 | #Constraints:      20046
1126.88/1129.92	c #Conflicts:     204000 | #Constraints:      21046
1126.88/1129.92	c #Conflicts:     205000 | #Constraints:      22046
1126.88/1129.92	c #Conflicts:     206000 | #Constraints:      23046
1126.88/1129.92	c #Conflicts:     207000 | #Constraints:      24046
1126.88/1129.92	c #Conflicts:     208000 | #Constraints:      25046
1126.88/1129.92	c #Conflicts:     209000 | #Constraints:      26046
1126.88/1129.92	c #Conflicts:     210000 | #Constraints:      27046
1126.88/1129.92	c #Conflicts:     211000 | #Constraints:      28046
1126.88/1129.92	c #Conflicts:     212000 | #Constraints:      29046
1126.88/1129.92	c #Conflicts:     213000 | #Constraints:      30046
1126.88/1129.92	c #Conflicts:     214000 | #Constraints:      31046
1126.88/1129.92	c #Conflicts:     215000 | #Constraints:      32046
1126.88/1129.92	c #Conflicts:     216000 | #Constraints:      33046
1126.88/1129.92	c #Conflicts:     217000 | #Constraints:      34046
1126.88/1129.92	c #Conflicts:     218000 | #Constraints:      35046
1126.88/1129.92	c #Conflicts:     219000 | #Constraints:      36046
1126.88/1129.92	c #Conflicts:     220000 | #Constraints:      37046
1126.88/1129.92	c #Conflicts:     221000 | #Constraints:      38046
1126.88/1129.92	c #Conflicts:     222000 | #Constraints:      39046
1126.88/1129.92	c #Conflicts:     223000 | #Constraints:      40046
1126.88/1129.92	c #Conflicts:     224000 | #Constraints:      41046
1126.88/1129.92	c #Conflicts:     225000 | #Constraints:      42046
1126.88/1129.92	c #Conflicts:     226000 | #Constraints:      43046
1126.88/1129.92	c #Conflicts:     227000 | #Constraints:      44046
1126.88/1129.92	c #Conflicts:     228000 | #Constraints:      45046
1126.88/1129.92	c #Conflicts:     229000 | #Constraints:      46046
1126.88/1129.92	c #Conflicts:     230000 | #Constraints:      47046
2372.16/2378.78	c #Conflicts:     231000 | #Constraints:      48046
2372.16/2378.78	c #Conflicts:     232000 | #Constraints:      49046
2372.16/2378.78	c #Conflicts:     233000 | #Constraints:      50046
2372.16/2378.78	c #Conflicts:     234000 | #Constraints:      51046
2372.16/2378.78	c #Conflicts:     235000 | #Constraints:      52046
2372.16/2378.78	c #Conflicts:     236000 | #Constraints:      53046
2372.16/2378.78	c #Conflicts:     237000 | #Constraints:      54046
2372.16/2378.78	c #Conflicts:     238000 | #Constraints:      55046
2372.16/2378.78	c INPROCESSING
2372.16/2378.78	c GARBAGE COLLECT
2372.16/2378.78	c #Conflicts:     239000 | #Constraints:      28751
2372.16/2378.78	c #Conflicts:     240000 | #Constraints:      29751
2372.16/2378.78	c #Conflicts:     241000 | #Constraints:      30751
2372.16/2378.78	c #Conflicts:     242000 | #Constraints:      31751
2372.16/2378.78	c #Conflicts:     243000 | #Constraints:      32751
2372.16/2378.78	c #Conflicts:     244000 | #Constraints:      33751
2372.16/2378.78	c #Conflicts:     245000 | #Constraints:      34751
2372.16/2378.78	c #Conflicts:     246000 | #Constraints:      35751
2372.16/2378.78	c #Conflicts:     247000 | #Constraints:      36751
2372.16/2378.78	c #Conflicts:     248000 | #Constraints:      37751
2372.16/2378.78	c #Conflicts:     249000 | #Constraints:      38751
2372.16/2378.78	c INPROCESSING
2372.16/2378.78	c GARBAGE COLLECT
2372.16/2378.78	c #Conflicts:     250000 | #Constraints:      23185
2372.16/2378.78	c #Conflicts:     251000 | #Constraints:      24185
2372.16/2378.78	c #Conflicts:     252000 | #Constraints:      25185
2372.16/2378.78	c #Conflicts:     253000 | #Constraints:      26185
2372.16/2378.78	c #Conflicts:     254000 | #Constraints:      27185
2372.16/2378.78	c #Conflicts:     255000 | #Constraints:      28185
2372.16/2378.78	c #Conflicts:     256000 | #Constraints:      29185
2372.16/2378.78	c #Conflicts:     257000 | #Constraints:      30185
2372.16/2378.78	c #Conflicts:     258000 | #Constraints:      31185
2372.16/2378.78	c #Conflicts:     259000 | #Constraints:      32185
2372.16/2378.78	c #Conflicts:     260000 | #Constraints:      33185
2372.16/2378.78	c #Conflicts:     261000 | #Constraints:      34185
2372.16/2378.78	c #Conflicts:     262000 | #Constraints:      35185
2372.16/2378.78	c #Conflicts:     263000 | #Constraints:      36185
2372.16/2378.78	c #Conflicts:     264000 | #Constraints:      37185
2372.16/2378.78	c #Conflicts:     265000 | #Constraints:      38185
2372.16/2378.78	c #Conflicts:     266000 | #Constraints:      39185
2372.16/2378.78	c #Conflicts:     267000 | #Constraints:      40185
2372.16/2378.78	c #Conflicts:     268000 | #Constraints:      41185
2372.16/2378.78	c #Conflicts:     269000 | #Constraints:      42185
2372.16/2378.78	c #Conflicts:     270000 | #Constraints:      43185
2372.16/2378.78	c #Conflicts:     271000 | #Constraints:      44185
2372.16/2378.78	c #Conflicts:     272000 | #Constraints:      45185
2372.16/2378.78	c #Conflicts:     273000 | #Constraints:      46185
2372.16/2378.78	c #Conflicts:     274000 | #Constraints:      47185
2372.16/2378.78	c #Conflicts:     275000 | #Constraints:      48185
2372.16/2378.78	c #Conflicts:     276000 | #Constraints:      49185
2372.16/2378.78	c #Conflicts:     277000 | #Constraints:      50185
2372.16/2378.78	c #Conflicts:     278000 | #Constraints:      51185
2372.16/2378.78	c #Conflicts:     279000 | #Constraints:      52185
2372.16/2378.78	c #Conflicts:     280000 | #Constraints:      53185
2372.16/2378.78	c #Conflicts:     281000 | #Constraints:      54185
2372.16/2378.78	c #Conflicts:     282000 | #Constraints:      55185
2372.16/2378.78	c #Conflicts:     283000 | #Constraints:      56185
2372.16/2378.78	c #Conflicts:     284000 | #Constraints:      57185
2372.16/2378.78	c #Conflicts:     285000 | #Constraints:      58185
2372.16/2378.78	c #Conflicts:     286000 | #Constraints:      59185
2372.16/2378.78	c #Conflicts:     287000 | #Constraints:      60185
2372.16/2378.78	c #Conflicts:     288000 | #Constraints:      61185
2372.16/2378.78	c #Conflicts:     289000 | #Constraints:      62185
2372.16/2378.78	c #Conflicts:     290000 | #Constraints:      63185
2372.16/2378.78	c INPROCESSING
2372.16/2378.78	c GARBAGE COLLECT
2372.16/2378.78	c #Conflicts:     291000 | #Constraints:      32969
2372.16/2378.78	c #Conflicts:     292000 | #Constraints:      33969
2372.16/2378.78	c #Conflicts:     293000 | #Constraints:      34969
2372.16/2378.78	c #Conflicts:     294000 | #Constraints:      35969
2372.16/2378.78	c #Conflicts:     295000 | #Constraints:      36969
2372.16/2378.78	c #Conflicts:     296000 | #Constraints:      37969
2372.16/2378.78	c #Conflicts:     297000 | #Constraints:      38969
2372.16/2378.78	c #Conflicts:     298000 | #Constraints:      39969
2372.16/2378.78	c #Conflicts:     299000 | #Constraints:      40969
2372.16/2378.78	c #Conflicts:     300000 | #Constraints:      41969
2372.16/2378.78	c #Conflicts:     301000 | #Constraints:      42969
2372.16/2378.78	c #Conflicts:     302000 | #Constraints:      43969
2372.16/2378.78	c INPROCESSING
2372.16/2378.78	c GARBAGE COLLECT
2372.16/2378.78	c #Conflicts:     303000 | #Constraints:      27362
2372.16/2378.78	c #Conflicts:     304000 | #Constraints:      28362
2372.16/2378.78	c #Conflicts:     305000 | #Constraints:      29362
2372.16/2378.78	c #Conflicts:     306000 | #Constraints:      30362
2372.16/2378.78	c #Conflicts:     307000 | #Constraints:      31362
3600.00/3609.90	c #Conflicts:     308000 | #Constraints:      32362
3600.00/3609.90	c #Conflicts:     309000 | #Constraints:      33362
3600.00/3609.90	c #Conflicts:     310000 | #Constraints:      34362
3600.00/3609.90	c #Conflicts:     311000 | #Constraints:      35362
3600.00/3609.90	c #Conflicts:     312000 | #Constraints:      36362
3600.00/3609.90	c #Conflicts:     313000 | #Constraints:      37362
3600.00/3609.90	c #Conflicts:     314000 | #Constraints:      38362
3600.00/3609.90	c #Conflicts:     315000 | #Constraints:      39362
3600.00/3609.90	c #Conflicts:     316000 | #Constraints:      40362
3600.00/3609.90	c #Conflicts:     317000 | #Constraints:      41362
3600.00/3609.90	c #Conflicts:     318000 | #Constraints:      42362
3600.00/3609.90	c #Conflicts:     319000 | #Constraints:      43362
3600.00/3609.90	c #Conflicts:     320000 | #Constraints:      44362
3600.00/3609.90	c #Conflicts:     321000 | #Constraints:      45362
3600.00/3609.90	c #Conflicts:     322000 | #Constraints:      46362
3600.00/3609.90	c #Conflicts:     323000 | #Constraints:      47362
3600.00/3609.90	c #Conflicts:     324000 | #Constraints:      48362
3600.00/3609.90	c #Conflicts:     325000 | #Constraints:      49362
3600.00/3609.90	c #Conflicts:     326000 | #Constraints:      50362
3600.00/3609.90	c #Conflicts:     327000 | #Constraints:      51362
3600.00/3609.90	c #Conflicts:     328000 | #Constraints:      52362
3600.00/3609.90	c #Conflicts:     329000 | #Constraints:      53362
3600.00/3609.90	c #Conflicts:     330000 | #Constraints:      54362
3600.00/3609.90	c #Conflicts:     331000 | #Constraints:      55362
3600.00/3609.90	c #Conflicts:     332000 | #Constraints:      56362
3600.00/3609.90	c #Conflicts:     333000 | #Constraints:      57362
3600.00/3609.90	c #Conflicts:     334000 | #Constraints:      58362
3600.00/3609.90	c #Conflicts:     335000 | #Constraints:      59362
3600.00/3609.90	c #Conflicts:     336000 | #Constraints:      60362
3600.00/3609.90	c #Conflicts:     337000 | #Constraints:      61362
3600.00/3609.90	c #Conflicts:     338000 | #Constraints:      62362
3600.00/3609.90	c #Conflicts:     339000 | #Constraints:      63362
3600.00/3609.90	c #Conflicts:     340000 | #Constraints:      64362
3600.00/3609.90	c #Conflicts:     341000 | #Constraints:      65362
3600.00/3609.90	c #Conflicts:     342000 | #Constraints:      66362
3600.00/3609.90	c #Conflicts:     343000 | #Constraints:      67362
3600.00/3609.90	c #Conflicts:     344000 | #Constraints:      68362
3600.00/3609.90	c #Conflicts:     345000 | #Constraints:      69362
3600.00/3609.90	c #Conflicts:     346000 | #Constraints:      70362
3600.00/3609.90	c INPROCESSING
3600.00/3609.90	c GARBAGE COLLECT
3600.00/3609.90	c #Conflicts:     347000 | #Constraints:      36501
3600.00/3609.90	c #Conflicts:     348000 | #Constraints:      37501
3600.00/3609.90	c #Conflicts:     349000 | #Constraints:      38501
3600.00/3609.90	c #Conflicts:     350000 | #Constraints:      39501
3600.00/3609.90	c #Conflicts:     351000 | #Constraints:      40501
3600.00/3609.90	c #Conflicts:     352000 | #Constraints:      41501
3600.00/3609.90	c #Conflicts:     353000 | #Constraints:      42501
3600.00/3609.90	c #Conflicts:     354000 | #Constraints:      43501
3600.00/3609.90	c #Conflicts:     355000 | #Constraints:      44501
3600.00/3609.90	c #Conflicts:     356000 | #Constraints:      45501
3600.00/3609.90	c #Conflicts:     357000 | #Constraints:      46501
3600.00/3609.90	c #Conflicts:     358000 | #Constraints:      47501
3600.00/3609.90	c #Conflicts:     359000 | #Constraints:      48501
3600.00/3609.90	c #Conflicts:     360000 | #Constraints:      49501
3600.00/3609.90	c INPROCESSING
3600.00/3609.90	c GARBAGE COLLECT
3600.00/3609.90	c #Conflicts:     361000 | #Constraints:      33224
3600.00/3609.90	c #Conflicts:     362000 | #Constraints:      34224
3600.00/3609.90	c #Conflicts:     363000 | #Constraints:      35224
3600.00/3609.90	c #Conflicts:     364000 | #Constraints:      36224
3600.00/3609.90	c #Conflicts:     365000 | #Constraints:      37224
3600.00/3609.90	c #Conflicts:     366000 | #Constraints:      38224
3600.00/3609.90	c #Conflicts:     367000 | #Constraints:      39224
3600.00/3609.90	c #Conflicts:     368000 | #Constraints:      40224
3600.00/3609.90	c #Conflicts:     369000 | #Constraints:      41224
3600.00/3609.90	c #Conflicts:     370000 | #Constraints:      42224
3600.00/3609.90	c #Conflicts:     371000 | #Constraints:      43224
3600.00/3609.90	c #Conflicts:     372000 | #Constraints:      44224
3600.00/3609.90	c #Conflicts:     373000 | #Constraints:      45224
3600.00/3609.90	c #Conflicts:     374000 | #Constraints:      46224
3600.00/3609.90	c #Conflicts:     375000 | #Constraints:      47224
3600.00/3609.90	c #Conflicts:     376000 | #Constraints:      48224
3600.00/3609.90	c #Conflicts:     377000 | #Constraints:      49224
3600.00/3609.90	c Program interrupted by user.
3600.00/3609.90	c cpu time 3590.31 s
3600.00/3609.90	c deterministic time 250013143338 2.50e+11
3600.00/3609.90	c optimization time 304.365 s
3600.00/3609.90	c total solve time 3285.94 s
3600.00/3609.90	c core-guided solve time 3285.94 s
3600.00/3609.90	c propagation time 3252.93 s
3600.00/3609.90	c conflict analysis time 322.043 s
3600.00/3609.90	c propagations 62288457
3600.00/3609.90	c resolve steps 4380190
3600.00/3609.90	c decisions 6054401
3600.00/3609.90	c conflicts 377413
3600.00/3609.90	c restarts 892
3600.00/3609.90	c inprocessing phases 36
3600.00/3609.90	c input clauses 229
3600.00/3609.90	c input cardinalities 440
3600.00/3609.90	c input general constraints 667
3600.00/3609.90	c input average constraint length 43.43
3600.00/3609.90	c input average constraint degree 20.99
3600.00/3609.90	c learned clauses 75568
3600.00/3609.90	c learned cardinalities 1440
3600.00/3609.90	c learned general constraints 300418
3600.00/3609.90	c learned average constraint length 158.06
3600.00/3609.90	c learned average constraint degree 3745489.18
3600.00/3609.90	c watched constraints 240616
3600.00/3609.90	c counting constraints 60469
3600.00/3609.90	c gcd simplifications 27071
3600.00/3609.90	c detected cardinalities 1156
3600.00/3609.90	c weakened non-implied lits 5482519
3600.00/3609.90	c weakened non-implying lits 14064
3600.00/3609.90	c original variables 478
3600.00/3609.90	c clausal propagations 15621636
3600.00/3609.90	c cardinality propagations 1051841
3600.00/3609.90	c watched propagations 9211647
3600.00/3609.90	c counting propagations 36068984
3600.00/3609.90	c watch lookups 65694512471
3600.00/3609.90	c watch backjump lookups 63392865268
3600.00/3609.90	c watch checks 108665383193
3600.00/3609.90	c propagation checks 11900362200
3600.00/3609.90	c constraint additions 222957201
3600.00/3609.90	c trail pops 68720146
3600.00/3609.90	c formula constraints 478
3600.00/3609.90	c learned constraints 377426
3600.00/3609.90	c bound constraints 101
3600.00/3609.90	c core-guided constraints 757
3600.00/3609.90	c encountered formula constraints 561163
3600.00/3609.90	c encountered learned constraints 3372316
3600.00/3609.90	c encountered bound constraints 79
3600.00/3609.90	c encountered core-guided constraints 824045
3600.00/3609.90	c LP total time 0 s
3600.00/3609.90	c LP solve time 0 s
3600.00/3609.90	c LP constraints added 0
3600.00/3609.90	c LP constraints removed 0
3600.00/3609.90	c LP pivots internal 0
3600.00/3609.90	c LP pivots root 0
3600.00/3609.90	c LP calls 0
3600.00/3609.90	c LP optimalities 0
3600.00/3609.90	c LP no pivot count 0
3600.00/3609.90	c LP infeasibilities 0
3600.00/3609.90	c LP valid Farkas constraints 0
3600.00/3609.90	c LP learned Farkas constraints 0
3600.00/3609.90	c LP basis resets 0
3600.00/3609.90	c LP cycling count 0
3600.00/3609.90	c LP singular count 0
3600.00/3609.90	c LP no primal count 0
3600.00/3609.90	c LP no farkas count 0
3600.00/3609.90	c LP other issue count 0
3600.00/3609.90	c LP Gomory cuts 0
3600.00/3609.90	c LP learned cuts 0
3600.00/3609.90	c LP deleted cuts 0
3600.00/3609.90	c LP encountered Gomory constraints 0
3600.00/3609.90	c LP encountered Farkas constraints 0
3600.00/3609.90	c LP encountered learned Farkas constraints 0
3600.00/3609.90	c CG auxiliary variables introduced 318
3600.00/3609.90	c CG solutions found 3
3600.00/3609.90	c CG cores constructed 92
3600.00/3609.90	c CG core cardinality constraints returned 0
3600.00/3609.90	c CG unit cores 0
3600.00/3609.90	c CG single cores 91
3600.00/3609.90	c CG blocks removed during cardinality reduction 0
3600.00/3609.90	c CG first core best 0
3600.00/3609.90	c CG decision core best 0
3600.00/3609.90	c CG core reduction tie 1
3600.00/3609.90	c CG core degree average 1.00
3600.00/3609.90	c CG core slack average 6.18
3600.00/3609.90	c CG exhausted 0
3600.00/3609.90	c CG exhaust time 45.5051 s
3600.00/3609.90	c CG trimmed 3
3600.00/3609.90	c CG trim time 0.01005 s
3600.00/3609.90	c CG minimized 0
3600.00/3609.90	c CG minimize time 0 s
3600.00/3609.90	c CG am1 prop time 0.018136 s
3600.00/3609.90	c CG # am1s reformulated 54
3600.00/3609.90	c CG lower bound derived from am1s 54
3600.00/3609.90	c CG # clausal cores 25
3600.00/3609.90	c CG # cardinality cores 0
3600.00/3609.90	c CG # pb cores 68
3600.00/3609.90	c CG # pb reforms 0
3600.00/3609.90	c CG # cores discarded because of pb reform 0
3600.00/3609.90	d LOWERBOUND 146
3600.00/3609.90	d NCORES 92
3600.00/3609.90	d NPBCORES 68
3600.00/3609.90	d NPBREFORM 0
3600.00/3609.90	d NTRIMMED 3
3600.00/3609.90	d NEXHAUSTED 0
3600.00/3609.90	d NAM1S 54
3600.00/3609.90	d AM1LB 54
3600.00/3609.90	o 217
3600.00/3609.90	s SATISFIABLE
3600.00/3609.90	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: 63931 MiB (61081 MiB free)
  memory of node 1: 64510 MiB (59071 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454300-1721469081/watcher-4454300-1721469081 -o /tmp/evaluation-result-4454300-1721469081/solver-4454300-1721469081 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721469094-1077168 --watchdog 3760 pb-oll-rs HOME/instance-4454300-1721469081.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100082 s]*
/proc/loadavg: 1.07 1.09 1.33 5/259 1077231
/proc/meminfo: memFree=123010628/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=41232 memory=10768 CPUtime=0.1 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 1027 0 0 0 9 1 0 0 20 0 1 0 199076416 42221568 2692 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 10308 2692 1375 291 0 1842 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41232 KiB
Current children cumulated memory: 10768 KiB

[startup+0.206675 s]*
/proc/loadavg: 1.07 1.09 1.33 6/259 1077231
/proc/meminfo: memFree=122997484/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=43264 memory=13732 CPUtime=0.21 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 1745 0 0 0 19 2 0 0 20 0 1 0 199076416 44302336 3433 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 10816 3433 1391 291 0 2350 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43264 KiB
Current children cumulated memory: 13732 KiB

[startup+0.306539 s]*
/proc/loadavg: 1.07 1.09 1.33 5/259 1077231
/proc/meminfo: memFree=122982756/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=47988 memory=16884 CPUtime=0.3 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 2502 0 0 0 28 2 0 0 20 0 1 0 199076416 49139712 4221 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 11997 4221 1391 291 0 3531 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47988 KiB
Current children cumulated memory: 16884 KiB

[startup+0.700176 s]
/proc/loadavg: 1.07 1.09 1.33 5/259 1077231
/proc/meminfo: memFree=122956580/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=50004 memory=20232 CPUtime=0.69 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 3293 0 0 0 65 4 0 0 20 0 1 0 199076416 51204096 5058 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 12501 5058 1440 291 0 4035 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 50004 KiB
Current children cumulated memory: 20232 KiB

[startup+1.50021 s]
/proc/loadavg: 1.07 1.09 1.33 5/259 1077231
/proc/meminfo: memFree=122909196/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=57592 memory=25632 CPUtime=1.48 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 4626 0 0 0 142 6 0 0 20 0 1 0 199076416 58974208 6408 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 14398 6408 1440 291 0 5932 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 57592 KiB
Current children cumulated memory: 25632 KiB

[startup+3.10688 s]
/proc/loadavg: 1.07 1.09 1.33 5/259 1077231
/proc/meminfo: memFree=122845192/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=67652 memory=31632 CPUtime=3.09 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 5645 0 0 0 297 12 0 0 20 0 1 0 199076416 69275648 7908 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 16913 7908 1440 291 0 8447 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 67652 KiB
Current children cumulated memory: 31632 KiB

[startup+6.30021 s]
/proc/loadavg: 1.31 1.14 1.34 5/259 1077233
/proc/meminfo: memFree=122778536/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=70696 memory=37616 CPUtime=6.27 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 6617 0 0 0 609 18 0 0 20 0 1 0 199076416 72392704 9404 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 17674 9404 1440 291 0 9208 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 70696 KiB
Current children cumulated memory: 37616 KiB

[startup+12.7002 s]
/proc/loadavg: 1.52 1.18 1.36 5/259 1077233
/proc/meminfo: memFree=122717336/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=79460 memory=45960 CPUtime=12.65 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 8225 0 0 0 1233 32 0 0 20 0 1 0 199076416 81367040 11490 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 19865 11490 1440 291 0 11399 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 79460 KiB
Current children cumulated memory: 45960 KiB

[startup+25.5002 s]
/proc/loadavg: 2.07 1.32 1.40 5/259 1077236
/proc/meminfo: memFree=122650696/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=97088 memory=56616 CPUtime=25.42 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 9841 0 0 0 2489 53 0 0 20 0 1 0 199076416 99418112 14154 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 24272 14154 1440 291 0 15806 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 97088 KiB
Current children cumulated memory: 56616 KiB

[startup+51.1068 s]
/proc/loadavg: 2.80 1.56 1.47 5/259 1077239
/proc/meminfo: memFree=122561468/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=100932 memory=64908 CPUtime=50.96 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 10879 0 0 0 5013 83 0 0 20 0 1 0 199076416 103354368 16227 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 25233 16227 1440 291 0 16767 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 100932 KiB
Current children cumulated memory: 64908 KiB

[startup+102.3 s]
/proc/loadavg: 3.54 1.95 1.62 5/259 1077249
/proc/meminfo: memFree=122445996/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=108928 memory=71560 CPUtime=102.01 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 12577 0 0 0 10065 136 0 0 20 0 1 0 199076416 111542272 17890 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 27232 17890 1440 291 0 18766 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 71560 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 2.34 1.77 5/259 1077260
/proc/meminfo: memFree=122376156/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=114220 memory=75772 CPUtime=161.86 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 13666 0 0 0 15995 191 0 0 20 0 1 0 199076416 116961280 18943 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 28555 18943 1440 291 0 20089 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 114220 KiB
Current children cumulated memory: 75772 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.66 1.92 5/259 1077270
/proc/meminfo: memFree=122318364/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=122056 memory=82364 CPUtime=221.69 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 15318 0 0 0 21948 221 0 0 20 0 1 0 199076416 124985344 20591 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 30514 20591 1440 291 0 22048 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 122056 KiB
Current children cumulated memory: 82364 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 2.92 2.06 5/258 1077665
/proc/meminfo: memFree=122231188/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=129576 memory=97240 CPUtime=281.51 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 17404 0 0 0 27908 243 0 0 20 0 1 0 199076416 132685824 24310 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 32394 24310 1440 291 0 23928 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 129576 KiB
Current children cumulated memory: 97240 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 3.14 2.19 5/257 1077675
/proc/meminfo: memFree=122168108/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=149192 memory=101088 CPUtime=341.35 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 17948 0 0 0 33867 268 0 0 20 0 1 0 199076416 152772608 25272 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 37298 25272 1440 291 0 28832 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 149192 KiB
Current children cumulated memory: 101088 KiB

[startup+402.3 s]
/proc/loadavg: 4.23 3.36 2.33 5/259 1077857
/proc/meminfo: memFree=122104560/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=149320 memory=101216 CPUtime=401.19 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 18009 0 0 0 39822 297 0 0 20 0 1 0 199076416 152903680 25304 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 37330 25304 1440 291 0 28864 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 149320 KiB
Current children cumulated memory: 101216 KiB

[startup+462.3 s]
/proc/loadavg: 5.32 3.75 2.52 5/259 1077867
/proc/meminfo: memFree=122043012/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=149320 memory=101216 CPUtime=461.03 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 18038 0 0 0 45782 321 0 0 20 0 1 0 199076416 152903680 25304 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 37330 25304 1440 291 0 28864 0

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

Current children cumulated memory: 156968 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.11 4.02 5/258 1078960
/proc/meminfo: memFree=121279516/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=212544 memory=157336 CPUtime=2914.23 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 28559 0 0 0 290572 851 0 0 20 0 1 0 199076416 217645056 39334 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 53136 39334 1440 291 0 44670 0
Current children cumulated CPU time: 2914.23 s
Current children cumulated vsize: 212544 KiB
Current children cumulated memory: 157336 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.13 4.03 5/258 1078971
/proc/meminfo: memFree=121241012/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=214080 memory=157680 CPUtime=2974.07 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 28965 0 0 0 296549 858 0 0 20 0 1 0 199076416 219217920 39420 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 53520 39420 1440 291 0 45054 0
Current children cumulated CPU time: 2974.07 s
Current children cumulated vsize: 214080 KiB
Current children cumulated memory: 157680 KiB

[startup+3042.3 s]
/proc/loadavg: 4.19 4.13 4.03 5/257 1078982
/proc/meminfo: memFree=121232784/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=214840 memory=160184 CPUtime=3033.91 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 29294 0 0 0 302525 866 0 0 20 0 1 0 199076416 219996160 40046 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 53710 40046 1440 291 0 45244 0
Current children cumulated CPU time: 3033.91 s
Current children cumulated vsize: 214840 KiB
Current children cumulated memory: 160184 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.03 5/257 1078993
/proc/meminfo: memFree=121220728/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=218228 memory=163416 CPUtime=3093.76 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 30136 0 0 0 308505 871 0 0 20 0 1 0 199076416 223465472 40854 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 54557 40854 1440 291 0 46091 0
Current children cumulated CPU time: 3093.76 s
Current children cumulated vsize: 218228 KiB
Current children cumulated memory: 163416 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.03 5/257 1079005
/proc/meminfo: memFree=121211744/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=218352 memory=163712 CPUtime=3153.6 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 30476 0 0 0 314480 880 0 0 20 0 1 0 199076416 223592448 40928 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 54588 40928 1440 291 0 46122 0
Current children cumulated CPU time: 3153.6 s
Current children cumulated vsize: 218352 KiB
Current children cumulated memory: 163712 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.03 5/255 1079016
/proc/meminfo: memFree=121211216/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=218352 memory=163712 CPUtime=3213.44 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 30532 0 0 0 320452 892 0 0 20 0 1 0 199076416 223592448 40928 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 54588 40928 1440 291 0 46122 0
Current children cumulated CPU time: 3213.44 s
Current children cumulated vsize: 218352 KiB
Current children cumulated memory: 163712 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.03 5/255 1079026
/proc/meminfo: memFree=121208496/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=218352 memory=163712 CPUtime=3273.28 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 30591 0 0 0 326423 905 0 0 20 0 1 0 199076416 223592448 40928 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 54588 40928 1440 291 0 46122 0
Current children cumulated CPU time: 3273.28 s
Current children cumulated vsize: 218352 KiB
Current children cumulated memory: 163712 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.11 4.04 5/255 1079036
/proc/meminfo: memFree=121207940/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=218352 memory=163716 CPUtime=3333.12 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 30650 0 0 0 332398 914 0 0 20 0 1 0 199076416 223592448 40929 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 54588 40929 1440 291 0 46122 0
Current children cumulated CPU time: 3333.12 s
Current children cumulated vsize: 218352 KiB
Current children cumulated memory: 163716 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.13 4.05 5/255 1079048
/proc/meminfo: memFree=121198000/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=218844 memory=164072 CPUtime=3392.95 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 30794 0 0 0 338367 928 0 0 20 0 1 0 199076416 224096256 41018 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 54711 41018 1440 291 0 46245 0
Current children cumulated CPU time: 3392.95 s
Current children cumulated vsize: 218844 KiB
Current children cumulated memory: 164072 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.14 4.06 5/255 1079058
/proc/meminfo: memFree=121197164/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=218844 memory=164080 CPUtime=3452.8 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 30849 0 0 0 344337 943 0 0 20 0 1 0 199076416 224096256 41020 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 54711 41020 1440 291 0 46245 0
Current children cumulated CPU time: 3452.8 s
Current children cumulated vsize: 218844 KiB
Current children cumulated memory: 164080 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.13 4.06 5/257 1079073
/proc/meminfo: memFree=121165796/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=218844 memory=164080 CPUtime=3512.63 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 30906 0 0 0 350309 954 0 0 20 0 1 0 199076416 224096256 41020 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 54711 41020 1440 291 0 46245 0
Current children cumulated CPU time: 3512.63 s
Current children cumulated vsize: 218844 KiB
Current children cumulated memory: 164080 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.06 5/257 1079085
/proc/meminfo: memFree=121162884/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=218844 memory=164080 CPUtime=3572.47 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 30964 0 0 0 356283 964 0 0 20 0 1 0 199076416 224096256 41020 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 54711 41020 1440 291 0 46245 0
Current children cumulated CPU time: 3572.47 s
Current children cumulated vsize: 218844 KiB
Current children cumulated memory: 164080 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.09 4.12 4.06 5/257 1079090
/proc/meminfo: memFree=121161812/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=218844 memory=164080 CPUtime=3600 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 31024 0 0 0 359031 969 0 0 20 0 1 0 199076416 224096256 41020 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 54711 41020 1440 291 0 46245 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 218844 KiB
Current children cumulated memory: 164080 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.31 s, system=9.69746 s

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

[startup+3609.9 s]
/proc/loadavg: 4.09 4.12 4.06 5/257 1079090
/proc/meminfo: memFree=121161812/131524600 swapFree=131071996/131071996
[pid=1077218] ppid=1077213 vsize=218844 memory=164080 CPUtime=3600 cores=4,6
/proc/1077218/stat : 1077218 (pb-oll-rs) R 1077213 1077218 1077157 0 -1 4194304 31024 0 0 0 359031 969 0 0 20 0 1 0 199076416 224096256 41020 134679101440 4194304 5384485 140735387375984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 29233152 140735387382805 140735387382882 140735387382882 140735387389899 0
/proc/1077218/statm: 54711 41020 1440 291 0 46245 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 218844 KiB
Current children cumulated memory: 164080 KiB

Child status: 0

Real time (s): 3609.9
CPU time (s): 3600.01
CPU user time (s): 3590.31
CPU system time (s): 9.69746
CPU usage (%): 99.7259
Max. virtual memory (cumulated for all children) (KiB): 218844
Max. memory (cumulated for all children) (KiB): 164080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.31
system time used= 9.69746
maximum resident set size= 164224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31040
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= 80
involuntary context switches= 3510


# summary of solver processes directly reported to runsolver:
#   pid: 1077218
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3590.31
#   total CPU system time (s): 9.69746

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.90406 second user time and 21.9542 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-20 11:51:34
IDJOB=4454300
IDBENCH=147538
IDSOLVER=3082
FILE ID=nodeC031/4454300-1721469081
RUNJOBID= nodeC031-1721469094-1077168
SLURM_JOB_ID= 7545727
Free space on /tmp= 890084 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
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 --file-size-limit 102400 -w /tmp/evaluation-result-4454300-1721469081/watcher-4454300-1721469081 -o /tmp/evaluation-result-4454300-1721469081/solver-4454300-1721469081 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721469094-1077168 --watchdog 3760  pb-oll-rs HOME/instance-4454300-1721469081.opb

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

MD5SUM BENCH= bed0fcfa7fe1ab50726d34a7d1903e12
RANDOM SEED=413398756

nodeC031.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		: 3857.486
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.55
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		: 3860.476
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.11
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		: 3616.304
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.55
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		: 3607.615
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.11
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		: 3605.828
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.55
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		: 3644.017
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.11
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		: 3562.551
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.55
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		: 3619.704
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.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123039116 kB
MemAvailable:   129593684 kB
Buffers:          542052 kB
Cached:          6778640 kB
SwapCached:            0 kB
Active:          1087464 kB
Inactive:        6608668 kB
Active(anon):       1444 kB
Inactive(anon):   419900 kB
Active(file):    1086020 kB
Inactive(file):  6188768 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              7824 kB
Writeback:             0 kB
AnonPages:        373376 kB
Mapped:           107544 kB
Shmem:             45912 kB
KReclaimable:     238856 kB
Slab:             369016 kB
SReclaimable:     238856 kB
SUnreclaim:       130160 kB
KernelStack:        3936 kB
PageTables:         9940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     742836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            74144 kB
HardwareCorrupted:     0 kB
AnonHugePages:    251904 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:      254676 kB
DirectMap2M:    39364608 kB
DirectMap1G:    96468992 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC031 at 2024-07-20 12:51:44