Trace number 4454330

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.05 3610.7

DiagnosticValue
AM1LB0
LOWERBOUND32
NAM1S0
NCORES6
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_18.opb
MD5SUM175cf8fd081870b89b1494469c4bb17a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark293
Best CPU time to get the best result obtained on this benchmark3600.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8883
Total number of constraints17459
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints17459
Minimum length of a constraint18
Maximum length of a constraint37
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2691
Number of bits of the biggest sum of numbers12
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.20/0.25	c [STEP] solving
0.20/0.25	c #variables 8883 #constraints 17459
0.20/0.25	c SMALL=int, LARGE=long long
0.20/0.25	c bounds - >= 0 @ 0.237496
0.20/0.25	c stratification level: 0
158.50/158.92	c bounds - >= 1 @ 0.249443
158.50/158.92	c bounds - >= 2 @ 0.250664
158.50/158.92	c bounds - >= 4 @ 0.251737
158.50/158.92	c bounds - >= 8 @ 0.253667
158.50/158.92	c bounds - >= 16 @ 0.268292
158.50/158.92	c #Conflicts:       1000 | #Constraints:      18463
158.50/158.92	c bounds - >= 32 @ 1.60879
158.50/158.92	c #Conflicts:       2000 | #Constraints:      19464
158.50/158.92	c INPROCESSING
158.50/158.92	c #Conflicts:       3000 | #Constraints:      19472
158.50/158.92	c #Conflicts:       4000 | #Constraints:      20472
158.50/158.92	c INPROCESSING
158.50/158.92	c #Conflicts:       5000 | #Constraints:      19881
158.50/158.92	c #Conflicts:       6000 | #Constraints:      20881
158.50/158.92	c INPROCESSING
158.50/158.92	c #Conflicts:       7000 | #Constraints:      19894
158.50/158.92	c #Conflicts:       8000 | #Constraints:      20894
158.50/158.92	c #Conflicts:       9000 | #Constraints:      21894
158.50/158.92	c INPROCESSING
158.50/158.92	c GARBAGE COLLECT
158.50/158.92	c #Conflicts:      10000 | #Constraints:      20600
158.50/158.92	c #Conflicts:      11000 | #Constraints:      21600
158.50/158.92	c #Conflicts:      12000 | #Constraints:      22600
158.50/158.92	c #Conflicts:      13000 | #Constraints:      23600
158.50/158.92	c #Conflicts:      14000 | #Constraints:      24600
158.50/158.92	c #Conflicts:      15000 | #Constraints:      25600
158.50/158.92	c #Conflicts:      16000 | #Constraints:      26600
158.50/158.92	c INPROCESSING
158.50/158.92	c #Conflicts:      17000 | #Constraints:      22800
158.50/158.92	c #Conflicts:      18000 | #Constraints:      23800
158.50/158.92	c #Conflicts:      19000 | #Constraints:      24800
158.50/158.92	c #Conflicts:      20000 | #Constraints:      25800
158.50/158.92	c INPROCESSING
158.50/158.92	c GARBAGE COLLECT
158.50/158.92	c #Conflicts:      21000 | #Constraints:      22459
158.50/158.92	c #Conflicts:      22000 | #Constraints:      23459
158.50/158.92	c #Conflicts:      23000 | #Constraints:      24459
158.50/158.92	c #Conflicts:      24000 | #Constraints:      25459
158.50/158.92	c #Conflicts:      25000 | #Constraints:      26459
158.50/158.92	c #Conflicts:      26000 | #Constraints:      27459
158.50/158.92	c #Conflicts:      27000 | #Constraints:      28459
158.50/158.92	c #Conflicts:      28000 | #Constraints:      29459
158.50/158.92	c #Conflicts:      29000 | #Constraints:      30459
158.50/158.92	c #Conflicts:      30000 | #Constraints:      31459
158.50/158.92	c INPROCESSING
158.50/158.92	c GARBAGE COLLECT
158.50/158.92	c #Conflicts:      31000 | #Constraints:      25094
158.50/158.92	c #Conflicts:      32000 | #Constraints:      26094
158.50/158.92	c #Conflicts:      33000 | #Constraints:      27094
158.50/158.92	c #Conflicts:      34000 | #Constraints:      28094
158.50/158.92	c #Conflicts:      35000 | #Constraints:      29094
158.50/158.92	c #Conflicts:      36000 | #Constraints:      30094
158.50/158.92	c INPROCESSING
158.50/158.92	c GARBAGE COLLECT
158.50/158.92	c #Conflicts:      37000 | #Constraints:      24810
158.50/158.92	c #Conflicts:      38000 | #Constraints:      25810
158.50/158.92	c #Conflicts:      39000 | #Constraints:      26810
158.50/158.92	c #Conflicts:      40000 | #Constraints:      27810
158.50/158.92	c #Conflicts:      41000 | #Constraints:      28810
158.50/158.92	c #Conflicts:      42000 | #Constraints:      29810
158.50/158.92	c #Conflicts:      43000 | #Constraints:      30810
158.50/158.92	c #Conflicts:      44000 | #Constraints:      31810
158.50/158.92	c #Conflicts:      45000 | #Constraints:      32810
158.50/158.92	c #Conflicts:      46000 | #Constraints:      33810
158.50/158.92	c #Conflicts:      47000 | #Constraints:      34810
158.50/158.92	c #Conflicts:      48000 | #Constraints:      35810
158.50/158.92	c #Conflicts:      49000 | #Constraints:      36810
158.50/158.92	c INPROCESSING
158.50/158.92	c GARBAGE COLLECT
158.50/158.92	c #Conflicts:      50000 | #Constraints:      27911
158.50/158.92	c #Conflicts:      51000 | #Constraints:      28911
158.50/158.92	c #Conflicts:      52000 | #Constraints:      29911
158.50/158.92	c #Conflicts:      53000 | #Constraints:      30911
158.50/158.92	c #Conflicts:      54000 | #Constraints:      31911
158.50/158.92	c #Conflicts:      55000 | #Constraints:      32911
158.50/158.92	c #Conflicts:      56000 | #Constraints:      33911
158.50/158.92	c INPROCESSING
158.50/158.92	c GARBAGE COLLECT
158.50/158.92	c #Conflicts:      57000 | #Constraints:      26715
158.50/158.92	c #Conflicts:      58000 | #Constraints:      27715
158.50/158.92	c #Conflicts:      59000 | #Constraints:      28715
158.50/158.92	c #Conflicts:      60000 | #Constraints:      29715
158.50/158.92	c #Conflicts:      61000 | #Constraints:      30715
158.50/158.92	c #Conflicts:      62000 | #Constraints:      31715
158.50/158.92	c #Conflicts:      63000 | #Constraints:      32715
158.50/158.92	c #Conflicts:      64000 | #Constraints:      33715
158.50/158.92	c #Conflicts:      65000 | #Constraints:      34715
158.50/158.92	c #Conflicts:      66000 | #Constraints:      35715
158.50/158.92	c #Conflicts:      67000 | #Constraints:      36715
158.50/158.92	c #Conflicts:      68000 | #Constraints:      37715
158.50/158.92	c #Conflicts:      69000 | #Constraints:      38715
158.50/158.92	c #Conflicts:      70000 | #Constraints:      39715
158.50/158.92	c #Conflicts:      71000 | #Constraints:      40715
520.07/521.56	c #Conflicts:      72000 | #Constraints:      41715
520.07/521.56	c INPROCESSING
520.07/521.56	c GARBAGE COLLECT
520.07/521.56	c #Conflicts:      73000 | #Constraints:      30324
520.07/521.56	c #Conflicts:      74000 | #Constraints:      31324
520.07/521.56	c #Conflicts:      75000 | #Constraints:      32324
520.07/521.56	c #Conflicts:      76000 | #Constraints:      33324
520.07/521.56	c #Conflicts:      77000 | #Constraints:      34324
520.07/521.56	c #Conflicts:      78000 | #Constraints:      35324
520.07/521.56	c #Conflicts:      79000 | #Constraints:      36324
520.07/521.56	c #Conflicts:      80000 | #Constraints:      37324
520.07/521.56	c INPROCESSING
520.07/521.56	c GARBAGE COLLECT
520.07/521.56	c #Conflicts:      81000 | #Constraints:      28547
520.07/521.56	c #Conflicts:      82000 | #Constraints:      29547
520.07/521.56	c #Conflicts:      83000 | #Constraints:      30547
520.07/521.56	c #Conflicts:      84000 | #Constraints:      31547
520.07/521.56	c #Conflicts:      85000 | #Constraints:      32547
520.07/521.56	c #Conflicts:      86000 | #Constraints:      33547
520.07/521.56	c #Conflicts:      87000 | #Constraints:      34547
520.07/521.56	c #Conflicts:      88000 | #Constraints:      35547
520.07/521.56	c #Conflicts:      89000 | #Constraints:      36547
520.07/521.56	c #Conflicts:      90000 | #Constraints:      37547
520.07/521.56	c #Conflicts:      91000 | #Constraints:      38547
520.07/521.56	c #Conflicts:      92000 | #Constraints:      39547
520.07/521.56	c #Conflicts:      93000 | #Constraints:      40547
520.07/521.56	c #Conflicts:      94000 | #Constraints:      41547
520.07/521.56	c #Conflicts:      95000 | #Constraints:      42547
520.07/521.56	c #Conflicts:      96000 | #Constraints:      43547
520.07/521.56	c #Conflicts:      97000 | #Constraints:      44547
520.07/521.56	c #Conflicts:      98000 | #Constraints:      45547
520.07/521.56	c #Conflicts:      99000 | #Constraints:      46547
520.07/521.56	c #Conflicts:     100000 | #Constraints:      47547
520.07/521.56	c INPROCESSING
520.07/521.56	c GARBAGE COLLECT
520.07/521.56	c #Conflicts:     101000 | #Constraints:      33479
520.07/521.56	c #Conflicts:     102000 | #Constraints:      34479
520.07/521.56	c #Conflicts:     103000 | #Constraints:      35479
520.07/521.56	c #Conflicts:     104000 | #Constraints:      36479
520.07/521.56	c #Conflicts:     105000 | #Constraints:      37479
520.07/521.56	c #Conflicts:     106000 | #Constraints:      38479
520.07/521.56	c #Conflicts:     107000 | #Constraints:      39479
520.07/521.56	c #Conflicts:     108000 | #Constraints:      40479
520.07/521.56	c #Conflicts:     109000 | #Constraints:      41479
520.07/521.56	c INPROCESSING
520.07/521.56	c GARBAGE COLLECT
520.07/521.56	c #Conflicts:     110000 | #Constraints:      32422
520.07/521.56	c #Conflicts:     111000 | #Constraints:      33422
520.07/521.56	c #Conflicts:     112000 | #Constraints:      34422
520.07/521.56	c #Conflicts:     113000 | #Constraints:      35422
520.07/521.56	c #Conflicts:     114000 | #Constraints:      36422
520.07/521.56	c #Conflicts:     115000 | #Constraints:      37422
520.07/521.56	c #Conflicts:     116000 | #Constraints:      38422
520.07/521.56	c #Conflicts:     117000 | #Constraints:      39422
520.07/521.56	c #Conflicts:     118000 | #Constraints:      40422
520.07/521.56	c #Conflicts:     119000 | #Constraints:      41422
520.07/521.56	c #Conflicts:     120000 | #Constraints:      42422
520.07/521.56	c #Conflicts:     121000 | #Constraints:      43422
520.07/521.56	c #Conflicts:     122000 | #Constraints:      44422
520.07/521.56	c #Conflicts:     123000 | #Constraints:      45422
520.07/521.56	c #Conflicts:     124000 | #Constraints:      46422
520.07/521.56	c #Conflicts:     125000 | #Constraints:      47422
520.07/521.56	c #Conflicts:     126000 | #Constraints:      48422
520.07/521.56	c #Conflicts:     127000 | #Constraints:      49422
520.07/521.56	c #Conflicts:     128000 | #Constraints:      50422
520.07/521.56	c #Conflicts:     129000 | #Constraints:      51422
520.07/521.56	c #Conflicts:     130000 | #Constraints:      52422
520.07/521.56	c #Conflicts:     131000 | #Constraints:      53422
520.07/521.56	c #Conflicts:     132000 | #Constraints:      54422
520.07/521.56	c INPROCESSING
520.07/521.56	c GARBAGE COLLECT
520.07/521.56	c #Conflicts:     133000 | #Constraints:      36980
520.07/521.56	c #Conflicts:     134000 | #Constraints:      37980
520.07/521.56	c #Conflicts:     135000 | #Constraints:      38980
520.07/521.56	c #Conflicts:     136000 | #Constraints:      39980
520.07/521.56	c #Conflicts:     137000 | #Constraints:      40980
520.07/521.56	c #Conflicts:     138000 | #Constraints:      41980
520.07/521.56	c #Conflicts:     139000 | #Constraints:      42980
520.07/521.56	c #Conflicts:     140000 | #Constraints:      43980
520.07/521.56	c #Conflicts:     141000 | #Constraints:      44980
520.07/521.56	c #Conflicts:     142000 | #Constraints:      45980
520.07/521.56	c #Conflicts:     143000 | #Constraints:      46980
520.07/521.56	c #Conflicts:     144000 | #Constraints:      47980
520.07/521.56	c #Conflicts:     145000 | #Constraints:      48980
520.07/521.56	c #Conflicts:     146000 | #Constraints:      49980
520.07/521.56	c #Conflicts:     147000 | #Constraints:      50980
1034.69/1037.78	c #Conflicts:     148000 | #Constraints:      51980
1034.69/1037.78	c #Conflicts:     149000 | #Constraints:      52980
1034.69/1037.78	c #Conflicts:     150000 | #Constraints:      53980
1034.69/1037.78	c #Conflicts:     151000 | #Constraints:      54980
1034.69/1037.78	c #Conflicts:     152000 | #Constraints:      55980
1034.69/1037.78	c #Conflicts:     153000 | #Constraints:      56980
1034.69/1037.78	c #Conflicts:     154000 | #Constraints:      57980
1034.69/1037.78	c #Conflicts:     155000 | #Constraints:      58980
1034.69/1037.78	c #Conflicts:     156000 | #Constraints:      59980
1034.69/1037.78	c INPROCESSING
1034.69/1037.78	c GARBAGE COLLECT
1034.69/1037.78	c #Conflicts:     157000 | #Constraints:      39367
1034.69/1037.78	c #Conflicts:     158000 | #Constraints:      40367
1034.69/1037.78	c #Conflicts:     159000 | #Constraints:      41367
1034.69/1037.78	c #Conflicts:     160000 | #Constraints:      42367
1034.69/1037.78	c #Conflicts:     161000 | #Constraints:      43367
1034.69/1037.78	c #Conflicts:     162000 | #Constraints:      44367
1034.69/1037.78	c #Conflicts:     163000 | #Constraints:      45367
1034.69/1037.78	c #Conflicts:     164000 | #Constraints:      46367
1034.69/1037.78	c #Conflicts:     165000 | #Constraints:      47367
1034.69/1037.78	c #Conflicts:     166000 | #Constraints:      48367
1034.69/1037.78	c #Conflicts:     167000 | #Constraints:      49367
1034.69/1037.78	c #Conflicts:     168000 | #Constraints:      50367
1034.69/1037.78	c #Conflicts:     169000 | #Constraints:      51367
1034.69/1037.78	c #Conflicts:     170000 | #Constraints:      52367
1034.69/1037.78	c #Conflicts:     171000 | #Constraints:      53367
1034.69/1037.78	c #Conflicts:     172000 | #Constraints:      54367
1034.69/1037.78	c #Conflicts:     173000 | #Constraints:      55367
1034.69/1037.78	c #Conflicts:     174000 | #Constraints:      56367
1034.69/1037.78	c #Conflicts:     175000 | #Constraints:      57367
1034.69/1037.78	c #Conflicts:     176000 | #Constraints:      58367
1034.69/1037.78	c #Conflicts:     177000 | #Constraints:      59367
1034.69/1037.78	c #Conflicts:     178000 | #Constraints:      60367
1034.69/1037.78	c #Conflicts:     179000 | #Constraints:      61367
1034.69/1037.78	c #Conflicts:     180000 | #Constraints:      62367
1034.69/1037.78	c #Conflicts:     181000 | #Constraints:      63367
1034.69/1037.78	c #Conflicts:     182000 | #Constraints:      64367
1034.69/1037.78	c #Conflicts:     183000 | #Constraints:      65367
1034.69/1037.78	c INPROCESSING
1034.69/1037.78	c GARBAGE COLLECT
1034.69/1037.78	c #Conflicts:     184000 | #Constraints:      42169
1034.69/1037.78	c #Conflicts:     185000 | #Constraints:      43169
1034.69/1037.78	c #Conflicts:     186000 | #Constraints:      44169
1034.69/1037.78	c #Conflicts:     187000 | #Constraints:      45169
1034.69/1037.78	c #Conflicts:     188000 | #Constraints:      46169
1034.69/1037.78	c #Conflicts:     189000 | #Constraints:      47169
1034.69/1037.78	c #Conflicts:     190000 | #Constraints:      48169
1034.69/1037.78	c #Conflicts:     191000 | #Constraints:      49169
1034.69/1037.78	c #Conflicts:     192000 | #Constraints:      50169
1034.69/1037.78	c #Conflicts:     193000 | #Constraints:      51169
1034.69/1037.78	c #Conflicts:     194000 | #Constraints:      52169
1034.69/1037.78	c #Conflicts:     195000 | #Constraints:      53169
1034.69/1037.78	c #Conflicts:     196000 | #Constraints:      54169
1034.69/1037.78	c #Conflicts:     197000 | #Constraints:      55169
1034.69/1037.78	c #Conflicts:     198000 | #Constraints:      56169
1034.69/1037.78	c #Conflicts:     199000 | #Constraints:      57169
1034.69/1037.78	c #Conflicts:     200000 | #Constraints:      58169
1034.69/1037.78	c #Conflicts:     201000 | #Constraints:      59169
1034.69/1037.78	c #Conflicts:     202000 | #Constraints:      60169
1034.69/1037.78	c #Conflicts:     203000 | #Constraints:      61169
1034.69/1037.78	c #Conflicts:     204000 | #Constraints:      62169
1034.69/1037.78	c #Conflicts:     205000 | #Constraints:      63169
1034.69/1037.78	c #Conflicts:     206000 | #Constraints:      64169
1034.69/1037.78	c #Conflicts:     207000 | #Constraints:      65169
1034.69/1037.78	c #Conflicts:     208000 | #Constraints:      66169
1034.69/1037.78	c #Conflicts:     209000 | #Constraints:      67169
1034.69/1037.78	c #Conflicts:     210000 | #Constraints:      68169
1034.69/1037.78	c #Conflicts:     211000 | #Constraints:      69169
1034.69/1037.78	c #Conflicts:     212000 | #Constraints:      70169
1034.69/1037.78	c INPROCESSING
1034.69/1037.78	c GARBAGE COLLECT
1034.69/1037.78	c #Conflicts:     213000 | #Constraints:      45961
1034.69/1037.78	c #Conflicts:     214000 | #Constraints:      46961
1034.69/1037.78	c #Conflicts:     215000 | #Constraints:      47961
1034.69/1037.78	c #Conflicts:     216000 | #Constraints:      48961
1034.69/1037.78	c #Conflicts:     217000 | #Constraints:      49961
1034.69/1037.78	c #Conflicts:     218000 | #Constraints:      50961
1034.69/1037.78	c #Conflicts:     219000 | #Constraints:      51961
1034.69/1037.78	c #Conflicts:     220000 | #Constraints:      52961
1034.69/1037.78	c #Conflicts:     221000 | #Constraints:      53961
1034.69/1037.78	c #Conflicts:     222000 | #Constraints:      54961
1034.69/1037.78	c #Conflicts:     223000 | #Constraints:      55961
1034.69/1037.78	c #Conflicts:     224000 | #Constraints:      56961
1865.47/1870.86	c #Conflicts:     225000 | #Constraints:      57961
1865.47/1870.86	c #Conflicts:     226000 | #Constraints:      58961
1865.47/1870.86	c #Conflicts:     227000 | #Constraints:      59961
1865.47/1870.86	c #Conflicts:     228000 | #Constraints:      60961
1865.47/1870.86	c #Conflicts:     229000 | #Constraints:      61961
1865.47/1870.86	c #Conflicts:     230000 | #Constraints:      62961
1865.47/1870.86	c #Conflicts:     231000 | #Constraints:      63961
1865.47/1870.86	c #Conflicts:     232000 | #Constraints:      64961
1865.47/1870.86	c #Conflicts:     233000 | #Constraints:      65961
1865.47/1870.86	c #Conflicts:     234000 | #Constraints:      66961
1865.47/1870.86	c #Conflicts:     235000 | #Constraints:      67961
1865.47/1870.86	c #Conflicts:     236000 | #Constraints:      68961
1865.47/1870.86	c #Conflicts:     237000 | #Constraints:      69961
1865.47/1870.86	c #Conflicts:     238000 | #Constraints:      70961
1865.47/1870.86	c #Conflicts:     239000 | #Constraints:      71961
1865.47/1870.86	c #Conflicts:     240000 | #Constraints:      72961
1865.47/1870.86	c #Conflicts:     241000 | #Constraints:      73961
1865.47/1870.86	c #Conflicts:     242000 | #Constraints:      74961
1865.47/1870.86	c #Conflicts:     243000 | #Constraints:      75961
1865.47/1870.86	c INPROCESSING
1865.47/1870.86	c GARBAGE COLLECT
1865.47/1870.86	c #Conflicts:     244000 | #Constraints:      50525
1865.47/1870.86	c #Conflicts:     245000 | #Constraints:      51525
1865.47/1870.86	c #Conflicts:     246000 | #Constraints:      52525
1865.47/1870.86	c #Conflicts:     247000 | #Constraints:      53525
1865.47/1870.86	c #Conflicts:     248000 | #Constraints:      54525
1865.47/1870.86	c #Conflicts:     249000 | #Constraints:      55525
1865.47/1870.86	c #Conflicts:     250000 | #Constraints:      56525
1865.47/1870.86	c #Conflicts:     251000 | #Constraints:      57525
1865.47/1870.86	c #Conflicts:     252000 | #Constraints:      58525
1865.47/1870.86	c #Conflicts:     253000 | #Constraints:      59525
1865.47/1870.86	c #Conflicts:     254000 | #Constraints:      60525
1865.47/1870.86	c #Conflicts:     255000 | #Constraints:      61525
1865.47/1870.86	c #Conflicts:     256000 | #Constraints:      62525
1865.47/1870.86	c #Conflicts:     257000 | #Constraints:      63525
1865.47/1870.86	c #Conflicts:     258000 | #Constraints:      64525
1865.47/1870.86	c #Conflicts:     259000 | #Constraints:      65525
1865.47/1870.86	c #Conflicts:     260000 | #Constraints:      66525
1865.47/1870.86	c #Conflicts:     261000 | #Constraints:      67525
1865.47/1870.86	c #Conflicts:     262000 | #Constraints:      68525
1865.47/1870.86	c #Conflicts:     263000 | #Constraints:      69525
1865.47/1870.86	c #Conflicts:     264000 | #Constraints:      70525
1865.47/1870.86	c #Conflicts:     265000 | #Constraints:      71525
1865.47/1870.86	c #Conflicts:     266000 | #Constraints:      72525
1865.47/1870.86	c #Conflicts:     267000 | #Constraints:      73525
1865.47/1870.86	c #Conflicts:     268000 | #Constraints:      74525
1865.47/1870.86	c #Conflicts:     269000 | #Constraints:      75525
1865.47/1870.86	c #Conflicts:     270000 | #Constraints:      76525
1865.47/1870.86	c #Conflicts:     271000 | #Constraints:      77525
1865.47/1870.86	c #Conflicts:     272000 | #Constraints:      78525
1865.47/1870.86	c #Conflicts:     273000 | #Constraints:      79525
1865.47/1870.86	c #Conflicts:     274000 | #Constraints:      80525
1865.47/1870.86	c #Conflicts:     275000 | #Constraints:      81525
1865.47/1870.86	c #Conflicts:     276000 | #Constraints:      82525
1865.47/1870.86	c INPROCESSING
1865.47/1870.86	c GARBAGE COLLECT
1865.47/1870.86	c #Conflicts:     277000 | #Constraints:      55604
1865.47/1870.86	c #Conflicts:     278000 | #Constraints:      56604
1865.47/1870.86	c #Conflicts:     279000 | #Constraints:      57604
1865.47/1870.86	c #Conflicts:     280000 | #Constraints:      58604
1865.47/1870.86	c #Conflicts:     281000 | #Constraints:      59604
1865.47/1870.86	c #Conflicts:     282000 | #Constraints:      60604
1865.47/1870.86	c #Conflicts:     283000 | #Constraints:      61604
1865.47/1870.86	c #Conflicts:     284000 | #Constraints:      62604
1865.47/1870.86	c #Conflicts:     285000 | #Constraints:      63604
1865.47/1870.86	c #Conflicts:     286000 | #Constraints:      64604
1865.47/1870.86	c #Conflicts:     287000 | #Constraints:      65604
1865.47/1870.86	c #Conflicts:     288000 | #Constraints:      66604
1865.47/1870.86	c #Conflicts:     289000 | #Constraints:      67604
1865.47/1870.86	c #Conflicts:     290000 | #Constraints:      68604
1865.47/1870.86	c #Conflicts:     291000 | #Constraints:      69604
1865.47/1870.86	c #Conflicts:     292000 | #Constraints:      70604
1865.47/1870.86	c #Conflicts:     293000 | #Constraints:      71604
1865.47/1870.86	c #Conflicts:     294000 | #Constraints:      72604
1865.47/1870.86	c #Conflicts:     295000 | #Constraints:      73604
1865.47/1870.86	c #Conflicts:     296000 | #Constraints:      74604
1865.47/1870.86	c #Conflicts:     297000 | #Constraints:      75604
1865.47/1870.86	c #Conflicts:     298000 | #Constraints:      76604
1865.47/1870.86	c #Conflicts:     299000 | #Constraints:      77604
1865.47/1870.86	c #Conflicts:     300000 | #Constraints:      78604
1865.47/1870.86	c #Conflicts:     301000 | #Constraints:      79604
3203.95/3213.46	c #Conflicts:     302000 | #Constraints:      80604
3203.95/3213.46	c #Conflicts:     303000 | #Constraints:      81604
3203.95/3213.46	c #Conflicts:     304000 | #Constraints:      82604
3203.95/3213.46	c #Conflicts:     305000 | #Constraints:      83604
3203.95/3213.46	c #Conflicts:     306000 | #Constraints:      84604
3203.95/3213.46	c #Conflicts:     307000 | #Constraints:      85604
3203.95/3213.46	c #Conflicts:     308000 | #Constraints:      86604
3203.95/3213.46	c #Conflicts:     309000 | #Constraints:      87604
3203.95/3213.46	c #Conflicts:     310000 | #Constraints:      88604
3203.95/3213.46	c INPROCESSING
3203.95/3213.46	c GARBAGE COLLECT
3203.95/3213.46	c #Conflicts:     311000 | #Constraints:      59794
3203.95/3213.46	c #Conflicts:     312000 | #Constraints:      60794
3203.95/3213.46	c #Conflicts:     313000 | #Constraints:      61794
3203.95/3213.46	c #Conflicts:     314000 | #Constraints:      62794
3203.95/3213.46	c #Conflicts:     315000 | #Constraints:      63794
3203.95/3213.46	c #Conflicts:     316000 | #Constraints:      64794
3203.95/3213.46	c #Conflicts:     317000 | #Constraints:      65794
3203.95/3213.46	c #Conflicts:     318000 | #Constraints:      66794
3203.95/3213.46	c #Conflicts:     319000 | #Constraints:      67794
3203.95/3213.46	c #Conflicts:     320000 | #Constraints:      68794
3203.95/3213.46	c #Conflicts:     321000 | #Constraints:      69794
3203.95/3213.46	c #Conflicts:     322000 | #Constraints:      70794
3203.95/3213.46	c #Conflicts:     323000 | #Constraints:      71794
3203.95/3213.46	c #Conflicts:     324000 | #Constraints:      72794
3203.95/3213.46	c #Conflicts:     325000 | #Constraints:      73794
3203.95/3213.46	c #Conflicts:     326000 | #Constraints:      74794
3203.95/3213.46	c #Conflicts:     327000 | #Constraints:      75794
3203.95/3213.46	c #Conflicts:     328000 | #Constraints:      76794
3203.95/3213.46	c #Conflicts:     329000 | #Constraints:      77794
3203.95/3213.46	c #Conflicts:     330000 | #Constraints:      78794
3203.95/3213.46	c #Conflicts:     331000 | #Constraints:      79794
3203.95/3213.46	c #Conflicts:     332000 | #Constraints:      80794
3203.95/3213.46	c #Conflicts:     333000 | #Constraints:      81794
3203.95/3213.46	c #Conflicts:     334000 | #Constraints:      82794
3203.95/3213.46	c #Conflicts:     335000 | #Constraints:      83794
3203.95/3213.46	c #Conflicts:     336000 | #Constraints:      84794
3203.95/3213.46	c #Conflicts:     337000 | #Constraints:      85794
3203.95/3213.46	c #Conflicts:     338000 | #Constraints:      86794
3203.95/3213.46	c #Conflicts:     339000 | #Constraints:      87794
3203.95/3213.46	c #Conflicts:     340000 | #Constraints:      88794
3203.95/3213.46	c #Conflicts:     341000 | #Constraints:      89794
3203.95/3213.46	c #Conflicts:     342000 | #Constraints:      90794
3203.95/3213.46	c #Conflicts:     343000 | #Constraints:      91794
3203.95/3213.46	c #Conflicts:     344000 | #Constraints:      92794
3203.95/3213.46	c #Conflicts:     345000 | #Constraints:      93794
3203.95/3213.46	c #Conflicts:     346000 | #Constraints:      94794
3203.95/3213.46	c #Conflicts:     347000 | #Constraints:      95794
3203.95/3213.46	c INPROCESSING
3203.95/3213.46	c GARBAGE COLLECT
3203.95/3213.46	c #Conflicts:     348000 | #Constraints:      65238
3203.95/3213.46	c #Conflicts:     349000 | #Constraints:      66238
3203.95/3213.46	c #Conflicts:     350000 | #Constraints:      67238
3203.95/3213.46	c #Conflicts:     351000 | #Constraints:      68238
3203.95/3213.46	c #Conflicts:     352000 | #Constraints:      69238
3203.95/3213.46	c #Conflicts:     353000 | #Constraints:      70238
3203.95/3213.46	c #Conflicts:     354000 | #Constraints:      71238
3203.95/3213.46	c #Conflicts:     355000 | #Constraints:      72238
3203.95/3213.46	c #Conflicts:     356000 | #Constraints:      73238
3203.95/3213.46	c #Conflicts:     357000 | #Constraints:      74238
3203.95/3213.46	c #Conflicts:     358000 | #Constraints:      75238
3203.95/3213.46	c #Conflicts:     359000 | #Constraints:      76238
3203.95/3213.46	c #Conflicts:     360000 | #Constraints:      77238
3203.95/3213.46	c #Conflicts:     361000 | #Constraints:      78238
3203.95/3213.46	c #Conflicts:     362000 | #Constraints:      79238
3203.95/3213.46	c #Conflicts:     363000 | #Constraints:      80238
3203.95/3213.46	c #Conflicts:     364000 | #Constraints:      81238
3203.95/3213.46	c #Conflicts:     365000 | #Constraints:      82238
3203.95/3213.46	c #Conflicts:     366000 | #Constraints:      83238
3203.95/3213.46	c #Conflicts:     367000 | #Constraints:      84238
3203.95/3213.46	c #Conflicts:     368000 | #Constraints:      85238
3203.95/3213.46	c #Conflicts:     369000 | #Constraints:      86238
3203.95/3213.46	c #Conflicts:     370000 | #Constraints:      87238
3203.95/3213.46	c #Conflicts:     371000 | #Constraints:      88238
3203.95/3213.46	c #Conflicts:     372000 | #Constraints:      89238
3203.95/3213.46	c #Conflicts:     373000 | #Constraints:      90238
3203.95/3213.46	c #Conflicts:     374000 | #Constraints:      91238
3203.95/3213.46	c #Conflicts:     375000 | #Constraints:      92238
3203.95/3213.46	c #Conflicts:     376000 | #Constraints:      93238
3203.95/3213.46	c #Conflicts:     377000 | #Constraints:      94238
3203.95/3213.46	c #Conflicts:     378000 | #Constraints:      95238
3203.95/3213.46	c #Conflicts:     379000 | #Constraints:      96238
3600.03/3610.70	c #Conflicts:     380000 | #Constraints:      97238
3600.03/3610.70	c #Conflicts:     381000 | #Constraints:      98238
3600.03/3610.70	c #Conflicts:     382000 | #Constraints:      99238
3600.03/3610.70	c #Conflicts:     383000 | #Constraints:     100238
3600.03/3610.70	c #Conflicts:     384000 | #Constraints:     101238
3600.03/3610.70	c #Conflicts:     385000 | #Constraints:     102238
3600.03/3610.70	c #Conflicts:     386000 | #Constraints:     103238
3600.03/3610.70	c INPROCESSING
3600.03/3610.70	c GARBAGE COLLECT
3600.03/3610.70	c #Conflicts:     387000 | #Constraints:      70179
3600.03/3610.70	c #Conflicts:     388000 | #Constraints:      71179
3600.03/3610.70	c #Conflicts:     389000 | #Constraints:      72179
3600.03/3610.70	c #Conflicts:     390000 | #Constraints:      73179
3600.03/3610.70	c #Conflicts:     391000 | #Constraints:      74179
3600.03/3610.70	c #Conflicts:     392000 | #Constraints:      75179
3600.03/3610.70	c #Conflicts:     393000 | #Constraints:      76179
3600.03/3610.70	c #Conflicts:     394000 | #Constraints:      77179
3600.03/3610.70	c #Conflicts:     395000 | #Constraints:      78179
3600.03/3610.70	c #Conflicts:     396000 | #Constraints:      79179
3600.03/3610.70	c #Conflicts:     397000 | #Constraints:      80179
3600.03/3610.70	c #Conflicts:     398000 | #Constraints:      81179
3600.03/3610.70	c #Conflicts:     399000 | #Constraints:      82179
3600.03/3610.70	c Program interrupted by user.
3600.03/3610.70	c cpu time 3594.15 s
3600.03/3610.70	c deterministic time 277115806251 2.77e+11
3600.03/3610.70	c optimization time 229.029 s
3600.03/3610.70	c total solve time 3364.88 s
3600.03/3610.70	c core-guided solve time 3364.88 s
3600.03/3610.70	c propagation time 3465.84 s
3600.03/3610.70	c conflict analysis time 115.987 s
3600.03/3610.70	c propagations 592345968
3600.03/3610.70	c resolve steps 1828206
3600.03/3610.70	c decisions 3208235
3600.03/3610.70	c conflicts 399741
3600.03/3610.70	c restarts 970
3600.03/3610.70	c inprocessing phases 23
3600.03/3610.70	c input clauses 1
3600.03/3610.70	c input cardinalities 0
3600.03/3610.70	c input general constraints 17464
3600.03/3610.70	c input average constraint length 34.13
3600.03/3610.70	c input average constraint degree 969.93
3600.03/3610.70	c learned clauses 90870
3600.03/3610.70	c learned cardinalities 3
3600.03/3610.70	c learned general constraints 308868
3600.03/3610.70	c learned average constraint length 47.18
3600.03/3610.70	c learned average constraint degree 15925971.62
3600.03/3610.70	c watched constraints 325921
3600.03/3610.70	c counting constraints 411
3600.03/3610.70	c gcd simplifications 5280
3600.03/3610.70	c detected cardinalities 3
3600.03/3610.70	c weakened non-implied lits 1455969
3600.03/3610.70	c weakened non-implying lits 654
3600.03/3610.70	c original variables 8883
3600.03/3610.70	c clausal propagations 160581
3600.03/3610.70	c cardinality propagations 11
3600.03/3610.70	c watched propagations 585602041
3600.03/3610.70	c counting propagations 6402041
3600.03/3610.70	c watch lookups 65414900317
3600.03/3610.70	c watch backjump lookups 64212769627
3600.03/3610.70	c watch checks 73339882193
3600.03/3610.70	c propagation checks 72883899842
3600.03/3610.70	c constraint additions 72846223
3600.03/3610.70	c trail pops 595953845
3600.03/3610.70	c formula constraints 17459
3600.03/3610.70	c learned constraints 399741
3600.03/3610.70	c bound constraints 6
3600.03/3610.70	c core-guided constraints 0
3600.03/3610.70	c encountered formula constraints 1527149
3600.03/3610.70	c encountered learned constraints 700798
3600.03/3610.70	c encountered bound constraints 0
3600.03/3610.70	c encountered core-guided constraints 0
3600.03/3610.70	c LP total time 0 s
3600.03/3610.70	c LP solve time 0 s
3600.03/3610.70	c LP constraints added 0
3600.03/3610.70	c LP constraints removed 0
3600.03/3610.70	c LP pivots internal 0
3600.03/3610.70	c LP pivots root 0
3600.03/3610.70	c LP calls 0
3600.03/3610.70	c LP optimalities 0
3600.03/3610.70	c LP no pivot count 0
3600.03/3610.70	c LP infeasibilities 0
3600.03/3610.70	c LP valid Farkas constraints 0
3600.03/3610.70	c LP learned Farkas constraints 0
3600.03/3610.70	c LP basis resets 0
3600.03/3610.70	c LP cycling count 0
3600.03/3610.70	c LP singular count 0
3600.03/3610.70	c LP no primal count 0
3600.03/3610.70	c LP no farkas count 0
3600.03/3610.70	c LP other issue count 0
3600.03/3610.70	c LP Gomory cuts 0
3600.03/3610.70	c LP learned cuts 0
3600.03/3610.70	c LP deleted cuts 0
3600.03/3610.70	c LP encountered Gomory constraints 0
3600.03/3610.70	c LP encountered Farkas constraints 0
3600.03/3610.70	c LP encountered learned Farkas constraints 0
3600.03/3610.70	c CG auxiliary variables introduced 0
3600.03/3610.70	c CG solutions found 0
3600.03/3610.70	c CG cores constructed 6
3600.03/3610.70	c CG core cardinality constraints returned 0
3600.03/3610.70	c CG unit cores 0
3600.03/3610.70	c CG single cores 6
3600.03/3610.70	c CG blocks removed during cardinality reduction 0
3600.03/3610.70	c CG first core best 0
3600.03/3610.70	c CG decision core best 0
3600.03/3610.70	c CG core reduction tie 0
3600.03/3610.70	c CG core degree average 1.00
3600.03/3610.70	c CG core slack average 5.50
3600.03/3610.70	c CG exhausted 0
3600.03/3610.70	c CG exhaust time 0 s
3600.03/3610.70	c CG trimmed 0
3600.03/3610.70	c CG trim time 0.002084 s
3600.03/3610.70	c CG minimized 0
3600.03/3610.70	c CG minimize time 0 s
3600.03/3610.70	c CG am1 prop time 0.002686 s
3600.03/3610.70	c CG # am1s reformulated 0
3600.03/3610.70	c CG lower bound derived from am1s 0
3600.03/3610.70	c CG # clausal cores 6
3600.03/3610.70	c CG # cardinality cores 0
3600.03/3610.70	c CG # pb cores 0
3600.03/3610.70	c CG # pb reforms 0
3600.03/3610.70	c CG # cores discarded because of pb reform 0
3600.03/3610.70	d LOWERBOUND 32
3600.03/3610.70	d NCORES 6
3600.03/3610.70	d NPBCORES 0
3600.03/3610.70	d NPBREFORM 0
3600.03/3610.70	d NTRIMMED 0
3600.03/3610.70	d NEXHAUSTED 0
3600.03/3610.70	d NAM1S 0
3600.03/3610.70	d AM1LB 0
3600.03/3610.70	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 (61516 MiB free)
  memory of node 1: 64510 MiB (61942 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454330-1721471542/watcher-4454330-1721471542 -o /tmp/evaluation-result-4454330-1721471542/solver-4454330-1721471542 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721467945-1072667 --watchdog 3760 pb-oll-rs HOME/instance-4454330-1721471542.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.10006 s]*
/proc/loadavg: 4.17 4.12 4.10 5/258 1074607
/proc/meminfo: memFree=126414744/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=41448 memory=11508 CPUtime=0.09 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 1352 0 0 0 9 0 0 0 20 0 1 0 199318384 42442752 2877 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 10362 2877 1168 291 0 1896 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41448 KiB
Current children cumulated memory: 11508 KiB

[startup+0.205697 s]*
/proc/loadavg: 4.17 4.12 4.10 4/256 1074607
/proc/meminfo: memFree=126835096/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=44732 memory=12836 CPUtime=0.2 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 1694 0 0 0 19 1 0 0 20 0 1 0 199318384 45805568 3209 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 11183 3209 1168 291 0 2717 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44732 KiB
Current children cumulated memory: 12836 KiB

[startup+0.305625 s]*
/proc/loadavg: 4.17 4.12 4.10 5/255 1074611
/proc/meminfo: memFree=126821720/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=50552 memory=21460 CPUtime=0.3 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 3185 0 0 0 29 1 0 0 20 0 1 0 199318384 51765248 5365 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 12638 5365 1374 291 0 4172 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50552 KiB
Current children cumulated memory: 21460 KiB

[startup+0.700196 s]
/proc/loadavg: 4.17 4.12 4.10 4/255 1074621
/proc/meminfo: memFree=126827240/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=50688 memory=21724 CPUtime=0.68 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 3222 0 0 0 67 1 0 0 20 0 1 0 199318384 51904512 5431 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 12672 5431 1374 291 0 4206 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 50688 KiB
Current children cumulated memory: 21724 KiB

[startup+1.50019 s]
/proc/loadavg: 4.17 4.12 4.10 4/252 1074684
/proc/meminfo: memFree=127432300/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=51488 memory=22480 CPUtime=1.49 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 3360 0 0 0 147 2 0 0 20 0 1 0 199318384 52723712 5620 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 12872 5620 1435 291 0 4406 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 51488 KiB
Current children cumulated memory: 22480 KiB

[startup+3.10526 s]
/proc/loadavg: 4.17 4.12 4.10 5/258 1074745
/proc/meminfo: memFree=128048360/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=52580 memory=23608 CPUtime=3.08 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 3554 0 0 0 304 4 0 0 20 0 1 0 199318384 53841920 5902 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 13145 5902 1435 291 0 4679 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 52580 KiB
Current children cumulated memory: 23608 KiB

[startup+6.3002 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 1074745
/proc/meminfo: memFree=128032080/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=58088 memory=25680 CPUtime=6.27 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 4054 0 0 0 620 7 0 0 20 0 1 0 199318384 59482112 6420 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 14522 6420 1435 291 0 6056 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 58088 KiB
Current children cumulated memory: 25680 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.11 4.09 5/258 1074746
/proc/meminfo: memFree=128022528/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=58324 memory=28228 CPUtime=12.65 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 4242 0 0 0 1253 12 0 0 20 0 1 0 199318384 59723776 7057 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 14581 7057 1435 291 0 6115 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 58324 KiB
Current children cumulated memory: 28228 KiB

[startup+25.5002 s]
/proc/loadavg: 4.18 4.12 4.10 5/259 1074749
/proc/meminfo: memFree=128000032/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=59788 memory=29488 CPUtime=25.43 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 4559 0 0 0 2522 21 0 0 20 0 1 0 199318384 61222912 7372 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 14947 7372 1435 291 0 6481 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 59788 KiB
Current children cumulated memory: 29488 KiB

[startup+51.1056 s]
/proc/loadavg: 4.19 4.13 4.10 5/260 1074756
/proc/meminfo: memFree=127977364/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=61964 memory=32216 CPUtime=50.97 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 5464 0 0 0 5057 40 0 0 20 0 1 0 199318384 63451136 8054 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 15491 8054 1435 291 0 7025 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 61964 KiB
Current children cumulated memory: 32216 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 1074767
/proc/meminfo: memFree=127954176/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=71332 memory=37164 CPUtime=102.04 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 6459 0 0 0 10138 66 0 0 20 0 1 0 199318384 73043968 9291 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 17833 9291 1435 291 0 9367 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 71332 KiB
Current children cumulated memory: 37164 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 1074869
/proc/meminfo: memFree=127889112/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=72348 memory=40032 CPUtime=161.89 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 6848 0 0 0 16096 93 0 0 20 0 1 0 199318384 74084352 10008 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 18087 10008 1435 291 0 9621 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 72348 KiB
Current children cumulated memory: 40032 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 1074879
/proc/meminfo: memFree=127763664/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=72936 memory=40848 CPUtime=221.73 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 7106 0 0 0 22057 116 0 0 20 0 1 0 199318384 74686464 10212 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 18234 10212 1435 291 0 9768 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 72936 KiB
Current children cumulated memory: 40848 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 1074935
/proc/meminfo: memFree=127764908/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=76488 memory=46052 CPUtime=281.58 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 7785 0 0 0 28023 135 0 0 20 0 1 0 199318384 78323712 11513 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 19122 11513 1435 291 0 10656 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 76488 KiB
Current children cumulated memory: 46052 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/257 1074946
/proc/meminfo: memFree=127753628/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=76488 memory=47692 CPUtime=341.42 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 7840 0 0 0 33989 153 0 0 20 0 1 0 199318384 78323712 11923 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 19122 11923 1435 291 0 10656 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 76488 KiB
Current children cumulated memory: 47692 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 1074956
/proc/meminfo: memFree=127738532/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=77404 memory=48348 CPUtime=401.25 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 8035 0 0 0 39959 166 0 0 20 0 1 0 199318384 79261696 12087 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 19351 12087 1435 291 0 10885 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 77404 KiB
Current children cumulated memory: 48348 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 1074971
/proc/meminfo: memFree=127712172/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=89720 memory=50028 CPUtime=461.06 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 8570 0 0 0 45926 180 0 0 20 0 1 0 199318384 91873280 12507 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 22430 12507 1435 291 0 13964 0

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

Current children cumulated memory: 97488 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 1076033
/proc/meminfo: memFree=126330324/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=138652 memory=97488 CPUtime=2913.76 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 16448 0 0 0 290847 529 0 0 20 0 1 0 199318384 141979648 24372 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 34663 24372 1435 291 0 26197 0
Current children cumulated CPU time: 2913.76 s
Current children cumulated vsize: 138652 KiB
Current children cumulated memory: 97488 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 1076043
/proc/meminfo: memFree=126225908/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=138652 memory=97496 CPUtime=2973.57 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 16487 0 0 0 296824 533 0 0 20 0 1 0 199318384 141979648 24374 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 34663 24374 1435 291 0 26197 0
Current children cumulated CPU time: 2973.57 s
Current children cumulated vsize: 138652 KiB
Current children cumulated memory: 97496 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 1076053
/proc/meminfo: memFree=126188412/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=138652 memory=97496 CPUtime=3033.38 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 16534 0 0 0 302799 539 0 0 20 0 1 0 199318384 141979648 24374 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 34663 24374 1435 291 0 26197 0
Current children cumulated CPU time: 3033.38 s
Current children cumulated vsize: 138652 KiB
Current children cumulated memory: 97496 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/257 1076065
/proc/meminfo: memFree=126114852/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=138652 memory=97540 CPUtime=3093.19 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 16594 0 0 0 308774 545 0 0 20 0 1 0 199318384 141979648 24385 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 34663 24385 1435 291 0 26197 0
Current children cumulated CPU time: 3093.19 s
Current children cumulated vsize: 138652 KiB
Current children cumulated memory: 97540 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.11 4.10 5/258 1076461
/proc/meminfo: memFree=126215116/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=138652 memory=97648 CPUtime=3153 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 16651 0 0 0 314750 550 0 0 20 0 1 0 199318384 141979648 24412 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 34663 24412 1435 291 0 26197 0
Current children cumulated CPU time: 3153 s
Current children cumulated vsize: 138652 KiB
Current children cumulated memory: 97648 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/256 1076471
/proc/meminfo: memFree=126217120/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=138652 memory=97756 CPUtime=3212.82 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 16724 0 0 0 320726 556 0 0 20 0 1 0 199318384 141979648 24439 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 34663 24439 1435 291 0 26197 0
Current children cumulated CPU time: 3212.82 s
Current children cumulated vsize: 138652 KiB
Current children cumulated memory: 97756 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/256 1076481
/proc/meminfo: memFree=126214336/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=138652 memory=100012 CPUtime=3272.64 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 16810 0 0 0 326704 560 0 0 20 0 1 0 199318384 141979648 25003 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 34663 25003 1435 291 0 26197 0
Current children cumulated CPU time: 3272.64 s
Current children cumulated vsize: 138652 KiB
Current children cumulated memory: 100012 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 1076663
/proc/meminfo: memFree=126149644/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=139960 memory=100644 CPUtime=3332.46 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 17056 0 0 0 332681 565 0 0 20 0 1 0 199318384 143319040 25161 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 34990 25161 1435 291 0 26524 0
Current children cumulated CPU time: 3332.46 s
Current children cumulated vsize: 139960 KiB
Current children cumulated memory: 100644 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 1076673
/proc/meminfo: memFree=125934348/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=141212 memory=104216 CPUtime=3392.27 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 17412 0 0 0 338658 569 0 0 20 0 1 0 199318384 144601088 26054 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 35303 26054 1435 291 0 26837 0
Current children cumulated CPU time: 3392.27 s
Current children cumulated vsize: 141212 KiB
Current children cumulated memory: 104216 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 1076683
/proc/meminfo: memFree=125920488/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=141212 memory=104216 CPUtime=3452.08 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 17448 0 0 0 344633 575 0 0 20 0 1 0 199318384 144601088 26054 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 35303 26054 1435 291 0 26837 0
Current children cumulated CPU time: 3452.08 s
Current children cumulated vsize: 141212 KiB
Current children cumulated memory: 104216 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/258 1076750
/proc/meminfo: memFree=125919992/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=141212 memory=104216 CPUtime=3511.89 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 17484 0 0 0 350608 581 0 0 20 0 1 0 199318384 144601088 26054 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 35303 26054 1435 291 0 26837 0
Current children cumulated CPU time: 3511.89 s
Current children cumulated vsize: 141212 KiB
Current children cumulated memory: 104216 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/258 1076760
/proc/meminfo: memFree=125896232/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=141212 memory=107560 CPUtime=3571.72 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 17529 0 0 0 356585 587 0 0 20 0 1 0 199318384 144601088 26890 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 35303 26890 1435 291 0 26837 0
Current children cumulated CPU time: 3571.72 s
Current children cumulated vsize: 141212 KiB
Current children cumulated memory: 107560 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 1076765
/proc/meminfo: memFree=125842792/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=141212 memory=107560 CPUtime=3600.03 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 17530 0 0 0 359414 589 0 0 20 0 1 0 199318384 144601088 26890 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 35303 26890 1435 291 0 26837 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 141212 KiB
Current children cumulated memory: 107560 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.15 s, system=5.8959 s

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

[startup+3610.7 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 1076765
/proc/meminfo: memFree=125842792/131524600 swapFree=131071996/131071996
[pid=1074606] ppid=1074603 vsize=141212 memory=107560 CPUtime=3600.03 cores=4,6
/proc/1074606/stat : 1074606 (pb-oll-rs) R 1074603 1074606 1072656 0 -1 4194304 17530 0 0 0 359414 589 0 0 20 0 1 0 199318384 144601088 26890 134679101440 4194304 5384485 140729030486864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16744448 140729030489109 140729030489186 140729030489186 140729030496203 0
/proc/1074606/statm: 35303 26890 1435 291 0 26837 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 141212 KiB
Current children cumulated memory: 107560 KiB

Child status: 0

Real time (s): 3610.7
CPU time (s): 3600.05
CPU user time (s): 3594.15
CPU system time (s): 5.8959
CPU usage (%): 99.7048
Max. virtual memory (cumulated for all children) (KiB): 141212
Max. memory (cumulated for all children) (KiB): 107560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.15
system time used= 5.8959
maximum resident set size= 107776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17547
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= 38
involuntary context switches= 2464


# summary of solver processes directly reported to runsolver:
#   pid: 1074606
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3594.15
#   total CPU system time (s): 5.8959

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.71126 second user time and 16.8808 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-20 12:32:35
IDJOB=4454330
IDBENCH=147625
IDSOLVER=3082
FILE ID=nodeC022/4454330-1721471542
RUNJOBID= nodeC022-1721467945-1072667
SLURM_JOB_ID= 7545723
Free space on /tmp= 890072 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_18.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454330-1721471542/watcher-4454330-1721471542 -o /tmp/evaluation-result-4454330-1721471542/solver-4454330-1721471542 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721467945-1072667 --watchdog 3760  pb-oll-rs HOME/instance-4454330-1721471542.opb

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

MD5SUM BENCH= 175cf8fd081870b89b1494469c4bb17a
RANDOM SEED=1750790795

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126422152 kB
MemAvailable:   128008784 kB
Buffers:          552960 kB
Cached:          1872888 kB
SwapCached:            0 kB
Active:          1264880 kB
Inactive:        3208588 kB
Active(anon):       1548 kB
Inactive(anon):  2092012 kB
Active(file):    1263332 kB
Inactive(file):  1116576 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6956 kB
Writeback:             0 kB
AnonPages:       2027660 kB
Mapped:           112160 kB
Shmem:             45912 kB
KReclaimable:      92740 kB
Slab:             206544 kB
SReclaimable:      92740 kB
SUnreclaim:       113804 kB
KernelStack:        4160 kB
PageTables:        13652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2554220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72192 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1789952 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:      260820 kB
DirectMap2M:    28872704 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC022 at 2024-07-20 13:32:46