Trace number 4462016

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-02? (TO) 3600.18 3608.93

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462016-1722205595/watcher-4462016-1722205595 -o /tmp/evaluation-result-4462016-1722205595/solver-4462016-1722205595 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722205574-437802 --watchdog 3760 pb-oll-rs HOME/instance-4462016-1722205595.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=438100, runsolver pid=438097

[startup+0.100899 s]*
/proc/loadavg: 2.04 1.37 1.00 5/255 438101
/proc/meminfo: memFree=126701404/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=65392 memory=32960 CPUtime=0.09 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 6169 0 0 0 8 1 0 0 20 0 1 0 57087789 66961408 8240 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 16348 8240 1236 291 0 7882 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65392 KiB
Current children cumulated memory: 32960 KiB

[startup+0.205527 s]*
/proc/loadavg: 2.04 1.37 1.00 5/255 438101
/proc/meminfo: memFree=126696088/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=68592 memory=38300 CPUtime=0.2 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 6972 0 0 0 17 3 0 0 20 0 1 0 57087789 70238208 9575 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 17148 9575 1236 291 0 8682 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 68592 KiB
Current children cumulated memory: 38300 KiB

[startup+0.305441 s]*
/proc/loadavg: 2.04 1.37 1.00 5/255 438101
/proc/meminfo: memFree=126692108/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=71708 memory=41988 CPUtime=0.3 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 7420 0 0 0 25 5 0 0 20 0 1 0 57087789 73428992 10497 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 17927 10497 1236 291 0 9461 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 71708 KiB
Current children cumulated memory: 41988 KiB

[startup+0.70015 s]
/proc/loadavg: 2.04 1.37 1.00 5/255 438101
/proc/meminfo: memFree=126686300/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=82440 memory=51760 CPUtime=0.68 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 9650 0 0 0 58 10 0 0 20 0 1 0 57087789 84418560 12940 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 20610 12940 1331 291 0 12144 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 82440 KiB
Current children cumulated memory: 51760 KiB

[startup+1.50022 s]
/proc/loadavg: 2.04 1.37 1.00 5/255 438101
/proc/meminfo: memFree=126616424/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=148112 memory=117988 CPUtime=1.48 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 25573 0 0 0 127 21 0 0 20 0 1 0 57087789 151666688 29497 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 37028 29497 1410 291 0 28562 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 148112 KiB
Current children cumulated memory: 117988 KiB

[startup+3.10609 s]
/proc/loadavg: 2.19 1.42 1.02 5/255 438101
/proc/meminfo: memFree=126618840/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=148928 memory=113144 CPUtime=3.08 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 25960 0 0 0 277 31 0 0 20 0 1 0 57087789 152502272 28286 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 37232 28286 1410 291 0 28766 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 148928 KiB
Current children cumulated memory: 113144 KiB

[startup+6.30021 s]
/proc/loadavg: 2.19 1.42 1.02 5/253 438115
/proc/meminfo: memFree=126839804/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=148928 memory=120076 CPUtime=6.27 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 26164 0 0 0 586 41 0 0 20 0 1 0 57087789 152502272 30019 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 37232 30019 1410 291 0 28766 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 148928 KiB
Current children cumulated memory: 120076 KiB

[startup+12.7002 s]
/proc/loadavg: 2.39 1.49 1.04 4/248 438180
/proc/meminfo: memFree=126734324/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=179572 memory=134740 CPUtime=12.65 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 27245 0 0 0 1211 54 0 0 20 0 1 0 57087789 183881728 33685 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 44893 33685 1474 291 0 36427 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 179572 KiB
Current children cumulated memory: 134740 KiB

[startup+25.5002 s]
/proc/loadavg: 2.49 1.54 1.06 4/248 438182
/proc/meminfo: memFree=126563948/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=207120 memory=174508 CPUtime=25.42 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 34478 0 0 0 2478 64 0 0 20 0 1 0 57087789 212090880 43627 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 51780 43627 1474 291 0 43314 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 207120 KiB
Current children cumulated memory: 174508 KiB

[startup+51.1052 s]
/proc/loadavg: 2.66 1.65 1.12 4/248 438187
/proc/meminfo: memFree=126057092/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=269992 memory=220788 CPUtime=50.96 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 43642 0 0 0 5002 94 0 0 20 0 1 0 57087789 276471808 55197 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 67498 55197 1474 291 0 59032 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 269992 KiB
Current children cumulated memory: 220788 KiB

[startup+102.3 s]
/proc/loadavg: 2.59 1.82 1.21 3/243 438396
/proc/meminfo: memFree=126440016/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=327232 memory=294608 CPUtime=102.03 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 59913 0 0 0 10073 130 0 0 20 0 1 0 57087789 335085568 73652 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 81808 73652 1474 291 0 73342 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 327232 KiB
Current children cumulated memory: 294608 KiB

[startup+162.3 s]
/proc/loadavg: 2.28 1.87 1.26 3/243 438406
/proc/meminfo: memFree=126153276/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=603284 memory=533508 CPUtime=161.86 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 98077 0 0 0 16018 168 0 0 20 0 1 0 57087789 617762816 133377 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 150821 133377 1474 291 0 142355 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 603284 KiB
Current children cumulated memory: 533508 KiB

[startup+222.3 s]
/proc/loadavg: 2.15 1.91 1.32 3/247 438477
/proc/meminfo: memFree=126092432/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=650152 memory=580240 CPUtime=221.69 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 111658 0 0 0 21966 203 0 0 20 0 1 0 57087789 665755648 145060 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 162538 145060 1474 291 0 154072 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 650152 KiB
Current children cumulated memory: 580240 KiB

[startup+282.3 s]
/proc/loadavg: 2.17 1.96 1.37 3/245 438487
/proc/meminfo: memFree=126001020/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=708980 memory=639068 CPUtime=281.52 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 127739 0 0 0 27918 234 0 0 20 0 1 0 57087789 725995520 159767 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 177245 159767 1474 291 0 168779 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 708980 KiB
Current children cumulated memory: 639068 KiB

[startup+342.3 s]
/proc/loadavg: 2.11 1.99 1.42 3/243 438498
/proc/meminfo: memFree=125956576/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=716244 memory=646536 CPUtime=341.36 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 131645 0 0 0 33863 273 0 0 20 0 1 0 57087789 733433856 161634 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 179061 161634 1474 291 0 170595 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 716244 KiB
Current children cumulated memory: 646536 KiB

[startup+402.3 s]
/proc/loadavg: 2.15 2.02 1.47 3/243 438508
/proc/meminfo: memFree=125750192/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=972124 memory=848504 CPUtime=401.19 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 163803 0 0 0 39815 304 0 0 20 0 1 0 57087789 995454976 212126 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 243031 212126 1474 291 0 234565 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 972124 KiB
Current children cumulated memory: 848504 KiB

[startup+462.3 s]
/proc/loadavg: 2.17 2.04 1.52 3/241 438519
/proc/meminfo: memFree=125614220/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=1083720 memory=978940 CPUtime=461.03 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 189949 0 0 0 45776 327 0 0 20 0 1 0 57087789 1109729280 244735 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 270930 244735 1474 291 0 262464 0

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

Current children cumulated memory: 2200620 KiB

[startup+2922.3 s]
/proc/loadavg: 2.09 2.09 2.03 3/240 439534
/proc/meminfo: memFree=123174128/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=2589672 memory=2200624 CPUtime=2915.19 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 455407 0 0 0 290437 1082 0 0 20 0 1 0 57087789 2651824128 550156 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 647418 550156 1474 291 0 638952 0
Current children cumulated CPU time: 2915.19 s
Current children cumulated vsize: 2589672 KiB
Current children cumulated memory: 2200624 KiB

[startup+2982.3 s]
/proc/loadavg: 2.07 2.09 2.03 3/238 439544
/proc/meminfo: memFree=123173940/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=2589672 memory=2200656 CPUtime=2975.03 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 456356 0 0 0 296402 1101 0 0 20 0 1 0 57087789 2651824128 550164 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 647418 550164 1474 291 0 638952 0
Current children cumulated CPU time: 2975.03 s
Current children cumulated vsize: 2589672 KiB
Current children cumulated memory: 2200656 KiB

[startup+3042.3 s]
/proc/loadavg: 2.12 2.10 2.04 3/238 439555
/proc/meminfo: memFree=123173236/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=2590280 memory=2201236 CPUtime=3034.87 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 457857 0 0 0 302362 1125 0 0 20 0 1 0 57087789 2652446720 550309 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 647570 550309 1474 291 0 639104 0
Current children cumulated CPU time: 3034.87 s
Current children cumulated vsize: 2590280 KiB
Current children cumulated memory: 2201236 KiB

[startup+3102.3 s]
/proc/loadavg: 2.11 2.09 2.04 3/238 439565
/proc/meminfo: memFree=123117604/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=2658076 memory=2256624 CPUtime=3094.72 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 473337 0 0 0 308325 1147 0 0 20 0 1 0 57087789 2721869824 564156 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 664519 564156 1474 291 0 656053 0
Current children cumulated CPU time: 3094.72 s
Current children cumulated vsize: 2658076 KiB
Current children cumulated memory: 2256624 KiB

[startup+3162.3 s]
/proc/loadavg: 2.15 2.10 2.05 3/237 439575
/proc/meminfo: memFree=123102408/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=2672832 memory=2271504 CPUtime=3154.56 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 477969 0 0 0 314285 1171 0 0 20 0 1 0 57087789 2736979968 567876 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 668208 567876 1474 291 0 659742 0
Current children cumulated CPU time: 3154.56 s
Current children cumulated vsize: 2672832 KiB
Current children cumulated memory: 2271504 KiB

[startup+3222.3 s]
/proc/loadavg: 2.11 2.10 2.05 3/240 439591
/proc/meminfo: memFree=123002880/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=2779920 memory=2370444 CPUtime=3214.41 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 504159 0 0 0 320239 1202 0 0 20 0 1 0 57087789 2846638080 592611 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 694980 592611 1474 291 0 686514 0
Current children cumulated CPU time: 3214.41 s
Current children cumulated vsize: 2779920 KiB
Current children cumulated memory: 2370444 KiB

[startup+3282.3 s]
/proc/loadavg: 2.08 2.09 2.05 3/240 439601
/proc/meminfo: memFree=122995164/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=2787360 memory=2377644 CPUtime=3274.25 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 506943 0 0 0 326202 1223 0 0 20 0 1 0 57087789 2854256640 594411 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 696840 594411 1474 291 0 688374 0
Current children cumulated CPU time: 3274.25 s
Current children cumulated vsize: 2787360 KiB
Current children cumulated memory: 2377644 KiB

[startup+3342.3 s]
/proc/loadavg: 2.09 2.09 2.05 3/240 439612
/proc/meminfo: memFree=122955004/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=2833336 memory=2416748 CPUtime=3334.09 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 518441 0 0 0 332171 1238 0 0 20 0 1 0 57087789 2901336064 604187 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 708334 604187 1474 291 0 699868 0
Current children cumulated CPU time: 3334.09 s
Current children cumulated vsize: 2833336 KiB
Current children cumulated memory: 2416748 KiB

[startup+3402.3 s]
/proc/loadavg: 2.08 2.08 2.05 3/240 439622
/proc/meminfo: memFree=122953164/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=2833336 memory=2416896 CPUtime=3393.97 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 519294 0 0 0 338143 1254 0 0 20 0 1 0 57087789 2901336064 604224 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 708334 604224 1474 291 0 699868 0
Current children cumulated CPU time: 3393.97 s
Current children cumulated vsize: 2833336 KiB
Current children cumulated memory: 2416896 KiB

[startup+3462.3 s]
/proc/loadavg: 2.15 2.10 2.05 3/240 439633
/proc/meminfo: memFree=122931528/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=2839540 memory=2422492 CPUtime=3453.85 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 522271 0 0 0 344113 1272 0 0 20 0 1 0 57087789 2907688960 605623 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 709885 605623 1474 291 0 701419 0
Current children cumulated CPU time: 3453.85 s
Current children cumulated vsize: 2839540 KiB
Current children cumulated memory: 2422492 KiB

[startup+3522.3 s]
/proc/loadavg: 2.05 2.08 2.05 3/239 440027
/proc/meminfo: memFree=122492936/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=3184948 memory=2845292 CPUtime=3513.72 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 602069 0 0 0 350052 1320 0 0 20 0 1 0 57087789 3261386752 711323 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 796237 711323 1474 291 0 787771 0
Current children cumulated CPU time: 3513.72 s
Current children cumulated vsize: 3184948 KiB
Current children cumulated memory: 2845292 KiB

[startup+3582.3 s]
/proc/loadavg: 2.10 2.09 2.05 3/239 440037
/proc/meminfo: memFree=121954056/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=4004848 memory=3368124 CPUtime=3573.6 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 668989 0 0 0 356015 1345 0 0 20 0 1 0 57087789 4100964352 842031 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 1001212 842031 1474 291 0 992746 0
Current children cumulated CPU time: 3573.6 s
Current children cumulated vsize: 4004848 KiB
Current children cumulated memory: 3368124 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 1.84 2.03 2.03 2/232 440071
/proc/meminfo: memFree=123779640/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=4103964 memory=3612608 CPUtime=3600.04 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 696221 0 0 0 358643 1361 0 0 20 0 1 0 57087789 4202459136 903152 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 1025991 903152 1474 291 0 1017525 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 4103964 KiB
Current children cumulated memory: 3612608 KiB

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

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

# cumulated CPU time of all completed processes:  user=3586.47 s, system=13.7067 s

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

[startup+3608.9 s]
/proc/loadavg: 1.84 2.03 2.03 2/232 440071
/proc/meminfo: memFree=123779640/131524600 swapFree=131062976/131071996
[pid=438100] ppid=438097 vsize=3457044 memory=2039448 CPUtime=3600.14 cores=4,6
/proc/438100/stat : 438100 (pb-oll-rs) R 438097 438100 436491 0 -1 4194304 696231 0 0 0 358647 1367 0 0 20 0 1 0 57087789 3540013056 509862 134679101440 4194304 5384005 140730098734400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28160000 140730098742298 140730098742375 140730098742375 140730098749387 0
/proc/438100/statm: 864261 509862 1568 291 0 855795 0
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 3457044 KiB
Current children cumulated memory: 2039448 KiB

Child status: 0

Real time (s): 3608.93
CPU time (s): 3600.18
CPU user time (s): 3586.47
CPU system time (s): 13.7067
CPU usage (%): 99.7575
Max. virtual memory (cumulated for all children) (KiB): 4103964
Max. memory (cumulated for all children) (KiB): 3612608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.47
system time used= 13.7067
maximum resident set size= 3612608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 696240
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= 218
involuntary context switches= 3450


# summary of solver processes directly reported to runsolver:
#   pid: 438100
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3586.47
#   total CPU system time (s): 13.7067

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.33814 second user time and 15.4485 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2024-07-29 00:26:35
IDJOB=4462016
IDBENCH=178875
IDSOLVER=3067
FILE ID=nodeC027/4462016-1722205595
RUNJOBID= nodeC027-1722205574-437802
SLURM_JOB_ID= 8248628
Free space on /tmp= 890036 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
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-4462016-1722205595/watcher-4462016-1722205595 -o /tmp/evaluation-result-4462016-1722205595/solver-4462016-1722205595 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722205574-437802 --watchdog 3760  pb-oll-rs HOME/instance-4462016-1722205595.opb

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

MD5SUM BENCH= 4616ac8a16a5f48e16aff56bf369874b
RANDOM SEED=2008800897

nodeC027.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		: 3647.834
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.74
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		: 3660.253
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.65
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		: 3599.872
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.74
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.901
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.65
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		: 3643.059
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.74
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		: 3660.309
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.65
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		: 3654.971
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.74
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		: 3600.150
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.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126729984 kB
MemAvailable:   129079096 kB
Buffers:          387700 kB
Cached:          2671516 kB
SwapCached:           84 kB
Active:          2772048 kB
Inactive:        1183284 kB
Active(anon):       2288 kB
Inactive(anon):   947156 kB
Active(file):    2769760 kB
Inactive(file):   236128 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131062976 kB
Dirty:             50760 kB
Writeback:             8 kB
AnonPages:        895436 kB
Mapped:           118872 kB
Shmem:             53348 kB
KReclaimable:     366096 kB
Slab:             488252 kB
SReclaimable:     366096 kB
SUnreclaim:       122156 kB
KernelStack:        4064 kB
PageTables:        11604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1352796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17376 kB
HardwareCorrupted:     0 kB
AnonHugePages:    233472 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:      359124 kB
DirectMap2M:    40308736 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC027 at 2024-07-29 01:26:44