Trace number 4462030

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.2 3612.46

DiagnosticValue
AM1LB0
LOWERBOUND319
NAM1S0
NCORES1
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED75

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i4_pp_80_merged.opb
MD5SUM4616ac8a16a5f48e16aff56bf369874b
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark344
Best CPU time to get the best result obtained on this benchmark2.97819
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables113616
Total number of constraints113617
Number of constraints which are clauses97461
Number of constraints which are cardinality constraints (but not clauses)1444
Number of constraints which are nor clauses,nor cardinality constraints14712
Minimum length of a constraint1
Maximum length of a constraint1444
Number of terms in the objective function 1444
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1444
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 344
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1788
Number of bits of the biggest sum of numbers11
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.49/0.52	c [STEP] solving
0.49/0.52	c #variables 113616 #constraints 129771
0.49/0.52	c SMALL=int, LARGE=long long
0.49/0.52	c bounds - >= 2 @ 0.412799
0.49/0.52	c stratification level: 0
276.60/277.66	c bounds - >= 319 @ 0.781649
276.60/277.66	c #Conflicts:       1000 | #Constraints:     130772
276.60/277.66	c #Conflicts:       2000 | #Constraints:     131772
276.60/277.66	c INPROCESSING
276.60/277.66	c GARBAGE COLLECT
276.60/277.66	c #Conflicts:       3000 | #Constraints:     131207
276.60/277.66	c #Conflicts:       4000 | #Constraints:     132207
276.60/277.66	c INPROCESSING
276.60/277.66	c GARBAGE COLLECT
276.60/277.66	c #Conflicts:       5000 | #Constraints:     131542
276.60/277.66	c #Conflicts:       6000 | #Constraints:     132542
276.60/277.66	c INPROCESSING
276.60/277.66	c GARBAGE COLLECT
276.60/277.66	c #Conflicts:       7000 | #Constraints:     131674
276.60/277.66	c #Conflicts:       8000 | #Constraints:     132674
276.60/277.66	c #Conflicts:       9000 | #Constraints:     133674
276.60/277.66	c INPROCESSING
276.60/277.66	c GARBAGE COLLECT
276.60/277.66	c #Conflicts:      10000 | #Constraints:     132345
276.60/277.66	c #Conflicts:      11000 | #Constraints:     133345
276.60/277.66	c #Conflicts:      12000 | #Constraints:     134345
276.60/277.66	c INPROCESSING
276.60/277.66	c GARBAGE COLLECT
276.60/277.66	c #Conflicts:      13000 | #Constraints:     132749
276.60/277.66	c #Conflicts:      14000 | #Constraints:     133749
276.60/277.66	c #Conflicts:      15000 | #Constraints:     134749
276.60/277.66	c INPROCESSING
276.60/277.66	c GARBAGE COLLECT
276.60/277.66	c #Conflicts:      16000 | #Constraints:     132935
276.60/277.66	c #Conflicts:      17000 | #Constraints:     133935
276.60/277.66	c #Conflicts:      18000 | #Constraints:     134935
276.60/277.66	c INPROCESSING
276.60/277.66	c GARBAGE COLLECT
276.60/277.66	c #Conflicts:      19000 | #Constraints:     132959
276.60/277.66	c #Conflicts:      20000 | #Constraints:     133959
276.60/277.66	c #Conflicts:      21000 | #Constraints:     134959
276.60/277.66	c INPROCESSING
276.60/277.66	c GARBAGE COLLECT
276.60/277.66	c #Conflicts:      22000 | #Constraints:     132774
276.60/277.66	c #Conflicts:      23000 | #Constraints:     133774
276.60/277.66	c #Conflicts:      24000 | #Constraints:     134774
276.60/277.66	c #Conflicts:      25000 | #Constraints:     135774
276.60/277.66	c INPROCESSING
276.60/277.66	c GARBAGE COLLECT
276.60/277.66	c #Conflicts:      26000 | #Constraints:     133268
276.60/277.66	c #Conflicts:      27000 | #Constraints:     134268
276.60/277.66	c #Conflicts:      28000 | #Constraints:     135268
276.60/277.66	c #Conflicts:      29000 | #Constraints:     136268
276.60/277.66	c INPROCESSING
276.60/277.66	c GARBAGE COLLECT
276.60/277.66	c #Conflicts:      30000 | #Constraints:     133709
276.60/277.66	c #Conflicts:      31000 | #Constraints:     134709
276.60/277.66	c #Conflicts:      32000 | #Constraints:     135709
276.60/277.66	c #Conflicts:      33000 | #Constraints:     136709
276.60/277.66	c INPROCESSING
276.60/277.66	c GARBAGE COLLECT
276.60/277.66	c #Conflicts:      34000 | #Constraints:     133924
276.60/277.66	c #Conflicts:      35000 | #Constraints:     134924
276.60/277.66	c #Conflicts:      36000 | #Constraints:     135924
276.60/277.66	c #Conflicts:      37000 | #Constraints:     136924
276.60/277.66	c INPROCESSING
276.60/277.66	c GARBAGE COLLECT
276.60/277.66	c #Conflicts:      38000 | #Constraints:     133920
276.60/277.66	c #Conflicts:      39000 | #Constraints:     134920
276.60/277.66	c #Conflicts:      40000 | #Constraints:     135920
276.60/277.66	c #Conflicts:      41000 | #Constraints:     136920
276.60/277.66	c INPROCESSING
276.60/277.66	c GARBAGE COLLECT
276.60/277.66	c #Conflicts:      42000 | #Constraints:     133700
276.60/277.66	c #Conflicts:      43000 | #Constraints:     134700
276.60/277.66	c #Conflicts:      44000 | #Constraints:     135700
276.60/277.66	c #Conflicts:      45000 | #Constraints:     136700
276.60/277.66	c #Conflicts:      46000 | #Constraints:     137700
276.60/277.66	c INPROCESSING
276.60/277.66	c GARBAGE COLLECT
276.60/277.66	c #Conflicts:      47000 | #Constraints:     134352
276.60/277.66	c #Conflicts:      48000 | #Constraints:     135352
276.60/277.66	c #Conflicts:      49000 | #Constraints:     136352
276.60/277.66	c #Conflicts:      50000 | #Constraints:     137352
276.60/277.66	c #Conflicts:      51000 | #Constraints:     138352
276.60/277.66	c INPROCESSING
276.60/277.66	c GARBAGE COLLECT
276.60/277.66	c #Conflicts:      52000 | #Constraints:     134748
276.60/277.66	c #Conflicts:      53000 | #Constraints:     135748
276.60/277.66	c #Conflicts:      54000 | #Constraints:     136748
276.60/277.66	c #Conflicts:      55000 | #Constraints:     137748
276.60/277.66	c #Conflicts:      56000 | #Constraints:     138748
276.60/277.66	c INPROCESSING
276.60/277.66	c GARBAGE COLLECT
276.60/277.66	c #Conflicts:      57000 | #Constraints:     134937
276.60/277.66	c #Conflicts:      58000 | #Constraints:     135937
276.60/277.66	c #Conflicts:      59000 | #Constraints:     136937
276.60/277.66	c #Conflicts:      60000 | #Constraints:     137937
276.60/277.66	c #Conflicts:      61000 | #Constraints:     138937
276.60/277.66	c INPROCESSING
276.60/277.66	c GARBAGE COLLECT
276.60/277.66	c #Conflicts:      62000 | #Constraints:     134983
276.60/277.66	c #Conflicts:      63000 | #Constraints:     135983
276.60/277.66	c #Conflicts:      64000 | #Constraints:     136983
276.60/277.66	c #Conflicts:      65000 | #Constraints:     137983
276.60/277.66	c #Conflicts:      66000 | #Constraints:     138983
276.60/277.66	c INPROCESSING
276.60/277.66	c GARBAGE COLLECT
276.60/277.66	c #Conflicts:      67000 | #Constraints:     134736
709.95/712.51	c #Conflicts:      68000 | #Constraints:     135736
709.95/712.51	c #Conflicts:      69000 | #Constraints:     136736
709.95/712.51	c #Conflicts:      70000 | #Constraints:     137736
709.95/712.51	c #Conflicts:      71000 | #Constraints:     138736
709.95/712.51	c #Conflicts:      72000 | #Constraints:     139736
709.95/712.51	c INPROCESSING
709.95/712.51	c GARBAGE COLLECT
709.95/712.51	c #Conflicts:      73000 | #Constraints:     135372
709.95/712.51	c #Conflicts:      74000 | #Constraints:     136372
709.95/712.51	c #Conflicts:      75000 | #Constraints:     137372
709.95/712.51	c #Conflicts:      76000 | #Constraints:     138372
709.95/712.51	c #Conflicts:      77000 | #Constraints:     139372
709.95/712.51	c #Conflicts:      78000 | #Constraints:     140372
709.95/712.51	c INPROCESSING
709.95/712.51	c GARBAGE COLLECT
709.95/712.51	c #Conflicts:      79000 | #Constraints:     135829
709.95/712.51	c #Conflicts:      80000 | #Constraints:     136829
709.95/712.51	c #Conflicts:      81000 | #Constraints:     137829
709.95/712.51	c #Conflicts:      82000 | #Constraints:     138829
709.95/712.51	c #Conflicts:      83000 | #Constraints:     139829
709.95/712.51	c #Conflicts:      84000 | #Constraints:     140829
709.95/712.51	c INPROCESSING
709.95/712.51	c GARBAGE COLLECT
709.95/712.51	c #Conflicts:      85000 | #Constraints:     135901
709.95/712.51	c #Conflicts:      86000 | #Constraints:     136901
709.95/712.51	c #Conflicts:      87000 | #Constraints:     137901
709.95/712.51	c #Conflicts:      88000 | #Constraints:     138901
709.95/712.51	c #Conflicts:      89000 | #Constraints:     139901
709.95/712.51	c #Conflicts:      90000 | #Constraints:     140901
709.95/712.51	c INPROCESSING
709.95/712.51	c GARBAGE COLLECT
709.95/712.51	c #Conflicts:      91000 | #Constraints:     135927
709.95/712.51	c #Conflicts:      92000 | #Constraints:     136927
709.95/712.51	c #Conflicts:      93000 | #Constraints:     137927
709.95/712.51	c #Conflicts:      94000 | #Constraints:     138927
709.95/712.51	c #Conflicts:      95000 | #Constraints:     139927
709.95/712.51	c #Conflicts:      96000 | #Constraints:     140927
709.95/712.51	c INPROCESSING
709.95/712.51	c GARBAGE COLLECT
709.95/712.51	c #Conflicts:      97000 | #Constraints:     135681
709.95/712.51	c #Conflicts:      98000 | #Constraints:     136681
709.95/712.51	c #Conflicts:      99000 | #Constraints:     137681
709.95/712.51	c #Conflicts:     100000 | #Constraints:     138681
709.95/712.51	c #Conflicts:     101000 | #Constraints:     139681
709.95/712.51	c #Conflicts:     102000 | #Constraints:     140681
709.95/712.51	c #Conflicts:     103000 | #Constraints:     141681
709.95/712.51	c INPROCESSING
709.95/712.51	c GARBAGE COLLECT
709.95/712.51	c #Conflicts:     104000 | #Constraints:     136202
709.95/712.51	c #Conflicts:     105000 | #Constraints:     137202
709.95/712.51	c #Conflicts:     106000 | #Constraints:     138202
709.95/712.51	c #Conflicts:     107000 | #Constraints:     139202
709.95/712.51	c #Conflicts:     108000 | #Constraints:     140202
709.95/712.51	c #Conflicts:     109000 | #Constraints:     141202
709.95/712.51	c #Conflicts:     110000 | #Constraints:     142202
709.95/712.51	c INPROCESSING
709.95/712.51	c GARBAGE COLLECT
709.95/712.51	c #Conflicts:     111000 | #Constraints:     136569
709.95/712.51	c #Conflicts:     112000 | #Constraints:     137569
709.95/712.51	c #Conflicts:     113000 | #Constraints:     138569
709.95/712.51	c #Conflicts:     114000 | #Constraints:     139569
709.95/712.51	c #Conflicts:     115000 | #Constraints:     140569
709.95/712.51	c #Conflicts:     116000 | #Constraints:     141569
709.95/712.51	c #Conflicts:     117000 | #Constraints:     142569
709.95/712.51	c INPROCESSING
709.95/712.51	c GARBAGE COLLECT
709.95/712.51	c #Conflicts:     118000 | #Constraints:     136782
709.95/712.51	c #Conflicts:     119000 | #Constraints:     137782
709.95/712.51	c #Conflicts:     120000 | #Constraints:     138782
709.95/712.51	c #Conflicts:     121000 | #Constraints:     139782
709.95/712.51	c #Conflicts:     122000 | #Constraints:     140782
709.95/712.51	c #Conflicts:     123000 | #Constraints:     141782
709.95/712.51	c #Conflicts:     124000 | #Constraints:     142782
709.95/712.51	c INPROCESSING
709.95/712.51	c GARBAGE COLLECT
709.95/712.51	c #Conflicts:     125000 | #Constraints:     136811
709.95/712.51	c #Conflicts:     126000 | #Constraints:     137811
709.95/712.51	c #Conflicts:     127000 | #Constraints:     138811
709.95/712.51	c #Conflicts:     128000 | #Constraints:     139811
709.95/712.51	c #Conflicts:     129000 | #Constraints:     140811
709.95/712.51	c #Conflicts:     130000 | #Constraints:     141811
709.95/712.51	c #Conflicts:     131000 | #Constraints:     142811
709.95/712.51	c INPROCESSING
709.95/712.51	c GARBAGE COLLECT
709.95/712.51	c #Conflicts:     132000 | #Constraints:     136661
709.95/712.51	c #Conflicts:     133000 | #Constraints:     137661
709.95/712.51	c #Conflicts:     134000 | #Constraints:     138661
709.95/712.51	c #Conflicts:     135000 | #Constraints:     139661
709.95/712.51	c #Conflicts:     136000 | #Constraints:     140661
709.95/712.51	c #Conflicts:     137000 | #Constraints:     141661
709.95/712.51	c #Conflicts:     138000 | #Constraints:     142661
709.95/712.51	c #Conflicts:     139000 | #Constraints:     143661
709.95/712.51	c INPROCESSING
1379.23/1384.03	c GARBAGE COLLECT
1379.23/1384.03	c #Conflicts:     140000 | #Constraints:     137221
1379.23/1384.03	c #Conflicts:     141000 | #Constraints:     138221
1379.23/1384.03	c #Conflicts:     142000 | #Constraints:     139221
1379.23/1384.03	c #Conflicts:     143000 | #Constraints:     140221
1379.23/1384.03	c #Conflicts:     144000 | #Constraints:     141221
1379.23/1384.03	c #Conflicts:     145000 | #Constraints:     142221
1379.23/1384.03	c #Conflicts:     146000 | #Constraints:     143221
1379.23/1384.03	c #Conflicts:     147000 | #Constraints:     144221
1379.23/1384.03	c INPROCESSING
1379.23/1384.03	c GARBAGE COLLECT
1379.23/1384.03	c #Conflicts:     148000 | #Constraints:     137430
1379.23/1384.03	c #Conflicts:     149000 | #Constraints:     138430
1379.23/1384.03	c #Conflicts:     150000 | #Constraints:     139430
1379.23/1384.03	c #Conflicts:     151000 | #Constraints:     140430
1379.23/1384.03	c #Conflicts:     152000 | #Constraints:     141430
1379.23/1384.03	c #Conflicts:     153000 | #Constraints:     142430
1379.23/1384.03	c #Conflicts:     154000 | #Constraints:     143430
1379.23/1384.03	c #Conflicts:     155000 | #Constraints:     144430
1379.23/1384.03	c INPROCESSING
1379.23/1384.03	c GARBAGE COLLECT
1379.23/1384.03	c #Conflicts:     156000 | #Constraints:     137737
1379.23/1384.03	c #Conflicts:     157000 | #Constraints:     138737
1379.23/1384.03	c #Conflicts:     158000 | #Constraints:     139737
1379.23/1384.03	c #Conflicts:     159000 | #Constraints:     140737
1379.23/1384.03	c #Conflicts:     160000 | #Constraints:     141737
1379.23/1384.03	c #Conflicts:     161000 | #Constraints:     142737
1379.23/1384.03	c #Conflicts:     162000 | #Constraints:     143737
1379.23/1384.03	c #Conflicts:     163000 | #Constraints:     144737
1379.23/1384.03	c INPROCESSING
1379.23/1384.03	c GARBAGE COLLECT
1379.23/1384.03	c #Conflicts:     164000 | #Constraints:     137688
1379.23/1384.03	c #Conflicts:     165000 | #Constraints:     138688
1379.23/1384.03	c #Conflicts:     166000 | #Constraints:     139688
1379.23/1384.03	c #Conflicts:     167000 | #Constraints:     140688
1379.23/1384.03	c #Conflicts:     168000 | #Constraints:     141688
1379.23/1384.03	c #Conflicts:     169000 | #Constraints:     142688
1379.23/1384.03	c #Conflicts:     170000 | #Constraints:     143688
1379.23/1384.03	c #Conflicts:     171000 | #Constraints:     144688
1379.23/1384.03	c INPROCESSING
1379.23/1384.03	c GARBAGE COLLECT
1379.23/1384.03	c #Conflicts:     172000 | #Constraints:     137522
1379.23/1384.03	c #Conflicts:     173000 | #Constraints:     138522
1379.23/1384.03	c #Conflicts:     174000 | #Constraints:     139522
1379.23/1384.03	c #Conflicts:     175000 | #Constraints:     140522
1379.23/1384.03	c #Conflicts:     176000 | #Constraints:     141522
1379.23/1384.03	c #Conflicts:     177000 | #Constraints:     142522
1379.23/1384.03	c #Conflicts:     178000 | #Constraints:     143522
1379.23/1384.03	c #Conflicts:     179000 | #Constraints:     144522
1379.23/1384.03	c #Conflicts:     180000 | #Constraints:     145522
1379.23/1384.03	c INPROCESSING
1379.23/1384.03	c GARBAGE COLLECT
1379.23/1384.03	c #Conflicts:     181000 | #Constraints:     138055
1379.23/1384.03	c #Conflicts:     182000 | #Constraints:     139055
1379.23/1384.03	c #Conflicts:     183000 | #Constraints:     140055
1379.23/1384.03	c #Conflicts:     184000 | #Constraints:     141055
1379.23/1384.03	c #Conflicts:     185000 | #Constraints:     142055
1379.23/1384.03	c #Conflicts:     186000 | #Constraints:     143055
1379.23/1384.03	c #Conflicts:     187000 | #Constraints:     144055
1379.23/1384.03	c #Conflicts:     188000 | #Constraints:     145055
1379.23/1384.03	c #Conflicts:     189000 | #Constraints:     146055
1379.23/1384.03	c INPROCESSING
1379.23/1384.03	c GARBAGE COLLECT
1379.23/1384.03	c #Conflicts:     190000 | #Constraints:     138527
1379.23/1384.03	c #Conflicts:     191000 | #Constraints:     139527
1379.23/1384.03	c #Conflicts:     192000 | #Constraints:     140527
1379.23/1384.03	c #Conflicts:     193000 | #Constraints:     141527
1379.23/1384.03	c #Conflicts:     194000 | #Constraints:     142527
1379.23/1384.03	c #Conflicts:     195000 | #Constraints:     143527
1379.23/1384.03	c #Conflicts:     196000 | #Constraints:     144527
1379.23/1384.03	c #Conflicts:     197000 | #Constraints:     145527
1379.23/1384.03	c #Conflicts:     198000 | #Constraints:     146527
1379.23/1384.03	c INPROCESSING
1379.23/1384.03	c GARBAGE COLLECT
1379.23/1384.03	c #Conflicts:     199000 | #Constraints:     138712
1379.23/1384.03	c #Conflicts:     200000 | #Constraints:     139712
1379.23/1384.03	c #Conflicts:     201000 | #Constraints:     140712
1379.23/1384.03	c #Conflicts:     202000 | #Constraints:     141712
1379.23/1384.03	c #Conflicts:     203000 | #Constraints:     142712
1379.23/1384.03	c #Conflicts:     204000 | #Constraints:     143712
1379.23/1384.03	c #Conflicts:     205000 | #Constraints:     144712
1379.23/1384.03	c #Conflicts:     206000 | #Constraints:     145712
1379.23/1384.03	c #Conflicts:     207000 | #Constraints:     146712
1379.23/1384.03	c INPROCESSING
1379.23/1384.03	c GARBAGE COLLECT
1379.23/1384.03	c #Conflicts:     208000 | #Constraints:     138737
1379.23/1384.03	c #Conflicts:     209000 | #Constraints:     139737
1379.23/1384.03	c #Conflicts:     210000 | #Constraints:     140737
1379.23/1384.03	c #Conflicts:     211000 | #Constraints:     141737
1379.23/1384.03	c #Conflicts:     212000 | #Constraints:     142737
1379.23/1384.03	c #Conflicts:     213000 | #Constraints:     143737
1906.14/1912.52	c #Conflicts:     214000 | #Constraints:     144737
1906.14/1912.52	c #Conflicts:     215000 | #Constraints:     145737
1906.14/1912.52	c #Conflicts:     216000 | #Constraints:     146737
1906.14/1912.52	c INPROCESSING
1906.14/1912.52	c GARBAGE COLLECT
1906.14/1912.52	c #Conflicts:     217000 | #Constraints:     138530
1906.14/1912.52	c #Conflicts:     218000 | #Constraints:     139530
1906.14/1912.52	c #Conflicts:     219000 | #Constraints:     140530
1906.14/1912.52	c #Conflicts:     220000 | #Constraints:     141530
1906.14/1912.52	c #Conflicts:     221000 | #Constraints:     142530
1906.14/1912.52	c #Conflicts:     222000 | #Constraints:     143530
1906.14/1912.52	c #Conflicts:     223000 | #Constraints:     144530
1906.14/1912.52	c #Conflicts:     224000 | #Constraints:     145530
1906.14/1912.52	c #Conflicts:     225000 | #Constraints:     146530
1906.14/1912.52	c #Conflicts:     226000 | #Constraints:     147530
1906.14/1912.52	c INPROCESSING
1906.14/1912.52	c GARBAGE COLLECT
1906.14/1912.52	c #Conflicts:     227000 | #Constraints:     139167
1906.14/1912.52	c #Conflicts:     228000 | #Constraints:     140167
1906.14/1912.52	c #Conflicts:     229000 | #Constraints:     141167
1906.14/1912.52	c #Conflicts:     230000 | #Constraints:     142167
1906.14/1912.52	c #Conflicts:     231000 | #Constraints:     143167
1906.14/1912.52	c #Conflicts:     232000 | #Constraints:     144167
1906.14/1912.52	c #Conflicts:     233000 | #Constraints:     145167
1906.14/1912.52	c #Conflicts:     234000 | #Constraints:     146167
1906.14/1912.52	c #Conflicts:     235000 | #Constraints:     147167
1906.14/1912.52	c #Conflicts:     236000 | #Constraints:     148167
1906.14/1912.52	c INPROCESSING
1906.14/1912.52	c GARBAGE COLLECT
1906.14/1912.52	c #Conflicts:     237000 | #Constraints:     139597
1906.14/1912.52	c #Conflicts:     238000 | #Constraints:     140597
1906.14/1912.52	c #Conflicts:     239000 | #Constraints:     141597
1906.14/1912.52	c #Conflicts:     240000 | #Constraints:     142597
1906.14/1912.52	c #Conflicts:     241000 | #Constraints:     143597
1906.14/1912.52	c #Conflicts:     242000 | #Constraints:     144597
1906.14/1912.52	c #Conflicts:     243000 | #Constraints:     145597
1906.14/1912.52	c #Conflicts:     244000 | #Constraints:     146597
1906.14/1912.52	c #Conflicts:     245000 | #Constraints:     147597
1906.14/1912.52	c #Conflicts:     246000 | #Constraints:     148597
1906.14/1912.52	c INPROCESSING
1906.14/1912.52	c GARBAGE COLLECT
1906.14/1912.52	c #Conflicts:     247000 | #Constraints:     139823
1906.14/1912.52	c #Conflicts:     248000 | #Constraints:     140823
1906.14/1912.52	c #Conflicts:     249000 | #Constraints:     141823
1906.14/1912.52	c #Conflicts:     250000 | #Constraints:     142823
1906.14/1912.52	c #Conflicts:     251000 | #Constraints:     143823
1906.14/1912.52	c #Conflicts:     252000 | #Constraints:     144823
1906.14/1912.52	c #Conflicts:     253000 | #Constraints:     145823
1906.14/1912.52	c #Conflicts:     254000 | #Constraints:     146823
1906.14/1912.52	c #Conflicts:     255000 | #Constraints:     147823
1906.14/1912.52	c #Conflicts:     256000 | #Constraints:     148823
1906.14/1912.52	c INPROCESSING
1906.14/1912.52	c GARBAGE COLLECT
1906.14/1912.52	c #Conflicts:     257000 | #Constraints:     139738
1906.14/1912.52	c #Conflicts:     258000 | #Constraints:     140738
1906.14/1912.52	c #Conflicts:     259000 | #Constraints:     141738
1906.14/1912.52	c #Conflicts:     260000 | #Constraints:     142738
1906.14/1912.52	c #Conflicts:     261000 | #Constraints:     143738
1906.14/1912.52	c #Conflicts:     262000 | #Constraints:     144738
1906.14/1912.52	c #Conflicts:     263000 | #Constraints:     145738
1906.14/1912.52	c #Conflicts:     264000 | #Constraints:     146738
1906.14/1912.52	c #Conflicts:     265000 | #Constraints:     147738
1906.14/1912.52	c #Conflicts:     266000 | #Constraints:     148738
1906.14/1912.52	c INPROCESSING
1906.14/1912.52	c GARBAGE COLLECT
1906.14/1912.52	c #Conflicts:     267000 | #Constraints:     139396
1906.14/1912.52	c #Conflicts:     268000 | #Constraints:     140396
1906.14/1912.52	c #Conflicts:     269000 | #Constraints:     141396
1906.14/1912.52	c #Conflicts:     270000 | #Constraints:     142396
1906.14/1912.52	c #Conflicts:     271000 | #Constraints:     143396
1906.14/1912.52	c #Conflicts:     272000 | #Constraints:     144396
1906.14/1912.52	c #Conflicts:     273000 | #Constraints:     145396
1906.14/1912.52	c #Conflicts:     274000 | #Constraints:     146396
1906.14/1912.52	c #Conflicts:     275000 | #Constraints:     147396
1906.14/1912.52	c #Conflicts:     276000 | #Constraints:     148396
1906.14/1912.52	c #Conflicts:     277000 | #Constraints:     149396
1906.14/1912.52	c INPROCESSING
1906.14/1912.52	c GARBAGE COLLECT
1906.14/1912.52	c #Conflicts:     278000 | #Constraints:     139929
1906.14/1912.52	c #Conflicts:     279000 | #Constraints:     140929
1906.14/1912.52	c #Conflicts:     280000 | #Constraints:     141929
1906.14/1912.52	c #Conflicts:     281000 | #Constraints:     142929
1906.14/1912.52	c #Conflicts:     282000 | #Constraints:     143929
1906.14/1912.52	c #Conflicts:     283000 | #Constraints:     144929
1906.14/1912.52	c #Conflicts:     284000 | #Constraints:     145929
1906.14/1912.52	c #Conflicts:     285000 | #Constraints:     146929
1906.14/1912.52	c #Conflicts:     286000 | #Constraints:     147929
1906.14/1912.52	c #Conflicts:     287000 | #Constraints:     148929
2535.80/2544.38	c #Conflicts:     288000 | #Constraints:     149929
2535.80/2544.38	c INPROCESSING
2535.80/2544.38	c GARBAGE COLLECT
2535.80/2544.38	c #Conflicts:     289000 | #Constraints:     140296
2535.80/2544.38	c #Conflicts:     290000 | #Constraints:     141296
2535.80/2544.38	c #Conflicts:     291000 | #Constraints:     142296
2535.80/2544.38	c #Conflicts:     292000 | #Constraints:     143296
2535.80/2544.38	c #Conflicts:     293000 | #Constraints:     144296
2535.80/2544.38	c #Conflicts:     294000 | #Constraints:     145296
2535.80/2544.38	c #Conflicts:     295000 | #Constraints:     146296
2535.80/2544.38	c #Conflicts:     296000 | #Constraints:     147296
2535.80/2544.38	c #Conflicts:     297000 | #Constraints:     148296
2535.80/2544.38	c #Conflicts:     298000 | #Constraints:     149296
2535.80/2544.38	c #Conflicts:     299000 | #Constraints:     150296
2535.80/2544.38	c INPROCESSING
2535.80/2544.38	c GARBAGE COLLECT
2535.80/2544.38	c #Conflicts:     300000 | #Constraints:     140533
2535.80/2544.38	c #Conflicts:     301000 | #Constraints:     141533
2535.80/2544.38	c #Conflicts:     302000 | #Constraints:     142533
2535.80/2544.38	c #Conflicts:     303000 | #Constraints:     143533
2535.80/2544.38	c #Conflicts:     304000 | #Constraints:     144533
2535.80/2544.38	c #Conflicts:     305000 | #Constraints:     145533
2535.80/2544.38	c #Conflicts:     306000 | #Constraints:     146533
2535.80/2544.38	c #Conflicts:     307000 | #Constraints:     147533
2535.80/2544.38	c #Conflicts:     308000 | #Constraints:     148533
2535.80/2544.38	c #Conflicts:     309000 | #Constraints:     149533
2535.80/2544.38	c #Conflicts:     310000 | #Constraints:     150533
2535.80/2544.38	c INPROCESSING
2535.80/2544.38	c GARBAGE COLLECT
2535.80/2544.38	c #Conflicts:     311000 | #Constraints:     140427
2535.80/2544.38	c #Conflicts:     312000 | #Constraints:     141427
2535.80/2544.38	c #Conflicts:     313000 | #Constraints:     142427
2535.80/2544.38	c #Conflicts:     314000 | #Constraints:     143427
2535.80/2544.38	c #Conflicts:     315000 | #Constraints:     144427
2535.80/2544.38	c #Conflicts:     316000 | #Constraints:     145427
2535.80/2544.38	c #Conflicts:     317000 | #Constraints:     146427
2535.80/2544.38	c #Conflicts:     318000 | #Constraints:     147427
2535.80/2544.38	c #Conflicts:     319000 | #Constraints:     148427
2535.80/2544.38	c #Conflicts:     320000 | #Constraints:     149427
2535.80/2544.38	c #Conflicts:     321000 | #Constraints:     150427
2535.80/2544.38	c INPROCESSING
2535.80/2544.38	c GARBAGE COLLECT
2535.80/2544.38	c #Conflicts:     322000 | #Constraints:     140307
2535.80/2544.38	c #Conflicts:     323000 | #Constraints:     141307
2535.80/2544.38	c #Conflicts:     324000 | #Constraints:     142307
2535.80/2544.38	c #Conflicts:     325000 | #Constraints:     143307
2535.80/2544.38	c #Conflicts:     326000 | #Constraints:     144307
2535.80/2544.38	c #Conflicts:     327000 | #Constraints:     145307
2535.80/2544.38	c #Conflicts:     328000 | #Constraints:     146307
2535.80/2544.38	c #Conflicts:     329000 | #Constraints:     147307
2535.80/2544.38	c #Conflicts:     330000 | #Constraints:     148307
2535.80/2544.38	c #Conflicts:     331000 | #Constraints:     149307
2535.80/2544.38	c #Conflicts:     332000 | #Constraints:     150307
2535.80/2544.38	c #Conflicts:     333000 | #Constraints:     151307
2535.80/2544.38	c INPROCESSING
2535.80/2544.38	c GARBAGE COLLECT
2535.80/2544.38	c #Conflicts:     334000 | #Constraints:     140903
2535.80/2544.38	c #Conflicts:     335000 | #Constraints:     141903
2535.80/2544.38	c #Conflicts:     336000 | #Constraints:     142903
2535.80/2544.38	c #Conflicts:     337000 | #Constraints:     143903
2535.80/2544.38	c #Conflicts:     338000 | #Constraints:     144903
2535.80/2544.38	c #Conflicts:     339000 | #Constraints:     145903
2535.80/2544.38	c #Conflicts:     340000 | #Constraints:     146903
2535.80/2544.38	c #Conflicts:     341000 | #Constraints:     147903
2535.80/2544.38	c #Conflicts:     342000 | #Constraints:     148903
2535.80/2544.38	c #Conflicts:     343000 | #Constraints:     149903
2535.80/2544.38	c #Conflicts:     344000 | #Constraints:     150903
2535.80/2544.38	c #Conflicts:     345000 | #Constraints:     151903
2535.80/2544.38	c INPROCESSING
2535.80/2544.38	c GARBAGE COLLECT
2535.80/2544.38	c #Conflicts:     346000 | #Constraints:     141330
2535.80/2544.38	c #Conflicts:     347000 | #Constraints:     142330
2535.80/2544.38	c #Conflicts:     348000 | #Constraints:     143330
2535.80/2544.38	c #Conflicts:     349000 | #Constraints:     144330
2535.80/2544.38	c #Conflicts:     350000 | #Constraints:     145330
2535.80/2544.38	c #Conflicts:     351000 | #Constraints:     146330
2535.80/2544.38	c #Conflicts:     352000 | #Constraints:     147330
2535.80/2544.38	c #Conflicts:     353000 | #Constraints:     148330
2535.80/2544.38	c #Conflicts:     354000 | #Constraints:     149330
2535.80/2544.38	c #Conflicts:     355000 | #Constraints:     150330
2535.80/2544.38	c #Conflicts:     356000 | #Constraints:     151330
2535.80/2544.38	c #Conflicts:     357000 | #Constraints:     152330
2535.80/2544.38	c INPROCESSING
2535.80/2544.38	c GARBAGE COLLECT
2535.80/2544.38	c #Conflicts:     358000 | #Constraints:     141556
2535.80/2544.38	c #Conflicts:     359000 | #Constraints:     142556
2535.80/2544.38	c #Conflicts:     360000 | #Constraints:     143556
2535.80/2544.38	c #Conflicts:     361000 | #Constraints:     144556
3143.02/3153.73	c #Conflicts:     362000 | #Constraints:     145556
3143.02/3153.73	c #Conflicts:     363000 | #Constraints:     146556
3143.02/3153.73	c #Conflicts:     364000 | #Constraints:     147556
3143.02/3153.73	c #Conflicts:     365000 | #Constraints:     148556
3143.02/3153.73	c #Conflicts:     366000 | #Constraints:     149556
3143.02/3153.73	c #Conflicts:     367000 | #Constraints:     150556
3143.02/3153.73	c #Conflicts:     368000 | #Constraints:     151556
3143.02/3153.73	c #Conflicts:     369000 | #Constraints:     152556
3143.02/3153.73	c INPROCESSING
3143.02/3153.73	c GARBAGE COLLECT
3143.02/3153.73	c #Conflicts:     370000 | #Constraints:     141516
3143.02/3153.73	c #Conflicts:     371000 | #Constraints:     142516
3143.02/3153.73	c #Conflicts:     372000 | #Constraints:     143516
3143.02/3153.73	c #Conflicts:     373000 | #Constraints:     144516
3143.02/3153.73	c #Conflicts:     374000 | #Constraints:     145516
3143.02/3153.73	c #Conflicts:     375000 | #Constraints:     146516
3143.02/3153.73	c #Conflicts:     376000 | #Constraints:     147516
3143.02/3153.73	c #Conflicts:     377000 | #Constraints:     148516
3143.02/3153.73	c #Conflicts:     378000 | #Constraints:     149516
3143.02/3153.73	c #Conflicts:     379000 | #Constraints:     150516
3143.02/3153.73	c #Conflicts:     380000 | #Constraints:     151516
3143.02/3153.73	c #Conflicts:     381000 | #Constraints:     152516
3143.02/3153.73	c INPROCESSING
3143.02/3153.73	c GARBAGE COLLECT
3143.02/3153.73	c #Conflicts:     382000 | #Constraints:     141207
3143.02/3153.73	c #Conflicts:     383000 | #Constraints:     142207
3143.02/3153.73	c #Conflicts:     384000 | #Constraints:     143207
3143.02/3153.73	c #Conflicts:     385000 | #Constraints:     144207
3143.02/3153.73	c #Conflicts:     386000 | #Constraints:     145207
3143.02/3153.73	c #Conflicts:     387000 | #Constraints:     146207
3143.02/3153.73	c #Conflicts:     388000 | #Constraints:     147207
3143.02/3153.73	c #Conflicts:     389000 | #Constraints:     148207
3143.02/3153.73	c #Conflicts:     390000 | #Constraints:     149207
3143.02/3153.73	c #Conflicts:     391000 | #Constraints:     150207
3143.02/3153.73	c #Conflicts:     392000 | #Constraints:     151207
3143.02/3153.73	c #Conflicts:     393000 | #Constraints:     152207
3143.02/3153.73	c #Conflicts:     394000 | #Constraints:     153207
3143.02/3153.73	c INPROCESSING
3143.02/3153.73	c GARBAGE COLLECT
3143.02/3153.73	c #Conflicts:     395000 | #Constraints:     141378
3143.02/3153.73	c #Conflicts:     396000 | #Constraints:     142378
3143.02/3153.73	c #Conflicts:     397000 | #Constraints:     143378
3143.02/3153.73	c #Conflicts:     398000 | #Constraints:     144378
3143.02/3153.73	c #Conflicts:     399000 | #Constraints:     145378
3143.02/3153.73	c #Conflicts:     400000 | #Constraints:     146378
3143.02/3153.73	c #Conflicts:     401000 | #Constraints:     147378
3143.02/3153.73	c #Conflicts:     402000 | #Constraints:     148378
3143.02/3153.73	c #Conflicts:     403000 | #Constraints:     149378
3143.02/3153.73	c #Conflicts:     404000 | #Constraints:     150378
3143.02/3153.73	c #Conflicts:     405000 | #Constraints:     151378
3143.02/3153.73	c #Conflicts:     406000 | #Constraints:     152378
3143.02/3153.73	c #Conflicts:     407000 | #Constraints:     153378
3143.02/3153.73	c INPROCESSING
3143.02/3153.73	c GARBAGE COLLECT
3143.02/3153.73	c #Conflicts:     408000 | #Constraints:     141791
3143.02/3153.73	c #Conflicts:     409000 | #Constraints:     142791
3143.02/3153.73	c #Conflicts:     410000 | #Constraints:     143791
3143.02/3153.73	c #Conflicts:     411000 | #Constraints:     144791
3143.02/3153.73	c #Conflicts:     412000 | #Constraints:     145791
3143.02/3153.73	c #Conflicts:     413000 | #Constraints:     146791
3143.02/3153.73	c #Conflicts:     414000 | #Constraints:     147791
3143.02/3153.73	c #Conflicts:     415000 | #Constraints:     148791
3143.02/3153.73	c #Conflicts:     416000 | #Constraints:     149791
3143.02/3153.73	c #Conflicts:     417000 | #Constraints:     150791
3143.02/3153.73	c #Conflicts:     418000 | #Constraints:     151791
3143.02/3153.73	c #Conflicts:     419000 | #Constraints:     152791
3143.02/3153.73	c #Conflicts:     420000 | #Constraints:     153791
3143.02/3153.73	c INPROCESSING
3143.02/3153.73	c GARBAGE COLLECT
3143.02/3153.73	c #Conflicts:     421000 | #Constraints:     141881
3143.02/3153.73	c #Conflicts:     422000 | #Constraints:     142881
3143.02/3153.73	c #Conflicts:     423000 | #Constraints:     143881
3143.02/3153.73	c #Conflicts:     424000 | #Constraints:     144881
3143.02/3153.73	c #Conflicts:     425000 | #Constraints:     145881
3143.02/3153.73	c #Conflicts:     426000 | #Constraints:     146881
3143.02/3153.73	c #Conflicts:     427000 | #Constraints:     147881
3143.02/3153.73	c #Conflicts:     428000 | #Constraints:     148881
3143.02/3153.73	c #Conflicts:     429000 | #Constraints:     149881
3143.02/3153.73	c #Conflicts:     430000 | #Constraints:     150881
3143.02/3153.73	c #Conflicts:     431000 | #Constraints:     151881
3143.02/3153.73	c #Conflicts:     432000 | #Constraints:     152881
3143.02/3153.73	c #Conflicts:     433000 | #Constraints:     153881
3143.02/3153.73	c INPROCESSING
3143.02/3153.73	c GARBAGE COLLECT
3143.02/3153.73	c #Conflicts:     434000 | #Constraints:     141851
3143.02/3153.73	c #Conflicts:     435000 | #Constraints:     142851
3143.02/3153.73	c #Conflicts:     436000 | #Constraints:     143851
3600.03/3612.30	c #Conflicts:     437000 | #Constraints:     144851
3600.03/3612.30	c #Conflicts:     438000 | #Constraints:     145851
3600.03/3612.30	c #Conflicts:     439000 | #Constraints:     146851
3600.03/3612.30	c #Conflicts:     440000 | #Constraints:     147851
3600.03/3612.30	c #Conflicts:     441000 | #Constraints:     148851
3600.03/3612.30	c #Conflicts:     442000 | #Constraints:     149851
3600.03/3612.30	c #Conflicts:     443000 | #Constraints:     150851
3600.03/3612.30	c #Conflicts:     444000 | #Constraints:     151851
3600.03/3612.30	c #Conflicts:     445000 | #Constraints:     152851
3600.03/3612.30	c #Conflicts:     446000 | #Constraints:     153851
3600.03/3612.30	c INPROCESSING
3600.03/3612.30	c GARBAGE COLLECT
3600.03/3612.30	c #Conflicts:     447000 | #Constraints:     141632
3600.03/3612.30	c #Conflicts:     448000 | #Constraints:     142632
3600.03/3612.30	c #Conflicts:     449000 | #Constraints:     143632
3600.03/3612.30	c #Conflicts:     450000 | #Constraints:     144632
3600.03/3612.30	c #Conflicts:     451000 | #Constraints:     145632
3600.03/3612.30	c #Conflicts:     452000 | #Constraints:     146632
3600.03/3612.30	c #Conflicts:     453000 | #Constraints:     147632
3600.03/3612.30	c #Conflicts:     454000 | #Constraints:     148632
3600.03/3612.30	c #Conflicts:     455000 | #Constraints:     149632
3600.03/3612.30	c #Conflicts:     456000 | #Constraints:     150632
3600.03/3612.30	c #Conflicts:     457000 | #Constraints:     151632
3600.03/3612.30	c #Conflicts:     458000 | #Constraints:     152632
3600.03/3612.30	c #Conflicts:     459000 | #Constraints:     153632
3600.03/3612.30	c #Conflicts:     460000 | #Constraints:     154632
3600.03/3612.30	c INPROCESSING
3600.03/3612.30	c GARBAGE COLLECT
3600.03/3612.30	c #Conflicts:     461000 | #Constraints:     142292
3600.03/3612.30	c #Conflicts:     462000 | #Constraints:     143292
3600.03/3612.30	c #Conflicts:     463000 | #Constraints:     144292
3600.03/3612.30	c #Conflicts:     464000 | #Constraints:     145292
3600.03/3612.30	c #Conflicts:     465000 | #Constraints:     146292
3600.03/3612.30	c #Conflicts:     466000 | #Constraints:     147292
3600.03/3612.30	c #Conflicts:     467000 | #Constraints:     148292
3600.03/3612.30	c #Conflicts:     468000 | #Constraints:     149292
3600.03/3612.30	c #Conflicts:     469000 | #Constraints:     150292
3600.03/3612.30	c #Conflicts:     470000 | #Constraints:     151292
3600.03/3612.30	c Program interrupted by user.
3600.03/3612.30	c cpu time 3585.92 s
3600.03/3612.30	c deterministic time 161917936356 1.62e+11
3600.03/3612.30	c optimization time 252.97 s
3600.03/3612.30	c total solve time 3332.54 s
3600.03/3612.30	c core-guided solve time 3332.54 s
3600.03/3612.30	c propagation time 1311.47 s
3600.03/3612.30	c conflict analysis time 2049.32 s
3600.03/3612.30	c propagations 1666199083
3600.03/3612.30	c resolve steps 10259926
3600.03/3612.30	c decisions 12834866
3600.03/3612.30	c conflicts 470328
3600.03/3612.30	c restarts 1022
3600.03/3612.30	c inprocessing phases 59
3600.03/3612.30	c input clauses 114399
3600.03/3612.30	c input cardinalities 15374
3600.03/3612.30	c input general constraints 0
3600.03/3612.30	c input average constraint length 8.00
3600.03/3612.30	c input average constraint degree 4.00
3600.03/3612.30	c learned clauses 52324
3600.03/3612.30	c learned cardinalities 11999
3600.03/3612.30	c learned general constraints 406005
3600.03/3612.30	c learned average constraint length 4351.89
3600.03/3612.30	c learned average constraint degree 31373410.44
3600.03/3612.30	c watched constraints 125930
3600.03/3612.30	c counting constraints 280075
3600.03/3612.30	c gcd simplifications 1446
3600.03/3612.30	c detected cardinalities 546
3600.03/3612.30	c weakened non-implied lits 1309301812
3600.03/3612.30	c weakened non-implying lits 76570
3600.03/3612.30	c original variables 113616
3600.03/3612.30	c clausal propagations 121974667
3600.03/3612.30	c cardinality propagations 1047608255
3600.03/3612.30	c watched propagations 13849861
3600.03/3612.30	c counting propagations 464624470
3600.03/3612.30	c watch lookups 22375256008
3600.03/3612.30	c watch backjump lookups 21846319184
3600.03/3612.30	c watch checks 54259198152
3600.03/3612.30	c propagation checks 52917016089
3600.03/3612.30	c constraint additions 7161705024
3600.03/3612.30	c trail pops 1679407949
3600.03/3612.30	c formula constraints 129771
3600.03/3612.30	c learned constraints 470328
3600.03/3612.30	c bound constraints 1
3600.03/3612.30	c core-guided constraints 1
3600.03/3612.30	c encountered formula constraints 6140510
3600.03/3612.30	c encountered learned constraints 4589745
3600.03/3612.30	c encountered bound constraints 0
3600.03/3612.30	c encountered core-guided constraints 0
3600.03/3612.30	c LP total time 0 s
3600.03/3612.30	c LP solve time 0 s
3600.03/3612.30	c LP constraints added 0
3600.03/3612.30	c LP constraints removed 0
3600.03/3612.30	c LP pivots internal 0
3600.03/3612.30	c LP pivots root 0
3600.03/3612.30	c LP calls 0
3600.03/3612.30	c LP optimalities 0
3600.03/3612.30	c LP no pivot count 0
3600.03/3612.30	c LP infeasibilities 0
3600.03/3612.30	c LP valid Farkas constraints 0
3600.03/3612.30	c LP learned Farkas constraints 0
3600.03/3612.30	c LP basis resets 0
3600.03/3612.30	c LP cycling count 0
3600.03/3612.30	c LP singular count 0
3600.03/3612.30	c LP no primal count 0
3600.03/3612.30	c LP no farkas count 0
3600.03/3612.30	c LP other issue count 0
3600.03/3612.30	c LP Gomory cuts 0
3600.03/3612.30	c LP learned cuts 0
3600.03/3612.30	c LP deleted cuts 0
3600.03/3612.30	c LP encountered Gomory constraints 0
3600.03/3612.30	c LP encountered Farkas constraints 0
3600.03/3612.30	c LP encountered learned Farkas constraints 0
3600.03/3612.30	c CG auxiliary variables introduced 0
3600.03/3612.30	c CG solutions found 0
3600.03/3612.30	c CG cores constructed 1
3600.03/3612.30	c CG core cardinality constraints returned 1
3600.03/3612.30	c CG unit cores 0
3600.03/3612.30	c CG single cores 1
3600.03/3612.30	c CG blocks removed during cardinality reduction 0
3600.03/3612.30	c CG first core best 0
3600.03/3612.30	c CG decision core best 0
3600.03/3612.30	c CG core reduction tie 0
3600.03/3612.30	c CG core degree average 316.00
3600.03/3612.30	c CG core slack average 499.00
3600.03/3612.30	c CG exhausted 0
3600.03/3612.30	c CG exhaust time 0 s
3600.03/3612.30	c CG trimmed 75
3600.03/3612.30	c CG trim time 0.137227 s
3600.03/3612.30	c CG minimized 0
3600.03/3612.30	c CG minimize time 0 s
3600.03/3612.30	c CG am1 prop time 0.004871 s
3600.03/3612.30	c CG # am1s reformulated 0
3600.03/3612.30	c CG lower bound derived from am1s 0
3600.03/3612.30	c CG # clausal cores 0
3600.03/3612.30	c CG # cardinality cores 1
3600.03/3612.30	c CG # pb cores 0
3600.03/3612.30	c CG # pb reforms 0
3600.03/3612.30	c CG # cores discarded because of pb reform 0
3600.03/3612.30	d LOWERBOUND 319
3600.03/3612.30	d NCORES 1
3600.03/3612.30	d NPBCORES 0
3600.03/3612.30	d NPBREFORM 0
3600.03/3612.30	d NTRIMMED 75
3600.03/3612.30	d NEXHAUSTED 0
3600.03/3612.30	d NAM1S 0
3600.03/3612.30	d AM1LB 0
3600.13/3612.43	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 (56445 MiB free)
  memory of node 1: 64510 MiB (52524 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462030-1722207947/watcher-4462030-1722207947 -o /tmp/evaluation-result-4462030-1722207947/solver-4462030-1722207947 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722207926-400690 --watchdog 3760 pb-oll-rs HOME/instance-4462030-1722207947.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=400986, runsolver pid=400983

[startup+0.100132 s]*
/proc/loadavg: 3.72 3.99 4.00 5/255 400987
/proc/meminfo: memFree=111557244/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=65392 memory=32384 CPUtime=0.09 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 6144 0 0 0 8 1 0 0 20 0 1 0 57318315 66961408 8096 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 16348 8096 1158 291 0 7882 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65392 KiB
Current children cumulated memory: 32384 KiB

[startup+0.205572 s]*
/proc/loadavg: 3.72 3.99 4.00 5/255 400987
/proc/meminfo: memFree=111551900/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=68372 memory=37960 CPUtime=0.2 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 6964 0 0 0 17 3 0 0 20 0 1 0 57318315 70012928 9490 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 17093 9490 1158 291 0 8627 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 68372 KiB
Current children cumulated memory: 37960 KiB

[startup+0.30547 s]*
/proc/loadavg: 3.72 3.99 4.00 5/255 400987
/proc/meminfo: memFree=111550080/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=71576 memory=39632 CPUtime=0.3 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 7382 0 0 0 26 4 0 0 20 0 1 0 57318315 73293824 9908 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 17894 9908 1158 291 0 9428 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 71576 KiB
Current children cumulated memory: 39632 KiB

[startup+0.700219 s]
/proc/loadavg: 3.72 3.99 4.00 5/255 400987
/proc/meminfo: memFree=111544228/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=82440 memory=49784 CPUtime=0.68 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 10209 0 0 0 58 10 0 0 20 0 1 0 57318315 84418560 12446 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 20610 12446 1299 291 0 12144 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 82440 KiB
Current children cumulated memory: 49784 KiB

[startup+1.50023 s]
/proc/loadavg: 3.72 3.99 4.00 5/255 400987
/proc/meminfo: memFree=111472044/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=148112 memory=117864 CPUtime=1.48 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 26651 0 0 0 130 18 0 0 20 0 1 0 57318315 151666688 29466 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 37028 29466 1379 291 0 28562 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 148112 KiB
Current children cumulated memory: 117864 KiB

[startup+3.10551 s]
/proc/loadavg: 3.75 3.99 4.00 5/255 400987
/proc/meminfo: memFree=111466520/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=148112 memory=119172 CPUtime=3.08 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 26923 0 0 0 280 28 0 0 20 0 1 0 57318315 151666688 29793 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 37028 29793 1379 291 0 28562 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 148112 KiB
Current children cumulated memory: 119172 KiB

[startup+6.30018 s]
/proc/loadavg: 3.75 3.99 4.00 5/253 401001
/proc/meminfo: memFree=111697040/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=148928 memory=118972 CPUtime=6.26 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 27400 0 0 0 586 40 0 0 20 0 1 0 57318315 152502272 29743 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 37232 29743 1458 291 0 28766 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 148928 KiB
Current children cumulated memory: 118972 KiB

[startup+12.7002 s]
/proc/loadavg: 3.70 3.98 4.00 4/248 401066
/proc/meminfo: memFree=111575856/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=179572 memory=134940 CPUtime=12.64 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 28319 0 0 0 1213 51 0 0 20 0 1 0 57318315 183881728 33735 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 44893 33735 1458 291 0 36427 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 179572 KiB
Current children cumulated memory: 134940 KiB

[startup+25.5002 s]
/proc/loadavg: 3.68 3.96 3.99 4/248 401067
/proc/meminfo: memFree=111420072/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=210144 memory=177616 CPUtime=25.4 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 36258 0 0 0 2477 63 0 0 20 0 1 0 57318315 215187456 44404 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 52536 44404 1458 291 0 44070 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 210144 KiB
Current children cumulated memory: 177616 KiB

[startup+51.1053 s]
/proc/loadavg: 3.44 3.88 3.96 4/248 401072
/proc/meminfo: memFree=110928408/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=277128 memory=228288 CPUtime=50.92 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 46516 0 0 0 5001 91 0 0 20 0 1 0 57318315 283779072 57072 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 69282 57072 1458 291 0 60816 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 277128 KiB
Current children cumulated memory: 228288 KiB

[startup+102.3 s]
/proc/loadavg: 2.86 3.65 3.88 3/241 401112
/proc/meminfo: memFree=111303784/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=387928 memory=311684 CPUtime=101.94 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 64832 0 0 0 10068 126 0 0 20 0 1 0 57318315 397238272 77921 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 96982 77921 1458 291 0 88516 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 387928 KiB
Current children cumulated memory: 311684 KiB

[startup+162.3 s]
/proc/loadavg: 2.38 3.36 3.77 3/241 401122
/proc/meminfo: memFree=110995784/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=617832 memory=548296 CPUtime=161.72 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 103408 0 0 0 16010 162 0 0 20 0 1 0 57318315 632659968 137074 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 154458 137074 1458 291 0 145992 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 617832 KiB
Current children cumulated memory: 548296 KiB

[startup+222.3 s]
/proc/loadavg: 2.18 3.13 3.66 3/240 401132
/proc/meminfo: memFree=110938220/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=661896 memory=592136 CPUtime=221.51 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 116294 0 0 0 21950 201 0 0 20 0 1 0 57318315 677781504 148034 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 165474 148034 1458 291 0 157008 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 661896 KiB
Current children cumulated memory: 592136 KiB

[startup+282.3 s]
/proc/loadavg: 2.10 2.93 3.56 3/243 401149
/proc/meminfo: memFree=110858836/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=714072 memory=644256 CPUtime=281.29 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 130695 0 0 0 27894 235 0 0 20 0 1 0 57318315 731209728 161064 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 178518 161064 1458 291 0 170052 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 714072 KiB
Current children cumulated memory: 644256 KiB

[startup+342.3 s]
/proc/loadavg: 2.09 2.78 3.46 3/243 401159
/proc/meminfo: memFree=110803916/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=727064 memory=657344 CPUtime=341.07 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 135285 0 0 0 33839 268 0 0 20 0 1 0 57318315 744513536 164336 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 181766 164336 1458 291 0 173300 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 727064 KiB
Current children cumulated memory: 657344 KiB

[startup+402.3 s]
/proc/loadavg: 2.07 2.65 3.37 3/243 401171
/proc/meminfo: memFree=110590052/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=991724 memory=867084 CPUtime=400.85 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 169071 0 0 0 39789 296 0 0 20 0 1 0 57318315 1015525376 216771 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 247931 216771 1458 291 0 239465 0
Current children cumulated CPU time: 400.85 s
Current children cumulated vsize: 991724 KiB
Current children cumulated memory: 867084 KiB

[startup+462.3 s]
/proc/loadavg: 2.20 2.58 3.30 3/243 401181
/proc/meminfo: memFree=110446420/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=1108468 memory=1003616 CPUtime=460.63 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 196653 0 0 0 45739 324 0 0 20 0 1 0 57318315 1135071232 250904 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 277117 250904 1458 291 0 268651 0

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

Current children cumulated memory: 2200788 KiB

[startup+2922.3 s]
/proc/loadavg: 2.13 2.27 2.27 3/242 402239
/proc/meminfo: memFree=108012092/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=2589672 memory=2200820 CPUtime=2912.45 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 455634 0 0 0 290156 1089 0 0 20 0 1 0 57318315 2651824128 550205 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 647418 550205 1458 291 0 638952 0
Current children cumulated CPU time: 2912.45 s
Current children cumulated vsize: 2589672 KiB
Current children cumulated memory: 2200820 KiB

[startup+2982.3 s]
/proc/loadavg: 2.17 2.25 2.27 3/242 402633
/proc/meminfo: memFree=108011032/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=2590280 memory=2201428 CPUtime=2972.24 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 457205 0 0 0 296112 1112 0 0 20 0 1 0 57318315 2652446720 550357 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 647570 550357 1458 291 0 639104 0
Current children cumulated CPU time: 2972.24 s
Current children cumulated vsize: 2590280 KiB
Current children cumulated memory: 2201428 KiB

[startup+3042.3 s]
/proc/loadavg: 2.17 2.23 2.26 3/242 402643
/proc/meminfo: memFree=107954880/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=2658076 memory=2256788 CPUtime=3032.03 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 472684 0 0 0 302069 1134 0 0 20 0 1 0 57318315 2721869824 564197 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 664519 564197 1458 291 0 656053 0
Current children cumulated CPU time: 3032.03 s
Current children cumulated vsize: 2658076 KiB
Current children cumulated memory: 2256788 KiB

[startup+3102.3 s]
/proc/loadavg: 2.12 2.20 2.25 3/242 402654
/proc/meminfo: memFree=107935864/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=2677048 memory=2275548 CPUtime=3091.81 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 478311 0 0 0 308020 1161 0 0 20 0 1 0 57318315 2741297152 568887 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 669262 568887 1458 291 0 660796 0
Current children cumulated CPU time: 3091.81 s
Current children cumulated vsize: 2677048 KiB
Current children cumulated memory: 2275548 KiB

[startup+3162.3 s]
/proc/loadavg: 2.12 2.18 2.24 3/245 402835
/proc/meminfo: memFree=107838848/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=2779920 memory=2370532 CPUtime=3151.6 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 503396 0 0 0 313966 1194 0 0 20 0 1 0 57318315 2846638080 592633 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 694980 592633 1458 291 0 686514 0
Current children cumulated CPU time: 3151.6 s
Current children cumulated vsize: 2779920 KiB
Current children cumulated memory: 2370532 KiB

[startup+3222.3 s]
/proc/loadavg: 2.11 2.16 2.23 3/245 402845
/proc/meminfo: memFree=107823208/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=2797420 memory=2386016 CPUtime=3211.39 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 508263 0 0 0 319925 1214 0 0 20 0 1 0 57318315 2864558080 596504 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 699355 596504 1458 291 0 690889 0
Current children cumulated CPU time: 3211.39 s
Current children cumulated vsize: 2797420 KiB
Current children cumulated memory: 2386016 KiB

[startup+3282.3 s]
/proc/loadavg: 2.09 2.14 2.21 3/244 402859
/proc/meminfo: memFree=107790984/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=2833336 memory=2416940 CPUtime=3271.17 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 518081 0 0 0 325889 1228 0 0 20 0 1 0 57318315 2901336064 604235 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 708334 604235 1458 291 0 699868 0
Current children cumulated CPU time: 3271.17 s
Current children cumulated vsize: 2833336 KiB
Current children cumulated memory: 2416940 KiB

[startup+3342.3 s]
/proc/loadavg: 2.07 2.13 2.20 3/244 402883
/proc/meminfo: memFree=107789552/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=2833744 memory=2417392 CPUtime=3330.96 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 519250 0 0 0 331852 1244 0 0 20 0 1 0 57318315 2901753856 604348 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 708436 604348 1458 291 0 699970 0
Current children cumulated CPU time: 3330.96 s
Current children cumulated vsize: 2833744 KiB
Current children cumulated memory: 2417392 KiB

[startup+3402.3 s]
/proc/loadavg: 2.08 2.12 2.19 3/244 402894
/proc/meminfo: memFree=107741484/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=2884964 memory=2465828 CPUtime=3390.75 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 533056 0 0 0 337810 1265 0 0 20 0 1 0 57318315 2954203136 616457 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 721241 616457 1458 291 0 712775 0
Current children cumulated CPU time: 3390.75 s
Current children cumulated vsize: 2884964 KiB
Current children cumulated memory: 2465828 KiB

[startup+3462.3 s]
/proc/loadavg: 2.07 2.11 2.18 3/242 402904
/proc/meminfo: memFree=107119428/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=3391144 memory=3075016 CPUtime=3450.54 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 642928 0 0 0 343737 1317 0 0 20 0 1 0 57318315 3472531456 768754 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 847786 768754 1458 291 0 839320 0
Current children cumulated CPU time: 3450.54 s
Current children cumulated vsize: 3391144 KiB
Current children cumulated memory: 3075016 KiB

[startup+3522.3 s]
/proc/loadavg: 2.16 2.13 2.18 3/242 402916
/proc/meminfo: memFree=106705624/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=4034880 memory=3471048 CPUtime=3510.34 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 678641 0 0 0 349691 1343 0 0 20 0 1 0 57318315 4131717120 867762 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 1008720 867762 1458 291 0 1000254 0
Current children cumulated CPU time: 3510.34 s
Current children cumulated vsize: 4034880 KiB
Current children cumulated memory: 3471048 KiB

[startup+3582.3 s]
/proc/loadavg: 2.06 2.11 2.17 3/241 402926
/proc/meminfo: memFree=105589152/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=5021104 memory=4570488 CPUtime=3570.12 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 863514 0 0 0 355615 1397 0 0 20 0 1 0 57318315 5141610496 1142622 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 1255276 1142622 1458 291 0 1246810 0
Current children cumulated CPU time: 3570.12 s
Current children cumulated vsize: 5021104 KiB
Current children cumulated memory: 4570488 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.3 s]
/proc/loadavg: 1.81 2.04 2.15 2/234 402962
/proc/meminfo: memFree=107453280/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=5965668 memory=4760512 CPUtime=3600.03 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 877953 0 0 0 358591 1412 0 0 20 0 1 0 57318315 6108844032 1190128 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 1491417 1190128 1458 291 0 1482951 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 5965668 KiB
Current children cumulated memory: 4760512 KiB

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

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

# cumulated CPU time of all completed processes:  user=3585.95 s, system=14.2487 s

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

[startup+3612.4 s]
/proc/loadavg: 1.81 2.04 2.15 2/234 402962
/proc/meminfo: memFree=107453280/131524600 swapFree=131056796/131071996
[pid=400986] ppid=400983 vsize=5943424 memory=3311548 CPUtime=3600.13 cores=0,2
/proc/400986/stat : 400986 (pb-oll-rs) R 400983 400986 398120 0 -1 4194304 877963 0 0 0 358594 1419 0 0 20 0 1 0 57318315 6086066176 828399 134679101440 4194304 5384485 140732498000224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23306240 140732498002966 140732498003043 140732498003043 140732498010059 0
/proc/400986/statm: 1485856 827887 1538 291 0 1477390 0
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 5943424 KiB
Current children cumulated memory: 3311548 KiB

Child status: 0

Real time (s): 3612.46
CPU time (s): 3600.2
CPU user time (s): 3585.95
CPU system time (s): 14.2487
CPU usage (%): 99.6606
Max. virtual memory (cumulated for all children) (KiB): 5965668
Max. memory (cumulated for all children) (KiB): 4760512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.95
system time used= 14.2487
maximum resident set size= 4760512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 877972
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= 226
involuntary context switches= 24756


# summary of solver processes directly reported to runsolver:
#   pid: 400986
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3585.95
#   total CPU system time (s): 14.2487

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.23299 second user time and 15.8377 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-29 01:05:47
IDJOB=4462030
IDBENCH=178875
IDSOLVER=3082
FILE ID=nodeC032/4462030-1722207947
RUNJOBID= nodeC032-1722207926-400690
SLURM_JOB_ID= 8248633
Free space on /tmp= 890036 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/SMTI/x1/Init-x1-i4_pp_80_merged.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462030-1722207947/watcher-4462030-1722207947 -o /tmp/evaluation-result-4462030-1722207947/solver-4462030-1722207947 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722207926-400690 --watchdog 3760  pb-oll-rs HOME/instance-4462030-1722207947.opb

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

MD5SUM BENCH= 4616ac8a16a5f48e16aff56bf369874b
RANDOM SEED=704878320

nodeC032.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		: 3663.258
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.31
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		: 3681.208
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	: 7005.79
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		: 3659.654
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.702
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	: 7005.79
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		: 3673.351
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.31
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		: 3681.239
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	: 7005.79
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		: 3614.027
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.31
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		: 3599.842
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	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        111585700 kB
MemAvailable:   129000396 kB
Buffers:          389628 kB
Cached:         17778024 kB
SwapCached:          112 kB
Active:          2821816 kB
Inactive:       16340468 kB
Active(anon):       2120 kB
Inactive(anon):  1053780 kB
Active(file):    2819696 kB
Inactive(file): 15286688 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056796 kB
Dirty:             51100 kB
Writeback:             0 kB
AnonPages:        993168 kB
Mapped:           121804 kB
Shmem:             61244 kB
KReclaimable:     295920 kB
Slab:             420492 kB
SReclaimable:     295920 kB
SUnreclaim:       124572 kB
KernelStack:        4112 kB
PageTables:        11448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1491564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20320 kB
HardwareCorrupted:     0 kB
AnonHugePages:    315392 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:      385748 kB
DirectMap2M:    47622144 kB
DirectMap1G:    88080384 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC032 at 2024-07-29 02:06:00