Trace number 4454500

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-19? (TO) 3600.14 3609.68

DiagnosticValue
AM1LB0
LOWERBOUND0
NAM1S0
NCORES0
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-stp3d.opb
MD5SUMa4b0cd988cdc47ea50384dbc6c682a43
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables204880
Total number of constraints159488
Number of constraints which are clauses129232
Number of constraints which are cardinality constraints (but not clauses)5805
Number of constraints which are nor clauses,nor cardinality constraints24451
Minimum length of a constraint2
Maximum length of a constraint120
Number of terms in the objective function 75648
Biggest coefficient in the objective function 100303
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 7576266096
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 100303
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 7576266096
Number of bits of the biggest sum of numbers33
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.59/0.60	c [STEP] solving
0.59/0.60	c #variables 204880 #constraints 183967
0.59/0.61	c SMALL=int, LARGE=long long
0.59/0.61	c bounds - >= 700801 @ 0.473228
0.59/0.61	c stratification level: 100302
106.12/106.41	c #Conflicts:       1000 | #Constraints:     184966
106.12/106.41	c #Conflicts:       2000 | #Constraints:     185966
106.12/106.41	c INPROCESSING
106.12/106.41	c #Conflicts:       3000 | #Constraints:     161617
106.12/106.41	c #Conflicts:       4000 | #Constraints:     162617
106.12/106.41	c INPROCESSING
106.12/106.41	c GARBAGE COLLECT
106.12/106.41	c #Conflicts:       5000 | #Constraints:     162202
106.12/106.41	c #Conflicts:       6000 | #Constraints:     163202
106.12/106.41	c INPROCESSING
106.12/106.41	c #Conflicts:       7000 | #Constraints:     162422
106.12/106.41	c #Conflicts:       8000 | #Constraints:     163422
106.12/106.41	c #Conflicts:       9000 | #Constraints:     164422
106.12/106.41	c INPROCESSING
106.12/106.41	c GARBAGE COLLECT
106.12/106.41	c #Conflicts:      10000 | #Constraints:     163247
106.12/106.41	c #Conflicts:      11000 | #Constraints:     164247
106.12/106.41	c #Conflicts:      12000 | #Constraints:     165247
106.12/106.41	c INPROCESSING
106.12/106.41	c GARBAGE COLLECT
106.12/106.41	c #Conflicts:      13000 | #Constraints:     163771
106.12/106.41	c #Conflicts:      14000 | #Constraints:     164771
106.12/106.41	c #Conflicts:      15000 | #Constraints:     165771
106.12/106.41	c #Conflicts:      16000 | #Constraints:     166771
106.12/106.41	c #Conflicts:      17000 | #Constraints:     167771
106.12/106.41	c #Conflicts:      18000 | #Constraints:     168771
106.12/106.41	c #Conflicts:      19000 | #Constraints:     169771
106.12/106.41	c #Conflicts:      20000 | #Constraints:     170771
106.12/106.41	c INPROCESSING
106.12/106.41	c GARBAGE COLLECT
106.12/106.41	c #Conflicts:      21000 | #Constraints:     166517
106.12/106.41	c #Conflicts:      22000 | #Constraints:     167517
106.12/106.41	c #Conflicts:      23000 | #Constraints:     168517
106.12/106.41	c #Conflicts:      24000 | #Constraints:     169517
106.12/106.41	c INPROCESSING
106.12/106.41	c GARBAGE COLLECT
106.12/106.41	c #Conflicts:      25000 | #Constraints:     165945
106.12/106.41	c #Conflicts:      26000 | #Constraints:     166945
106.12/106.41	c #Conflicts:      27000 | #Constraints:     167945
106.12/106.41	c #Conflicts:      28000 | #Constraints:     168945
106.12/106.41	c INPROCESSING
106.12/106.41	c GARBAGE COLLECT
106.12/106.41	c #Conflicts:      29000 | #Constraints:     165485
106.12/106.41	c #Conflicts:      30000 | #Constraints:     166485
106.12/106.41	c #Conflicts:      31000 | #Constraints:     167485
106.12/106.41	c #Conflicts:      32000 | #Constraints:     168485
106.12/106.41	c #Conflicts:      33000 | #Constraints:     169485
106.12/106.41	c #Conflicts:      34000 | #Constraints:     170485
106.12/106.41	c #Conflicts:      35000 | #Constraints:     171485
106.12/106.41	c #Conflicts:      36000 | #Constraints:     172485
106.12/106.41	c #Conflicts:      37000 | #Constraints:     173485
106.12/106.41	c #Conflicts:      38000 | #Constraints:     174485
106.12/106.41	c #Conflicts:      39000 | #Constraints:     175485
106.12/106.41	c #Conflicts:      40000 | #Constraints:     176485
106.12/106.41	c #Conflicts:      41000 | #Constraints:     177485
106.12/106.41	c INPROCESSING
106.12/106.41	c GARBAGE COLLECT
106.12/106.41	c #Conflicts:      42000 | #Constraints:     170054
106.12/106.41	c #Conflicts:      43000 | #Constraints:     171054
106.12/106.41	c #Conflicts:      44000 | #Constraints:     172054
106.12/106.41	c #Conflicts:      45000 | #Constraints:     173054
106.12/106.41	c #Conflicts:      46000 | #Constraints:     174054
106.12/106.41	c #Conflicts:      47000 | #Constraints:     175054
106.12/106.41	c INPROCESSING
106.12/106.41	c GARBAGE COLLECT
106.12/106.41	c #Conflicts:      48000 | #Constraints:     169072
106.12/106.41	c #Conflicts:      49000 | #Constraints:     170072
106.12/106.41	c #Conflicts:      50000 | #Constraints:     171072
106.12/106.41	c #Conflicts:      51000 | #Constraints:     172072
106.12/106.41	c #Conflicts:      52000 | #Constraints:     173072
106.12/106.41	c INPROCESSING
106.12/106.41	c GARBAGE COLLECT
106.12/106.41	c #Conflicts:      53000 | #Constraints:     167704
106.12/106.41	c #Conflicts:      54000 | #Constraints:     168704
106.12/106.41	c #Conflicts:      55000 | #Constraints:     169704
106.12/106.41	c #Conflicts:      56000 | #Constraints:     170704
106.12/106.41	c #Conflicts:      57000 | #Constraints:     171704
106.12/106.41	c #Conflicts:      58000 | #Constraints:     172704
106.12/106.41	c #Conflicts:      59000 | #Constraints:     173704
106.12/106.41	c #Conflicts:      60000 | #Constraints:     174704
106.12/106.41	c #Conflicts:      61000 | #Constraints:     175704
106.12/106.41	c #Conflicts:      62000 | #Constraints:     176704
106.12/106.41	c #Conflicts:      63000 | #Constraints:     177704
106.12/106.41	c #Conflicts:      64000 | #Constraints:     178704
106.12/106.41	c #Conflicts:      65000 | #Constraints:     179704
106.12/106.41	c #Conflicts:      66000 | #Constraints:     180704
106.12/106.41	c #Conflicts:      67000 | #Constraints:     181704
106.12/106.41	c #Conflicts:      68000 | #Constraints:     182704
106.12/106.41	c #Conflicts:      69000 | #Constraints:     183704
106.12/106.41	c INPROCESSING
106.12/106.41	c GARBAGE COLLECT
106.12/106.41	c #Conflicts:      70000 | #Constraints:     173294
106.12/106.41	c #Conflicts:      71000 | #Constraints:     174294
106.12/106.41	c #Conflicts:      72000 | #Constraints:     175294
277.38/278.14	c #Conflicts:      73000 | #Constraints:     176294
277.38/278.14	c #Conflicts:      74000 | #Constraints:     177294
277.38/278.14	c #Conflicts:      75000 | #Constraints:     178294
277.38/278.14	c #Conflicts:      76000 | #Constraints:     179294
277.38/278.14	c INPROCESSING
277.38/278.14	c GARBAGE COLLECT
277.38/278.14	c #Conflicts:      77000 | #Constraints:     171095
277.38/278.14	c #Conflicts:      78000 | #Constraints:     172095
277.38/278.14	c #Conflicts:      79000 | #Constraints:     173095
277.38/278.14	c #Conflicts:      80000 | #Constraints:     174095
277.38/278.14	c #Conflicts:      81000 | #Constraints:     175095
277.38/278.14	c #Conflicts:      82000 | #Constraints:     176095
277.38/278.14	c #Conflicts:      83000 | #Constraints:     177095
277.38/278.14	c #Conflicts:      84000 | #Constraints:     178095
277.38/278.14	c #Conflicts:      85000 | #Constraints:     179095
277.38/278.14	c #Conflicts:      86000 | #Constraints:     180095
277.38/278.14	c #Conflicts:      87000 | #Constraints:     181095
277.38/278.14	c #Conflicts:      88000 | #Constraints:     182095
277.38/278.14	c #Conflicts:      89000 | #Constraints:     183095
277.38/278.14	c #Conflicts:      90000 | #Constraints:     184095
277.38/278.14	c #Conflicts:      91000 | #Constraints:     185095
277.38/278.14	c #Conflicts:      92000 | #Constraints:     186095
277.38/278.14	c #Conflicts:      93000 | #Constraints:     187095
277.38/278.14	c #Conflicts:      94000 | #Constraints:     188095
277.38/278.14	c #Conflicts:      95000 | #Constraints:     189095
277.38/278.14	c #Conflicts:      96000 | #Constraints:     190095
277.38/278.14	c INPROCESSING
277.38/278.14	c GARBAGE COLLECT
277.38/278.14	c #Conflicts:      97000 | #Constraints:     176552
277.38/278.14	c #Conflicts:      98000 | #Constraints:     177552
277.38/278.14	c #Conflicts:      99000 | #Constraints:     178552
277.38/278.14	c #Conflicts:     100000 | #Constraints:     179552
277.38/278.14	c #Conflicts:     101000 | #Constraints:     180552
277.38/278.14	c #Conflicts:     102000 | #Constraints:     181552
277.38/278.14	c #Conflicts:     103000 | #Constraints:     182552
277.38/278.14	c #Conflicts:     104000 | #Constraints:     183552
277.38/278.14	c #Conflicts:     105000 | #Constraints:     184552
277.38/278.14	c INPROCESSING
277.38/278.14	c GARBAGE COLLECT
277.38/278.14	c #Conflicts:     106000 | #Constraints:     174111
277.38/278.14	c #Conflicts:     107000 | #Constraints:     175111
277.38/278.14	c #Conflicts:     108000 | #Constraints:     176111
277.38/278.14	c #Conflicts:     109000 | #Constraints:     177111
277.38/278.14	c #Conflicts:     110000 | #Constraints:     178111
277.38/278.14	c #Conflicts:     111000 | #Constraints:     179111
277.38/278.14	c #Conflicts:     112000 | #Constraints:     180111
277.38/278.14	c #Conflicts:     113000 | #Constraints:     181111
277.38/278.14	c INPROCESSING
277.38/278.14	c GARBAGE COLLECT
277.38/278.14	c #Conflicts:     114000 | #Constraints:     172116
277.38/278.14	c #Conflicts:     115000 | #Constraints:     173116
277.38/278.14	c #Conflicts:     116000 | #Constraints:     174116
277.38/278.14	c #Conflicts:     117000 | #Constraints:     175116
277.38/278.14	c #Conflicts:     118000 | #Constraints:     176116
277.38/278.14	c #Conflicts:     119000 | #Constraints:     177116
277.38/278.14	c #Conflicts:     120000 | #Constraints:     178116
277.38/278.14	c #Conflicts:     121000 | #Constraints:     179116
277.38/278.14	c #Conflicts:     122000 | #Constraints:     180116
277.38/278.14	c #Conflicts:     123000 | #Constraints:     181116
277.38/278.14	c #Conflicts:     124000 | #Constraints:     182116
277.38/278.14	c #Conflicts:     125000 | #Constraints:     183116
277.38/278.14	c #Conflicts:     126000 | #Constraints:     184116
277.38/278.14	c #Conflicts:     127000 | #Constraints:     185116
277.38/278.14	c #Conflicts:     128000 | #Constraints:     186116
277.38/278.14	c #Conflicts:     129000 | #Constraints:     187116
277.38/278.14	c #Conflicts:     130000 | #Constraints:     188116
277.38/278.14	c #Conflicts:     131000 | #Constraints:     189116
277.38/278.14	c #Conflicts:     132000 | #Constraints:     190116
277.38/278.14	c #Conflicts:     133000 | #Constraints:     191116
277.38/278.14	c #Conflicts:     134000 | #Constraints:     192116
277.38/278.14	c #Conflicts:     135000 | #Constraints:     193116
277.38/278.14	c #Conflicts:     136000 | #Constraints:     194116
277.38/278.14	c #Conflicts:     137000 | #Constraints:     195116
277.38/278.14	c INPROCESSING
277.38/278.14	c GARBAGE COLLECT
277.38/278.14	c #Conflicts:     138000 | #Constraints:     179253
277.38/278.14	c #Conflicts:     139000 | #Constraints:     180253
277.38/278.14	c #Conflicts:     140000 | #Constraints:     181253
277.38/278.14	c #Conflicts:     141000 | #Constraints:     182253
277.38/278.14	c #Conflicts:     142000 | #Constraints:     183253
277.38/278.14	c #Conflicts:     143000 | #Constraints:     184253
277.38/278.14	c #Conflicts:     144000 | #Constraints:     185253
277.38/278.14	c #Conflicts:     145000 | #Constraints:     186253
277.38/278.14	c #Conflicts:     146000 | #Constraints:     187253
277.38/278.14	c #Conflicts:     147000 | #Constraints:     188253
277.38/278.14	c INPROCESSING
277.38/278.14	c GARBAGE COLLECT
604.05/605.68	c #Conflicts:     148000 | #Constraints:     175827
604.05/605.68	c #Conflicts:     149000 | #Constraints:     176827
604.05/605.68	c #Conflicts:     150000 | #Constraints:     177827
604.05/605.68	c #Conflicts:     151000 | #Constraints:     178827
604.05/605.68	c #Conflicts:     152000 | #Constraints:     179827
604.05/605.68	c #Conflicts:     153000 | #Constraints:     180827
604.05/605.68	c #Conflicts:     154000 | #Constraints:     181827
604.05/605.68	c #Conflicts:     155000 | #Constraints:     182827
604.05/605.68	c #Conflicts:     156000 | #Constraints:     183827
604.05/605.68	c #Conflicts:     157000 | #Constraints:     184827
604.05/605.68	c INPROCESSING
604.05/605.68	c GARBAGE COLLECT
604.05/605.68	c #Conflicts:     158000 | #Constraints:     174170
604.05/605.68	c #Conflicts:     159000 | #Constraints:     175170
604.05/605.68	c #Conflicts:     160000 | #Constraints:     176170
604.05/605.68	c #Conflicts:     161000 | #Constraints:     177170
604.05/605.68	c #Conflicts:     162000 | #Constraints:     178170
604.05/605.68	c #Conflicts:     163000 | #Constraints:     179170
604.05/605.68	c #Conflicts:     164000 | #Constraints:     180170
604.05/605.68	c #Conflicts:     165000 | #Constraints:     181170
604.05/605.68	c #Conflicts:     166000 | #Constraints:     182170
604.05/605.68	c #Conflicts:     167000 | #Constraints:     183170
604.05/605.68	c #Conflicts:     168000 | #Constraints:     184170
604.05/605.68	c #Conflicts:     169000 | #Constraints:     185170
604.05/605.68	c #Conflicts:     170000 | #Constraints:     186170
604.05/605.68	c #Conflicts:     171000 | #Constraints:     187170
604.05/605.68	c #Conflicts:     172000 | #Constraints:     188170
604.05/605.68	c #Conflicts:     173000 | #Constraints:     189170
604.05/605.68	c #Conflicts:     174000 | #Constraints:     190170
604.05/605.68	c #Conflicts:     175000 | #Constraints:     191170
604.05/605.68	c #Conflicts:     176000 | #Constraints:     192170
604.05/605.68	c #Conflicts:     177000 | #Constraints:     193170
604.05/605.68	c #Conflicts:     178000 | #Constraints:     194170
604.05/605.68	c #Conflicts:     179000 | #Constraints:     195170
604.05/605.68	c #Conflicts:     180000 | #Constraints:     196170
604.05/605.68	c #Conflicts:     181000 | #Constraints:     197170
604.05/605.68	c #Conflicts:     182000 | #Constraints:     198170
604.05/605.68	c #Conflicts:     183000 | #Constraints:     199170
604.05/605.68	c #Conflicts:     184000 | #Constraints:     200170
604.05/605.68	c #Conflicts:     185000 | #Constraints:     201170
604.05/605.68	c #Conflicts:     186000 | #Constraints:     202170
604.05/605.68	c INPROCESSING
604.05/605.68	c GARBAGE COLLECT
604.05/605.68	c #Conflicts:     187000 | #Constraints:     183199
604.05/605.68	c #Conflicts:     188000 | #Constraints:     184199
604.05/605.68	c #Conflicts:     189000 | #Constraints:     185199
604.05/605.68	c #Conflicts:     190000 | #Constraints:     186199
604.05/605.68	c #Conflicts:     191000 | #Constraints:     187199
604.05/605.68	c #Conflicts:     192000 | #Constraints:     188199
604.05/605.68	c #Conflicts:     193000 | #Constraints:     189199
604.05/605.68	c #Conflicts:     194000 | #Constraints:     190199
604.05/605.68	c #Conflicts:     195000 | #Constraints:     191199
604.05/605.68	c #Conflicts:     196000 | #Constraints:     192199
604.05/605.68	c #Conflicts:     197000 | #Constraints:     193199
604.05/605.68	c INPROCESSING
604.05/605.68	c GARBAGE COLLECT
604.05/605.68	c #Conflicts:     198000 | #Constraints:     178567
604.05/605.68	c #Conflicts:     199000 | #Constraints:     179567
604.05/605.68	c #Conflicts:     200000 | #Constraints:     180567
604.05/605.68	c #Conflicts:     201000 | #Constraints:     181567
604.05/605.68	c #Conflicts:     202000 | #Constraints:     182567
604.05/605.68	c #Conflicts:     203000 | #Constraints:     183567
604.05/605.68	c #Conflicts:     204000 | #Constraints:     184567
604.05/605.68	c #Conflicts:     205000 | #Constraints:     185567
604.05/605.68	c #Conflicts:     206000 | #Constraints:     186567
604.05/605.68	c #Conflicts:     207000 | #Constraints:     187567
604.05/605.68	c #Conflicts:     208000 | #Constraints:     188567
604.05/605.68	c #Conflicts:     209000 | #Constraints:     189567
604.05/605.68	c INPROCESSING
604.05/605.68	c GARBAGE COLLECT
604.05/605.68	c #Conflicts:     210000 | #Constraints:     177417
604.05/605.68	c #Conflicts:     211000 | #Constraints:     178417
604.05/605.68	c #Conflicts:     212000 | #Constraints:     179417
604.05/605.68	c #Conflicts:     213000 | #Constraints:     180417
604.05/605.68	c #Conflicts:     214000 | #Constraints:     181417
604.05/605.68	c #Conflicts:     215000 | #Constraints:     182417
604.05/605.68	c #Conflicts:     216000 | #Constraints:     183417
604.05/605.68	c #Conflicts:     217000 | #Constraints:     184417
604.05/605.68	c #Conflicts:     218000 | #Constraints:     185417
604.05/605.68	c #Conflicts:     219000 | #Constraints:     186417
604.05/605.68	c #Conflicts:     220000 | #Constraints:     187417
604.05/605.68	c #Conflicts:     221000 | #Constraints:     188417
604.05/605.68	c #Conflicts:     222000 | #Constraints:     189417
604.05/605.68	c #Conflicts:     223000 | #Constraints:     190417
604.05/605.68	c #Conflicts:     224000 | #Constraints:     191417
944.55/947.03	c #Conflicts:     225000 | #Constraints:     192417
944.55/947.03	c #Conflicts:     226000 | #Constraints:     193417
944.55/947.03	c #Conflicts:     227000 | #Constraints:     194417
944.55/947.03	c #Conflicts:     228000 | #Constraints:     195417
944.55/947.03	c #Conflicts:     229000 | #Constraints:     196417
944.55/947.03	c #Conflicts:     230000 | #Constraints:     197417
944.55/947.03	c #Conflicts:     231000 | #Constraints:     198417
944.55/947.03	c #Conflicts:     232000 | #Constraints:     199417
944.55/947.03	c #Conflicts:     233000 | #Constraints:     200417
944.55/947.03	c #Conflicts:     234000 | #Constraints:     201417
944.55/947.03	c #Conflicts:     235000 | #Constraints:     202417
944.55/947.03	c #Conflicts:     236000 | #Constraints:     203417
944.55/947.03	c #Conflicts:     237000 | #Constraints:     204417
944.55/947.03	c #Conflicts:     238000 | #Constraints:     205417
944.55/947.03	c #Conflicts:     239000 | #Constraints:     206417
944.55/947.03	c #Conflicts:     240000 | #Constraints:     207417
944.55/947.03	c #Conflicts:     241000 | #Constraints:     208417
944.55/947.03	c INPROCESSING
944.55/947.03	c GARBAGE COLLECT
944.55/947.03	c #Conflicts:     242000 | #Constraints:     186132
944.55/947.03	c #Conflicts:     243000 | #Constraints:     187132
944.55/947.03	c #Conflicts:     244000 | #Constraints:     188132
944.55/947.03	c #Conflicts:     245000 | #Constraints:     189132
944.55/947.03	c #Conflicts:     246000 | #Constraints:     190132
944.55/947.03	c #Conflicts:     247000 | #Constraints:     191132
944.55/947.03	c #Conflicts:     248000 | #Constraints:     192132
944.55/947.03	c #Conflicts:     249000 | #Constraints:     193132
944.55/947.03	c #Conflicts:     250000 | #Constraints:     194132
944.55/947.03	c #Conflicts:     251000 | #Constraints:     195132
944.55/947.03	c #Conflicts:     252000 | #Constraints:     196132
944.55/947.03	c #Conflicts:     253000 | #Constraints:     197132
944.55/947.03	c #Conflicts:     254000 | #Constraints:     198132
944.55/947.03	c INPROCESSING
944.55/947.03	c GARBAGE COLLECT
944.55/947.03	c #Conflicts:     255000 | #Constraints:     181169
944.55/947.03	c #Conflicts:     256000 | #Constraints:     182169
944.55/947.03	c #Conflicts:     257000 | #Constraints:     183169
944.55/947.03	c #Conflicts:     258000 | #Constraints:     184169
944.55/947.03	c #Conflicts:     259000 | #Constraints:     185169
944.55/947.03	c #Conflicts:     260000 | #Constraints:     186169
944.55/947.03	c #Conflicts:     261000 | #Constraints:     187169
944.55/947.03	c #Conflicts:     262000 | #Constraints:     188169
944.55/947.03	c #Conflicts:     263000 | #Constraints:     189169
944.55/947.03	c #Conflicts:     264000 | #Constraints:     190169
944.55/947.03	c #Conflicts:     265000 | #Constraints:     191169
944.55/947.03	c #Conflicts:     266000 | #Constraints:     192169
944.55/947.03	c #Conflicts:     267000 | #Constraints:     193169
944.55/947.03	c INPROCESSING
944.55/947.03	c GARBAGE COLLECT
944.55/947.03	c #Conflicts:     268000 | #Constraints:     179527
944.55/947.03	c #Conflicts:     269000 | #Constraints:     180527
944.55/947.03	c #Conflicts:     270000 | #Constraints:     181527
944.55/947.03	c #Conflicts:     271000 | #Constraints:     182527
944.55/947.03	c #Conflicts:     272000 | #Constraints:     183527
944.55/947.03	c #Conflicts:     273000 | #Constraints:     184527
944.55/947.03	c #Conflicts:     274000 | #Constraints:     185527
944.55/947.03	c #Conflicts:     275000 | #Constraints:     186527
944.55/947.03	c #Conflicts:     276000 | #Constraints:     187527
944.55/947.03	c #Conflicts:     277000 | #Constraints:     188527
944.55/947.03	c #Conflicts:     278000 | #Constraints:     189527
944.55/947.03	c #Conflicts:     279000 | #Constraints:     190527
944.55/947.03	c #Conflicts:     280000 | #Constraints:     191527
944.55/947.03	c #Conflicts:     281000 | #Constraints:     192527
944.55/947.03	c #Conflicts:     282000 | #Constraints:     193527
944.55/947.03	c #Conflicts:     283000 | #Constraints:     194527
944.55/947.03	c #Conflicts:     284000 | #Constraints:     195527
944.55/947.03	c #Conflicts:     285000 | #Constraints:     196527
944.55/947.03	c #Conflicts:     286000 | #Constraints:     197527
944.55/947.03	c #Conflicts:     287000 | #Constraints:     198527
944.55/947.03	c #Conflicts:     288000 | #Constraints:     199527
944.55/947.03	c #Conflicts:     289000 | #Constraints:     200527
944.55/947.03	c #Conflicts:     290000 | #Constraints:     201527
944.55/947.03	c #Conflicts:     291000 | #Constraints:     202527
944.55/947.03	c #Conflicts:     292000 | #Constraints:     203527
944.55/947.03	c #Conflicts:     293000 | #Constraints:     204527
944.55/947.03	c #Conflicts:     294000 | #Constraints:     205527
944.55/947.03	c #Conflicts:     295000 | #Constraints:     206527
944.55/947.03	c #Conflicts:     296000 | #Constraints:     207527
944.55/947.03	c #Conflicts:     297000 | #Constraints:     208527
944.55/947.03	c #Conflicts:     298000 | #Constraints:     209527
944.55/947.03	c #Conflicts:     299000 | #Constraints:     210527
944.55/947.03	c #Conflicts:     300000 | #Constraints:     211527
1171.87/1174.95	c #Conflicts:     301000 | #Constraints:     212527
1171.87/1174.95	c #Conflicts:     302000 | #Constraints:     213527
1171.87/1174.95	c #Conflicts:     303000 | #Constraints:     214527
1171.87/1174.95	c #Conflicts:     304000 | #Constraints:     215527
1171.87/1174.95	c INPROCESSING
1171.87/1174.95	c GARBAGE COLLECT
1171.87/1174.95	c #Conflicts:     305000 | #Constraints:     190097
1171.87/1174.95	c #Conflicts:     306000 | #Constraints:     191097
1171.87/1174.95	c #Conflicts:     307000 | #Constraints:     192097
1171.87/1174.95	c #Conflicts:     308000 | #Constraints:     193097
1171.87/1174.95	c #Conflicts:     309000 | #Constraints:     194097
1171.87/1174.95	c #Conflicts:     310000 | #Constraints:     195097
1171.87/1174.95	c #Conflicts:     311000 | #Constraints:     196097
1171.87/1174.95	c #Conflicts:     312000 | #Constraints:     197097
1171.87/1174.95	c #Conflicts:     313000 | #Constraints:     198097
1171.87/1174.95	c #Conflicts:     314000 | #Constraints:     199097
1171.87/1174.95	c #Conflicts:     315000 | #Constraints:     200097
1171.87/1174.95	c #Conflicts:     316000 | #Constraints:     201097
1171.87/1174.95	c #Conflicts:     317000 | #Constraints:     202097
1171.87/1174.95	c #Conflicts:     318000 | #Constraints:     203097
1171.87/1174.95	c INPROCESSING
1171.87/1174.95	c GARBAGE COLLECT
1171.87/1174.95	c #Conflicts:     319000 | #Constraints:     183648
1171.87/1174.95	c #Conflicts:     320000 | #Constraints:     184648
1171.87/1174.95	c #Conflicts:     321000 | #Constraints:     185648
1171.87/1174.95	c #Conflicts:     322000 | #Constraints:     186648
1171.87/1174.95	c #Conflicts:     323000 | #Constraints:     187648
1171.87/1174.95	c #Conflicts:     324000 | #Constraints:     188648
1171.87/1174.95	c #Conflicts:     325000 | #Constraints:     189648
1171.87/1174.95	c #Conflicts:     326000 | #Constraints:     190648
1171.87/1174.95	c #Conflicts:     327000 | #Constraints:     191648
1171.87/1174.95	c #Conflicts:     328000 | #Constraints:     192648
1171.87/1174.95	c #Conflicts:     329000 | #Constraints:     193648
1171.87/1174.95	c #Conflicts:     330000 | #Constraints:     194648
1171.87/1174.95	c #Conflicts:     331000 | #Constraints:     195648
1171.87/1174.95	c #Conflicts:     332000 | #Constraints:     196648
1171.87/1174.95	c #Conflicts:     333000 | #Constraints:     197648
1171.87/1174.95	c INPROCESSING
1171.87/1174.95	c GARBAGE COLLECT
1171.87/1174.95	c #Conflicts:     334000 | #Constraints:     182636
1171.87/1174.95	c #Conflicts:     335000 | #Constraints:     183636
1171.87/1174.95	c #Conflicts:     336000 | #Constraints:     184636
1171.87/1174.95	c #Conflicts:     337000 | #Constraints:     185636
1171.87/1174.95	c #Conflicts:     338000 | #Constraints:     186636
1171.87/1174.95	c #Conflicts:     339000 | #Constraints:     187636
1171.87/1174.95	c #Conflicts:     340000 | #Constraints:     188636
1171.87/1174.95	c #Conflicts:     341000 | #Constraints:     189636
1171.87/1174.95	c #Conflicts:     342000 | #Constraints:     190636
1171.87/1174.95	c #Conflicts:     343000 | #Constraints:     191636
1171.87/1174.95	c #Conflicts:     344000 | #Constraints:     192636
1171.87/1174.95	c #Conflicts:     345000 | #Constraints:     193636
1171.87/1174.95	c #Conflicts:     346000 | #Constraints:     194636
1171.87/1174.95	c #Conflicts:     347000 | #Constraints:     195636
1171.87/1174.95	c #Conflicts:     348000 | #Constraints:     196636
1171.87/1174.95	c #Conflicts:     349000 | #Constraints:     197636
1171.87/1174.95	c #Conflicts:     350000 | #Constraints:     198636
1171.87/1174.95	c #Conflicts:     351000 | #Constraints:     199636
1171.87/1174.95	c #Conflicts:     352000 | #Constraints:     200636
1171.87/1174.95	c #Conflicts:     353000 | #Constraints:     201636
1171.87/1174.95	c #Conflicts:     354000 | #Constraints:     202636
1171.87/1174.95	c #Conflicts:     355000 | #Constraints:     203636
1171.87/1174.95	c #Conflicts:     356000 | #Constraints:     204636
1171.87/1174.95	c #Conflicts:     357000 | #Constraints:     205636
1171.87/1174.95	c #Conflicts:     358000 | #Constraints:     206636
1171.87/1174.95	c #Conflicts:     359000 | #Constraints:     207636
1171.87/1174.95	c #Conflicts:     360000 | #Constraints:     208636
1171.87/1174.95	c #Conflicts:     361000 | #Constraints:     209636
1171.87/1174.95	c #Conflicts:     362000 | #Constraints:     210636
1171.87/1174.95	c #Conflicts:     363000 | #Constraints:     211636
1171.87/1174.95	c #Conflicts:     364000 | #Constraints:     212636
1171.87/1174.95	c #Conflicts:     365000 | #Constraints:     213636
1171.87/1174.95	c #Conflicts:     366000 | #Constraints:     214636
1171.87/1174.95	c #Conflicts:     367000 | #Constraints:     215636
1171.87/1174.95	c #Conflicts:     368000 | #Constraints:     216636
1171.87/1174.95	c #Conflicts:     369000 | #Constraints:     217636
1171.87/1174.95	c #Conflicts:     370000 | #Constraints:     218636
1171.87/1174.95	c #Conflicts:     371000 | #Constraints:     219636
1171.87/1174.95	c #Conflicts:     372000 | #Constraints:     220636
1171.87/1174.95	c #Conflicts:     373000 | #Constraints:     221636
1171.87/1174.95	c #Conflicts:     374000 | #Constraints:     222636
1171.87/1174.95	c INPROCESSING
1171.87/1174.95	c GARBAGE COLLECT
1171.87/1174.95	c #Conflicts:     375000 | #Constraints:     193758
1171.87/1174.95	c #Conflicts:     376000 | #Constraints:     194758
1171.87/1174.95	c #Conflicts:     377000 | #Constraints:     195758
1547.73/1551.85	c #Conflicts:     378000 | #Constraints:     196758
1547.73/1551.85	c #Conflicts:     379000 | #Constraints:     197758
1547.73/1551.85	c #Conflicts:     380000 | #Constraints:     198758
1547.73/1551.85	c #Conflicts:     381000 | #Constraints:     199758
1547.73/1551.85	c #Conflicts:     382000 | #Constraints:     200758
1547.73/1551.85	c #Conflicts:     383000 | #Constraints:     201758
1547.73/1551.85	c #Conflicts:     384000 | #Constraints:     202758
1547.73/1551.85	c #Conflicts:     385000 | #Constraints:     203758
1547.73/1551.85	c #Conflicts:     386000 | #Constraints:     204758
1547.73/1551.85	c #Conflicts:     387000 | #Constraints:     205758
1547.73/1551.85	c #Conflicts:     388000 | #Constraints:     206758
1547.73/1551.85	c #Conflicts:     389000 | #Constraints:     207758
1547.73/1551.85	c #Conflicts:     390000 | #Constraints:     208758
1547.73/1551.85	c INPROCESSING
1547.73/1551.85	c GARBAGE COLLECT
1547.73/1551.85	c #Conflicts:     391000 | #Constraints:     187084
1547.73/1551.85	c #Conflicts:     392000 | #Constraints:     188084
1547.73/1551.85	c #Conflicts:     393000 | #Constraints:     189084
1547.73/1551.85	c #Conflicts:     394000 | #Constraints:     190084
1547.73/1551.85	c #Conflicts:     395000 | #Constraints:     191084
1547.73/1551.85	c #Conflicts:     396000 | #Constraints:     192084
1547.73/1551.85	c #Conflicts:     397000 | #Constraints:     193084
1547.73/1551.85	c #Conflicts:     398000 | #Constraints:     194084
1547.73/1551.85	c #Conflicts:     399000 | #Constraints:     195084
1547.73/1551.85	c #Conflicts:     400000 | #Constraints:     196084
1547.73/1551.85	c #Conflicts:     401000 | #Constraints:     197084
1547.73/1551.85	c #Conflicts:     402000 | #Constraints:     198084
1547.73/1551.85	c #Conflicts:     403000 | #Constraints:     199084
1547.73/1551.85	c #Conflicts:     404000 | #Constraints:     200084
1547.73/1551.85	c #Conflicts:     405000 | #Constraints:     201084
1547.73/1551.85	c #Conflicts:     406000 | #Constraints:     202084
1547.73/1551.85	c #Conflicts:     407000 | #Constraints:     203084
1547.73/1551.85	c #Conflicts:     408000 | #Constraints:     204084
1547.73/1551.85	c #Conflicts:     409000 | #Constraints:     205084
1547.73/1551.85	c #Conflicts:     410000 | #Constraints:     206084
1547.73/1551.85	c #Conflicts:     411000 | #Constraints:     207084
1547.73/1551.85	c #Conflicts:     412000 | #Constraints:     208084
1547.73/1551.85	c #Conflicts:     413000 | #Constraints:     209084
1547.73/1551.85	c #Conflicts:     414000 | #Constraints:     210084
1547.73/1551.85	c #Conflicts:     415000 | #Constraints:     211084
1547.73/1551.85	c #Conflicts:     416000 | #Constraints:     212084
1547.73/1551.85	c #Conflicts:     417000 | #Constraints:     213084
1547.73/1551.85	c #Conflicts:     418000 | #Constraints:     214084
1547.73/1551.85	c #Conflicts:     419000 | #Constraints:     215084
1547.73/1551.85	c #Conflicts:     420000 | #Constraints:     216084
1547.73/1551.85	c #Conflicts:     421000 | #Constraints:     217084
1547.73/1551.85	c #Conflicts:     422000 | #Constraints:     218084
1547.73/1551.85	c #Conflicts:     423000 | #Constraints:     219084
1547.73/1551.85	c #Conflicts:     424000 | #Constraints:     220084
1547.73/1551.85	c #Conflicts:     425000 | #Constraints:     221084
1547.73/1551.85	c #Conflicts:     426000 | #Constraints:     222084
1547.73/1551.85	c #Conflicts:     427000 | #Constraints:     223084
1547.73/1551.85	c #Conflicts:     428000 | #Constraints:     224084
1547.73/1551.85	c #Conflicts:     429000 | #Constraints:     225084
1547.73/1551.85	c #Conflicts:     430000 | #Constraints:     226084
1547.73/1551.85	c #Conflicts:     431000 | #Constraints:     227084
1547.73/1551.85	c #Conflicts:     432000 | #Constraints:     228084
1547.73/1551.85	c #Conflicts:     433000 | #Constraints:     229084
1547.73/1551.85	c #Conflicts:     434000 | #Constraints:     230084
1547.73/1551.85	c INPROCESSING
1547.73/1551.85	c GARBAGE COLLECT
1547.73/1551.85	c #Conflicts:     435000 | #Constraints:     197654
1547.73/1551.85	c #Conflicts:     436000 | #Constraints:     198654
1547.73/1551.85	c #Conflicts:     437000 | #Constraints:     199654
1547.73/1551.85	c #Conflicts:     438000 | #Constraints:     200654
1547.73/1551.85	c #Conflicts:     439000 | #Constraints:     201654
1547.73/1551.85	c #Conflicts:     440000 | #Constraints:     202654
1547.73/1551.85	c #Conflicts:     441000 | #Constraints:     203654
1547.73/1551.85	c #Conflicts:     442000 | #Constraints:     204654
1547.73/1551.85	c #Conflicts:     443000 | #Constraints:     205654
1547.73/1551.85	c #Conflicts:     444000 | #Constraints:     206654
1547.73/1551.85	c #Conflicts:     445000 | #Constraints:     207654
1547.73/1551.85	c #Conflicts:     446000 | #Constraints:     208654
1547.73/1551.85	c #Conflicts:     447000 | #Constraints:     209654
1547.73/1551.85	c #Conflicts:     448000 | #Constraints:     210654
1547.73/1551.85	c #Conflicts:     449000 | #Constraints:     211654
1547.73/1551.85	c #Conflicts:     450000 | #Constraints:     212654
1547.73/1551.85	c #Conflicts:     451000 | #Constraints:     213654
1547.73/1551.85	c INPROCESSING
1547.73/1551.85	c GARBAGE COLLECT
1547.73/1551.85	c #Conflicts:     452000 | #Constraints:     189427
1547.73/1551.85	c #Conflicts:     453000 | #Constraints:     190427
2200.61/2206.43	c #Conflicts:     454000 | #Constraints:     191427
2200.61/2206.43	c #Conflicts:     455000 | #Constraints:     192427
2200.61/2206.43	c #Conflicts:     456000 | #Constraints:     193427
2200.61/2206.43	c #Conflicts:     457000 | #Constraints:     194427
2200.61/2206.43	c #Conflicts:     458000 | #Constraints:     195427
2200.61/2206.43	c #Conflicts:     459000 | #Constraints:     196427
2200.61/2206.43	c #Conflicts:     460000 | #Constraints:     197427
2200.61/2206.43	c #Conflicts:     461000 | #Constraints:     198427
2200.61/2206.43	c #Conflicts:     462000 | #Constraints:     199427
2200.61/2206.43	c #Conflicts:     463000 | #Constraints:     200427
2200.61/2206.43	c #Conflicts:     464000 | #Constraints:     201427
2200.61/2206.43	c #Conflicts:     465000 | #Constraints:     202427
2200.61/2206.43	c #Conflicts:     466000 | #Constraints:     203427
2200.61/2206.43	c #Conflicts:     467000 | #Constraints:     204427
2200.61/2206.43	c #Conflicts:     468000 | #Constraints:     205427
2200.61/2206.43	c #Conflicts:     469000 | #Constraints:     206427
2200.61/2206.43	c #Conflicts:     470000 | #Constraints:     207427
2200.61/2206.43	c #Conflicts:     471000 | #Constraints:     208427
2200.61/2206.43	c #Conflicts:     472000 | #Constraints:     209427
2200.61/2206.43	c #Conflicts:     473000 | #Constraints:     210427
2200.61/2206.43	c #Conflicts:     474000 | #Constraints:     211427
2200.61/2206.43	c #Conflicts:     475000 | #Constraints:     212427
2200.61/2206.43	c #Conflicts:     476000 | #Constraints:     213427
2200.61/2206.43	c #Conflicts:     477000 | #Constraints:     214427
2200.61/2206.43	c #Conflicts:     478000 | #Constraints:     215427
2200.61/2206.43	c #Conflicts:     479000 | #Constraints:     216427
2200.61/2206.43	c #Conflicts:     480000 | #Constraints:     217427
2200.61/2206.43	c #Conflicts:     481000 | #Constraints:     218427
2200.61/2206.43	c #Conflicts:     482000 | #Constraints:     219427
2200.61/2206.43	c #Conflicts:     483000 | #Constraints:     220427
2200.61/2206.43	c #Conflicts:     484000 | #Constraints:     221427
2200.61/2206.43	c #Conflicts:     485000 | #Constraints:     222427
2200.61/2206.43	c #Conflicts:     486000 | #Constraints:     223427
2200.61/2206.43	c #Conflicts:     487000 | #Constraints:     224427
2200.61/2206.43	c #Conflicts:     488000 | #Constraints:     225427
2200.61/2206.43	c #Conflicts:     489000 | #Constraints:     226427
2200.61/2206.43	c #Conflicts:     490000 | #Constraints:     227427
2200.61/2206.43	c #Conflicts:     491000 | #Constraints:     228427
2200.61/2206.43	c #Conflicts:     492000 | #Constraints:     229427
2200.61/2206.43	c #Conflicts:     493000 | #Constraints:     230427
2200.61/2206.43	c #Conflicts:     494000 | #Constraints:     231427
2200.61/2206.43	c #Conflicts:     495000 | #Constraints:     232427
2200.61/2206.43	c #Conflicts:     496000 | #Constraints:     233427
2200.61/2206.43	c #Conflicts:     497000 | #Constraints:     234427
2200.61/2206.43	c #Conflicts:     498000 | #Constraints:     235427
2200.61/2206.43	c INPROCESSING
2200.61/2206.43	c GARBAGE COLLECT
2200.61/2206.43	c #Conflicts:     499000 | #Constraints:     200308
2200.61/2206.43	c #Conflicts:     500000 | #Constraints:     201308
2200.61/2206.43	c #Conflicts:     501000 | #Constraints:     202308
2200.61/2206.43	c #Conflicts:     502000 | #Constraints:     203308
2200.61/2206.43	c #Conflicts:     503000 | #Constraints:     204308
2200.61/2206.43	c #Conflicts:     504000 | #Constraints:     205308
2200.61/2206.43	c #Conflicts:     505000 | #Constraints:     206308
2200.61/2206.43	c #Conflicts:     506000 | #Constraints:     207308
2200.61/2206.43	c #Conflicts:     507000 | #Constraints:     208308
2200.61/2206.43	c #Conflicts:     508000 | #Constraints:     209308
2200.61/2206.43	c #Conflicts:     509000 | #Constraints:     210308
2200.61/2206.43	c #Conflicts:     510000 | #Constraints:     211308
2200.61/2206.43	c #Conflicts:     511000 | #Constraints:     212308
2200.61/2206.43	c #Conflicts:     512000 | #Constraints:     213308
2200.61/2206.43	c #Conflicts:     513000 | #Constraints:     214308
2200.61/2206.43	c #Conflicts:     514000 | #Constraints:     215308
2200.61/2206.43	c #Conflicts:     515000 | #Constraints:     216308
2200.61/2206.43	c #Conflicts:     516000 | #Constraints:     217308
2200.61/2206.43	c INPROCESSING
2200.61/2206.43	c GARBAGE COLLECT
2200.61/2206.43	c #Conflicts:     517000 | #Constraints:     191106
2200.61/2206.43	c #Conflicts:     518000 | #Constraints:     192106
2200.61/2206.43	c #Conflicts:     519000 | #Constraints:     193106
2200.61/2206.43	c #Conflicts:     520000 | #Constraints:     194106
2200.61/2206.43	c #Conflicts:     521000 | #Constraints:     195106
2200.61/2206.43	c #Conflicts:     522000 | #Constraints:     196106
2200.61/2206.43	c #Conflicts:     523000 | #Constraints:     197106
2200.61/2206.43	c #Conflicts:     524000 | #Constraints:     198106
2200.61/2206.43	c #Conflicts:     525000 | #Constraints:     199106
2200.61/2206.43	c #Conflicts:     526000 | #Constraints:     200106
2200.61/2206.43	c #Conflicts:     527000 | #Constraints:     201106
2200.61/2206.43	c #Conflicts:     528000 | #Constraints:     202106
2200.61/2206.43	c #Conflicts:     529000 | #Constraints:     203106
2200.61/2206.43	c #Conflicts:     530000 | #Constraints:     204106
2200.61/2206.43	c #Conflicts:     531000 | #Constraints:     205106
2508.64/2515.25	c #Conflicts:     532000 | #Constraints:     206106
2508.64/2515.25	c #Conflicts:     533000 | #Constraints:     207106
2508.64/2515.25	c #Conflicts:     534000 | #Constraints:     208106
2508.64/2515.25	c #Conflicts:     535000 | #Constraints:     209106
2508.64/2515.25	c INPROCESSING
2508.64/2515.25	c GARBAGE COLLECT
2508.64/2515.25	c #Conflicts:     536000 | #Constraints:     189875
2508.64/2515.25	c #Conflicts:     537000 | #Constraints:     190875
2508.64/2515.25	c #Conflicts:     538000 | #Constraints:     191875
2508.64/2515.25	c #Conflicts:     539000 | #Constraints:     192875
2508.64/2515.25	c #Conflicts:     540000 | #Constraints:     193875
2508.64/2515.25	c #Conflicts:     541000 | #Constraints:     194875
2508.64/2515.25	c #Conflicts:     542000 | #Constraints:     195875
2508.64/2515.25	c #Conflicts:     543000 | #Constraints:     196875
2508.64/2515.25	c #Conflicts:     544000 | #Constraints:     197875
2508.64/2515.25	c #Conflicts:     545000 | #Constraints:     198875
2508.64/2515.25	c #Conflicts:     546000 | #Constraints:     199875
2508.64/2515.25	c #Conflicts:     547000 | #Constraints:     200875
2508.64/2515.25	c #Conflicts:     548000 | #Constraints:     201875
2508.64/2515.25	c #Conflicts:     549000 | #Constraints:     202875
2508.64/2515.25	c #Conflicts:     550000 | #Constraints:     203875
2508.64/2515.25	c #Conflicts:     551000 | #Constraints:     204875
2508.64/2515.25	c #Conflicts:     552000 | #Constraints:     205875
2508.64/2515.25	c #Conflicts:     553000 | #Constraints:     206875
2508.64/2515.25	c #Conflicts:     554000 | #Constraints:     207875
2508.64/2515.25	c #Conflicts:     555000 | #Constraints:     208875
2508.64/2515.25	c #Conflicts:     556000 | #Constraints:     209875
2508.64/2515.25	c #Conflicts:     557000 | #Constraints:     210875
2508.64/2515.25	c #Conflicts:     558000 | #Constraints:     211875
2508.64/2515.25	c #Conflicts:     559000 | #Constraints:     212875
2508.64/2515.25	c #Conflicts:     560000 | #Constraints:     213875
2508.64/2515.25	c #Conflicts:     561000 | #Constraints:     214875
2508.64/2515.25	c #Conflicts:     562000 | #Constraints:     215875
2508.64/2515.25	c #Conflicts:     563000 | #Constraints:     216875
2508.64/2515.25	c #Conflicts:     564000 | #Constraints:     217875
2508.64/2515.25	c #Conflicts:     565000 | #Constraints:     218875
2508.64/2515.25	c #Conflicts:     566000 | #Constraints:     219875
2508.64/2515.25	c #Conflicts:     567000 | #Constraints:     220875
2508.64/2515.25	c #Conflicts:     568000 | #Constraints:     221875
2508.64/2515.25	c #Conflicts:     569000 | #Constraints:     222875
2508.64/2515.25	c #Conflicts:     570000 | #Constraints:     223875
2508.64/2515.25	c #Conflicts:     571000 | #Constraints:     224875
2508.64/2515.25	c #Conflicts:     572000 | #Constraints:     225875
2508.64/2515.25	c #Conflicts:     573000 | #Constraints:     226875
2508.64/2515.25	c #Conflicts:     574000 | #Constraints:     227875
2508.64/2515.25	c #Conflicts:     575000 | #Constraints:     228875
2508.64/2515.25	c #Conflicts:     576000 | #Constraints:     229875
2508.64/2515.25	c #Conflicts:     577000 | #Constraints:     230875
2508.64/2515.25	c #Conflicts:     578000 | #Constraints:     231875
2508.64/2515.25	c #Conflicts:     579000 | #Constraints:     232875
2508.64/2515.25	c #Conflicts:     580000 | #Constraints:     233875
2508.64/2515.25	c #Conflicts:     581000 | #Constraints:     234875
2508.64/2515.25	c #Conflicts:     582000 | #Constraints:     235875
2508.64/2515.25	c #Conflicts:     583000 | #Constraints:     236875
2508.64/2515.25	c #Conflicts:     584000 | #Constraints:     237875
2508.64/2515.25	c #Conflicts:     585000 | #Constraints:     238875
2508.64/2515.25	c #Conflicts:     586000 | #Constraints:     239875
2508.64/2515.25	c INPROCESSING
2508.64/2515.25	c GARBAGE COLLECT
2508.64/2515.25	c #Conflicts:     587000 | #Constraints:     202242
2508.64/2515.25	c #Conflicts:     588000 | #Constraints:     203242
2508.64/2515.25	c #Conflicts:     589000 | #Constraints:     204242
2508.64/2515.25	c #Conflicts:     590000 | #Constraints:     205242
2508.64/2515.25	c #Conflicts:     591000 | #Constraints:     206242
2508.64/2515.25	c #Conflicts:     592000 | #Constraints:     207242
2508.64/2515.25	c #Conflicts:     593000 | #Constraints:     208242
2508.64/2515.25	c #Conflicts:     594000 | #Constraints:     209242
2508.64/2515.25	c #Conflicts:     595000 | #Constraints:     210242
2508.64/2515.25	c #Conflicts:     596000 | #Constraints:     211242
2508.64/2515.25	c #Conflicts:     597000 | #Constraints:     212242
2508.64/2515.25	c #Conflicts:     598000 | #Constraints:     213242
2508.64/2515.25	c #Conflicts:     599000 | #Constraints:     214242
2508.64/2515.25	c #Conflicts:     600000 | #Constraints:     215242
2508.64/2515.25	c #Conflicts:     601000 | #Constraints:     216242
2508.64/2515.25	c #Conflicts:     602000 | #Constraints:     217242
2508.64/2515.25	c #Conflicts:     603000 | #Constraints:     218242
2508.64/2515.25	c #Conflicts:     604000 | #Constraints:     219242
2508.64/2515.25	c #Conflicts:     605000 | #Constraints:     220242
2508.64/2515.25	c #Conflicts:     606000 | #Constraints:     221242
2508.64/2515.25	c INPROCESSING
2508.64/2515.25	c GARBAGE COLLECT
2508.64/2515.25	c #Conflicts:     607000 | #Constraints:     193210
2508.64/2515.25	c #Conflicts:     608000 | #Constraints:     194210
2812.46/2819.84	c #Conflicts:     609000 | #Constraints:     195210
2812.46/2819.84	c #Conflicts:     610000 | #Constraints:     196210
2812.46/2819.84	c #Conflicts:     611000 | #Constraints:     197210
2812.46/2819.84	c #Conflicts:     612000 | #Constraints:     198210
2812.46/2819.84	c #Conflicts:     613000 | #Constraints:     199210
2812.46/2819.84	c #Conflicts:     614000 | #Constraints:     200210
2812.46/2819.84	c #Conflicts:     615000 | #Constraints:     201210
2812.46/2819.84	c #Conflicts:     616000 | #Constraints:     202210
2812.46/2819.84	c #Conflicts:     617000 | #Constraints:     203210
2812.46/2819.84	c #Conflicts:     618000 | #Constraints:     204210
2812.46/2819.84	c #Conflicts:     619000 | #Constraints:     205210
2812.46/2819.84	c #Conflicts:     620000 | #Constraints:     206210
2812.46/2819.84	c #Conflicts:     621000 | #Constraints:     207210
2812.46/2819.84	c #Conflicts:     622000 | #Constraints:     208210
2812.46/2819.84	c #Conflicts:     623000 | #Constraints:     209210
2812.46/2819.84	c #Conflicts:     624000 | #Constraints:     210210
2812.46/2819.84	c #Conflicts:     625000 | #Constraints:     211210
2812.46/2819.84	c #Conflicts:     626000 | #Constraints:     212210
2812.46/2819.84	c #Conflicts:     627000 | #Constraints:     213210
2812.46/2819.84	c #Conflicts:     628000 | #Constraints:     214210
2812.46/2819.84	c #Conflicts:     629000 | #Constraints:     215210
2812.46/2819.84	c #Conflicts:     630000 | #Constraints:     216210
2812.46/2819.84	c #Conflicts:     631000 | #Constraints:     217210
2812.46/2819.84	c #Conflicts:     632000 | #Constraints:     218210
2812.46/2819.84	c #Conflicts:     633000 | #Constraints:     219210
2812.46/2819.84	c #Conflicts:     634000 | #Constraints:     220210
2812.46/2819.84	c #Conflicts:     635000 | #Constraints:     221210
2812.46/2819.84	c #Conflicts:     636000 | #Constraints:     222210
2812.46/2819.84	c #Conflicts:     637000 | #Constraints:     223210
2812.46/2819.84	c #Conflicts:     638000 | #Constraints:     224210
2812.46/2819.84	c #Conflicts:     639000 | #Constraints:     225210
2812.46/2819.84	c #Conflicts:     640000 | #Constraints:     226210
2812.46/2819.84	c #Conflicts:     641000 | #Constraints:     227210
2812.46/2819.84	c #Conflicts:     642000 | #Constraints:     228210
2812.46/2819.84	c #Conflicts:     643000 | #Constraints:     229210
2812.46/2819.84	c #Conflicts:     644000 | #Constraints:     230210
2812.46/2819.84	c #Conflicts:     645000 | #Constraints:     231210
2812.46/2819.84	c #Conflicts:     646000 | #Constraints:     232210
2812.46/2819.84	c #Conflicts:     647000 | #Constraints:     233210
2812.46/2819.84	c #Conflicts:     648000 | #Constraints:     234210
2812.46/2819.84	c #Conflicts:     649000 | #Constraints:     235210
2812.46/2819.84	c #Conflicts:     650000 | #Constraints:     236210
2812.46/2819.84	c #Conflicts:     651000 | #Constraints:     237210
2812.46/2819.84	c #Conflicts:     652000 | #Constraints:     238210
2812.46/2819.84	c #Conflicts:     653000 | #Constraints:     239210
2812.46/2819.84	c #Conflicts:     654000 | #Constraints:     240210
2812.46/2819.84	c #Conflicts:     655000 | #Constraints:     241210
2812.46/2819.84	c #Conflicts:     656000 | #Constraints:     242210
2812.46/2819.84	c #Conflicts:     657000 | #Constraints:     243210
2812.46/2819.84	c #Conflicts:     658000 | #Constraints:     244210
2812.46/2819.84	c #Conflicts:     659000 | #Constraints:     245210
2812.46/2819.84	c #Conflicts:     660000 | #Constraints:     246210
2812.46/2819.84	c #Conflicts:     661000 | #Constraints:     247210
2812.46/2819.84	c INPROCESSING
2812.46/2819.84	c GARBAGE COLLECT
2812.46/2819.84	c #Conflicts:     662000 | #Constraints:     198893
2812.46/2819.84	c #Conflicts:     663000 | #Constraints:     199893
2812.46/2819.84	c #Conflicts:     664000 | #Constraints:     200893
2812.46/2819.84	c #Conflicts:     665000 | #Constraints:     201893
2812.46/2819.84	c #Conflicts:     666000 | #Constraints:     202893
2812.46/2819.84	c #Conflicts:     667000 | #Constraints:     203893
2812.46/2819.84	c #Conflicts:     668000 | #Constraints:     204893
2812.46/2819.84	c #Conflicts:     669000 | #Constraints:     205893
2812.46/2819.84	c #Conflicts:     670000 | #Constraints:     206893
2812.46/2819.84	c #Conflicts:     671000 | #Constraints:     207893
2812.46/2819.84	c #Conflicts:     672000 | #Constraints:     208893
2812.46/2819.84	c #Conflicts:     673000 | #Constraints:     209893
2812.46/2819.84	c #Conflicts:     674000 | #Constraints:     210893
2812.46/2819.84	c #Conflicts:     675000 | #Constraints:     211893
2812.46/2819.84	c #Conflicts:     676000 | #Constraints:     212893
2812.46/2819.84	c #Conflicts:     677000 | #Constraints:     213893
2812.46/2819.84	c #Conflicts:     678000 | #Constraints:     214893
2812.46/2819.84	c #Conflicts:     679000 | #Constraints:     215893
2812.46/2819.84	c #Conflicts:     680000 | #Constraints:     216893
2812.46/2819.84	c #Conflicts:     681000 | #Constraints:     217893
2812.46/2819.84	c #Conflicts:     682000 | #Constraints:     218893
2812.46/2819.84	c INPROCESSING
2812.46/2819.84	c GARBAGE COLLECT
2812.46/2819.84	c #Conflicts:     683000 | #Constraints:     188762
2812.46/2819.84	c #Conflicts:     684000 | #Constraints:     189762
2812.46/2819.84	c #Conflicts:     685000 | #Constraints:     190762
3573.82/3583.30	c #Conflicts:     686000 | #Constraints:     191762
3573.82/3583.30	c #Conflicts:     687000 | #Constraints:     192762
3573.82/3583.30	c #Conflicts:     688000 | #Constraints:     193762
3573.82/3583.30	c #Conflicts:     689000 | #Constraints:     194762
3573.82/3583.30	c #Conflicts:     690000 | #Constraints:     195762
3573.82/3583.30	c #Conflicts:     691000 | #Constraints:     196762
3573.82/3583.30	c #Conflicts:     692000 | #Constraints:     197762
3573.82/3583.30	c #Conflicts:     693000 | #Constraints:     198762
3573.82/3583.30	c #Conflicts:     694000 | #Constraints:     199762
3573.82/3583.30	c #Conflicts:     695000 | #Constraints:     200762
3573.82/3583.30	c #Conflicts:     696000 | #Constraints:     201762
3573.82/3583.30	c #Conflicts:     697000 | #Constraints:     202762
3573.82/3583.30	c #Conflicts:     698000 | #Constraints:     203762
3573.82/3583.30	c #Conflicts:     699000 | #Constraints:     204762
3573.82/3583.30	c #Conflicts:     700000 | #Constraints:     205762
3573.82/3583.30	c #Conflicts:     701000 | #Constraints:     206762
3573.82/3583.30	c #Conflicts:     702000 | #Constraints:     207762
3573.82/3583.30	c #Conflicts:     703000 | #Constraints:     208762
3573.82/3583.30	c #Conflicts:     704000 | #Constraints:     209762
3573.82/3583.30	c #Conflicts:     705000 | #Constraints:     210762
3573.82/3583.30	c #Conflicts:     706000 | #Constraints:     211762
3573.82/3583.30	c #Conflicts:     707000 | #Constraints:     212762
3573.82/3583.30	c #Conflicts:     708000 | #Constraints:     213762
3573.82/3583.30	c #Conflicts:     709000 | #Constraints:     214762
3573.82/3583.30	c #Conflicts:     710000 | #Constraints:     215762
3573.82/3583.30	c #Conflicts:     711000 | #Constraints:     216762
3573.82/3583.30	c #Conflicts:     712000 | #Constraints:     217762
3573.82/3583.30	c #Conflicts:     713000 | #Constraints:     218762
3573.82/3583.30	c #Conflicts:     714000 | #Constraints:     219762
3573.82/3583.30	c #Conflicts:     715000 | #Constraints:     220762
3573.82/3583.30	c #Conflicts:     716000 | #Constraints:     221762
3573.82/3583.30	c #Conflicts:     717000 | #Constraints:     222762
3573.82/3583.30	c #Conflicts:     718000 | #Constraints:     223762
3573.82/3583.30	c #Conflicts:     719000 | #Constraints:     224762
3573.82/3583.30	c #Conflicts:     720000 | #Constraints:     225762
3573.82/3583.30	c #Conflicts:     721000 | #Constraints:     226762
3573.82/3583.30	c #Conflicts:     722000 | #Constraints:     227762
3573.82/3583.30	c #Conflicts:     723000 | #Constraints:     228762
3573.82/3583.30	c #Conflicts:     724000 | #Constraints:     229762
3573.82/3583.30	c #Conflicts:     725000 | #Constraints:     230762
3573.82/3583.30	c #Conflicts:     726000 | #Constraints:     231762
3573.82/3583.30	c #Conflicts:     727000 | #Constraints:     232762
3573.82/3583.30	c #Conflicts:     728000 | #Constraints:     233762
3573.82/3583.30	c #Conflicts:     729000 | #Constraints:     234762
3573.82/3583.30	c #Conflicts:     730000 | #Constraints:     235762
3573.82/3583.30	c #Conflicts:     731000 | #Constraints:     236762
3573.82/3583.30	c #Conflicts:     732000 | #Constraints:     237762
3573.82/3583.30	c #Conflicts:     733000 | #Constraints:     238762
3573.82/3583.30	c #Conflicts:     734000 | #Constraints:     239762
3573.82/3583.30	c #Conflicts:     735000 | #Constraints:     240762
3573.82/3583.30	c #Conflicts:     736000 | #Constraints:     241762
3573.82/3583.30	c #Conflicts:     737000 | #Constraints:     242762
3573.82/3583.30	c #Conflicts:     738000 | #Constraints:     243762
3573.82/3583.30	c #Conflicts:     739000 | #Constraints:     244762
3573.82/3583.30	c #Conflicts:     740000 | #Constraints:     245762
3573.82/3583.30	c INPROCESSING
3573.82/3583.30	c GARBAGE COLLECT
3573.82/3583.30	c #Conflicts:     741000 | #Constraints:     201277
3573.82/3583.30	c #Conflicts:     742000 | #Constraints:     202277
3573.82/3583.30	c #Conflicts:     743000 | #Constraints:     203277
3573.82/3583.30	c #Conflicts:     744000 | #Constraints:     204277
3573.82/3583.31	c #Conflicts:     745000 | #Constraints:     205277
3573.82/3583.31	c #Conflicts:     746000 | #Constraints:     206277
3573.82/3583.31	c #Conflicts:     747000 | #Constraints:     207277
3573.82/3583.31	c #Conflicts:     748000 | #Constraints:     208277
3573.82/3583.31	c #Conflicts:     749000 | #Constraints:     209277
3573.82/3583.31	c #Conflicts:     750000 | #Constraints:     210277
3573.82/3583.31	c #Conflicts:     751000 | #Constraints:     211277
3573.82/3583.31	c #Conflicts:     752000 | #Constraints:     212277
3573.82/3583.31	c #Conflicts:     753000 | #Constraints:     213277
3573.82/3583.31	c #Conflicts:     754000 | #Constraints:     214277
3573.82/3583.31	c #Conflicts:     755000 | #Constraints:     215277
3573.82/3583.31	c #Conflicts:     756000 | #Constraints:     216277
3573.82/3583.31	c #Conflicts:     757000 | #Constraints:     217277
3573.82/3583.31	c #Conflicts:     758000 | #Constraints:     218277
3573.82/3583.31	c #Conflicts:     759000 | #Constraints:     219277
3573.82/3583.31	c #Conflicts:     760000 | #Constraints:     220277
3573.82/3583.31	c #Conflicts:     761000 | #Constraints:     221277
3573.82/3583.31	c #Conflicts:     762000 | #Constraints:     222277
3573.82/3583.31	c INPROCESSING
3573.82/3583.31	c GARBAGE COLLECT
3573.82/3583.31	c #Conflicts:     763000 | #Constraints:     191014
3600.05/3609.60	c #Conflicts:     764000 | #Constraints:     192014
3600.05/3609.60	c #Conflicts:     765000 | #Constraints:     193014
3600.05/3609.60	c #Conflicts:     766000 | #Constraints:     194014
3600.05/3609.60	c #Conflicts:     767000 | #Constraints:     195014
3600.05/3609.60	c #Conflicts:     768000 | #Constraints:     196014
3600.05/3609.60	c #Conflicts:     769000 | #Constraints:     197014
3600.05/3609.60	c #Conflicts:     770000 | #Constraints:     198014
3600.05/3609.60	c #Conflicts:     771000 | #Constraints:     199014
3600.05/3609.60	c Program interrupted by user.
3600.05/3609.60	c cpu time 3587.57 s
3600.05/3609.60	c deterministic time 238655831370 2.39e+11
3600.05/3609.60	c optimization time 26.9171 s
3600.05/3609.60	c total solve time 3560.18 s
3600.05/3609.60	c core-guided solve time 3560.18 s
3600.05/3609.60	c propagation time 1481.04 s
3600.05/3609.60	c conflict analysis time 2020.91 s
3600.05/3609.60	c propagations 2658945376
3600.05/3609.60	c resolve steps 36987467
3600.05/3609.60	c decisions 10352751
3600.05/3609.60	c conflicts 771307
3600.05/3609.60	c restarts 1632
3600.05/3609.60	c inprocessing phases 41
3600.05/3609.60	c input clauses 129420
3600.05/3609.60	c input cardinalities 54547
3600.05/3609.60	c input general constraints 0
3600.05/3609.60	c input average constraint length 4.87
3600.05/3609.60	c input average constraint degree 2.86
3600.05/3609.60	c learned clauses 353663
3600.05/3609.60	c learned cardinalities 64418
3600.05/3609.60	c learned general constraints 353225
3600.05/3609.60	c learned average constraint length 903.40
3600.05/3609.60	c learned average constraint degree 164153984.92
3600.05/3609.60	c watched constraints 177145
3600.05/3609.60	c counting constraints 176080
3600.05/3609.60	c gcd simplifications 2239
3600.05/3609.60	c detected cardinalities 75
3600.05/3609.60	c weakened non-implied lits 838199941
3600.05/3609.60	c weakened non-implying lits 131722
3600.05/3609.60	c original variables 204880
3600.05/3609.60	c clausal propagations 881058697
3600.05/3609.60	c cardinality propagations 1449224854
3600.05/3609.60	c watched propagations 44372465
3600.05/3609.60	c counting propagations 261930526
3600.05/3609.60	c watch lookups 27010643328
3600.05/3609.60	c watch backjump lookups 24502346707
3600.05/3609.60	c watch checks 102682417918
3600.05/3609.60	c propagation checks 75347292174
3600.05/3609.60	c constraint additions 3773823740
3600.05/3609.60	c trail pops 2670009375
3600.05/3609.60	c formula constraints 183967
3600.05/3609.60	c learned constraints 771306
3600.05/3609.60	c bound constraints 0
3600.05/3609.60	c core-guided constraints 0
3600.05/3609.60	c encountered formula constraints 27213479
3600.05/3609.60	c encountered learned constraints 10545295
3600.05/3609.60	c encountered bound constraints 0
3600.05/3609.60	c encountered core-guided constraints 0
3600.05/3609.60	c LP total time 0 s
3600.05/3609.60	c LP solve time 0 s
3600.05/3609.60	c LP constraints added 0
3600.05/3609.60	c LP constraints removed 0
3600.05/3609.60	c LP pivots internal 0
3600.05/3609.60	c LP pivots root 0
3600.05/3609.60	c LP calls 0
3600.05/3609.60	c LP optimalities 0
3600.05/3609.60	c LP no pivot count 0
3600.05/3609.60	c LP infeasibilities 0
3600.05/3609.60	c LP valid Farkas constraints 0
3600.05/3609.60	c LP learned Farkas constraints 0
3600.05/3609.60	c LP basis resets 0
3600.05/3609.60	c LP cycling count 0
3600.05/3609.60	c LP singular count 0
3600.05/3609.60	c LP no primal count 0
3600.05/3609.60	c LP no farkas count 0
3600.05/3609.60	c LP other issue count 0
3600.05/3609.60	c LP Gomory cuts 0
3600.05/3609.60	c LP learned cuts 0
3600.05/3609.60	c LP deleted cuts 0
3600.05/3609.60	c LP encountered Gomory constraints 0
3600.05/3609.60	c LP encountered Farkas constraints 0
3600.05/3609.60	c LP encountered learned Farkas constraints 0
3600.05/3609.60	c CG auxiliary variables introduced 0
3600.05/3609.60	c CG solutions found 0
3600.05/3609.60	c CG cores constructed 0
3600.05/3609.60	c CG core cardinality constraints returned 0
3600.05/3609.60	c CG unit cores 0
3600.05/3609.60	c CG single cores 0
3600.05/3609.60	c CG blocks removed during cardinality reduction 0
3600.05/3609.60	c CG first core best 0
3600.05/3609.60	c CG decision core best 0
3600.05/3609.60	c CG core reduction tie 0
3600.05/3609.60	c CG core degree average 0.00
3600.05/3609.60	c CG core slack average 0.00
3600.05/3609.60	c CG exhausted 0
3600.05/3609.60	c CG exhaust time 0 s
3600.05/3609.60	c CG trimmed 0
3600.05/3609.60	c CG trim time 0 s
3600.05/3609.60	c CG minimized 0
3600.05/3609.60	c CG minimize time 0 s
3600.05/3609.60	c CG am1 prop time 0.000321 s
3600.05/3609.60	c CG # am1s reformulated 0
3600.05/3609.60	c CG lower bound derived from am1s 0
3600.05/3609.60	c CG # clausal cores 0
3600.05/3609.60	c CG # cardinality cores 0
3600.05/3609.60	c CG # pb cores 0
3600.05/3609.60	c CG # pb reforms 0
3600.05/3609.60	c CG # cores discarded because of pb reform 0
3600.05/3609.60	d LOWERBOUND 0
3600.05/3609.60	d NCORES 0
3600.05/3609.60	d NPBCORES 0
3600.05/3609.60	d NPBREFORM 0
3600.05/3609.60	d NTRIMMED 0
3600.05/3609.60	d NEXHAUSTED 0
3600.05/3609.60	d NAM1S 0
3600.05/3609.60	d AM1LB 0
3600.05/3609.65	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454500-1721473690/watcher-4454500-1721473690 -o /tmp/evaluation-result-4454500-1721473690/solver-4454500-1721473690 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721466477-1082121 --watchdog 3760 pb-oll-rs HOME/instance-4454500-1721473690.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=1086478, runsolver pid=1086475
Current StackSize limit: 8192 KiB


[startup+0.100094 s]*
/proc/loadavg: 4.14 4.13 4.10 5/256 1086479
/proc/meminfo: memFree=123487548/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=84596 memory=52572 CPUtime=0.1 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 10632 0 0 0 8 2 0 0 20 0 1 0 199534322 86626304 13143 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 21149 13143 1186 291 0 12683 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 84596 KiB
Current children cumulated memory: 52572 KiB

[startup+0.205533 s]*
/proc/loadavg: 4.14 4.13 4.10 5/256 1086479
/proc/meminfo: memFree=123482000/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=87104 memory=55212 CPUtime=0.2 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 11294 0 0 0 16 4 0 0 20 0 1 0 199534322 89194496 13803 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 21776 13803 1186 291 0 13310 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 87104 KiB
Current children cumulated memory: 55212 KiB

[startup+0.305456 s]*
/proc/loadavg: 4.14 4.13 4.10 5/256 1086479
/proc/meminfo: memFree=123475500/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=88952 memory=58908 CPUtime=0.3 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 12194 0 0 0 24 6 0 0 20 0 1 0 199534322 91086848 14727 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 22238 14727 1186 291 0 13772 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 88952 KiB
Current children cumulated memory: 58908 KiB

[startup+0.7002 s]
/proc/loadavg: 4.14 4.13 4.10 4/254 1086479
/proc/meminfo: memFree=127938928/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=119248 memory=89888 CPUtime=0.68 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 17887 0 0 0 53 15 0 0 20 0 1 0 199534322 122109952 22472 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 29812 22472 1375 291 0 21346 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 119248 KiB
Current children cumulated memory: 89888 KiB

[startup+1.50022 s]
/proc/loadavg: 4.13 4.13 4.10 6/254 1086493
/proc/meminfo: memFree=127890816/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=122852 memory=93584 CPUtime=1.48 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 18834 0 0 0 126 22 0 0 20 0 1 0 199534322 125800448 23396 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 30713 23396 1375 291 0 22247 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 122852 KiB
Current children cumulated memory: 93584 KiB

[startup+3.10532 s]
/proc/loadavg: 4.13 4.13 4.10 5/256 1086525
/proc/meminfo: memFree=127748436/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=134480 memory=102104 CPUtime=3.09 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 19929 0 0 0 277 32 0 0 20 0 1 0 199534322 137707520 25526 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 33620 25526 1423 291 0 25154 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 134480 KiB
Current children cumulated memory: 102104 KiB

[startup+6.30017 s]
/proc/loadavg: 4.12 4.13 4.10 5/255 1086526
/proc/meminfo: memFree=127568096/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=141052 memory=109920 CPUtime=6.27 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 21373 0 0 0 582 45 0 0 20 0 1 0 199534322 144437248 27480 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 35263 27480 1423 291 0 26797 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 141052 KiB
Current children cumulated memory: 109920 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.10 5/254 1086541
/proc/meminfo: memFree=127809104/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=162120 memory=124296 CPUtime=12.65 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 24447 0 0 0 1205 60 0 0 20 0 1 0 199534322 166010880 31074 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 40530 31074 1423 291 0 32064 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 162120 KiB
Current children cumulated memory: 124296 KiB

[startup+25.5001 s]
/proc/loadavg: 4.09 4.12 4.09 5/254 1086544
/proc/meminfo: memFree=127709440/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=203260 memory=157700 CPUtime=25.43 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 30280 0 0 0 2465 78 0 0 20 0 1 0 199534322 208138240 39425 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 50815 39425 1423 291 0 42349 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 203260 KiB
Current children cumulated memory: 157700 KiB

[startup+51.1054 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 1086579
/proc/meminfo: memFree=127814252/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=273076 memory=230704 CPUtime=50.97 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 40903 0 0 0 4996 101 0 0 20 0 1 0 199534322 279629824 57676 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 68269 57676 1423 291 0 59803 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 273076 KiB
Current children cumulated memory: 230704 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/256 1086588
/proc/meminfo: memFree=127608496/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=309004 memory=273420 CPUtime=102.02 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 49921 0 0 0 10044 158 0 0 20 0 1 0 199534322 316420096 68355 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 77251 68355 1423 291 0 68785 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 309004 KiB
Current children cumulated memory: 273420 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 1086603
/proc/meminfo: memFree=127472856/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=411812 memory=353512 CPUtime=161.86 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 63347 0 0 0 15995 191 0 0 20 0 1 0 199534322 421695488 88378 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 102953 88378 1423 291 0 94487 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 411812 KiB
Current children cumulated memory: 353512 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 1086613
/proc/meminfo: memFree=127393656/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=416632 memory=358960 CPUtime=221.71 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 64746 0 0 0 21940 231 0 0 20 0 1 0 199534322 426631168 89740 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 104158 89740 1423 291 0 95692 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 416632 KiB
Current children cumulated memory: 358960 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 1086624
/proc/meminfo: memFree=127255860/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=444492 memory=398752 CPUtime=281.57 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 71809 0 0 0 27890 267 0 0 20 0 1 0 199534322 455159808 99688 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 111123 99688 1423 291 0 102657 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 444492 KiB
Current children cumulated memory: 398752 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 1086636
/proc/meminfo: memFree=127174672/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=449292 memory=403920 CPUtime=341.43 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 73266 0 0 0 33829 314 0 0 20 0 1 0 199534322 460075008 100980 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 112323 100980 1423 291 0 103857 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 449292 KiB
Current children cumulated memory: 403920 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/257 1086647
/proc/meminfo: memFree=127040356/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=581004 memory=473532 CPUtime=401.28 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 85157 0 0 0 39782 346 0 0 20 0 1 0 199534322 594948096 118383 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 145251 118383 1423 291 0 136785 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 581004 KiB
Current children cumulated memory: 473532 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/256 1086657
/proc/meminfo: memFree=126931328/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=625652 memory=518348 CPUtime=461.14 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 96558 0 0 0 45753 361 0 0 20 0 1 0 199534322 640667648 129587 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 156413 129587 1423 291 0 147947 0

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

Current children cumulated memory: 1817532 KiB

[startup+2862.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/257 1088101
/proc/meminfo: memFree=124876712/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=2031740 memory=1827548 CPUtime=2854.85 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 276396 0 0 0 284365 1120 0 0 20 0 1 0 199534322 2080501760 456887 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 507935 456887 1423 291 0 499469 0
Current children cumulated CPU time: 2854.85 s
Current children cumulated vsize: 2031740 KiB
Current children cumulated memory: 1827548 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/257 1088113
/proc/meminfo: memFree=124855888/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=2042304 memory=1837344 CPUtime=2914.69 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 279363 0 0 0 290338 1131 0 0 20 0 1 0 199534322 2091319296 459336 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 510576 459336 1423 291 0 502110 0
Current children cumulated CPU time: 2914.69 s
Current children cumulated vsize: 2042304 KiB
Current children cumulated memory: 1837344 KiB

[startup+2982.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/257 1088124
/proc/meminfo: memFree=124811380/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=2072248 memory=1866840 CPUtime=2974.53 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 287383 0 0 0 296313 1140 0 0 20 0 1 0 199534322 2121981952 466710 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 518062 466710 1423 291 0 509596 0
Current children cumulated CPU time: 2974.53 s
Current children cumulated vsize: 2072248 KiB
Current children cumulated memory: 1866840 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/259 1088304
/proc/meminfo: memFree=124777896/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=2092312 memory=1886260 CPUtime=3034.37 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 293299 0 0 0 302291 1146 0 0 20 0 1 0 199534322 2142527488 471565 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 523078 471565 1423 291 0 514612 0
Current children cumulated CPU time: 3034.37 s
Current children cumulated vsize: 2092312 KiB
Current children cumulated memory: 1886260 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/259 1088315
/proc/meminfo: memFree=124745036/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=2114060 memory=1905516 CPUtime=3094.21 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 299043 0 0 0 308269 1152 0 0 20 0 1 0 199534322 2164797440 476379 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 528515 476379 1423 291 0 520049 0
Current children cumulated CPU time: 3094.21 s
Current children cumulated vsize: 2114060 KiB
Current children cumulated memory: 1905516 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/258 1088339
/proc/meminfo: memFree=124695516/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=2144328 memory=1931056 CPUtime=3154.04 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 305994 0 0 0 314242 1162 0 0 20 0 1 0 199534322 2195791872 482764 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 536082 482764 1423 291 0 527616 0
Current children cumulated CPU time: 3154.04 s
Current children cumulated vsize: 2144328 KiB
Current children cumulated memory: 1931056 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/259 1088350
/proc/meminfo: memFree=124650068/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=2170880 memory=1955004 CPUtime=3213.85 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 312613 0 0 0 320215 1170 0 0 20 0 1 0 199534322 2222981120 488751 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 542720 488751 1423 291 0 534254 0
Current children cumulated CPU time: 3213.85 s
Current children cumulated vsize: 2170880 KiB
Current children cumulated memory: 1955004 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 1088361
/proc/meminfo: memFree=124617908/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=2188796 memory=1971492 CPUtime=3273.68 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 317336 0 0 0 326190 1178 0 0 20 0 1 0 199534322 2241327104 492873 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 547199 492873 1423 291 0 538733 0
Current children cumulated CPU time: 3273.68 s
Current children cumulated vsize: 2188796 KiB
Current children cumulated memory: 1971492 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/258 1088372
/proc/meminfo: memFree=124582328/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=2202360 memory=1984920 CPUtime=3333.5 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 321229 0 0 0 332166 1184 0 0 20 0 1 0 199534322 2255216640 496230 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 550590 496230 1423 291 0 542124 0
Current children cumulated CPU time: 3333.5 s
Current children cumulated vsize: 2202360 KiB
Current children cumulated memory: 1984920 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 1088383
/proc/meminfo: memFree=124543440/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=2225704 memory=2003884 CPUtime=3393.32 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 326542 0 0 0 338142 1190 0 0 20 0 1 0 199534322 2279120896 500971 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 556426 500971 1423 291 0 547960 0
Current children cumulated CPU time: 3393.32 s
Current children cumulated vsize: 2225704 KiB
Current children cumulated memory: 2003884 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/257 1088394
/proc/meminfo: memFree=124499108/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=2235972 memory=2013288 CPUtime=3453.14 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 329698 0 0 0 344116 1198 0 0 20 0 1 0 199534322 2289635328 503322 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 558993 503322 1423 291 0 550527 0
Current children cumulated CPU time: 3453.14 s
Current children cumulated vsize: 2235972 KiB
Current children cumulated memory: 2013288 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 1088404
/proc/meminfo: memFree=124473640/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=2235972 memory=2013472 CPUtime=3512.98 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 330129 0 0 0 350077 1221 0 0 20 0 1 0 199534322 2289635328 503368 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 558993 503368 1423 291 0 550527 0
Current children cumulated CPU time: 3512.98 s
Current children cumulated vsize: 2235972 KiB
Current children cumulated memory: 2013472 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/256 1088415
/proc/meminfo: memFree=124439896/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=2253324 memory=2030740 CPUtime=3572.82 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 335222 0 0 0 356046 1236 0 0 20 0 1 0 199534322 2307403776 507685 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 563331 507685 1423 291 0 554865 0
Current children cumulated CPU time: 3572.82 s
Current children cumulated vsize: 2253324 KiB
Current children cumulated memory: 2030740 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.19 4.13 4.10 4/249 1088451
/proc/meminfo: memFree=124572952/131524600 swapFree=131071996/131071996
[pid=1086478] ppid=1086475 vsize=2258716 memory=2036132 CPUtime=3600.05 cores=5,7
/proc/1086478/stat : 1086478 (pb-oll-rs) R 1086475 1086478 1082106 0 -1 4194304 336919 0 0 0 358756 1249 0 0 20 0 1 0 199534322 2312925184 509033 134679101440 4194304 5384485 140727634059792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20066304 140727634068501 140727634068578 140727634068578 140727634075595 0
/proc/1086478/statm: 564679 509033 1423 291 0 556213 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2258716 KiB
Current children cumulated memory: 2036132 KiB

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

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

# cumulated CPU time of all completed processes:  user=3587.62 s, system=12.524 s

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

Child status: 0

Real time (s): 3609.68
CPU time (s): 3600.14
CPU user time (s): 3587.62
CPU system time (s): 12.524
CPU usage (%): 99.7357
Max. virtual memory (cumulated for all children) (KiB): 2258716
Max. memory (cumulated for all children) (KiB): 2036132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.62
system time used= 12.524
maximum resident set size= 2036132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 336987
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= 165
involuntary context switches= 4102


# summary of solver processes directly reported to runsolver:
#   pid: 1086478
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3587.62
#   total CPU system time (s): 12.524

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.67066 second user time and 16.9313 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2024-07-20 13:08:22
IDJOB=4454500
IDBENCH=155358
IDSOLVER=3082
FILE ID=nodeC025/4454500-1721473690
RUNJOBID= nodeC025-1721466477-1082121
SLURM_JOB_ID= 7545718
Free space on /tmp= 889764 MiB

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

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

MD5SUM BENCH= a4b0cd988cdc47ea50384dbc6c682a43
RANDOM SEED=1735787394

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3675.667
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3679.980
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.044
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.481
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3675.703
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3662.389
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.309
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3680.170
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123540904 kB
MemAvailable:   125077864 kB
Buffers:          581704 kB
Cached:          1789852 kB
SwapCached:            0 kB
Active:          1227784 kB
Inactive:        6106048 kB
Active(anon):       1536 kB
Inactive(anon):  5006976 kB
Active(file):    1226248 kB
Inactive(file):  1099072 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            254392 kB
Writeback:             0 kB
AnonPages:       4958392 kB
Mapped:           110980 kB
Shmem:             45912 kB
KReclaimable:     102572 kB
Slab:             218260 kB
SReclaimable:     102572 kB
SUnreclaim:       115688 kB
KernelStack:        4112 kB
PageTables:        19376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    5821260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            74528 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3756032 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      318164 kB
DirectMap2M:    43495424 kB
DirectMap1G:    92274688 kB

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