Trace number 4454302

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)224 3600.05 3612.51

DiagnosticValue
AM1LB56
LOWERBOUND149
NAM1S56
NCORES93
NEXHAUSTED0
NPBCORES59
NPBREFORM0
NTRIMMED3

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
MD5SUM1da12ebdd4ab5e725928f3bf845b8b1e
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 benchmark186
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 variables479
Total number of constraints479
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 constraints479
Minimum length of a constraint4
Maximum length of a constraint17
Number of terms in the objective function 479
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 479
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 479
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.01	c [STEP] solving
0.00/0.01	c #variables 479 #constraints 479
0.00/0.01	c SMALL=int, LARGE=long long
0.00/0.01	c bounds - >= 0 @ 0.003983
0.00/0.01	c stratification level: 0
0.00/0.03	c bounds - >= 57 @ 0.006016
0.00/0.03	c bounds - >= 58 @ 0.006016
0.00/0.03	c bounds - >= 59 @ 0.006016
0.00/0.03	c bounds - >= 60 @ 0.006016
0.00/0.03	c bounds - >= 61 @ 0.006016
0.00/0.03	c bounds - >= 62 @ 0.006016
0.00/0.03	c bounds - >= 63 @ 0.006016
0.00/0.03	c bounds - >= 64 @ 0.006016
0.00/0.03	c bounds - >= 65 @ 0.006016
0.00/0.03	c bounds - >= 66 @ 0.006016
0.00/0.03	c bounds - >= 67 @ 0.006016
0.00/0.03	c bounds - >= 68 @ 0.006016
0.00/0.03	c bounds - >= 69 @ 0.006016
0.00/0.03	c bounds - >= 70 @ 0.006016
0.00/0.03	c bounds - >= 71 @ 0.006016
0.00/0.03	c bounds - >= 72 @ 0.006016
0.00/0.03	c bounds - >= 73 @ 0.006016
0.00/0.03	c bounds - >= 74 @ 0.006016
0.00/0.03	c bounds - >= 75 @ 0.006016
0.00/0.03	c bounds - >= 76 @ 0.006016
0.00/0.03	c bounds - >= 77 @ 0.006016
0.00/0.03	c bounds - >= 78 @ 0.006016
0.00/0.03	c bounds - >= 79 @ 0.006016
0.00/0.03	c bounds - >= 80 @ 0.006016
0.00/0.03	c bounds - >= 81 @ 0.006016
0.00/0.03	c bounds - >= 82 @ 0.006016
0.00/0.03	c bounds - >= 83 @ 0.006016
0.00/0.03	c bounds - >= 84 @ 0.006016
0.00/0.03	c bounds - >= 85 @ 0.006016
0.00/0.03	c bounds - >= 86 @ 0.006016
0.00/0.03	c bounds - >= 87 @ 0.006025
0.00/0.03	c bounds - >= 88 @ 0.00629
0.00/0.03	c bounds - >= 89 @ 0.006559
0.00/0.03	c bounds - >= 90 @ 0.006742
0.00/0.03	c bounds - >= 91 @ 0.006901
0.00/0.03	c bounds - >= 92 @ 0.00716
0.00/0.03	c bounds - >= 93 @ 0.00742
0.00/0.03	c bounds - >= 94 @ 0.007661
0.00/0.03	c bounds - >= 95 @ 0.007907
0.00/0.03	c bounds - >= 96 @ 0.008148
0.00/0.03	c bounds - >= 97 @ 0.008394
0.00/0.03	c bounds - >= 98 @ 0.008645
0.00/0.03	c bounds - >= 99 @ 0.008809
0.00/0.03	c bounds - >= 100 @ 0.008809
0.00/0.03	c bounds - >= 101 @ 0.008809
0.00/0.03	c bounds - >= 102 @ 0.008809
0.00/0.03	c bounds - >= 103 @ 0.008908
0.00/0.03	c bounds - >= 104 @ 0.009162
0.00/0.03	c bounds - >= 105 @ 0.009422
0.00/0.03	c bounds - >= 106 @ 0.009683
0.00/0.03	c bounds - >= 107 @ 0.009826
0.00/0.03	c bounds - >= 108 @ 0.009826
0.00/0.03	c bounds - >= 109 @ 0.009826
0.00/0.03	c bounds - >= 110 @ 0.009826
0.00/0.03	c bounds - >= 111 @ 0.009826
0.00/0.03	c bounds - >= 112 @ 0.009826
0.00/0.03	c bounds - >= 113 @ 0.009826
0.00/0.03	c bounds - >= 114 @ 0.009879
0.00/0.03	c bounds - >= 115 @ 0.010164
0.00/0.03	c bounds - >= 116 @ 0.010455
0.00/0.03	c bounds - >= 117 @ 0.010732
0.00/0.03	c bounds - >= 118 @ 0.010825
0.00/0.03	c bounds - >= 119 @ 0.010825
0.00/0.03	c bounds - >= 120 @ 0.010825
0.00/0.03	c bounds - >= 121 @ 0.010825
0.00/0.03	c bounds - >= 122 @ 0.010825
0.00/0.03	c bounds - >= 123 @ 0.010825
0.00/0.03	c bounds - >= 124 @ 0.010825
0.00/0.03	c bounds - >= 125 @ 0.011088
0.00/0.03	c bounds - >= 126 @ 0.011383
0.00/0.03	c bounds - >= 127 @ 0.011682
0.00/0.03	c bounds - >= 128 @ 0.011968
0.00/0.03	c bounds - >= 129 @ 0.012281
0.00/0.03	c bounds - >= 130 @ 0.012564
0.00/0.03	c bounds - >= 131 @ 0.01294
0.00/0.03	c bounds - >= 132 @ 0.013237
0.00/0.03	c bounds - >= 133 @ 0.013524
0.00/0.03	c bounds - >= 134 @ 0.013813
0.00/0.03	c finalizing WCE round: reformulating cores
36.75/36.90	c #Conflicts:       1000 | #Constraints:       1640
36.75/36.90	c #Conflicts:       2000 | #Constraints:       2642
36.75/36.90	c INPROCESSING
36.75/36.90	c GARBAGE COLLECT
36.75/36.90	c #Conflicts:       3000 | #Constraints:       2562
36.75/36.90	c #Conflicts:       4000 | #Constraints:       3564
36.75/36.90	c INPROCESSING
36.75/36.90	c GARBAGE COLLECT
36.75/36.90	c #Conflicts:       5000 | #Constraints:       2973
36.75/36.90	c #Conflicts:       6000 | #Constraints:       3975
36.75/36.90	c INPROCESSING
36.75/36.90	c GARBAGE COLLECT
36.75/36.90	c #Conflicts:       7000 | #Constraints:       2980
36.75/36.90	c #Conflicts:       8000 | #Constraints:       3982
36.75/36.90	c #Conflicts:       9000 | #Constraints:       4986
36.75/36.90	c INPROCESSING
36.75/36.90	c GARBAGE COLLECT
36.75/36.90	c #Conflicts:      10000 | #Constraints:       3687
36.75/36.90	c #Conflicts:      11000 | #Constraints:       4689
36.75/36.90	c #Conflicts:      12000 | #Constraints:       5691
36.75/36.90	c INPROCESSING
36.75/36.90	c GARBAGE COLLECT
36.75/36.90	c #Conflicts:      13000 | #Constraints:       4144
36.75/36.90	c #Conflicts:      14000 | #Constraints:       5146
36.75/36.90	c #Conflicts:      15000 | #Constraints:       6148
36.75/36.90	c INPROCESSING
36.75/36.90	c GARBAGE COLLECT
36.75/36.90	c #Conflicts:      16000 | #Constraints:       4387
36.75/36.90	c #Conflicts:      17000 | #Constraints:       5389
36.75/36.90	c #Conflicts:      18000 | #Constraints:       6391
36.75/36.90	c INPROCESSING
36.75/36.90	c GARBAGE COLLECT
36.75/36.90	c #Conflicts:      19000 | #Constraints:       4409
36.75/36.90	c #Conflicts:      20000 | #Constraints:       5411
36.75/36.90	c #Conflicts:      21000 | #Constraints:       6413
36.75/36.90	c INPROCESSING
36.75/36.90	c GARBAGE COLLECT
36.75/36.90	c #Conflicts:      22000 | #Constraints:       4224
36.75/36.90	c #Conflicts:      23000 | #Constraints:       5226
36.75/36.90	c #Conflicts:      24000 | #Constraints:       6230
36.75/36.90	c #Conflicts:      25000 | #Constraints:       7232
36.75/36.90	c INPROCESSING
36.75/36.90	c GARBAGE COLLECT
36.75/36.90	c #Conflicts:      26000 | #Constraints:       4839
36.75/36.90	c #Conflicts:      27000 | #Constraints:       5841
36.75/36.90	c #Conflicts:      28000 | #Constraints:       6843
36.75/36.90	c #Conflicts:      29000 | #Constraints:       7847
36.75/36.90	c INPROCESSING
36.75/36.90	c GARBAGE COLLECT
36.75/36.90	c #Conflicts:      30000 | #Constraints:       5241
36.75/36.90	c #Conflicts:      31000 | #Constraints:       6243
36.75/36.90	c #Conflicts:      32000 | #Constraints:       7245
36.75/36.90	c #Conflicts:      33000 | #Constraints:       8249
36.75/36.90	c INPROCESSING
36.75/36.90	c GARBAGE COLLECT
36.75/36.90	c #Conflicts:      34000 | #Constraints:       5457
36.75/36.90	c #Conflicts:      35000 | #Constraints:       6459
36.75/36.90	c #Conflicts:      36000 | #Constraints:       7461
36.75/36.90	c #Conflicts:      37000 | #Constraints:       8465
36.75/36.90	c INPROCESSING
36.75/36.90	c GARBAGE COLLECT
36.75/36.90	c #Conflicts:      38000 | #Constraints:       5463
36.75/36.90	c #Conflicts:      39000 | #Constraints:       6465
36.75/36.90	c #Conflicts:      40000 | #Constraints:       7467
36.75/36.90	c #Conflicts:      41000 | #Constraints:       8471
36.75/36.90	c INPROCESSING
36.75/36.90	c GARBAGE COLLECT
36.75/36.90	c #Conflicts:      42000 | #Constraints:       5271
36.75/36.90	c #Conflicts:      43000 | #Constraints:       6273
36.75/36.90	c #Conflicts:      44000 | #Constraints:       7277
36.75/36.90	c #Conflicts:      45000 | #Constraints:       8279
36.75/36.90	c #Conflicts:      46000 | #Constraints:       9281
36.75/36.90	c INPROCESSING
36.75/36.90	c GARBAGE COLLECT
36.75/36.90	c #Conflicts:      47000 | #Constraints:       5887
36.75/36.90	c #Conflicts:      48000 | #Constraints:       6889
36.75/36.90	c #Conflicts:      49000 | #Constraints:       7891
36.75/36.90	c #Conflicts:      50000 | #Constraints:       8895
36.75/36.90	c #Conflicts:      51000 | #Constraints:       9897
36.75/36.90	c INPROCESSING
36.75/36.90	c GARBAGE COLLECT
36.75/36.90	c #Conflicts:      52000 | #Constraints:       6293
36.75/36.90	c #Conflicts:      53000 | #Constraints:       7295
36.75/36.90	c #Conflicts:      54000 | #Constraints:       8297
36.75/36.90	c #Conflicts:      55000 | #Constraints:       9301
36.75/36.90	c #Conflicts:      56000 | #Constraints:      10303
36.75/36.90	c INPROCESSING
36.75/36.90	c GARBAGE COLLECT
36.75/36.90	c #Conflicts:      57000 | #Constraints:       6511
36.75/36.90	c #Conflicts:      58000 | #Constraints:       7513
36.75/36.90	c #Conflicts:      59000 | #Constraints:       8515
36.75/36.90	c #Conflicts:      60000 | #Constraints:       9519
36.75/36.90	c bounds 226 >= 134 @ 35.4195
36.75/36.90	c bounds 226 >= 135 @ 35.4347
36.75/36.90	c bounds 226 >= 136 @ 35.4384
36.75/36.90	c bounds 226 >= 137 @ 35.4444
36.75/36.90	c bounds 226 >= 138 @ 35.4508
36.75/36.90	c bounds 226 >= 139 @ 35.4572
36.75/36.90	c bounds 226 >= 140 @ 35.4635
36.75/36.90	c bounds 226 >= 141 @ 35.4702
36.75/36.90	c bounds 226 >= 142 @ 35.472
36.75/36.90	c bounds 226 >= 143 @ 35.4758
36.75/36.90	c bounds 226 >= 144 @ 35.4938
36.75/36.90	c bounds 226 >= 145 @ 35.5188
36.75/36.90	c bounds 226 >= 146 @ 35.6699
36.75/36.90	c #Conflicts:      61000 | #Constraints:      10753
36.75/36.90	c INPROCESSING
37.75/37.90	c GARBAGE COLLECT
37.75/37.90	c #Conflicts:      62000 | #Constraints:       6686
37.75/37.90	c finalizing WCE round: reformulating cores
163.45/164.01	c #Conflicts:      63000 | #Constraints:       7689
163.45/164.01	c #Conflicts:      64000 | #Constraints:       8691
163.45/164.01	c #Conflicts:      65000 | #Constraints:       9693
163.45/164.01	c #Conflicts:      66000 | #Constraints:      10697
163.45/164.01	c INPROCESSING
163.45/164.01	c GARBAGE COLLECT
163.45/164.01	c #Conflicts:      67000 | #Constraints:       6471
163.45/164.01	c #Conflicts:      68000 | #Constraints:       7476
163.45/164.01	c #Conflicts:      69000 | #Constraints:       8478
163.45/164.01	c #Conflicts:      70000 | #Constraints:       9480
163.45/164.01	c #Conflicts:      71000 | #Constraints:      10484
163.45/164.01	c #Conflicts:      72000 | #Constraints:      11486
163.45/164.01	c INPROCESSING
163.45/164.01	c GARBAGE COLLECT
163.45/164.01	c bounds 224 >= 146 @ 50.4985
163.45/164.01	c bounds 224 >= 147 @ 50.5733
163.45/164.01	c #Conflicts:      73000 | #Constraints:       7107
163.45/164.01	c bounds 224 >= 148 @ 51.0752
163.45/164.01	c #Conflicts:      74000 | #Constraints:       8177
163.45/164.01	c #Conflicts:      75000 | #Constraints:       9177
163.45/164.01	c #Conflicts:      76000 | #Constraints:      10177
163.45/164.01	c #Conflicts:      77000 | #Constraints:      11177
163.45/164.01	c #Conflicts:      78000 | #Constraints:      12177
163.45/164.01	c INPROCESSING
163.45/164.01	c GARBAGE COLLECT
163.45/164.01	c #Conflicts:      79000 | #Constraints:       7588
163.45/164.01	c #Conflicts:      80000 | #Constraints:       8588
163.45/164.01	c #Conflicts:      81000 | #Constraints:       9588
163.45/164.01	c #Conflicts:      82000 | #Constraints:      10588
163.45/164.01	c #Conflicts:      83000 | #Constraints:      11588
163.45/164.01	c #Conflicts:      84000 | #Constraints:      12588
163.45/164.01	c INPROCESSING
163.45/164.01	c GARBAGE COLLECT
163.45/164.01	c #Conflicts:      85000 | #Constraints:       7794
163.45/164.01	c #Conflicts:      86000 | #Constraints:       8794
163.45/164.01	c #Conflicts:      87000 | #Constraints:       9794
163.45/164.01	c #Conflicts:      88000 | #Constraints:      10794
163.45/164.01	c #Conflicts:      89000 | #Constraints:      11794
163.45/164.01	c #Conflicts:      90000 | #Constraints:      12794
163.45/164.01	c INPROCESSING
163.45/164.01	c GARBAGE COLLECT
163.45/164.01	c #Conflicts:      91000 | #Constraints:       7804
163.45/164.01	c #Conflicts:      92000 | #Constraints:       8804
163.45/164.01	c #Conflicts:      93000 | #Constraints:       9804
163.45/164.01	c #Conflicts:      94000 | #Constraints:      10804
163.45/164.01	c #Conflicts:      95000 | #Constraints:      11804
163.45/164.01	c #Conflicts:      96000 | #Constraints:      12804
163.45/164.01	c INPROCESSING
163.45/164.01	c GARBAGE COLLECT
163.45/164.01	c #Conflicts:      97000 | #Constraints:       7608
163.45/164.01	c #Conflicts:      98000 | #Constraints:       8608
163.45/164.01	c #Conflicts:      99000 | #Constraints:       9608
163.45/164.01	c #Conflicts:     100000 | #Constraints:      10608
163.45/164.01	c #Conflicts:     101000 | #Constraints:      11608
163.45/164.01	c #Conflicts:     102000 | #Constraints:      12608
163.45/164.01	c #Conflicts:     103000 | #Constraints:      13608
163.45/164.01	c INPROCESSING
163.45/164.01	c GARBAGE COLLECT
163.45/164.01	c #Conflicts:     104000 | #Constraints:       8210
163.45/164.01	c #Conflicts:     105000 | #Constraints:       9210
163.45/164.01	c #Conflicts:     106000 | #Constraints:      10210
163.45/164.01	c #Conflicts:     107000 | #Constraints:      11210
163.45/164.01	c #Conflicts:     108000 | #Constraints:      12210
163.45/164.01	c #Conflicts:     109000 | #Constraints:      13210
163.45/164.01	c #Conflicts:     110000 | #Constraints:      14210
163.45/164.01	c INPROCESSING
163.45/164.01	c GARBAGE COLLECT
163.45/164.01	c #Conflicts:     111000 | #Constraints:       8613
163.45/164.01	c #Conflicts:     112000 | #Constraints:       9613
163.45/164.01	c #Conflicts:     113000 | #Constraints:      10613
163.45/164.01	c #Conflicts:     114000 | #Constraints:      11613
163.45/164.01	c #Conflicts:     115000 | #Constraints:      12613
163.45/164.01	c #Conflicts:     116000 | #Constraints:      13613
163.45/164.01	c #Conflicts:     117000 | #Constraints:      14613
163.45/164.01	c INPROCESSING
163.45/164.01	c GARBAGE COLLECT
163.45/164.01	c #Conflicts:     118000 | #Constraints:       8814
163.45/164.01	c #Conflicts:     119000 | #Constraints:       9814
163.45/164.01	c #Conflicts:     120000 | #Constraints:      10814
163.45/164.01	c #Conflicts:     121000 | #Constraints:      11814
163.45/164.01	c #Conflicts:     122000 | #Constraints:      12814
163.45/164.01	c #Conflicts:     123000 | #Constraints:      13814
163.45/164.01	c #Conflicts:     124000 | #Constraints:      14814
163.45/164.01	c INPROCESSING
163.45/164.01	c GARBAGE COLLECT
163.45/164.01	c #Conflicts:     125000 | #Constraints:       8821
163.45/164.01	c #Conflicts:     126000 | #Constraints:       9821
163.45/164.01	c #Conflicts:     127000 | #Constraints:      10821
163.45/164.01	c #Conflicts:     128000 | #Constraints:      11821
163.45/164.01	c #Conflicts:     129000 | #Constraints:      12821
163.45/164.01	c bounds 224 >= 149 @ 159.583
163.45/164.01	c #Conflicts:     130000 | #Constraints:      13912
163.45/164.01	c #Conflicts:     131000 | #Constraints:      14912
163.45/164.01	c INPROCESSING
163.45/164.01	c GARBAGE COLLECT
163.45/164.01	c #Conflicts:     132000 | #Constraints:       8672
819.87/822.89	c #Conflicts:     133000 | #Constraints:       9672
819.87/822.89	c #Conflicts:     134000 | #Constraints:      10672
819.87/822.89	c #Conflicts:     135000 | #Constraints:      11672
819.87/822.89	c #Conflicts:     136000 | #Constraints:      12672
819.87/822.89	c #Conflicts:     137000 | #Constraints:      13672
819.87/822.89	c #Conflicts:     138000 | #Constraints:      14672
819.87/822.89	c #Conflicts:     139000 | #Constraints:      15672
819.87/822.89	c INPROCESSING
819.87/822.89	c GARBAGE COLLECT
819.87/822.89	c #Conflicts:     140000 | #Constraints:       9253
819.87/822.89	c #Conflicts:     141000 | #Constraints:      10253
819.87/822.89	c #Conflicts:     142000 | #Constraints:      11253
819.87/822.89	c #Conflicts:     143000 | #Constraints:      12253
819.87/822.89	c #Conflicts:     144000 | #Constraints:      13253
819.87/822.89	c #Conflicts:     145000 | #Constraints:      14253
819.87/822.89	c #Conflicts:     146000 | #Constraints:      15253
819.87/822.89	c #Conflicts:     147000 | #Constraints:      16253
819.87/822.89	c INPROCESSING
819.87/822.89	c GARBAGE COLLECT
819.87/822.89	c #Conflicts:     148000 | #Constraints:       9661
819.87/822.89	c #Conflicts:     149000 | #Constraints:      10661
819.87/822.89	c #Conflicts:     150000 | #Constraints:      11661
819.87/822.89	c #Conflicts:     151000 | #Constraints:      12661
819.87/822.89	c #Conflicts:     152000 | #Constraints:      13661
819.87/822.89	c #Conflicts:     153000 | #Constraints:      14661
819.87/822.89	c #Conflicts:     154000 | #Constraints:      15661
819.87/822.89	c #Conflicts:     155000 | #Constraints:      16661
819.87/822.89	c INPROCESSING
819.87/822.89	c GARBAGE COLLECT
819.87/822.89	c #Conflicts:     156000 | #Constraints:       9869
819.87/822.89	c #Conflicts:     157000 | #Constraints:      10869
819.87/822.89	c #Conflicts:     158000 | #Constraints:      11869
819.87/822.89	c #Conflicts:     159000 | #Constraints:      12869
819.87/822.89	c #Conflicts:     160000 | #Constraints:      13869
819.87/822.89	c #Conflicts:     161000 | #Constraints:      14869
819.87/822.89	c #Conflicts:     162000 | #Constraints:      15869
819.87/822.89	c #Conflicts:     163000 | #Constraints:      16869
819.87/822.89	c INPROCESSING
819.87/822.89	c GARBAGE COLLECT
819.87/822.89	c #Conflicts:     164000 | #Constraints:       9878
819.87/822.89	c #Conflicts:     165000 | #Constraints:      10878
819.87/822.89	c #Conflicts:     166000 | #Constraints:      11878
819.87/822.89	c #Conflicts:     167000 | #Constraints:      12878
819.87/822.89	c #Conflicts:     168000 | #Constraints:      13878
819.87/822.89	c #Conflicts:     169000 | #Constraints:      14878
819.87/822.89	c #Conflicts:     170000 | #Constraints:      15878
819.87/822.89	c #Conflicts:     171000 | #Constraints:      16878
819.87/822.89	c #Conflicts:     172000 | #Constraints:      17878
819.87/822.89	c #Conflicts:     173000 | #Constraints:      18878
819.87/822.89	c #Conflicts:     174000 | #Constraints:      19878
819.87/822.89	c #Conflicts:     175000 | #Constraints:      20878
819.87/822.89	c #Conflicts:     176000 | #Constraints:      21878
819.87/822.89	c #Conflicts:     177000 | #Constraints:      22878
819.87/822.89	c #Conflicts:     178000 | #Constraints:      23878
819.87/822.89	c #Conflicts:     179000 | #Constraints:      24878
819.87/822.89	c #Conflicts:     180000 | #Constraints:      25878
819.87/822.89	c #Conflicts:     181000 | #Constraints:      26878
819.87/822.89	c #Conflicts:     182000 | #Constraints:      27878
819.87/822.89	c #Conflicts:     183000 | #Constraints:      28878
819.87/822.89	c #Conflicts:     184000 | #Constraints:      29878
819.87/822.89	c #Conflicts:     185000 | #Constraints:      30878
819.87/822.89	c #Conflicts:     186000 | #Constraints:      31878
819.87/822.89	c #Conflicts:     187000 | #Constraints:      32878
819.87/822.89	c #Conflicts:     188000 | #Constraints:      33878
819.87/822.89	c #Conflicts:     189000 | #Constraints:      34878
819.87/822.89	c #Conflicts:     190000 | #Constraints:      35878
819.87/822.89	c #Conflicts:     191000 | #Constraints:      36878
819.87/822.89	c #Conflicts:     192000 | #Constraints:      37878
819.87/822.89	c #Conflicts:     193000 | #Constraints:      38878
819.87/822.89	c #Conflicts:     194000 | #Constraints:      39878
819.87/822.89	c #Conflicts:     195000 | #Constraints:      40878
819.87/822.89	c #Conflicts:     196000 | #Constraints:      41878
819.87/822.89	c #Conflicts:     197000 | #Constraints:      42878
819.87/822.89	c #Conflicts:     198000 | #Constraints:      43878
819.87/822.89	c #Conflicts:     199000 | #Constraints:      44878
819.87/822.89	c #Conflicts:     200000 | #Constraints:      45878
819.87/822.89	c #Conflicts:     201000 | #Constraints:      46878
819.87/822.89	c INPROCESSING
819.87/822.89	c GARBAGE COLLECT
819.87/822.89	c #Conflicts:     202000 | #Constraints:      24836
819.87/822.89	c #Conflicts:     203000 | #Constraints:      25836
819.87/822.89	c #Conflicts:     204000 | #Constraints:      26836
819.87/822.89	c #Conflicts:     205000 | #Constraints:      27836
819.87/822.89	c #Conflicts:     206000 | #Constraints:      28836
819.87/822.89	c #Conflicts:     207000 | #Constraints:      29836
819.87/822.89	c #Conflicts:     208000 | #Constraints:      30836
2190.44/2198.02	c #Conflicts:     209000 | #Constraints:      31836
2190.44/2198.02	c #Conflicts:     210000 | #Constraints:      32836
2190.44/2198.02	c INPROCESSING
2190.44/2198.02	c GARBAGE COLLECT
2190.44/2198.02	c #Conflicts:     211000 | #Constraints:      17562
2190.44/2198.02	c #Conflicts:     212000 | #Constraints:      18562
2190.44/2198.02	c #Conflicts:     213000 | #Constraints:      19562
2190.44/2198.02	c #Conflicts:     214000 | #Constraints:      20562
2190.44/2198.02	c #Conflicts:     215000 | #Constraints:      21562
2190.44/2198.02	c #Conflicts:     216000 | #Constraints:      22562
2190.44/2198.02	c #Conflicts:     217000 | #Constraints:      23562
2190.44/2198.02	c #Conflicts:     218000 | #Constraints:      24562
2190.44/2198.02	c #Conflicts:     219000 | #Constraints:      25562
2190.44/2198.02	c #Conflicts:     220000 | #Constraints:      26562
2190.44/2198.02	c #Conflicts:     221000 | #Constraints:      27562
2190.44/2198.02	c #Conflicts:     222000 | #Constraints:      28562
2190.44/2198.02	c #Conflicts:     223000 | #Constraints:      29562
2190.44/2198.02	c #Conflicts:     224000 | #Constraints:      30562
2190.44/2198.02	c #Conflicts:     225000 | #Constraints:      31562
2190.44/2198.02	c #Conflicts:     226000 | #Constraints:      32562
2190.44/2198.02	c #Conflicts:     227000 | #Constraints:      33562
2190.44/2198.02	c #Conflicts:     228000 | #Constraints:      34562
2190.44/2198.02	c #Conflicts:     229000 | #Constraints:      35562
2190.44/2198.02	c #Conflicts:     230000 | #Constraints:      36562
2190.44/2198.02	c #Conflicts:     231000 | #Constraints:      37562
2190.44/2198.02	c #Conflicts:     232000 | #Constraints:      38562
2190.44/2198.02	c #Conflicts:     233000 | #Constraints:      39562
2190.44/2198.02	c #Conflicts:     234000 | #Constraints:      40562
2190.44/2198.02	c #Conflicts:     235000 | #Constraints:      41562
2190.44/2198.02	c #Conflicts:     236000 | #Constraints:      42562
2190.44/2198.02	c #Conflicts:     237000 | #Constraints:      43562
2190.44/2198.02	c #Conflicts:     238000 | #Constraints:      44562
2190.44/2198.02	c #Conflicts:     239000 | #Constraints:      45562
2190.44/2198.02	c #Conflicts:     240000 | #Constraints:      46562
2190.44/2198.02	c #Conflicts:     241000 | #Constraints:      47562
2190.44/2198.02	c #Conflicts:     242000 | #Constraints:      48562
2190.44/2198.02	c #Conflicts:     243000 | #Constraints:      49562
2190.44/2198.02	c #Conflicts:     244000 | #Constraints:      50562
2190.44/2198.02	c #Conflicts:     245000 | #Constraints:      51562
2190.44/2198.02	c #Conflicts:     246000 | #Constraints:      52562
2190.44/2198.02	c #Conflicts:     247000 | #Constraints:      53562
2190.44/2198.02	c #Conflicts:     248000 | #Constraints:      54562
2190.44/2198.02	c #Conflicts:     249000 | #Constraints:      55562
2190.44/2198.02	c #Conflicts:     250000 | #Constraints:      56562
2190.44/2198.02	c #Conflicts:     251000 | #Constraints:      57562
2190.44/2198.02	c #Conflicts:     252000 | #Constraints:      58562
2190.44/2198.02	c INPROCESSING
2190.44/2198.02	c GARBAGE COLLECT
2190.44/2198.02	c #Conflicts:     253000 | #Constraints:      30838
2190.44/2198.02	c #Conflicts:     254000 | #Constraints:      31838
2190.44/2198.02	c #Conflicts:     255000 | #Constraints:      32838
2190.44/2198.02	c #Conflicts:     256000 | #Constraints:      33838
2190.44/2198.02	c #Conflicts:     257000 | #Constraints:      34838
2190.44/2198.02	c #Conflicts:     258000 | #Constraints:      35838
2190.44/2198.02	c #Conflicts:     259000 | #Constraints:      36838
2190.44/2198.02	c #Conflicts:     260000 | #Constraints:      37838
2190.44/2198.02	c #Conflicts:     261000 | #Constraints:      38838
2190.44/2198.02	c #Conflicts:     262000 | #Constraints:      39838
2190.44/2198.02	c INPROCESSING
2190.44/2198.02	c GARBAGE COLLECT
2190.44/2198.02	c #Conflicts:     263000 | #Constraints:      22639
2190.44/2198.02	c #Conflicts:     264000 | #Constraints:      23639
2190.44/2198.02	c #Conflicts:     265000 | #Constraints:      24639
2190.44/2198.02	c #Conflicts:     266000 | #Constraints:      25639
2190.44/2198.02	c #Conflicts:     267000 | #Constraints:      26639
2190.44/2198.02	c #Conflicts:     268000 | #Constraints:      27639
2190.44/2198.02	c #Conflicts:     269000 | #Constraints:      28639
2190.44/2198.02	c #Conflicts:     270000 | #Constraints:      29639
2190.44/2198.02	c #Conflicts:     271000 | #Constraints:      30639
2190.44/2198.02	c #Conflicts:     272000 | #Constraints:      31639
2190.44/2198.02	c #Conflicts:     273000 | #Constraints:      32639
2190.44/2198.02	c #Conflicts:     274000 | #Constraints:      33639
2190.44/2198.02	c #Conflicts:     275000 | #Constraints:      34639
2190.44/2198.02	c #Conflicts:     276000 | #Constraints:      35639
2190.44/2198.02	c #Conflicts:     277000 | #Constraints:      36639
2190.44/2198.02	c #Conflicts:     278000 | #Constraints:      37639
2190.44/2198.02	c #Conflicts:     279000 | #Constraints:      38639
2190.44/2198.02	c #Conflicts:     280000 | #Constraints:      39639
2190.44/2198.02	c #Conflicts:     281000 | #Constraints:      40639
2190.44/2198.02	c #Conflicts:     282000 | #Constraints:      41639
2190.44/2198.02	c #Conflicts:     283000 | #Constraints:      42639
2190.44/2198.02	c #Conflicts:     284000 | #Constraints:      43639
3600.03/3612.51	c #Conflicts:     285000 | #Constraints:      44639
3600.03/3612.51	c #Conflicts:     286000 | #Constraints:      45639
3600.03/3612.51	c #Conflicts:     287000 | #Constraints:      46639
3600.03/3612.51	c #Conflicts:     288000 | #Constraints:      47639
3600.03/3612.51	c #Conflicts:     289000 | #Constraints:      48639
3600.03/3612.51	c #Conflicts:     290000 | #Constraints:      49639
3600.03/3612.51	c #Conflicts:     291000 | #Constraints:      50639
3600.03/3612.51	c #Conflicts:     292000 | #Constraints:      51639
3600.03/3612.51	c #Conflicts:     293000 | #Constraints:      52639
3600.03/3612.51	c #Conflicts:     294000 | #Constraints:      53639
3600.03/3612.51	c #Conflicts:     295000 | #Constraints:      54639
3600.03/3612.51	c #Conflicts:     296000 | #Constraints:      55639
3600.03/3612.51	c #Conflicts:     297000 | #Constraints:      56639
3600.03/3612.51	c #Conflicts:     298000 | #Constraints:      57639
3600.03/3612.51	c #Conflicts:     299000 | #Constraints:      58639
3600.03/3612.51	c #Conflicts:     300000 | #Constraints:      59639
3600.03/3612.51	c #Conflicts:     301000 | #Constraints:      60639
3600.03/3612.51	c #Conflicts:     302000 | #Constraints:      61639
3600.03/3612.51	c #Conflicts:     303000 | #Constraints:      62639
3600.03/3612.51	c #Conflicts:     304000 | #Constraints:      63639
3600.03/3612.51	c #Conflicts:     305000 | #Constraints:      64639
3600.03/3612.51	c #Conflicts:     306000 | #Constraints:      65639
3600.03/3612.51	c #Conflicts:     307000 | #Constraints:      66639
3600.03/3612.51	c INPROCESSING
3600.03/3612.51	c GARBAGE COLLECT
3600.03/3612.51	c #Conflicts:     308000 | #Constraints:      34817
3600.03/3612.51	c #Conflicts:     309000 | #Constraints:      35817
3600.03/3612.51	c #Conflicts:     310000 | #Constraints:      36817
3600.03/3612.51	c #Conflicts:     311000 | #Constraints:      37817
3600.03/3612.51	c #Conflicts:     312000 | #Constraints:      38817
3600.03/3612.51	c #Conflicts:     313000 | #Constraints:      39817
3600.03/3612.51	c #Conflicts:     314000 | #Constraints:      40817
3600.03/3612.51	c #Conflicts:     315000 | #Constraints:      41817
3600.03/3612.51	c #Conflicts:     316000 | #Constraints:      42817
3600.03/3612.51	c #Conflicts:     317000 | #Constraints:      43817
3600.03/3612.51	c #Conflicts:     318000 | #Constraints:      44817
3600.03/3612.51	c #Conflicts:     319000 | #Constraints:      45817
3600.03/3612.51	c INPROCESSING
3600.03/3612.51	c GARBAGE COLLECT
3600.03/3612.51	c #Conflicts:     320000 | #Constraints:      31405
3600.03/3612.51	c #Conflicts:     321000 | #Constraints:      32405
3600.03/3612.51	c #Conflicts:     322000 | #Constraints:      33405
3600.03/3612.51	c #Conflicts:     323000 | #Constraints:      34405
3600.03/3612.51	c #Conflicts:     324000 | #Constraints:      35405
3600.03/3612.51	c #Conflicts:     325000 | #Constraints:      36405
3600.03/3612.51	c #Conflicts:     326000 | #Constraints:      37405
3600.03/3612.51	c #Conflicts:     327000 | #Constraints:      38405
3600.03/3612.51	c #Conflicts:     328000 | #Constraints:      39405
3600.03/3612.51	c #Conflicts:     329000 | #Constraints:      40405
3600.03/3612.51	c #Conflicts:     330000 | #Constraints:      41405
3600.03/3612.51	c #Conflicts:     331000 | #Constraints:      42405
3600.03/3612.51	c #Conflicts:     332000 | #Constraints:      43405
3600.03/3612.51	c #Conflicts:     333000 | #Constraints:      44405
3600.03/3612.51	c #Conflicts:     334000 | #Constraints:      45405
3600.03/3612.51	c #Conflicts:     335000 | #Constraints:      46405
3600.03/3612.51	c #Conflicts:     336000 | #Constraints:      47405
3600.03/3612.51	c #Conflicts:     337000 | #Constraints:      48405
3600.03/3612.51	c #Conflicts:     338000 | #Constraints:      49405
3600.03/3612.51	c #Conflicts:     339000 | #Constraints:      50405
3600.03/3612.51	c Program interrupted by user.
3600.03/3612.51	c cpu time 3589.42 s
3600.03/3612.51	c deterministic time 240845037694 2.41e+11
3600.03/3612.51	c optimization time 503.931 s
3600.03/3612.51	c total solve time 3085.48 s
3600.03/3612.51	c core-guided solve time 3085.48 s
3600.03/3612.51	c propagation time 3317.42 s
3600.03/3612.51	c conflict analysis time 255.652 s
3600.03/3612.51	c propagations 50811537
3600.03/3612.51	c resolve steps 4391141
3600.03/3612.51	c decisions 7690610
3600.03/3612.51	c conflicts 339151
3600.03/3612.51	c restarts 795
3600.03/3612.51	c inprocessing phases 38
3600.03/3612.51	c input clauses 191
3600.03/3612.51	c input cardinalities 394
3600.03/3612.51	c input general constraints 636
3600.03/3612.51	c input average constraint length 46.35
3600.03/3612.51	c input average constraint degree 22.41
3600.03/3612.51	c learned clauses 63316
3600.03/3612.51	c learned cardinalities 2217
3600.03/3612.51	c learned general constraints 273634
3600.03/3612.51	c learned average constraint length 161.64
3600.03/3612.51	c learned average constraint degree 3452446.26
3600.03/3612.51	c watched constraints 213790
3600.03/3612.51	c counting constraints 60480
3600.03/3612.51	c gcd simplifications 28272
3600.03/3612.51	c detected cardinalities 1904
3600.03/3612.51	c weakened non-implied lits 5220383
3600.03/3612.51	c weakened non-implying lits 19860
3600.03/3612.51	c original variables 479
3600.03/3612.51	c clausal propagations 11447859
3600.03/3612.51	c cardinality propagations 1622896
3600.03/3612.51	c watched propagations 7961563
3600.03/3612.51	c counting propagations 29359025
3600.03/3612.51	c watch lookups 65879170977
3600.03/3612.51	c watch backjump lookups 64180126782
3600.03/3612.51	c watch checks 99926020308
3600.03/3612.51	c propagation checks 10537185733
3600.03/3612.51	c constraint additions 205190888
3600.03/3612.51	c trail pops 58840858
3600.03/3612.51	c formula constraints 479
3600.03/3612.51	c learned constraints 339167
3600.03/3612.51	c bound constraints 101
3600.03/3612.51	c core-guided constraints 641
3600.03/3612.51	c encountered formula constraints 736174
3600.03/3612.51	c encountered learned constraints 3299376
3600.03/3612.51	c encountered bound constraints 192
3600.03/3612.51	c encountered core-guided constraints 694550
3600.03/3612.51	c LP total time 0 s
3600.03/3612.51	c LP solve time 0 s
3600.03/3612.51	c LP constraints added 0
3600.03/3612.51	c LP constraints removed 0
3600.03/3612.51	c LP pivots internal 0
3600.03/3612.51	c LP pivots root 0
3600.03/3612.51	c LP calls 0
3600.03/3612.51	c LP optimalities 0
3600.03/3612.51	c LP no pivot count 0
3600.03/3612.51	c LP infeasibilities 0
3600.03/3612.51	c LP valid Farkas constraints 0
3600.03/3612.51	c LP learned Farkas constraints 0
3600.03/3612.51	c LP basis resets 0
3600.03/3612.51	c LP cycling count 0
3600.03/3612.51	c LP singular count 0
3600.03/3612.51	c LP no primal count 0
3600.03/3612.51	c LP no farkas count 0
3600.03/3612.51	c LP other issue count 0
3600.03/3612.51	c LP Gomory cuts 0
3600.03/3612.51	c LP learned cuts 0
3600.03/3612.51	c LP deleted cuts 0
3600.03/3612.51	c LP encountered Gomory constraints 0
3600.03/3612.51	c LP encountered Farkas constraints 0
3600.03/3612.51	c LP encountered learned Farkas constraints 0
3600.03/3612.51	c CG auxiliary variables introduced 281
3600.03/3612.51	c CG solutions found 2
3600.03/3612.51	c CG cores constructed 93
3600.03/3612.51	c CG core cardinality constraints returned 0
3600.03/3612.51	c CG unit cores 0
3600.03/3612.51	c CG single cores 93
3600.03/3612.51	c CG blocks removed during cardinality reduction 0
3600.03/3612.51	c CG first core best 0
3600.03/3612.51	c CG decision core best 0
3600.03/3612.51	c CG core reduction tie 0
3600.03/3612.51	c CG core degree average 1.00
3600.03/3612.51	c CG core slack average 5.46
3600.03/3612.51	c CG exhausted 0
3600.03/3612.51	c CG exhaust time 48.2963 s
3600.03/3612.51	c CG trimmed 3
3600.03/3612.51	c CG trim time 0.016102 s
3600.03/3612.51	c CG minimized 0
3600.03/3612.51	c CG minimize time 0 s
3600.03/3612.51	c CG am1 prop time 0.021062 s
3600.03/3612.51	c CG # am1s reformulated 56
3600.03/3612.51	c CG lower bound derived from am1s 56
3600.03/3612.51	c CG # clausal cores 34
3600.03/3612.51	c CG # cardinality cores 0
3600.03/3612.51	c CG # pb cores 59
3600.03/3612.51	c CG # pb reforms 0
3600.03/3612.51	c CG # cores discarded because of pb reform 0
3600.03/3612.51	d LOWERBOUND 149
3600.03/3612.51	d NCORES 93
3600.03/3612.51	d NPBCORES 59
3600.03/3612.51	d NPBREFORM 0
3600.03/3612.51	d NTRIMMED 3
3600.03/3612.51	d NEXHAUSTED 0
3600.03/3612.51	d NAM1S 56
3600.03/3612.51	d AM1LB 56
3600.03/3612.51	o 224
3600.03/3612.51	s SATISFIABLE
3600.03/3612.51	v x1 x2 -x3 x4 x5 x6 -x7 x8 -x9 -x10 -x11 x12 x13 -x14 -x15 x16 -x17 x18 -x19 -x20 -x21 x22 x23 x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 x35 -x36 x37 -x38 -x39 x40 x41 -x42 -x43 x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 x56 x57 -x58 x59 -x60 x61 x62 -x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 x72 -x73 -x74 x75 x76 -x77 -x78 x79 x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 x91 x92 -x93 x94 -x95 x96 -x97 -x98 -x99 x100 -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 x111 -x112 -x113 x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 x123 -x124 -x125 x126 -x127 x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 x137 x138 x139 x140 -x141 x142 x143 x144 x145 -x146 -x147 x148 x149 -x150 -x151 -x152 x153 x154 x155 -x156 x157 x158 x159 x160 x161 x162 -x163 -x164 x165 -x166 x167 x168 x169 x170 x171 -x172 x173 -x174 x175 x176 -x177 -x178 x179 x180 -x181 x182 x183 x184 -x185 -x186 -x187 x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 x206 x207 x208 -x209 -x210 x211 x212 -x213 x214 x215 x216 x217 x218 x219 x220 -x221 x222 x223 -x224 -x225 x226 -x227 x228 -x229 x230 -x231 x232 -x233 x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 x246 -x247 x248 -x249 -x250 -x251 x252 -x253 x254 x255 x256 x257 x258 -x259 x260 -x261 -x262 -x263 x264 x265 x266 x267 x268 -x269 -x270 -x271 x272 x273 -x274 -x275 x276 -x277 -x278 x279 x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290 -x291 x292 -x293 x294 x295 -x296 x297 -x298 -x299 x300 x301 -x302 -x303 x304 x305 -x306 -x307 -x308 x309 -x310 -x311 x312 -x313 -x314 x315 -x316 x317 -x318 x319 x320 x321 -x322 -x323 -x324 -x325 x326 x327 -x328 -x329 -x330 -x331 x332 x333 x334 -x335 x336 x337 -x338 -x339 x340 -x341 -x342 x343 -x344 x345 -x346 -x347 x348 x349 -x350 x351 x352 x353 x354 x355 -x356 x357 -x358 x359 x360 -x361 -x362 -x363 x364 -x365 x366 x367 -x368 -x369 -x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 x379 x380 x381 -x382 -x383 x384 -x385 x386 -x387 x388 -x389 -x390 -x391 x392 -x393 -x394 -x395 x396 x397 x398 x399 x400 x401 x402 x403 -x404 x405 -x406 x407 x408 x409 x410 -x411 x412 x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 x421 -x422 -x423 x424 -x425 x426 -x427 x428 -x429 -x430 x431 -x432 x433 -x434 -x435 x436 x437 -x438 -x439 -x440 x441 x442 x443 -x444 -x445 -x446 x447 x448 -x449 x450 x451 -x452 x453 x454 x455 -x456 -x457 x458 x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 x469 x470 x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479

Verifier Data 

OK	224

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: 64096 MiB (63092 MiB free)
  memory of node 1: 64473 MiB (61640 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454302-1721469303/watcher-4454302-1721469303 -o /tmp/evaluation-result-4454302-1721469303/solver-4454302-1721469303 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721469315-1062594 --watchdog 3760 pb-oll-rs HOME/instance-4454302-1721469303.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
solver pid=1062717, runsolver pid=1062709
Current StackSize limit: 8192 KiB
Starting watchdog thread


[startup+0.100083 s]*
/proc/loadavg: 2.94 3.20 3.61 7/247 1062784
/proc/meminfo: memFree=127711764/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=40320 memory=9992 CPUtime=0.1 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 782 0 0 0 8 2 0 0 20 0 1 0 199089100 41287680 2498 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 10080 2498 1375 291 0 1614 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40320 KiB
Current children cumulated memory: 9992 KiB

[startup+0.216124 s]*
/proc/loadavg: 2.94 3.20 3.61 9/249 1062820
/proc/meminfo: memFree=127702072/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=41376 memory=11048 CPUtime=0.21 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 1037 0 0 0 19 2 0 0 20 0 1 0 199089100 42369024 2762 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 10344 2762 1375 291 0 1878 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41376 KiB
Current children cumulated memory: 11048 KiB

[startup+0.314552 s]*
/proc/loadavg: 2.94 3.20 3.61 6/248 1062871
/proc/meminfo: memFree=127697224/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=42052 memory=11840 CPUtime=0.32 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 1234 0 0 0 29 3 0 0 20 0 1 0 199089100 43061248 2960 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 10513 2960 1375 291 0 2047 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 42052 KiB
Current children cumulated memory: 11840 KiB

[startup+0.700333 s]
/proc/loadavg: 2.94 3.20 3.61 6/250 1062969
/proc/meminfo: memFree=127687924/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=47872 memory=16540 CPUtime=0.69 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 2422 0 0 0 64 5 0 0 20 0 1 0 199089100 49020928 4135 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 11968 4135 1391 291 0 3502 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 47872 KiB
Current children cumulated memory: 16540 KiB

[startup+1.50034 s]
/proc/loadavg: 2.94 3.20 3.61 5/245 1063004
/proc/meminfo: memFree=127675480/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=55256 memory=22060 CPUtime=1.48 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 3779 0 0 0 140 8 0 0 20 0 1 0 199089100 56582144 5515 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 13814 5515 1452 291 0 5348 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 55256 KiB
Current children cumulated memory: 22060 KiB

[startup+3.11325 s]
/proc/loadavg: 3.02 3.21 3.62 5/245 1063004
/proc/meminfo: memFree=127634208/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=61304 memory=30332 CPUtime=3.09 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 5302 0 0 0 296 13 0 0 20 0 1 0 199089100 62775296 7583 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 15326 7583 1452 291 0 6860 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 61304 KiB
Current children cumulated memory: 30332 KiB

[startup+6.30031 s]
/proc/loadavg: 3.02 3.21 3.62 5/245 1063006
/proc/meminfo: memFree=127604192/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=70724 memory=37120 CPUtime=6.27 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 6498 0 0 0 607 20 0 0 20 0 1 0 199089100 72421376 9280 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 17681 9280 1452 291 0 9215 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 70724 KiB
Current children cumulated memory: 37120 KiB

[startup+12.7003 s]
/proc/loadavg: 3.10 3.23 3.62 5/245 1063006
/proc/meminfo: memFree=127575020/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=78468 memory=45480 CPUtime=12.64 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 8069 0 0 0 1232 32 0 0 20 0 1 0 199089100 80351232 11370 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 19617 11370 1452 291 0 11151 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 78468 KiB
Current children cumulated memory: 45480 KiB

[startup+25.5003 s]
/proc/loadavg: 3.37 3.28 3.63 5/245 1063007
/proc/meminfo: memFree=127537112/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=96672 memory=56548 CPUtime=25.4 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 9794 0 0 0 2489 51 0 0 20 0 1 0 199089100 98992128 14137 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 24168 14137 1452 291 0 15702 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 96672 KiB
Current children cumulated memory: 56548 KiB

[startup+51.1135 s]
/proc/loadavg: 3.59 3.34 3.64 5/245 1063014
/proc/meminfo: memFree=127489608/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=101792 memory=71944 CPUtime=50.92 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 10972 0 0 0 5006 86 0 0 20 0 1 0 199089100 104235008 17986 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 25448 17986 1452 291 0 16982 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 101792 KiB
Current children cumulated memory: 71944 KiB

[startup+102.3 s]
/proc/loadavg: 3.86 3.46 3.67 5/245 1063022
/proc/meminfo: memFree=127468968/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=106412 memory=75696 CPUtime=101.94 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 11978 0 0 0 10070 124 0 0 20 0 1 0 199089100 108965888 18924 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 26603 18924 1452 291 0 18137 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 106412 KiB
Current children cumulated memory: 75696 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 3.59 3.70 5/245 1063032
/proc/meminfo: memFree=127451560/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=109156 memory=77756 CPUtime=161.74 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 12565 0 0 0 16010 164 0 0 20 0 1 0 199089100 111775744 19439 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 27289 19439 1452 291 0 18823 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 109156 KiB
Current children cumulated memory: 77756 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.68 3.73 5/247 1063212
/proc/meminfo: memFree=127432904/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=111264 memory=79612 CPUtime=221.54 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 13037 0 0 0 21917 237 0 0 20 0 1 0 199089100 113934336 19903 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 27816 19903 1452 291 0 19350 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 111264 KiB
Current children cumulated memory: 79612 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 3.79 3.76 5/247 1063223
/proc/meminfo: memFree=127412440/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=113048 memory=80608 CPUtime=281.32 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 13377 0 0 0 27838 294 0 0 20 0 1 0 199089100 115761152 20152 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 28262 20152 1452 291 0 19796 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 113048 KiB
Current children cumulated memory: 80608 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.84 3.79 5/243 1063235
/proc/meminfo: memFree=127385724/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=116776 memory=83916 CPUtime=341.11 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 14208 0 0 0 33782 329 0 0 20 0 1 0 199089100 119578624 20979 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 29194 20979 1452 291 0 20728 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 116776 KiB
Current children cumulated memory: 83916 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.89 3.81 5/243 1063256
/proc/meminfo: memFree=127371436/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=121168 memory=87456 CPUtime=400.89 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 15214 0 0 0 39738 351 0 0 20 0 1 0 199089100 124076032 21864 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 30292 21864 1452 291 0 21826 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 121168 KiB
Current children cumulated memory: 87456 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.93 3.83 5/244 1063268
/proc/meminfo: memFree=127365600/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=125040 memory=91808 CPUtime=460.68 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 16255 0 0 0 45700 368 0 0 20 0 1 0 199089100 128040960 22952 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 31260 22952 1452 291 0 22794 0

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

Current children cumulated memory: 151252 KiB

[startup+2922.3 s]
/proc/loadavg: 4.18 4.13 4.07 5/244 1064322
/proc/meminfo: memFree=127061020/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=211700 memory=151252 CPUtime=2912.22 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 28012 0 0 0 290298 924 0 0 20 0 1 0 199089100 216780800 37813 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 52925 37813 1452 291 0 44459 0
Current children cumulated CPU time: 2912.22 s
Current children cumulated vsize: 211700 KiB
Current children cumulated memory: 151252 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.12 4.07 5/243 1064333
/proc/meminfo: memFree=127059852/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=211700 memory=151256 CPUtime=2972.02 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 28063 0 0 0 296267 935 0 0 20 0 1 0 199089100 216780800 37814 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 52925 37814 1452 291 0 44459 0
Current children cumulated CPU time: 2972.02 s
Current children cumulated vsize: 211700 KiB
Current children cumulated memory: 151256 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.08 5/243 1064344
/proc/meminfo: memFree=127056036/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=212212 memory=151380 CPUtime=3031.81 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 28152 0 0 0 302236 945 0 0 20 0 1 0 199089100 217305088 37845 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 53053 37845 1452 291 0 44587 0
Current children cumulated CPU time: 3031.81 s
Current children cumulated vsize: 212212 KiB
Current children cumulated memory: 151380 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.13 4.08 5/242 1064355
/proc/meminfo: memFree=127049656/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=212212 memory=151412 CPUtime=3091.6 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 28207 0 0 0 308204 956 0 0 20 0 1 0 199089100 217305088 37853 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 53053 37853 1452 291 0 44587 0
Current children cumulated CPU time: 3091.6 s
Current children cumulated vsize: 212212 KiB
Current children cumulated memory: 151412 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.13 4.09 5/242 1064365
/proc/meminfo: memFree=127044564/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=212704 memory=151816 CPUtime=3151.39 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 28385 0 0 0 314172 967 0 0 20 0 1 0 199089100 217808896 37954 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 53176 37954 1452 291 0 44710 0
Current children cumulated CPU time: 3151.39 s
Current children cumulated vsize: 212704 KiB
Current children cumulated memory: 151816 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/242 1064375
/proc/meminfo: memFree=127039736/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=212704 memory=151920 CPUtime=3211.19 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 28432 0 0 0 320134 985 0 0 20 0 1 0 199089100 217808896 37980 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 53176 37980 1452 291 0 44710 0
Current children cumulated CPU time: 3211.19 s
Current children cumulated vsize: 212704 KiB
Current children cumulated memory: 151920 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/242 1064386
/proc/meminfo: memFree=127038028/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=212704 memory=151920 CPUtime=3270.98 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 28481 0 0 0 326099 999 0 0 20 0 1 0 199089100 217808896 37980 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 53176 37980 1452 291 0 44710 0
Current children cumulated CPU time: 3270.98 s
Current children cumulated vsize: 212704 KiB
Current children cumulated memory: 151920 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/245 1064401
/proc/meminfo: memFree=127030256/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=212704 memory=155604 CPUtime=3330.77 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 28535 0 0 0 332064 1013 0 0 20 0 1 0 199089100 217808896 38901 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 53176 38901 1452 291 0 44710 0
Current children cumulated CPU time: 3330.77 s
Current children cumulated vsize: 212704 KiB
Current children cumulated memory: 155604 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/245 1064411
/proc/meminfo: memFree=127026176/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=212704 memory=155604 CPUtime=3390.56 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 28592 0 0 0 338031 1025 0 0 20 0 1 0 199089100 217808896 38901 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 53176 38901 1452 291 0 44710 0
Current children cumulated CPU time: 3390.56 s
Current children cumulated vsize: 212704 KiB
Current children cumulated memory: 155604 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.09 5/244 1064422
/proc/meminfo: memFree=127012772/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=212704 memory=155604 CPUtime=3450.36 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 28649 0 0 0 344000 1036 0 0 20 0 1 0 199089100 217808896 38901 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 53176 38901 1452 291 0 44710 0
Current children cumulated CPU time: 3450.36 s
Current children cumulated vsize: 212704 KiB
Current children cumulated memory: 155604 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/244 1064432
/proc/meminfo: memFree=127011336/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=212704 memory=155604 CPUtime=3510.15 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 28707 0 0 0 349967 1048 0 0 20 0 1 0 199089100 217808896 38901 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 53176 38901 1452 291 0 44710 0
Current children cumulated CPU time: 3510.15 s
Current children cumulated vsize: 212704 KiB
Current children cumulated memory: 155604 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/245 1064444
/proc/meminfo: memFree=127007232/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=212704 memory=155604 CPUtime=3569.94 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 28766 0 0 0 355936 1058 0 0 20 0 1 0 199089100 217808896 38901 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 53176 38901 1452 291 0 44710 0
Current children cumulated CPU time: 3569.94 s
Current children cumulated vsize: 212704 KiB
Current children cumulated memory: 155604 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.5 s]
/proc/loadavg: 4.11 4.13 4.09 6/245 1064587
/proc/meminfo: memFree=127329128/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=212704 memory=155604 CPUtime=3600.03 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 28766 0 0 0 358940 1063 0 0 20 0 1 0 199089100 217808896 38901 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 53176 38901 1452 291 0 44710 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 212704 KiB
Current children cumulated memory: 155604 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.42 s, system=10.6374 s

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

[startup+3612.5 s]
/proc/loadavg: 4.11 4.13 4.09 6/245 1064587
/proc/meminfo: memFree=127329128/131655788 swapFree=131071996/131071996
[pid=1062717] ppid=1062709 vsize=212704 memory=155604 CPUtime=3600.03 cores=0,2
/proc/1062717/stat : 1062717 (pb-oll-rs) R 1062709 1062717 1062548 0 -1 4194304 28766 0 0 0 358940 1063 0 0 20 0 1 0 199089100 217808896 38901 134679101440 4194304 5384485 140731810954976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15110144 140731810960405 140731810960482 140731810960482 140731810967499 0
/proc/1062717/statm: 53176 38901 1452 291 0 44710 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 212704 KiB
Current children cumulated memory: 155604 KiB

Child status: 0

Real time (s): 3612.51
CPU time (s): 3600.05
CPU user time (s): 3589.42
CPU system time (s): 10.6374
CPU usage (%): 99.6552
Max. virtual memory (cumulated for all children) (KiB): 212704
Max. memory (cumulated for all children) (KiB): 155604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.42
system time used= 10.6374
maximum resident set size= 155664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28782
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= 51
involuntary context switches= 25216


# summary of solver processes directly reported to runsolver:
#   pid: 1062717
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3589.42
#   total CPU system time (s): 10.6374

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7633 second user time and 37.4703 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-20 11:55:15
IDJOB=4454302
IDBENCH=147541
IDSOLVER=3082
FILE ID=nodeC005/4454302-1721469303
RUNJOBID= nodeC005-1721469315-1062594
SLURM_JOB_ID= 7545729
Free space on /tmp= 723784 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_23.opb.PB06.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454302-1721469303/watcher-4454302-1721469303 -o /tmp/evaluation-result-4454302-1721469303/solver-4454302-1721469303 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721469315-1062594 --watchdog 3760  pb-oll-rs HOME/instance-4454302-1721469303.opb

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

MD5SUM BENCH= 1da12ebdd4ab5e725928f3bf845b8b1e
RANDOM SEED=1611870262

nodeC005.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	: 0xb00001f
cpu MHz		: 1783.062
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.53
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	: 0xb00001f
cpu MHz		: 1197.178
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.35
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	: 0xb00001f
cpu MHz		: 1197.181
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.53
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	: 0xb00001f
cpu MHz		: 1197.184
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.35
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	: 0xb00001f
cpu MHz		: 1197.182
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.53
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	: 0xb00001f
cpu MHz		: 1197.180
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.35
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	: 0xb00001f
cpu MHz		: 1197.180
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.53
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	: 0xb00001f
cpu MHz		: 1197.183
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127727880 kB
MemAvailable:   129901484 kB
Buffers:          567156 kB
Cached:          2433152 kB
SwapCached:            0 kB
Active:          1189348 kB
Inactive:        2137224 kB
Active(anon):       3324 kB
Inactive(anon):   368836 kB
Active(file):    1186024 kB
Inactive(file):  1768388 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              7988 kB
Writeback:             0 kB
AnonPages:        325556 kB
Mapped:           109052 kB
Shmem:             45896 kB
KReclaimable:     118780 kB
Slab:             228792 kB
SReclaimable:     118780 kB
SUnreclaim:       110012 kB
KernelStack:        3740 kB
PageTables:        10500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     683728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62656 kB
HardwareCorrupted:     0 kB
AnonHugePages:    296960 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:      303944 kB
DirectMap2M:    40495104 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC005 at 2024-07-20 12:55:28