Trace number 4458307

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.08 3612.2

DiagnosticValue
AM1LB0
LOWERBOUND-3298534883327
NAM1S0
NCORES1
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_21.opb
MD5SUM216ba9da6a205e5efe57192784bc5fe9
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 benchmark0
Best CPU time to get the best result obtained on this benchmark0.321287
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2730
Total number of constraints4053
Number of constraints which are clauses2646
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1407
Minimum length of a constraint2
Maximum length of a constraint5
Number of terms in the objective function 84
Biggest coefficient in the objective function 2199023255552
Number of bits for the biggest coefficient in the objective function 42
Sum of the numbers in the objective function 8796093022206
Number of bits of the sum of numbers in the objective function 43
Biggest number in a constraint 2199023255552
Number of bits of the biggest number in a constraint 42
Biggest sum of numbers in a constraint 8796093022206
Number of bits of the biggest sum of numbers43
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.00/0.04	c [STEP] solving
0.00/0.04	c #variables 2730 #constraints 5460
0.00/0.04	c SMALL=long long, LARGE=int128
0.00/0.04	c bounds - >= -4398046511103 @ 0.028473
0.00/0.04	c stratification level: 1099511627776
99.92/100.36	c bounds - >= -3298534883327 @ 0.029116
99.92/100.36	c #Conflicts:       1000 | #Constraints:       6461
99.92/100.36	c #Conflicts:       2000 | #Constraints:       7461
99.92/100.36	c INPROCESSING
99.92/100.36	c GARBAGE COLLECT
99.92/100.36	c #Conflicts:       3000 | #Constraints:       7510
99.92/100.36	c #Conflicts:       4000 | #Constraints:       8510
99.92/100.36	c INPROCESSING
99.92/100.36	c GARBAGE COLLECT
99.92/100.36	c #Conflicts:       5000 | #Constraints:       7960
99.92/100.36	c #Conflicts:       6000 | #Constraints:       8960
99.92/100.36	c INPROCESSING
99.92/100.36	c GARBAGE COLLECT
99.92/100.36	c #Conflicts:       7000 | #Constraints:       8006
99.92/100.36	c #Conflicts:       8000 | #Constraints:       9006
99.92/100.36	c #Conflicts:       9000 | #Constraints:      10006
99.92/100.36	c INPROCESSING
99.92/100.36	c GARBAGE COLLECT
99.92/100.36	c #Conflicts:      10000 | #Constraints:       8725
99.92/100.36	c #Conflicts:      11000 | #Constraints:       9725
99.92/100.36	c #Conflicts:      12000 | #Constraints:      10725
99.92/100.36	c INPROCESSING
99.92/100.36	c GARBAGE COLLECT
99.92/100.36	c #Conflicts:      13000 | #Constraints:       9205
99.92/100.36	c #Conflicts:      14000 | #Constraints:      10205
99.92/100.36	c #Conflicts:      15000 | #Constraints:      11205
99.92/100.36	c INPROCESSING
99.92/100.36	c GARBAGE COLLECT
99.92/100.36	c #Conflicts:      16000 | #Constraints:       9446
99.92/100.36	c #Conflicts:      17000 | #Constraints:      10446
99.92/100.36	c #Conflicts:      18000 | #Constraints:      11446
99.92/100.36	c INPROCESSING
99.92/100.36	c GARBAGE COLLECT
99.92/100.36	c #Conflicts:      19000 | #Constraints:       9490
99.92/100.36	c #Conflicts:      20000 | #Constraints:      10490
99.92/100.36	c #Conflicts:      21000 | #Constraints:      11490
99.92/100.36	c INPROCESSING
99.92/100.36	c GARBAGE COLLECT
99.92/100.36	c #Conflicts:      22000 | #Constraints:       9299
99.92/100.36	c #Conflicts:      23000 | #Constraints:      10299
99.92/100.36	c #Conflicts:      24000 | #Constraints:      11299
99.92/100.36	c #Conflicts:      25000 | #Constraints:      12299
99.92/100.36	c INPROCESSING
99.92/100.36	c GARBAGE COLLECT
99.92/100.36	c #Conflicts:      26000 | #Constraints:       9919
99.92/100.36	c #Conflicts:      27000 | #Constraints:      10919
99.92/100.36	c #Conflicts:      28000 | #Constraints:      11919
99.92/100.36	c #Conflicts:      29000 | #Constraints:      12919
99.92/100.36	c INPROCESSING
99.92/100.36	c GARBAGE COLLECT
99.92/100.36	c #Conflicts:      30000 | #Constraints:      10317
99.92/100.36	c #Conflicts:      31000 | #Constraints:      11317
99.92/100.36	c #Conflicts:      32000 | #Constraints:      12317
99.92/100.36	c #Conflicts:      33000 | #Constraints:      13317
99.92/100.36	c INPROCESSING
99.92/100.36	c GARBAGE COLLECT
99.92/100.36	c #Conflicts:      34000 | #Constraints:      10556
99.92/100.36	c #Conflicts:      35000 | #Constraints:      11556
99.92/100.36	c #Conflicts:      36000 | #Constraints:      12556
99.92/100.36	c #Conflicts:      37000 | #Constraints:      13556
99.92/100.36	c INPROCESSING
99.92/100.36	c GARBAGE COLLECT
99.92/100.36	c #Conflicts:      38000 | #Constraints:      10574
99.92/100.36	c #Conflicts:      39000 | #Constraints:      11574
99.92/100.36	c #Conflicts:      40000 | #Constraints:      12574
99.92/100.36	c #Conflicts:      41000 | #Constraints:      13574
99.92/100.36	c INPROCESSING
99.92/100.36	c GARBAGE COLLECT
99.92/100.36	c #Conflicts:      42000 | #Constraints:      10378
99.92/100.36	c #Conflicts:      43000 | #Constraints:      11378
99.92/100.36	c #Conflicts:      44000 | #Constraints:      12378
99.92/100.36	c #Conflicts:      45000 | #Constraints:      13378
99.92/100.36	c #Conflicts:      46000 | #Constraints:      14378
99.92/100.36	c INPROCESSING
99.92/100.36	c GARBAGE COLLECT
99.92/100.36	c #Conflicts:      47000 | #Constraints:      10985
99.92/100.36	c #Conflicts:      48000 | #Constraints:      11985
99.92/100.36	c #Conflicts:      49000 | #Constraints:      12985
99.92/100.36	c #Conflicts:      50000 | #Constraints:      13985
99.92/100.36	c #Conflicts:      51000 | #Constraints:      14985
99.92/100.36	c INPROCESSING
99.92/100.36	c GARBAGE COLLECT
99.92/100.36	c #Conflicts:      52000 | #Constraints:      11387
99.92/100.36	c #Conflicts:      53000 | #Constraints:      12387
99.92/100.36	c #Conflicts:      54000 | #Constraints:      13387
99.92/100.36	c #Conflicts:      55000 | #Constraints:      14387
99.92/100.36	c #Conflicts:      56000 | #Constraints:      15387
99.92/100.36	c INPROCESSING
99.92/100.36	c GARBAGE COLLECT
99.92/100.36	c #Conflicts:      57000 | #Constraints:      11588
99.92/100.36	c #Conflicts:      58000 | #Constraints:      12588
99.92/100.36	c #Conflicts:      59000 | #Constraints:      13588
99.92/100.36	c #Conflicts:      60000 | #Constraints:      14588
99.92/100.36	c #Conflicts:      61000 | #Constraints:      15588
99.92/100.36	c INPROCESSING
99.92/100.36	c GARBAGE COLLECT
99.92/100.36	c #Conflicts:      62000 | #Constraints:      11612
99.92/100.36	c #Conflicts:      63000 | #Constraints:      12612
99.92/100.36	c #Conflicts:      64000 | #Constraints:      13612
99.92/100.36	c #Conflicts:      65000 | #Constraints:      14612
99.92/100.36	c #Conflicts:      66000 | #Constraints:      15612
99.92/100.36	c INPROCESSING
99.92/100.36	c GARBAGE COLLECT
99.92/100.36	c #Conflicts:      67000 | #Constraints:      11421
349.98/351.30	c #Conflicts:      68000 | #Constraints:      12421
349.98/351.30	c #Conflicts:      69000 | #Constraints:      13421
349.98/351.30	c #Conflicts:      70000 | #Constraints:      14421
349.98/351.30	c #Conflicts:      71000 | #Constraints:      15421
349.98/351.30	c #Conflicts:      72000 | #Constraints:      16421
349.98/351.30	c INPROCESSING
349.98/351.30	c GARBAGE COLLECT
349.98/351.30	c #Conflicts:      73000 | #Constraints:      12008
349.98/351.30	c #Conflicts:      74000 | #Constraints:      13008
349.98/351.30	c #Conflicts:      75000 | #Constraints:      14008
349.98/351.30	c #Conflicts:      76000 | #Constraints:      15008
349.98/351.30	c #Conflicts:      77000 | #Constraints:      16008
349.98/351.30	c #Conflicts:      78000 | #Constraints:      17008
349.98/351.30	c INPROCESSING
349.98/351.30	c GARBAGE COLLECT
349.98/351.30	c #Conflicts:      79000 | #Constraints:      12428
349.98/351.30	c #Conflicts:      80000 | #Constraints:      13428
349.98/351.30	c #Conflicts:      81000 | #Constraints:      14428
349.98/351.30	c #Conflicts:      82000 | #Constraints:      15428
349.98/351.30	c #Conflicts:      83000 | #Constraints:      16428
349.98/351.30	c #Conflicts:      84000 | #Constraints:      17428
349.98/351.30	c INPROCESSING
349.98/351.30	c GARBAGE COLLECT
349.98/351.30	c #Conflicts:      85000 | #Constraints:      12627
349.98/351.30	c #Conflicts:      86000 | #Constraints:      13627
349.98/351.30	c #Conflicts:      87000 | #Constraints:      14627
349.98/351.30	c #Conflicts:      88000 | #Constraints:      15627
349.98/351.30	c #Conflicts:      89000 | #Constraints:      16627
349.98/351.30	c #Conflicts:      90000 | #Constraints:      17627
349.98/351.30	c INPROCESSING
349.98/351.30	c GARBAGE COLLECT
349.98/351.30	c #Conflicts:      91000 | #Constraints:      12630
349.98/351.30	c #Conflicts:      92000 | #Constraints:      13630
349.98/351.30	c #Conflicts:      93000 | #Constraints:      14630
349.98/351.30	c #Conflicts:      94000 | #Constraints:      15630
349.98/351.30	c #Conflicts:      95000 | #Constraints:      16630
349.98/351.30	c #Conflicts:      96000 | #Constraints:      17630
349.98/351.30	c INPROCESSING
349.98/351.30	c GARBAGE COLLECT
349.98/351.30	c #Conflicts:      97000 | #Constraints:      12471
349.98/351.30	c #Conflicts:      98000 | #Constraints:      13471
349.98/351.30	c #Conflicts:      99000 | #Constraints:      14471
349.98/351.30	c #Conflicts:     100000 | #Constraints:      15471
349.98/351.30	c #Conflicts:     101000 | #Constraints:      16471
349.98/351.30	c #Conflicts:     102000 | #Constraints:      17471
349.98/351.30	c #Conflicts:     103000 | #Constraints:      18471
349.98/351.30	c INPROCESSING
349.98/351.30	c GARBAGE COLLECT
349.98/351.30	c #Conflicts:     104000 | #Constraints:      13069
349.98/351.30	c #Conflicts:     105000 | #Constraints:      14069
349.98/351.30	c #Conflicts:     106000 | #Constraints:      15069
349.98/351.30	c #Conflicts:     107000 | #Constraints:      16069
349.98/351.30	c #Conflicts:     108000 | #Constraints:      17069
349.98/351.30	c #Conflicts:     109000 | #Constraints:      18069
349.98/351.30	c #Conflicts:     110000 | #Constraints:      19069
349.98/351.30	c INPROCESSING
349.98/351.30	c GARBAGE COLLECT
349.98/351.30	c #Conflicts:     111000 | #Constraints:      13481
349.98/351.30	c #Conflicts:     112000 | #Constraints:      14481
349.98/351.30	c #Conflicts:     113000 | #Constraints:      15481
349.98/351.30	c #Conflicts:     114000 | #Constraints:      16481
349.98/351.30	c #Conflicts:     115000 | #Constraints:      17481
349.98/351.30	c #Conflicts:     116000 | #Constraints:      18481
349.98/351.30	c #Conflicts:     117000 | #Constraints:      19481
349.98/351.30	c INPROCESSING
349.98/351.30	c GARBAGE COLLECT
349.98/351.30	c #Conflicts:     118000 | #Constraints:      13684
349.98/351.30	c #Conflicts:     119000 | #Constraints:      14684
349.98/351.30	c #Conflicts:     120000 | #Constraints:      15684
349.98/351.30	c #Conflicts:     121000 | #Constraints:      16684
349.98/351.30	c #Conflicts:     122000 | #Constraints:      17684
349.98/351.30	c #Conflicts:     123000 | #Constraints:      18684
349.98/351.30	c #Conflicts:     124000 | #Constraints:      19684
349.98/351.30	c INPROCESSING
349.98/351.30	c GARBAGE COLLECT
349.98/351.30	c #Conflicts:     125000 | #Constraints:      13692
349.98/351.30	c #Conflicts:     126000 | #Constraints:      14692
349.98/351.30	c #Conflicts:     127000 | #Constraints:      15692
349.98/351.30	c #Conflicts:     128000 | #Constraints:      16692
349.98/351.30	c #Conflicts:     129000 | #Constraints:      17692
349.98/351.30	c #Conflicts:     130000 | #Constraints:      18692
349.98/351.30	c #Conflicts:     131000 | #Constraints:      19692
349.98/351.30	c INPROCESSING
349.98/351.30	c GARBAGE COLLECT
349.98/351.30	c #Conflicts:     132000 | #Constraints:      13500
349.98/351.30	c #Conflicts:     133000 | #Constraints:      14500
349.98/351.30	c #Conflicts:     134000 | #Constraints:      15500
349.98/351.30	c #Conflicts:     135000 | #Constraints:      16500
349.98/351.30	c #Conflicts:     136000 | #Constraints:      17500
349.98/351.30	c #Conflicts:     137000 | #Constraints:      18500
349.98/351.30	c #Conflicts:     138000 | #Constraints:      19500
349.98/351.30	c #Conflicts:     139000 | #Constraints:      20500
811.75/814.54	c INPROCESSING
811.75/814.54	c GARBAGE COLLECT
811.75/814.54	c #Conflicts:     140000 | #Constraints:      14091
811.75/814.54	c #Conflicts:     141000 | #Constraints:      15091
811.75/814.54	c #Conflicts:     142000 | #Constraints:      16091
811.75/814.54	c #Conflicts:     143000 | #Constraints:      17091
811.75/814.54	c #Conflicts:     144000 | #Constraints:      18091
811.75/814.54	c #Conflicts:     145000 | #Constraints:      19091
811.75/814.54	c #Conflicts:     146000 | #Constraints:      20091
811.75/814.54	c #Conflicts:     147000 | #Constraints:      21091
811.75/814.54	c INPROCESSING
811.75/814.54	c GARBAGE COLLECT
811.75/814.54	c #Conflicts:     148000 | #Constraints:      14458
811.75/814.54	c #Conflicts:     149000 | #Constraints:      15458
811.75/814.54	c #Conflicts:     150000 | #Constraints:      16458
811.75/814.54	c #Conflicts:     151000 | #Constraints:      17458
811.75/814.54	c #Conflicts:     152000 | #Constraints:      18458
811.75/814.54	c #Conflicts:     153000 | #Constraints:      19458
811.75/814.54	c #Conflicts:     154000 | #Constraints:      20458
811.75/814.54	c #Conflicts:     155000 | #Constraints:      21458
811.75/814.54	c INPROCESSING
811.75/814.54	c GARBAGE COLLECT
811.75/814.54	c #Conflicts:     156000 | #Constraints:      14679
811.75/814.54	c #Conflicts:     157000 | #Constraints:      15679
811.75/814.54	c #Conflicts:     158000 | #Constraints:      16679
811.75/814.54	c #Conflicts:     159000 | #Constraints:      17679
811.75/814.54	c #Conflicts:     160000 | #Constraints:      18679
811.75/814.54	c #Conflicts:     161000 | #Constraints:      19679
811.75/814.54	c #Conflicts:     162000 | #Constraints:      20679
811.75/814.54	c #Conflicts:     163000 | #Constraints:      21679
811.75/814.54	c INPROCESSING
811.75/814.54	c GARBAGE COLLECT
811.75/814.54	c #Conflicts:     164000 | #Constraints:      14714
811.75/814.54	c #Conflicts:     165000 | #Constraints:      15714
811.75/814.54	c #Conflicts:     166000 | #Constraints:      16714
811.75/814.54	c #Conflicts:     167000 | #Constraints:      17714
811.75/814.54	c #Conflicts:     168000 | #Constraints:      18714
811.75/814.54	c #Conflicts:     169000 | #Constraints:      19714
811.75/814.54	c #Conflicts:     170000 | #Constraints:      20714
811.75/814.54	c #Conflicts:     171000 | #Constraints:      21714
811.75/814.54	c INPROCESSING
811.75/814.54	c GARBAGE COLLECT
811.75/814.54	c #Conflicts:     172000 | #Constraints:      14514
811.75/814.54	c #Conflicts:     173000 | #Constraints:      15514
811.75/814.54	c #Conflicts:     174000 | #Constraints:      16514
811.75/814.54	c #Conflicts:     175000 | #Constraints:      17514
811.75/814.54	c #Conflicts:     176000 | #Constraints:      18514
811.75/814.54	c #Conflicts:     177000 | #Constraints:      19514
811.75/814.54	c #Conflicts:     178000 | #Constraints:      20514
811.75/814.54	c #Conflicts:     179000 | #Constraints:      21514
811.75/814.54	c #Conflicts:     180000 | #Constraints:      22514
811.75/814.54	c INPROCESSING
811.75/814.54	c GARBAGE COLLECT
811.75/814.54	c #Conflicts:     181000 | #Constraints:      15102
811.75/814.54	c #Conflicts:     182000 | #Constraints:      16102
811.75/814.54	c #Conflicts:     183000 | #Constraints:      17102
811.75/814.54	c #Conflicts:     184000 | #Constraints:      18102
811.75/814.54	c #Conflicts:     185000 | #Constraints:      19102
811.75/814.54	c #Conflicts:     186000 | #Constraints:      20102
811.75/814.54	c #Conflicts:     187000 | #Constraints:      21102
811.75/814.54	c #Conflicts:     188000 | #Constraints:      22102
811.75/814.54	c #Conflicts:     189000 | #Constraints:      23102
811.75/814.54	c INPROCESSING
811.75/814.54	c GARBAGE COLLECT
811.75/814.54	c #Conflicts:     190000 | #Constraints:      15511
811.75/814.54	c #Conflicts:     191000 | #Constraints:      16511
811.75/814.54	c #Conflicts:     192000 | #Constraints:      17511
811.75/814.54	c #Conflicts:     193000 | #Constraints:      18511
811.75/814.54	c #Conflicts:     194000 | #Constraints:      19511
811.75/814.54	c #Conflicts:     195000 | #Constraints:      20511
811.75/814.54	c #Conflicts:     196000 | #Constraints:      21511
811.75/814.54	c #Conflicts:     197000 | #Constraints:      22511
811.75/814.54	c #Conflicts:     198000 | #Constraints:      23511
811.75/814.54	c INPROCESSING
811.75/814.54	c GARBAGE COLLECT
811.75/814.54	c #Conflicts:     199000 | #Constraints:      15720
811.75/814.54	c #Conflicts:     200000 | #Constraints:      16720
811.75/814.54	c #Conflicts:     201000 | #Constraints:      17720
811.75/814.54	c #Conflicts:     202000 | #Constraints:      18720
811.75/814.54	c #Conflicts:     203000 | #Constraints:      19720
811.75/814.54	c #Conflicts:     204000 | #Constraints:      20720
811.75/814.54	c #Conflicts:     205000 | #Constraints:      21720
811.75/814.54	c #Conflicts:     206000 | #Constraints:      22720
811.75/814.54	c #Conflicts:     207000 | #Constraints:      23720
811.75/814.54	c INPROCESSING
811.75/814.54	c GARBAGE COLLECT
811.75/814.54	c #Conflicts:     208000 | #Constraints:      15741
811.75/814.54	c #Conflicts:     209000 | #Constraints:      16741
811.75/814.54	c #Conflicts:     210000 | #Constraints:      17741
811.75/814.54	c #Conflicts:     211000 | #Constraints:      18741
811.75/814.54	c #Conflicts:     212000 | #Constraints:      19741
811.75/814.54	c #Conflicts:     213000 | #Constraints:      20741
1473.24/1478.17	c #Conflicts:     214000 | #Constraints:      21741
1473.24/1478.17	c #Conflicts:     215000 | #Constraints:      22741
1473.24/1478.17	c #Conflicts:     216000 | #Constraints:      23741
1473.24/1478.17	c INPROCESSING
1473.24/1478.17	c GARBAGE COLLECT
1473.24/1478.17	c #Conflicts:     217000 | #Constraints:      15536
1473.24/1478.17	c #Conflicts:     218000 | #Constraints:      16536
1473.24/1478.17	c #Conflicts:     219000 | #Constraints:      17536
1473.24/1478.17	c #Conflicts:     220000 | #Constraints:      18536
1473.24/1478.17	c #Conflicts:     221000 | #Constraints:      19536
1473.24/1478.17	c #Conflicts:     222000 | #Constraints:      20536
1473.24/1478.17	c #Conflicts:     223000 | #Constraints:      21536
1473.24/1478.17	c #Conflicts:     224000 | #Constraints:      22536
1473.24/1478.17	c #Conflicts:     225000 | #Constraints:      23536
1473.24/1478.17	c #Conflicts:     226000 | #Constraints:      24536
1473.24/1478.17	c INPROCESSING
1473.24/1478.17	c GARBAGE COLLECT
1473.24/1478.17	c #Conflicts:     227000 | #Constraints:      16133
1473.24/1478.17	c #Conflicts:     228000 | #Constraints:      17133
1473.24/1478.17	c #Conflicts:     229000 | #Constraints:      18133
1473.24/1478.17	c #Conflicts:     230000 | #Constraints:      19133
1473.24/1478.17	c #Conflicts:     231000 | #Constraints:      20133
1473.24/1478.17	c #Conflicts:     232000 | #Constraints:      21133
1473.24/1478.17	c #Conflicts:     233000 | #Constraints:      22133
1473.24/1478.17	c #Conflicts:     234000 | #Constraints:      23133
1473.24/1478.17	c #Conflicts:     235000 | #Constraints:      24133
1473.24/1478.17	c #Conflicts:     236000 | #Constraints:      25133
1473.24/1478.17	c INPROCESSING
1473.24/1478.17	c GARBAGE COLLECT
1473.24/1478.17	c #Conflicts:     237000 | #Constraints:      16532
1473.24/1478.17	c #Conflicts:     238000 | #Constraints:      17532
1473.24/1478.17	c #Conflicts:     239000 | #Constraints:      18532
1473.24/1478.17	c #Conflicts:     240000 | #Constraints:      19532
1473.24/1478.17	c #Conflicts:     241000 | #Constraints:      20532
1473.24/1478.17	c #Conflicts:     242000 | #Constraints:      21532
1473.24/1478.17	c #Conflicts:     243000 | #Constraints:      22532
1473.24/1478.17	c #Conflicts:     244000 | #Constraints:      23532
1473.24/1478.17	c #Conflicts:     245000 | #Constraints:      24532
1473.24/1478.17	c #Conflicts:     246000 | #Constraints:      25532
1473.24/1478.17	c INPROCESSING
1473.24/1478.17	c GARBAGE COLLECT
1473.24/1478.17	c #Conflicts:     247000 | #Constraints:      16714
1473.24/1478.17	c #Conflicts:     248000 | #Constraints:      17714
1473.24/1478.17	c #Conflicts:     249000 | #Constraints:      18714
1473.24/1478.17	c #Conflicts:     250000 | #Constraints:      19714
1473.24/1478.17	c #Conflicts:     251000 | #Constraints:      20714
1473.24/1478.17	c #Conflicts:     252000 | #Constraints:      21714
1473.24/1478.17	c #Conflicts:     253000 | #Constraints:      22714
1473.24/1478.17	c #Conflicts:     254000 | #Constraints:      23714
1473.24/1478.17	c #Conflicts:     255000 | #Constraints:      24714
1473.24/1478.17	c #Conflicts:     256000 | #Constraints:      25714
1473.24/1478.17	c INPROCESSING
1473.24/1478.17	c GARBAGE COLLECT
1473.24/1478.17	c #Conflicts:     257000 | #Constraints:      16742
1473.24/1478.17	c #Conflicts:     258000 | #Constraints:      17742
1473.24/1478.17	c #Conflicts:     259000 | #Constraints:      18742
1473.24/1478.17	c #Conflicts:     260000 | #Constraints:      19742
1473.24/1478.17	c #Conflicts:     261000 | #Constraints:      20742
1473.24/1478.17	c #Conflicts:     262000 | #Constraints:      21742
1473.24/1478.17	c #Conflicts:     263000 | #Constraints:      22742
1473.24/1478.17	c #Conflicts:     264000 | #Constraints:      23742
1473.24/1478.17	c #Conflicts:     265000 | #Constraints:      24742
1473.24/1478.17	c #Conflicts:     266000 | #Constraints:      25742
1473.24/1478.17	c INPROCESSING
1473.24/1478.17	c GARBAGE COLLECT
1473.24/1478.17	c #Conflicts:     267000 | #Constraints:      16560
1473.24/1478.17	c #Conflicts:     268000 | #Constraints:      17560
1473.24/1478.17	c #Conflicts:     269000 | #Constraints:      18560
1473.24/1478.17	c #Conflicts:     270000 | #Constraints:      19560
1473.24/1478.17	c #Conflicts:     271000 | #Constraints:      20560
1473.24/1478.17	c #Conflicts:     272000 | #Constraints:      21560
1473.24/1478.17	c #Conflicts:     273000 | #Constraints:      22560
1473.24/1478.17	c #Conflicts:     274000 | #Constraints:      23560
1473.24/1478.17	c #Conflicts:     275000 | #Constraints:      24560
1473.24/1478.17	c #Conflicts:     276000 | #Constraints:      25560
1473.24/1478.17	c #Conflicts:     277000 | #Constraints:      26560
1473.24/1478.17	c INPROCESSING
1473.24/1478.17	c GARBAGE COLLECT
1473.24/1478.17	c #Conflicts:     278000 | #Constraints:      17150
1473.24/1478.17	c #Conflicts:     279000 | #Constraints:      18150
1473.24/1478.17	c #Conflicts:     280000 | #Constraints:      19150
1473.24/1478.17	c #Conflicts:     281000 | #Constraints:      20150
1473.24/1478.17	c #Conflicts:     282000 | #Constraints:      21150
1473.24/1478.17	c #Conflicts:     283000 | #Constraints:      22150
1473.24/1478.17	c #Conflicts:     284000 | #Constraints:      23150
1473.24/1478.17	c #Conflicts:     285000 | #Constraints:      24150
1473.24/1478.17	c #Conflicts:     286000 | #Constraints:      25150
1473.24/1478.17	c #Conflicts:     287000 | #Constraints:      26150
2173.82/2181.10	c #Conflicts:     288000 | #Constraints:      27150
2173.82/2181.10	c INPROCESSING
2173.82/2181.10	c GARBAGE COLLECT
2173.82/2181.10	c #Conflicts:     289000 | #Constraints:      17560
2173.82/2181.10	c #Conflicts:     290000 | #Constraints:      18560
2173.82/2181.10	c #Conflicts:     291000 | #Constraints:      19560
2173.82/2181.10	c #Conflicts:     292000 | #Constraints:      20560
2173.82/2181.10	c #Conflicts:     293000 | #Constraints:      21560
2173.82/2181.10	c #Conflicts:     294000 | #Constraints:      22560
2173.82/2181.10	c #Conflicts:     295000 | #Constraints:      23560
2173.82/2181.10	c #Conflicts:     296000 | #Constraints:      24560
2173.82/2181.10	c #Conflicts:     297000 | #Constraints:      25560
2173.82/2181.10	c #Conflicts:     298000 | #Constraints:      26560
2173.82/2181.10	c #Conflicts:     299000 | #Constraints:      27560
2173.82/2181.10	c INPROCESSING
2173.82/2181.10	c GARBAGE COLLECT
2173.82/2181.10	c #Conflicts:     300000 | #Constraints:      17765
2173.82/2181.10	c #Conflicts:     301000 | #Constraints:      18765
2173.82/2181.10	c #Conflicts:     302000 | #Constraints:      19765
2173.82/2181.10	c #Conflicts:     303000 | #Constraints:      20765
2173.82/2181.10	c #Conflicts:     304000 | #Constraints:      21765
2173.82/2181.10	c #Conflicts:     305000 | #Constraints:      22765
2173.82/2181.10	c #Conflicts:     306000 | #Constraints:      23765
2173.82/2181.10	c #Conflicts:     307000 | #Constraints:      24765
2173.82/2181.10	c #Conflicts:     308000 | #Constraints:      25765
2173.82/2181.10	c #Conflicts:     309000 | #Constraints:      26765
2173.82/2181.10	c #Conflicts:     310000 | #Constraints:      27765
2173.82/2181.10	c INPROCESSING
2173.82/2181.10	c GARBAGE COLLECT
2173.82/2181.10	c #Conflicts:     311000 | #Constraints:      17760
2173.82/2181.10	c #Conflicts:     312000 | #Constraints:      18760
2173.82/2181.10	c #Conflicts:     313000 | #Constraints:      19760
2173.82/2181.10	c #Conflicts:     314000 | #Constraints:      20760
2173.82/2181.10	c #Conflicts:     315000 | #Constraints:      21760
2173.82/2181.10	c #Conflicts:     316000 | #Constraints:      22760
2173.82/2181.10	c #Conflicts:     317000 | #Constraints:      23760
2173.82/2181.10	c #Conflicts:     318000 | #Constraints:      24760
2173.82/2181.10	c #Conflicts:     319000 | #Constraints:      25760
2173.82/2181.10	c #Conflicts:     320000 | #Constraints:      26760
2173.82/2181.10	c #Conflicts:     321000 | #Constraints:      27760
2173.82/2181.10	c INPROCESSING
2173.82/2181.10	c GARBAGE COLLECT
2173.82/2181.10	c #Conflicts:     322000 | #Constraints:      17550
2173.82/2181.10	c #Conflicts:     323000 | #Constraints:      18550
2173.82/2181.10	c #Conflicts:     324000 | #Constraints:      19550
2173.82/2181.10	c #Conflicts:     325000 | #Constraints:      20550
2173.82/2181.10	c #Conflicts:     326000 | #Constraints:      21550
2173.82/2181.10	c #Conflicts:     327000 | #Constraints:      22550
2173.82/2181.10	c #Conflicts:     328000 | #Constraints:      23550
2173.82/2181.10	c #Conflicts:     329000 | #Constraints:      24550
2173.82/2181.10	c #Conflicts:     330000 | #Constraints:      25550
2173.82/2181.10	c #Conflicts:     331000 | #Constraints:      26550
2173.82/2181.10	c #Conflicts:     332000 | #Constraints:      27550
2173.82/2181.10	c #Conflicts:     333000 | #Constraints:      28550
2173.82/2181.10	c INPROCESSING
2173.82/2181.10	c GARBAGE COLLECT
2173.82/2181.10	c #Conflicts:     334000 | #Constraints:      18129
2173.82/2181.10	c #Conflicts:     335000 | #Constraints:      19129
2173.82/2181.10	c #Conflicts:     336000 | #Constraints:      20129
2173.82/2181.10	c #Conflicts:     337000 | #Constraints:      21129
2173.82/2181.10	c #Conflicts:     338000 | #Constraints:      22129
2173.82/2181.10	c #Conflicts:     339000 | #Constraints:      23129
2173.82/2181.10	c #Conflicts:     340000 | #Constraints:      24129
2173.82/2181.10	c #Conflicts:     341000 | #Constraints:      25129
2173.82/2181.10	c #Conflicts:     342000 | #Constraints:      26129
2173.82/2181.10	c #Conflicts:     343000 | #Constraints:      27129
2173.82/2181.10	c #Conflicts:     344000 | #Constraints:      28129
2173.82/2181.10	c #Conflicts:     345000 | #Constraints:      29129
2173.82/2181.10	c INPROCESSING
2173.82/2181.10	c GARBAGE COLLECT
2173.82/2181.10	c #Conflicts:     346000 | #Constraints:      18525
2173.82/2181.10	c #Conflicts:     347000 | #Constraints:      19525
2173.82/2181.10	c #Conflicts:     348000 | #Constraints:      20525
2173.82/2181.10	c #Conflicts:     349000 | #Constraints:      21525
2173.82/2181.10	c #Conflicts:     350000 | #Constraints:      22525
2173.82/2181.10	c #Conflicts:     351000 | #Constraints:      23525
2173.82/2181.10	c #Conflicts:     352000 | #Constraints:      24525
2173.82/2181.10	c #Conflicts:     353000 | #Constraints:      25525
2173.82/2181.10	c #Conflicts:     354000 | #Constraints:      26525
2173.82/2181.10	c #Conflicts:     355000 | #Constraints:      27525
2173.82/2181.10	c #Conflicts:     356000 | #Constraints:      28525
2173.82/2181.10	c #Conflicts:     357000 | #Constraints:      29525
2173.82/2181.10	c INPROCESSING
2173.82/2181.10	c GARBAGE COLLECT
2173.82/2181.10	c #Conflicts:     358000 | #Constraints:      18731
2173.82/2181.10	c #Conflicts:     359000 | #Constraints:      19731
2173.82/2181.10	c #Conflicts:     360000 | #Constraints:      20731
2173.82/2181.10	c #Conflicts:     361000 | #Constraints:      21731
3600.07/3612.20	c #Conflicts:     362000 | #Constraints:      22731
3600.07/3612.20	c #Conflicts:     363000 | #Constraints:      23731
3600.07/3612.20	c #Conflicts:     364000 | #Constraints:      24731
3600.07/3612.20	c #Conflicts:     365000 | #Constraints:      25731
3600.07/3612.20	c #Conflicts:     366000 | #Constraints:      26731
3600.07/3612.20	c #Conflicts:     367000 | #Constraints:      27731
3600.07/3612.20	c #Conflicts:     368000 | #Constraints:      28731
3600.07/3612.20	c #Conflicts:     369000 | #Constraints:      29731
3600.07/3612.20	c INPROCESSING
3600.07/3612.20	c GARBAGE COLLECT
3600.07/3612.20	c #Conflicts:     370000 | #Constraints:      18723
3600.07/3612.20	c #Conflicts:     371000 | #Constraints:      19723
3600.07/3612.20	c #Conflicts:     372000 | #Constraints:      20723
3600.07/3612.20	c #Conflicts:     373000 | #Constraints:      21723
3600.07/3612.20	c #Conflicts:     374000 | #Constraints:      22723
3600.07/3612.20	c #Conflicts:     375000 | #Constraints:      23723
3600.07/3612.20	c #Conflicts:     376000 | #Constraints:      24723
3600.07/3612.20	c #Conflicts:     377000 | #Constraints:      25723
3600.07/3612.20	c #Conflicts:     378000 | #Constraints:      26723
3600.07/3612.20	c #Conflicts:     379000 | #Constraints:      27723
3600.07/3612.20	c #Conflicts:     380000 | #Constraints:      28723
3600.07/3612.20	c #Conflicts:     381000 | #Constraints:      29723
3600.07/3612.20	c #Conflicts:     382000 | #Constraints:      30723
3600.07/3612.20	c #Conflicts:     383000 | #Constraints:      31723
3600.07/3612.20	c #Conflicts:     384000 | #Constraints:      32723
3600.07/3612.20	c #Conflicts:     385000 | #Constraints:      33723
3600.07/3612.20	c #Conflicts:     386000 | #Constraints:      34723
3600.07/3612.20	c #Conflicts:     387000 | #Constraints:      35723
3600.07/3612.20	c #Conflicts:     388000 | #Constraints:      36723
3600.07/3612.20	c #Conflicts:     389000 | #Constraints:      37723
3600.07/3612.20	c #Conflicts:     390000 | #Constraints:      38723
3600.07/3612.20	c #Conflicts:     391000 | #Constraints:      39723
3600.07/3612.20	c #Conflicts:     392000 | #Constraints:      40723
3600.07/3612.20	c #Conflicts:     393000 | #Constraints:      41723
3600.07/3612.20	c #Conflicts:     394000 | #Constraints:      42723
3600.07/3612.20	c #Conflicts:     395000 | #Constraints:      43723
3600.07/3612.20	c #Conflicts:     396000 | #Constraints:      44723
3600.07/3612.20	c #Conflicts:     397000 | #Constraints:      45723
3600.07/3612.20	c #Conflicts:     398000 | #Constraints:      46723
3600.07/3612.20	c #Conflicts:     399000 | #Constraints:      47723
3600.07/3612.20	c #Conflicts:     400000 | #Constraints:      48723
3600.07/3612.20	c #Conflicts:     401000 | #Constraints:      49723
3600.07/3612.20	c #Conflicts:     402000 | #Constraints:      50723
3600.07/3612.20	c #Conflicts:     403000 | #Constraints:      51723
3600.07/3612.20	c #Conflicts:     404000 | #Constraints:      52723
3600.07/3612.20	c #Conflicts:     405000 | #Constraints:      53723
3600.07/3612.20	c #Conflicts:     406000 | #Constraints:      54723
3600.07/3612.20	c #Conflicts:     407000 | #Constraints:      55723
3600.07/3612.20	c #Conflicts:     408000 | #Constraints:      56723
3600.07/3612.20	c #Conflicts:     409000 | #Constraints:      57723
3600.07/3612.20	c Program interrupted by user.
3600.07/3612.20	c cpu time 3594.97 s
3600.07/3612.20	c deterministic time 313410644619 3.13e+11
3600.07/3612.20	c optimization time 1312.2 s
3600.07/3612.20	c total solve time 2282.74 s
3600.07/3612.20	c core-guided solve time 2282.74 s
3600.07/3612.20	c propagation time 3242.37 s
3600.07/3612.20	c conflict analysis time 336.115 s
3600.07/3612.20	c propagations 216956287
3600.07/3612.20	c resolve steps 18944385
3600.07/3612.20	c decisions 2602475
3600.07/3612.20	c conflicts 409725
3600.07/3612.20	c restarts 1012
3600.07/3612.20	c inprocessing phases 52
3600.07/3612.20	c input clauses 3780
3600.07/3612.20	c input cardinalities 0
3600.07/3612.20	c input general constraints 1681
3600.07/3612.20	c input average constraint length 3.08
3600.07/3612.20	c input average constraint degree 201338882.36
3600.07/3612.20	c learned clauses 49781
3600.07/3612.20	c learned cardinalities 49
3600.07/3612.20	c learned general constraints 359896
3600.07/3612.20	c learned average constraint length 324.50
3600.07/3612.20	c learned average constraint degree 340795975.83
3600.07/3612.20	c watched constraints 356426
3600.07/3612.20	c counting constraints 5151
3600.07/3612.20	c gcd simplifications 17064
3600.07/3612.20	c detected cardinalities 6
3600.07/3612.20	c weakened non-implied lits 6128713
3600.07/3612.20	c weakened non-implying lits 197494
3600.07/3612.20	c original variables 2730
3600.07/3612.20	c clausal propagations 85561585
3600.07/3612.20	c cardinality propagations 3535
3600.07/3612.20	c watched propagations 32825468
3600.07/3612.20	c counting propagations 98448911
3600.07/3612.20	c watch lookups 56558899536
3600.07/3612.20	c watch backjump lookups 52593695862
3600.07/3612.20	c watch checks 157716962286
3600.07/3612.20	c propagation checks 45610306340
3600.07/3612.20	c constraint additions 491254944
3600.07/3612.20	c trail pops 219966888
3600.07/3612.20	c formula constraints 5460
3600.07/3612.20	c learned constraints 409726
3600.07/3612.20	c bound constraints 1
3600.07/3612.20	c core-guided constraints 0
3600.07/3612.20	c encountered formula constraints 13341599
3600.07/3612.20	c encountered learned constraints 6012511
3600.07/3612.20	c encountered bound constraints 0
3600.07/3612.20	c encountered core-guided constraints 0
3600.07/3612.20	c LP total time 0 s
3600.07/3612.20	c LP solve time 0 s
3600.07/3612.20	c LP constraints added 0
3600.07/3612.20	c LP constraints removed 0
3600.07/3612.20	c LP pivots internal 0
3600.07/3612.20	c LP pivots root 0
3600.07/3612.20	c LP calls 0
3600.07/3612.20	c LP optimalities 0
3600.07/3612.20	c LP no pivot count 0
3600.07/3612.20	c LP infeasibilities 0
3600.07/3612.20	c LP valid Farkas constraints 0
3600.07/3612.20	c LP learned Farkas constraints 0
3600.07/3612.20	c LP basis resets 0
3600.07/3612.20	c LP cycling count 0
3600.07/3612.20	c LP singular count 0
3600.07/3612.20	c LP no primal count 0
3600.07/3612.20	c LP no farkas count 0
3600.07/3612.20	c LP other issue count 0
3600.07/3612.20	c LP Gomory cuts 0
3600.07/3612.20	c LP learned cuts 0
3600.07/3612.20	c LP deleted cuts 0
3600.07/3612.20	c LP encountered Gomory constraints 0
3600.07/3612.20	c LP encountered Farkas constraints 0
3600.07/3612.20	c LP encountered learned Farkas constraints 0
3600.07/3612.20	c CG auxiliary variables introduced 0
3600.07/3612.20	c CG solutions found 0
3600.07/3612.20	c CG cores constructed 1
3600.07/3612.20	c CG core cardinality constraints returned 0
3600.07/3612.20	c CG unit cores 0
3600.07/3612.20	c CG single cores 1
3600.07/3612.20	c CG blocks removed during cardinality reduction 0
3600.07/3612.20	c CG first core best 0
3600.07/3612.20	c CG decision core best 0
3600.07/3612.20	c CG core reduction tie 0
3600.07/3612.20	c CG core degree average 1.00
3600.07/3612.20	c CG core slack average 3.00
3600.07/3612.20	c CG exhausted 0
3600.07/3612.20	c CG exhaust time 0 s
3600.07/3612.20	c CG trimmed 0
3600.07/3612.20	c CG trim time 4.3e-05 s
3600.07/3612.20	c CG minimized 0
3600.07/3612.20	c CG minimize time 0 s
3600.07/3612.20	c CG am1 prop time 6.8e-05 s
3600.07/3612.20	c CG # am1s reformulated 0
3600.07/3612.20	c CG lower bound derived from am1s 0
3600.07/3612.20	c CG # clausal cores 1
3600.07/3612.20	c CG # cardinality cores 0
3600.07/3612.20	c CG # pb cores 0
3600.07/3612.20	c CG # pb reforms 0
3600.07/3612.20	c CG # cores discarded because of pb reform 0
3600.07/3612.20	d LOWERBOUND -3298534883327
3600.07/3612.20	d NCORES 1
3600.07/3612.20	d NPBCORES 0
3600.07/3612.20	d NPBREFORM 0
3600.07/3612.20	d NTRIMMED 0
3600.07/3612.20	d NEXHAUSTED 0
3600.07/3612.20	d NAM1S 0
3600.07/3612.20	d AM1LB 0
3600.07/3612.20	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: 64059 MiB (50828 MiB free)
  memory of node 1: 64510 MiB (56507 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100104 s]*
/proc/loadavg: 1.15 1.19 1.81 7/246 273868
/proc/meminfo: memFree=109895068/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=39992 memory=7412 CPUtime=0.11 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 665 0 0 0 9 2 0 0 20 0 1 0 24783275 40951808 1853 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 9998 1853 1386 291 0 1532 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 39992 KiB
Current children cumulated memory: 7412 KiB

[startup+0.215281 s]*
/proc/loadavg: 1.15 1.19 1.81 6/246 273868
/proc/meminfo: memFree=109885692/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=40124 memory=7676 CPUtime=0.21 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 752 0 0 0 19 2 0 0 20 0 1 0 24783275 41086976 1919 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 10031 1919 1386 291 0 1565 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40124 KiB
Current children cumulated memory: 7676 KiB

[startup+0.314357 s]*
/proc/loadavg: 1.15 1.19 1.81 7/246 273868
/proc/meminfo: memFree=109882844/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=40252 memory=8188 CPUtime=0.32 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 823 0 0 0 29 3 0 0 20 0 1 0 24783275 41218048 2047 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 10063 2047 1386 291 0 1597 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 40252 KiB
Current children cumulated memory: 8188 KiB

[startup+0.700283 s]
/proc/loadavg: 1.15 1.19 1.81 6/246 273868
/proc/meminfo: memFree=109879596/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=40768 memory=11276 CPUtime=0.68 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 1037 0 0 0 65 3 0 0 20 0 1 0 24783275 41746432 2819 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 10192 2819 1442 291 0 1726 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40768 KiB
Current children cumulated memory: 11276 KiB

[startup+1.50035 s]
/proc/loadavg: 1.15 1.19 1.81 7/246 273868
/proc/meminfo: memFree=109866532/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=42000 memory=12244 CPUtime=1.48 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 1321 0 0 0 144 4 0 0 20 0 1 0 24783275 43008000 3061 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 10500 3061 1442 291 0 2034 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42000 KiB
Current children cumulated memory: 12244 KiB

[startup+3.11403 s]
/proc/loadavg: 1.62 1.29 1.83 10/246 273868
/proc/meminfo: memFree=109824968/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=42788 memory=13208 CPUtime=3.09 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 1533 0 0 0 302 7 0 0 20 0 1 0 24783275 43814912 3302 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 10697 3302 1442 291 0 2231 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 42788 KiB
Current children cumulated memory: 13208 KiB

[startup+6.30028 s]
/proc/loadavg: 1.62 1.29 1.83 7/246 273869
/proc/meminfo: memFree=109809924/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=47312 memory=16552 CPUtime=6.27 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 2351 0 0 0 616 11 0 0 20 0 1 0 24783275 48447488 4138 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 11828 4138 1442 291 0 3362 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 47312 KiB
Current children cumulated memory: 16552 KiB

[startup+12.7003 s]
/proc/loadavg: 1.99 1.38 1.86 8/246 273869
/proc/meminfo: memFree=109788468/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=49992 memory=20864 CPUtime=12.64 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 3490 0 0 0 1247 17 0 0 20 0 1 0 24783275 51191808 5216 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 12498 5216 1456 291 0 4032 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 49992 KiB
Current children cumulated memory: 20864 KiB

[startup+25.5003 s]
/proc/loadavg: 2.38 1.48 1.89 6/246 273918
/proc/meminfo: memFree=109823196/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=56552 memory=26200 CPUtime=25.39 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 4306 0 0 0 2512 27 0 0 20 0 1 0 24783275 57909248 6550 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 14138 6550 1456 291 0 5672 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 56552 KiB
Current children cumulated memory: 26200 KiB

[startup+51.1132 s]
/proc/loadavg: 2.93 1.68 1.94 6/246 273921
/proc/meminfo: memFree=109800808/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=69960 memory=35056 CPUtime=50.91 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 6086 0 0 0 5049 42 0 0 20 0 1 0 24783275 71639040 8764 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 17490 8764 1456 291 0 9024 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 69960 KiB
Current children cumulated memory: 35056 KiB

[startup+102.3 s]
/proc/loadavg: 3.63 2.09 2.07 6/246 273932
/proc/meminfo: memFree=109754784/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=74912 memory=42500 CPUtime=101.91 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 7593 0 0 0 10124 67 0 0 20 0 1 0 24783275 76709888 10625 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 18728 10625 1456 291 0 10262 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 74912 KiB
Current children cumulated memory: 42500 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.46 2.20 6/246 273942
/proc/meminfo: memFree=109738472/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=79384 memory=49340 CPUtime=161.69 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 8952 0 0 0 16072 97 0 0 20 0 1 0 24783275 81289216 12335 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 19846 12335 1456 291 0 11380 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 79384 KiB
Current children cumulated memory: 49340 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 2.77 2.32 7/243 273952
/proc/meminfo: memFree=109695992/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=94248 memory=55140 CPUtime=221.46 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 9972 0 0 0 22029 117 0 0 20 0 1 0 24783275 96509952 13785 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 23562 13785 1456 291 0 15096 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 94248 KiB
Current children cumulated memory: 55140 KiB

[startup+282.3 s]
/proc/loadavg: 4.02 3.00 2.43 6/243 273963
/proc/meminfo: memFree=109674332/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=94880 memory=55868 CPUtime=281.23 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 10271 0 0 0 27987 136 0 0 20 0 1 0 24783275 97157120 13967 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 23720 13967 1456 291 0 15254 0
Current children cumulated CPU time: 281.23 s
Current children cumulated vsize: 94880 KiB
Current children cumulated memory: 55868 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.21 2.54 6/241 273973
/proc/meminfo: memFree=109659812/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=96220 memory=60584 CPUtime=341.01 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 10628 0 0 0 33951 150 0 0 20 0 1 0 24783275 98529280 15146 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 24055 15146 1456 291 0 15589 0
Current children cumulated CPU time: 341.01 s
Current children cumulated vsize: 96220 KiB
Current children cumulated memory: 60584 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.37 2.64 6/241 273983
/proc/meminfo: memFree=109645592/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=97772 memory=61956 CPUtime=400.82 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 11050 0 0 0 39918 164 0 0 20 0 1 0 24783275 100118528 15489 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 24443 15489 1456 291 0 15977 0
Current children cumulated CPU time: 400.82 s
Current children cumulated vsize: 97772 KiB
Current children cumulated memory: 61956 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 3.52 2.74 6/241 273993
/proc/meminfo: memFree=109621348/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=98348 memory=62412 CPUtime=460.64 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 11232 0 0 0 45887 177 0 0 20 0 1 0 24783275 100708352 15603 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 24587 15603 1456 291 0 16121 0
Current children cumulated CPU time: 460.64 s

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

Current children cumulated memory: 157580 KiB

[startup+2862.3 s]
/proc/loadavg: 4.11 4.15 4.09 6/246 275640
/proc/meminfo: memFree=109062708/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=204700 memory=163868 CPUtime=2852.77 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 24166 0 0 0 284806 471 0 0 20 0 1 0 24783275 209612800 40967 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 51175 40967 1456 291 0 42709 0
Current children cumulated CPU time: 2852.77 s
Current children cumulated vsize: 204700 KiB
Current children cumulated memory: 163868 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.15 4.09 7/245 275654
/proc/meminfo: memFree=109035852/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=256836 memory=173776 CPUtime=2912.56 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 25108 0 0 0 290780 476 0 0 20 0 1 0 24783275 263000064 43444 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 64209 43444 1456 291 0 55743 0
Current children cumulated CPU time: 2912.56 s
Current children cumulated vsize: 256836 KiB
Current children cumulated memory: 173776 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.14 4.09 6/244 275676
/proc/meminfo: memFree=109012044/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=266916 memory=186052 CPUtime=2972.36 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 27209 0 0 0 296755 481 0 0 20 0 1 0 24783275 273321984 46513 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 66729 46513 1456 291 0 58263 0
Current children cumulated CPU time: 2972.36 s
Current children cumulated vsize: 266916 KiB
Current children cumulated memory: 186052 KiB

[startup+3042.3 s]
/proc/loadavg: 4.18 4.16 4.10 6/244 275686
/proc/meminfo: memFree=108981316/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=271340 memory=191396 CPUtime=3032.16 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 28118 0 0 0 302731 485 0 0 20 0 1 0 24783275 277852160 47849 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 67835 47849 1456 291 0 59369 0
Current children cumulated CPU time: 3032.16 s
Current children cumulated vsize: 271340 KiB
Current children cumulated memory: 191396 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.15 4.10 6/243 275697
/proc/meminfo: memFree=108956276/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=273196 memory=197392 CPUtime=3091.95 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 28618 0 0 0 308707 488 0 0 20 0 1 0 24783275 279752704 49348 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 68299 49348 1456 291 0 59833 0
Current children cumulated CPU time: 3091.95 s
Current children cumulated vsize: 273196 KiB
Current children cumulated memory: 197392 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.16 4.10 7/243 275707
/proc/meminfo: memFree=108944676/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=279088 memory=203708 CPUtime=3151.75 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 29781 0 0 0 314683 492 0 0 20 0 1 0 24783275 285786112 50927 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 69772 50927 1456 291 0 61306 0
Current children cumulated CPU time: 3151.75 s
Current children cumulated vsize: 279088 KiB
Current children cumulated memory: 203708 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.14 4.09 6/241 275717
/proc/meminfo: memFree=108936488/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=281716 memory=210220 CPUtime=3211.54 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 30400 0 0 0 320659 495 0 0 20 0 1 0 24783275 288477184 52555 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 70429 52555 1456 291 0 61963 0
Current children cumulated CPU time: 3211.54 s
Current children cumulated vsize: 281716 KiB
Current children cumulated memory: 210220 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.14 4.09 6/242 275728
/proc/meminfo: memFree=108911940/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=284148 memory=228220 CPUtime=3271.32 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 30971 0 0 0 326634 498 0 0 20 0 1 0 24783275 290967552 57055 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 71037 57055 1456 291 0 62571 0
Current children cumulated CPU time: 3271.32 s
Current children cumulated vsize: 284148 KiB
Current children cumulated memory: 228220 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.11 4.09 6/242 275739
/proc/meminfo: memFree=108901716/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=286528 memory=231556 CPUtime=3331.11 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 31427 0 0 0 332610 501 0 0 20 0 1 0 24783275 293404672 57889 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 71632 57889 1456 291 0 63166 0
Current children cumulated CPU time: 3331.11 s
Current children cumulated vsize: 286528 KiB
Current children cumulated memory: 231556 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/242 275749
/proc/meminfo: memFree=108884648/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=290124 memory=237640 CPUtime=3390.91 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 32056 0 0 0 338588 503 0 0 20 0 1 0 24783275 297086976 59410 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 72531 59410 1456 291 0 64065 0
Current children cumulated CPU time: 3390.91 s
Current children cumulated vsize: 290124 KiB
Current children cumulated memory: 237640 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/242 275759
/proc/meminfo: memFree=108866660/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=293004 memory=241468 CPUtime=3450.7 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 32594 0 0 0 344565 505 0 0 20 0 1 0 24783275 300036096 60367 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 73251 60367 1456 291 0 64785 0
Current children cumulated CPU time: 3450.7 s
Current children cumulated vsize: 293004 KiB
Current children cumulated memory: 241468 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/245 275775
/proc/meminfo: memFree=108847704/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=296728 memory=247880 CPUtime=3510.49 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 33287 0 0 0 350542 507 0 0 20 0 1 0 24783275 303849472 61970 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 74182 61970 1456 291 0 65716 0
Current children cumulated CPU time: 3510.49 s
Current children cumulated vsize: 296728 KiB
Current children cumulated memory: 247880 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/244 275786
/proc/meminfo: memFree=108820648/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=300476 memory=251840 CPUtime=3570.27 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 33929 0 0 0 356518 509 0 0 20 0 1 0 24783275 307687424 62960 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 75119 62960 1456 291 0 66653 0
Current children cumulated CPU time: 3570.27 s
Current children cumulated vsize: 300476 KiB
Current children cumulated memory: 251840 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.2 s]
/proc/loadavg: 4.15 4.12 4.09 5/244 275837
/proc/meminfo: memFree=109139768/131655788 swapFree=131070704/131071996
[pid=273862] ppid=273849 vsize=302284 memory=254940 CPUtime=3600.07 cores=0,2
/proc/273862/stat : 273862 (pb-oll-rs) R 273849 273862 273793 0 -1 4194304 34202 0 0 0 359497 510 0 0 20 0 1 0 24783275 309538816 63735 134679101440 4194304 5384005 140731600971312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31092736 140731600974871 140731600974948 140731600974948 140731600981963 0
/proc/273862/statm: 75571 63735 1456 291 0 67105 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 302284 KiB
Current children cumulated memory: 254940 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.97 s, system=5.10715 s

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

Child status: 0

Real time (s): 3612.2
CPU time (s): 3600.08
CPU user time (s): 3594.97
CPU system time (s): 5.10715
CPU usage (%): 99.6643
Max. virtual memory (cumulated for all children) (KiB): 302284
Max. memory (cumulated for all children) (KiB): 254940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.97
system time used= 5.10715
maximum resident set size= 255336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34217
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= 92
involuntary context switches= 24685


# summary of solver processes directly reported to runsolver:
#   pid: 273862
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3594.97
#   total CPU system time (s): 5.10715

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2093 second user time and 38.4836 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-25 08:12:19
IDJOB=4458307
IDBENCH=177198
IDSOLVER=3067
FILE ID=nodeC008/4458307-1721887939
RUNJOBID= nodeC008-1721887939-273803
SLURM_JOB_ID= 8089302
Free space on /tmp= 723768 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_21.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458307-1721887939/watcher-4458307-1721887939 -o /tmp/evaluation-result-4458307-1721887939/solver-4458307-1721887939 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721887939-273803 --watchdog 3760  pb-oll-rs HOME/instance-4458307-1721887939.opb

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

MD5SUM BENCH= 216ba9da6a205e5efe57192784bc5fe9
RANDOM SEED=1942422063

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        109912244 kB
MemAvailable:   129854792 kB
Buffers:          308780 kB
Cached:         20395756 kB
SwapCached:          732 kB
Active:          2738988 kB
Inactive:       18298060 kB
Active(anon):       1524 kB
Inactive(anon):   385560 kB
Active(file):    2737464 kB
Inactive(file): 17912500 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:              8296 kB
Writeback:             4 kB
AnonPages:        332212 kB
Mapped:           118644 kB
Shmem:             53860 kB
KReclaimable:     265228 kB
Slab:             385364 kB
SReclaimable:     265228 kB
SUnreclaim:       120136 kB
KernelStack:        3728 kB
PageTables:         9336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     621336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19456 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 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:      400200 kB
DirectMap2M:    49836032 kB
DirectMap1G:    85983232 kB

Free space on /tmp at the end= 723760 MiB
End job on nodeC008 at 2024-07-25 09:12:32