Trace number 4486512

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 2025-05-06SAT (TO)25027 3600.11 3611.02

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
MD5SUM9e6692c80f11b0068f23fe5849cf8b25
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 benchmark23916
Best CPU time to get the best result obtained on this benchmark3585.75
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 116904
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 116904
Number of bits of the biggest sum of numbers17
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.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c [STEP] parsing instance
0.00/0.06	c [STEP] solving
0.00/0.06	c #variables 540 #constraints 4626
0.00/0.06	c SMALL=int, LARGE=long long
0.00/0.06	c bounds - >= 0 @ 0.0364
0.00/0.06	c stratification level: 1090
0.00/0.06	c bounds - >= 1090 @ 0.042111
0.00/0.06	c finalizing WCE round: reformulating cores
0.20/0.29	c bounds 28748 >= 1090 @ 0.046097
0.20/0.29	c #Conflicts:       1000 | #Constraints:       5630
0.20/0.29	c bounds 28712 >= 1090 @ 0.24549
0.20/0.29	c stratification level: 1020
0.40/0.44	c bounds 28177 >= 1090 @ 0.38397
0.40/0.44	c stratification level: 1010
0.40/0.46	c bounds 28177 >= 2100 @ 0.389741
0.40/0.46	c bounds 28177 >= 3110 @ 0.392023
0.40/0.46	c bounds 28177 >= 4120 @ 0.393724
0.40/0.46	c finalizing WCE round: reformulating cores
1.16/1.23	c #Conflicts:       2000 | #Constraints:       6638
1.16/1.23	c INPROCESSING
1.16/1.23	c GARBAGE COLLECT
1.16/1.23	c #Conflicts:       3000 | #Constraints:       6646
1.16/1.23	c bounds 27530 >= 4120 @ 0.805333
1.16/1.23	c #Conflicts:       4000 | #Constraints:       7647
1.16/1.23	c INPROCESSING
1.16/1.23	c GARBAGE COLLECT
1.16/1.23	c #Conflicts:       5000 | #Constraints:       7050
1.16/1.23	c bounds 27252 >= 4120 @ 1.13327
1.16/1.23	c stratification level: 929
1.16/1.28	c bounds 26259 >= 4120 @ 1.18066
1.16/1.28	c stratification level: 745
1.75/1.82	c bounds 26259 >= 4865 @ 1.19105
1.75/1.82	c #Conflicts:       6000 | #Constraints:       8053
1.75/1.82	c INPROCESSING
1.75/1.82	c GARBAGE COLLECT
1.75/1.82	c #Conflicts:       7000 | #Constraints:       7055
1.75/1.82	c #Conflicts:       8000 | #Constraints:       8055
1.75/1.82	c finalizing WCE round: reformulating cores
2.45/2.56	c #Conflicts:       9000 | #Constraints:       9058
2.45/2.56	c INPROCESSING
2.45/2.56	c GARBAGE COLLECT
2.45/2.56	c bounds 25933 >= 4865 @ 1.81391
2.45/2.56	c #Conflicts:      10000 | #Constraints:       7756
2.45/2.56	c #Conflicts:      11000 | #Constraints:       8756
2.45/2.56	c #Conflicts:      12000 | #Constraints:       9756
2.45/2.56	c INPROCESSING
2.45/2.56	c GARBAGE COLLECT
2.45/2.56	c #Conflicts:      13000 | #Constraints:       8219
2.45/2.56	c #Conflicts:      14000 | #Constraints:       9219
2.45/2.56	c bounds 25501 >= 4865 @ 2.40041
2.45/2.56	c stratification level: 665
11.62/11.79	c #Conflicts:      15000 | #Constraints:      10220
11.62/11.79	c INPROCESSING
11.62/11.79	c GARBAGE COLLECT
11.62/11.79	c #Conflicts:      16000 | #Constraints:       8454
11.62/11.79	c #Conflicts:      17000 | #Constraints:       9454
11.62/11.79	c #Conflicts:      18000 | #Constraints:      10454
11.62/11.79	c INPROCESSING
11.62/11.79	c GARBAGE COLLECT
11.62/11.79	c #Conflicts:      19000 | #Constraints:       8486
11.62/11.79	c #Conflicts:      20000 | #Constraints:       9486
11.62/11.79	c #Conflicts:      21000 | #Constraints:      10486
11.62/11.79	c INPROCESSING
11.62/11.79	c GARBAGE COLLECT
11.62/11.79	c #Conflicts:      22000 | #Constraints:       8292
11.62/11.79	c #Conflicts:      23000 | #Constraints:       9292
11.62/11.79	c #Conflicts:      24000 | #Constraints:      10292
11.62/11.79	c #Conflicts:      25000 | #Constraints:      11292
11.62/11.79	c INPROCESSING
11.62/11.79	c GARBAGE COLLECT
11.62/11.79	c #Conflicts:      26000 | #Constraints:       8905
11.62/11.79	c #Conflicts:      27000 | #Constraints:       9905
11.62/11.79	c #Conflicts:      28000 | #Constraints:      10905
11.62/11.79	c #Conflicts:      29000 | #Constraints:      11905
11.62/11.79	c INPROCESSING
11.62/11.79	c GARBAGE COLLECT
11.62/11.79	c #Conflicts:      30000 | #Constraints:       9311
11.62/11.79	c #Conflicts:      31000 | #Constraints:      10311
11.62/11.79	c #Conflicts:      32000 | #Constraints:      11311
11.62/11.79	c #Conflicts:      33000 | #Constraints:      12311
11.62/11.79	c INPROCESSING
11.62/11.79	c GARBAGE COLLECT
11.62/11.79	c #Conflicts:      34000 | #Constraints:       9512
11.62/11.79	c #Conflicts:      35000 | #Constraints:      10512
11.62/11.79	c #Conflicts:      36000 | #Constraints:      11512
11.62/11.79	c #Conflicts:      37000 | #Constraints:      12512
11.62/11.79	c INPROCESSING
11.62/11.79	c GARBAGE COLLECT
11.62/11.79	c bounds 25501 >= 5530 @ 5.29974
11.62/11.79	c #Conflicts:      38000 | #Constraints:       9521
11.62/11.79	c #Conflicts:      39000 | #Constraints:      10521
11.62/11.79	c #Conflicts:      40000 | #Constraints:      11521
11.62/11.79	c #Conflicts:      41000 | #Constraints:      12521
11.62/11.79	c INPROCESSING
11.62/11.79	c GARBAGE COLLECT
11.62/11.79	c #Conflicts:      42000 | #Constraints:       9305
11.62/11.79	c #Conflicts:      43000 | #Constraints:      10305
11.62/11.79	c #Conflicts:      44000 | #Constraints:      11305
11.62/11.79	c #Conflicts:      45000 | #Constraints:      12305
11.62/11.79	c #Conflicts:      46000 | #Constraints:      13305
11.62/11.79	c INPROCESSING
11.62/11.79	c GARBAGE COLLECT
11.62/11.79	c #Conflicts:      47000 | #Constraints:       9883
11.62/11.79	c #Conflicts:      48000 | #Constraints:      10883
11.62/11.79	c #Conflicts:      49000 | #Constraints:      11883
11.62/11.79	c #Conflicts:      50000 | #Constraints:      12883
11.62/11.79	c #Conflicts:      51000 | #Constraints:      13883
11.62/11.79	c INPROCESSING
11.62/11.79	c GARBAGE COLLECT
11.62/11.79	c #Conflicts:      52000 | #Constraints:      10278
11.62/11.79	c #Conflicts:      53000 | #Constraints:      11278
11.62/11.79	c #Conflicts:      54000 | #Constraints:      12278
11.62/11.79	c #Conflicts:      55000 | #Constraints:      13278
11.62/11.79	c #Conflicts:      56000 | #Constraints:      14278
11.62/11.79	c INPROCESSING
11.62/11.79	c GARBAGE COLLECT
11.62/11.79	c #Conflicts:      57000 | #Constraints:      10485
11.62/11.79	c #Conflicts:      58000 | #Constraints:      11485
11.62/11.79	c #Conflicts:      59000 | #Constraints:      12485
11.62/11.79	c #Conflicts:      60000 | #Constraints:      13485
11.62/11.79	c #Conflicts:      61000 | #Constraints:      14485
11.62/11.79	c INPROCESSING
11.62/11.79	c GARBAGE COLLECT
11.62/11.79	c #Conflicts:      62000 | #Constraints:      10489
11.62/11.79	c #Conflicts:      63000 | #Constraints:      11489
11.62/11.79	c #Conflicts:      64000 | #Constraints:      12489
11.62/11.79	c #Conflicts:      65000 | #Constraints:      13489
11.62/11.79	c #Conflicts:      66000 | #Constraints:      14489
11.62/11.79	c INPROCESSING
11.62/11.79	c GARBAGE COLLECT
11.62/11.79	c #Conflicts:      67000 | #Constraints:      10286
11.62/11.79	c #Conflicts:      68000 | #Constraints:      11286
11.62/11.79	c #Conflicts:      69000 | #Constraints:      12286
11.62/11.79	c #Conflicts:      70000 | #Constraints:      13286
11.62/11.79	c #Conflicts:      71000 | #Constraints:      14286
11.62/11.79	c #Conflicts:      72000 | #Constraints:      15286
11.62/11.79	c INPROCESSING
11.62/11.79	c GARBAGE COLLECT
11.62/11.79	c #Conflicts:      73000 | #Constraints:      10888
11.62/11.79	c #Conflicts:      74000 | #Constraints:      11888
11.62/11.79	c #Conflicts:      75000 | #Constraints:      12888
11.62/11.79	c #Conflicts:      76000 | #Constraints:      13888
11.62/11.79	c #Conflicts:      77000 | #Constraints:      14888
11.62/11.79	c #Conflicts:      78000 | #Constraints:      15888
11.62/11.79	c INPROCESSING
11.62/11.79	c GARBAGE COLLECT
11.62/11.79	c #Conflicts:      79000 | #Constraints:      11288
11.62/11.79	c #Conflicts:      80000 | #Constraints:      12288
11.62/11.79	c #Conflicts:      81000 | #Constraints:      13288
11.62/11.79	c #Conflicts:      82000 | #Constraints:      14288
11.62/11.79	c #Conflicts:      83000 | #Constraints:      15288
22.68/22.81	c #Conflicts:      84000 | #Constraints:      16288
22.68/22.81	c INPROCESSING
22.68/22.81	c GARBAGE COLLECT
22.68/22.81	c #Conflicts:      85000 | #Constraints:      11491
22.68/22.81	c #Conflicts:      86000 | #Constraints:      12491
22.68/22.81	c #Conflicts:      87000 | #Constraints:      13491
22.68/22.81	c #Conflicts:      88000 | #Constraints:      14491
22.68/22.81	c #Conflicts:      89000 | #Constraints:      15491
22.68/22.81	c #Conflicts:      90000 | #Constraints:      16491
22.68/22.81	c INPROCESSING
22.68/22.81	c GARBAGE COLLECT
22.68/22.81	c #Conflicts:      91000 | #Constraints:      11487
22.68/22.81	c #Conflicts:      92000 | #Constraints:      12487
22.68/22.81	c #Conflicts:      93000 | #Constraints:      13487
22.68/22.81	c #Conflicts:      94000 | #Constraints:      14487
22.68/22.81	c #Conflicts:      95000 | #Constraints:      15487
22.68/22.81	c #Conflicts:      96000 | #Constraints:      16487
22.68/22.81	c INPROCESSING
22.68/22.81	c GARBAGE COLLECT
22.68/22.81	c #Conflicts:      97000 | #Constraints:      11296
22.68/22.81	c #Conflicts:      98000 | #Constraints:      12296
22.68/22.81	c #Conflicts:      99000 | #Constraints:      13296
22.68/22.81	c #Conflicts:     100000 | #Constraints:      14296
22.68/22.81	c #Conflicts:     101000 | #Constraints:      15296
22.68/22.81	c #Conflicts:     102000 | #Constraints:      16296
22.68/22.81	c #Conflicts:     103000 | #Constraints:      17296
22.68/22.81	c INPROCESSING
22.68/22.81	c GARBAGE COLLECT
22.68/22.81	c #Conflicts:     104000 | #Constraints:      11895
22.68/22.81	c #Conflicts:     105000 | #Constraints:      12895
22.68/22.81	c #Conflicts:     106000 | #Constraints:      13895
22.68/22.81	c #Conflicts:     107000 | #Constraints:      14895
22.68/22.81	c #Conflicts:     108000 | #Constraints:      15895
22.68/22.81	c #Conflicts:     109000 | #Constraints:      16895
22.68/22.81	c #Conflicts:     110000 | #Constraints:      17895
22.68/22.81	c INPROCESSING
22.68/22.81	c GARBAGE COLLECT
22.68/22.81	c #Conflicts:     111000 | #Constraints:      12298
22.68/22.81	c #Conflicts:     112000 | #Constraints:      13298
22.68/22.81	c #Conflicts:     113000 | #Constraints:      14298
22.68/22.81	c #Conflicts:     114000 | #Constraints:      15298
22.68/22.81	c #Conflicts:     115000 | #Constraints:      16298
22.68/22.81	c #Conflicts:     116000 | #Constraints:      17298
22.68/22.81	c #Conflicts:     117000 | #Constraints:      18298
22.68/22.81	c INPROCESSING
22.68/22.81	c GARBAGE COLLECT
22.68/22.81	c #Conflicts:     118000 | #Constraints:      12511
22.68/22.81	c #Conflicts:     119000 | #Constraints:      13511
22.68/22.81	c #Conflicts:     120000 | #Constraints:      14511
22.68/22.81	c #Conflicts:     121000 | #Constraints:      15511
22.68/22.81	c #Conflicts:     122000 | #Constraints:      16511
22.68/22.81	c #Conflicts:     123000 | #Constraints:      17511
22.68/22.81	c #Conflicts:     124000 | #Constraints:      18511
22.68/22.81	c INPROCESSING
22.68/22.81	c GARBAGE COLLECT
22.68/22.81	c #Conflicts:     125000 | #Constraints:      12505
22.68/22.81	c #Conflicts:     126000 | #Constraints:      13505
22.68/22.81	c #Conflicts:     127000 | #Constraints:      14505
22.68/22.81	c #Conflicts:     128000 | #Constraints:      15505
22.68/22.81	c #Conflicts:     129000 | #Constraints:      16505
22.68/22.81	c #Conflicts:     130000 | #Constraints:      17505
22.68/22.81	c #Conflicts:     131000 | #Constraints:      18505
22.68/22.81	c INPROCESSING
22.68/22.81	c GARBAGE COLLECT
22.68/22.81	c #Conflicts:     132000 | #Constraints:      12312
22.68/22.81	c #Conflicts:     133000 | #Constraints:      13312
22.68/22.81	c #Conflicts:     134000 | #Constraints:      14312
22.68/22.81	c #Conflicts:     135000 | #Constraints:      15312
22.68/22.81	c #Conflicts:     136000 | #Constraints:      16312
22.68/22.81	c #Conflicts:     137000 | #Constraints:      17312
22.68/22.81	c #Conflicts:     138000 | #Constraints:      18312
22.68/22.81	c #Conflicts:     139000 | #Constraints:      19312
22.68/22.81	c INPROCESSING
22.68/22.81	c GARBAGE COLLECT
22.68/22.81	c #Conflicts:     140000 | #Constraints:      12912
22.68/22.81	c #Conflicts:     141000 | #Constraints:      13912
22.68/22.81	c #Conflicts:     142000 | #Constraints:      14912
22.68/22.81	c #Conflicts:     143000 | #Constraints:      15912
22.68/22.81	c #Conflicts:     144000 | #Constraints:      16912
22.68/22.81	c #Conflicts:     145000 | #Constraints:      17912
22.68/22.81	c #Conflicts:     146000 | #Constraints:      18912
22.68/22.81	c #Conflicts:     147000 | #Constraints:      19912
22.68/22.81	c INPROCESSING
22.68/22.81	c GARBAGE COLLECT
22.68/22.81	c #Conflicts:     148000 | #Constraints:      13323
22.68/22.81	c #Conflicts:     149000 | #Constraints:      14323
22.68/22.81	c #Conflicts:     150000 | #Constraints:      15323
22.68/22.81	c #Conflicts:     151000 | #Constraints:      16323
22.68/22.81	c #Conflicts:     152000 | #Constraints:      17323
22.68/22.81	c #Conflicts:     153000 | #Constraints:      18323
22.68/22.81	c #Conflicts:     154000 | #Constraints:      19323
22.68/22.81	c #Conflicts:     155000 | #Constraints:      20323
22.68/22.81	c INPROCESSING
35.45/35.66	c GARBAGE COLLECT
35.45/35.66	c #Conflicts:     156000 | #Constraints:      13512
35.45/35.66	c #Conflicts:     157000 | #Constraints:      14512
35.45/35.66	c #Conflicts:     158000 | #Constraints:      15512
35.45/35.66	c #Conflicts:     159000 | #Constraints:      16512
35.45/35.66	c #Conflicts:     160000 | #Constraints:      17512
35.45/35.66	c #Conflicts:     161000 | #Constraints:      18512
35.45/35.66	c #Conflicts:     162000 | #Constraints:      19512
35.45/35.66	c #Conflicts:     163000 | #Constraints:      20512
35.45/35.66	c INPROCESSING
35.45/35.66	c GARBAGE COLLECT
35.45/35.66	c #Conflicts:     164000 | #Constraints:      13511
35.45/35.66	c #Conflicts:     165000 | #Constraints:      14511
35.45/35.66	c #Conflicts:     166000 | #Constraints:      15511
35.45/35.66	c #Conflicts:     167000 | #Constraints:      16511
35.45/35.66	c #Conflicts:     168000 | #Constraints:      17511
35.45/35.66	c #Conflicts:     169000 | #Constraints:      18511
35.45/35.66	c #Conflicts:     170000 | #Constraints:      19511
35.45/35.66	c #Conflicts:     171000 | #Constraints:      20511
35.45/35.66	c INPROCESSING
35.45/35.66	c GARBAGE COLLECT
35.45/35.66	c #Conflicts:     172000 | #Constraints:      13314
35.45/35.66	c #Conflicts:     173000 | #Constraints:      14314
35.45/35.66	c #Conflicts:     174000 | #Constraints:      15314
35.45/35.66	c #Conflicts:     175000 | #Constraints:      16314
35.45/35.66	c #Conflicts:     176000 | #Constraints:      17314
35.45/35.66	c #Conflicts:     177000 | #Constraints:      18314
35.45/35.66	c #Conflicts:     178000 | #Constraints:      19314
35.45/35.66	c #Conflicts:     179000 | #Constraints:      20314
35.45/35.66	c #Conflicts:     180000 | #Constraints:      21314
35.45/35.66	c INPROCESSING
35.45/35.66	c GARBAGE COLLECT
35.45/35.66	c #Conflicts:     181000 | #Constraints:      13925
35.45/35.66	c #Conflicts:     182000 | #Constraints:      14925
35.45/35.66	c #Conflicts:     183000 | #Constraints:      15925
35.45/35.66	c #Conflicts:     184000 | #Constraints:      16925
35.45/35.66	c #Conflicts:     185000 | #Constraints:      17925
35.45/35.66	c #Conflicts:     186000 | #Constraints:      18925
35.45/35.66	c #Conflicts:     187000 | #Constraints:      19925
35.45/35.66	c #Conflicts:     188000 | #Constraints:      20925
35.45/35.66	c #Conflicts:     189000 | #Constraints:      21925
35.45/35.66	c INPROCESSING
35.45/35.66	c GARBAGE COLLECT
35.45/35.66	c #Conflicts:     190000 | #Constraints:      14334
35.45/35.66	c #Conflicts:     191000 | #Constraints:      15334
35.45/35.66	c #Conflicts:     192000 | #Constraints:      16334
35.45/35.66	c #Conflicts:     193000 | #Constraints:      17334
35.45/35.66	c #Conflicts:     194000 | #Constraints:      18334
35.45/35.66	c #Conflicts:     195000 | #Constraints:      19334
35.45/35.66	c #Conflicts:     196000 | #Constraints:      20334
35.45/35.66	c #Conflicts:     197000 | #Constraints:      21334
35.45/35.66	c #Conflicts:     198000 | #Constraints:      22334
35.45/35.66	c INPROCESSING
35.45/35.66	c GARBAGE COLLECT
35.45/35.66	c #Conflicts:     199000 | #Constraints:      14548
35.45/35.66	c #Conflicts:     200000 | #Constraints:      15548
35.45/35.66	c #Conflicts:     201000 | #Constraints:      16548
35.45/35.66	c #Conflicts:     202000 | #Constraints:      17548
35.45/35.66	c #Conflicts:     203000 | #Constraints:      18548
35.45/35.66	c #Conflicts:     204000 | #Constraints:      19548
35.45/35.66	c #Conflicts:     205000 | #Constraints:      20548
35.45/35.66	c #Conflicts:     206000 | #Constraints:      21548
35.45/35.66	c #Conflicts:     207000 | #Constraints:      22548
35.45/35.66	c INPROCESSING
35.45/35.66	c GARBAGE COLLECT
35.45/35.66	c #Conflicts:     208000 | #Constraints:      14534
35.45/35.66	c #Conflicts:     209000 | #Constraints:      15534
35.45/35.66	c #Conflicts:     210000 | #Constraints:      16534
35.45/35.66	c #Conflicts:     211000 | #Constraints:      17534
35.45/35.66	c #Conflicts:     212000 | #Constraints:      18534
35.45/35.66	c #Conflicts:     213000 | #Constraints:      19534
35.45/35.66	c #Conflicts:     214000 | #Constraints:      20534
35.45/35.66	c #Conflicts:     215000 | #Constraints:      21534
35.45/35.66	c #Conflicts:     216000 | #Constraints:      22534
35.45/35.66	c INPROCESSING
35.45/35.66	c GARBAGE COLLECT
35.45/35.66	c #Conflicts:     217000 | #Constraints:      14338
35.45/35.66	c #Conflicts:     218000 | #Constraints:      15338
35.45/35.66	c #Conflicts:     219000 | #Constraints:      16338
35.45/35.66	c #Conflicts:     220000 | #Constraints:      17338
35.45/35.66	c #Conflicts:     221000 | #Constraints:      18338
35.45/35.66	c #Conflicts:     222000 | #Constraints:      19338
35.45/35.66	c #Conflicts:     223000 | #Constraints:      20338
35.45/35.66	c #Conflicts:     224000 | #Constraints:      21338
35.45/35.66	c #Conflicts:     225000 | #Constraints:      22338
35.45/35.66	c #Conflicts:     226000 | #Constraints:      23338
35.45/35.66	c INPROCESSING
35.45/35.66	c GARBAGE COLLECT
35.45/35.66	c #Conflicts:     227000 | #Constraints:      14948
35.45/35.66	c #Conflicts:     228000 | #Constraints:      15948
35.45/35.66	c #Conflicts:     229000 | #Constraints:      16948
47.92/48.14	c #Conflicts:     230000 | #Constraints:      17948
47.92/48.14	c #Conflicts:     231000 | #Constraints:      18948
47.92/48.14	c #Conflicts:     232000 | #Constraints:      19948
47.92/48.14	c #Conflicts:     233000 | #Constraints:      20948
47.92/48.14	c #Conflicts:     234000 | #Constraints:      21948
47.92/48.14	c #Conflicts:     235000 | #Constraints:      22948
47.92/48.14	c #Conflicts:     236000 | #Constraints:      23948
47.92/48.14	c INPROCESSING
47.92/48.14	c GARBAGE COLLECT
47.92/48.14	c #Conflicts:     237000 | #Constraints:      15340
47.92/48.14	c #Conflicts:     238000 | #Constraints:      16340
47.92/48.14	c #Conflicts:     239000 | #Constraints:      17340
47.92/48.14	c #Conflicts:     240000 | #Constraints:      18340
47.92/48.14	c #Conflicts:     241000 | #Constraints:      19340
47.92/48.14	c #Conflicts:     242000 | #Constraints:      20340
47.92/48.14	c #Conflicts:     243000 | #Constraints:      21340
47.92/48.14	c #Conflicts:     244000 | #Constraints:      22340
47.92/48.14	c #Conflicts:     245000 | #Constraints:      23340
47.92/48.14	c #Conflicts:     246000 | #Constraints:      24340
47.92/48.14	c INPROCESSING
47.92/48.14	c GARBAGE COLLECT
47.92/48.14	c #Conflicts:     247000 | #Constraints:      15542
47.92/48.14	c #Conflicts:     248000 | #Constraints:      16542
47.92/48.14	c #Conflicts:     249000 | #Constraints:      17542
47.92/48.14	c #Conflicts:     250000 | #Constraints:      18542
47.92/48.14	c #Conflicts:     251000 | #Constraints:      19542
47.92/48.14	c #Conflicts:     252000 | #Constraints:      20542
47.92/48.14	c #Conflicts:     253000 | #Constraints:      21542
47.92/48.14	c #Conflicts:     254000 | #Constraints:      22542
47.92/48.14	c #Conflicts:     255000 | #Constraints:      23542
47.92/48.14	c #Conflicts:     256000 | #Constraints:      24542
47.92/48.14	c INPROCESSING
47.92/48.14	c GARBAGE COLLECT
47.92/48.14	c #Conflicts:     257000 | #Constraints:      15533
47.92/48.14	c #Conflicts:     258000 | #Constraints:      16533
47.92/48.14	c #Conflicts:     259000 | #Constraints:      17533
47.92/48.14	c #Conflicts:     260000 | #Constraints:      18533
47.92/48.14	c #Conflicts:     261000 | #Constraints:      19533
47.92/48.14	c #Conflicts:     262000 | #Constraints:      20533
47.92/48.14	c #Conflicts:     263000 | #Constraints:      21533
47.92/48.14	c #Conflicts:     264000 | #Constraints:      22533
47.92/48.14	c #Conflicts:     265000 | #Constraints:      23533
47.92/48.14	c #Conflicts:     266000 | #Constraints:      24533
47.92/48.14	c INPROCESSING
47.92/48.14	c GARBAGE COLLECT
47.92/48.14	c #Conflicts:     267000 | #Constraints:      15331
47.92/48.14	c #Conflicts:     268000 | #Constraints:      16331
47.92/48.14	c #Conflicts:     269000 | #Constraints:      17331
47.92/48.14	c #Conflicts:     270000 | #Constraints:      18331
47.92/48.14	c #Conflicts:     271000 | #Constraints:      19331
47.92/48.14	c #Conflicts:     272000 | #Constraints:      20331
47.92/48.14	c #Conflicts:     273000 | #Constraints:      21331
47.92/48.14	c #Conflicts:     274000 | #Constraints:      22331
47.92/48.14	c #Conflicts:     275000 | #Constraints:      23331
47.92/48.14	c #Conflicts:     276000 | #Constraints:      24331
47.92/48.14	c #Conflicts:     277000 | #Constraints:      25331
47.92/48.14	c INPROCESSING
47.92/48.14	c GARBAGE COLLECT
47.92/48.14	c #Conflicts:     278000 | #Constraints:      15935
47.92/48.14	c #Conflicts:     279000 | #Constraints:      16935
47.92/48.14	c #Conflicts:     280000 | #Constraints:      17935
47.92/48.14	c #Conflicts:     281000 | #Constraints:      18935
47.92/48.14	c #Conflicts:     282000 | #Constraints:      19935
47.92/48.14	c #Conflicts:     283000 | #Constraints:      20935
47.92/48.14	c #Conflicts:     284000 | #Constraints:      21935
47.92/48.14	c #Conflicts:     285000 | #Constraints:      22935
47.92/48.14	c #Conflicts:     286000 | #Constraints:      23935
47.92/48.14	c #Conflicts:     287000 | #Constraints:      24935
47.92/48.14	c #Conflicts:     288000 | #Constraints:      25935
47.92/48.14	c INPROCESSING
47.92/48.14	c GARBAGE COLLECT
47.92/48.14	c #Conflicts:     289000 | #Constraints:      16330
47.92/48.14	c #Conflicts:     290000 | #Constraints:      17330
47.92/48.14	c #Conflicts:     291000 | #Constraints:      18330
47.92/48.14	c #Conflicts:     292000 | #Constraints:      19330
47.92/48.14	c #Conflicts:     293000 | #Constraints:      20330
47.92/48.14	c #Conflicts:     294000 | #Constraints:      21330
47.92/48.14	c #Conflicts:     295000 | #Constraints:      22330
47.92/48.14	c #Conflicts:     296000 | #Constraints:      23330
47.92/48.14	c #Conflicts:     297000 | #Constraints:      24330
47.92/48.14	c #Conflicts:     298000 | #Constraints:      25330
47.92/48.14	c #Conflicts:     299000 | #Constraints:      26330
47.92/48.14	c INPROCESSING
47.92/48.14	c GARBAGE COLLECT
47.92/48.14	c #Conflicts:     300000 | #Constraints:      16534
47.92/48.14	c #Conflicts:     301000 | #Constraints:      17534
47.92/48.14	c #Conflicts:     302000 | #Constraints:      18534
47.92/48.14	c #Conflicts:     303000 | #Constraints:      19534
47.92/48.19	c finalizing WCE round: reformulating cores
48.11/48.35	c #Conflicts:     304000 | #Constraints:      20537
48.11/48.35	c bounds 25235 >= 5530 @ 47.2047
48.11/48.35	c bounds 25203 >= 5530 @ 47.2168
48.11/48.35	c stratification level: 605
61.96/62.27	c #Conflicts:     305000 | #Constraints:      21538
61.96/62.27	c #Conflicts:     306000 | #Constraints:      22538
61.96/62.27	c bounds 25203 >= 6135 @ 47.445
61.96/62.27	c #Conflicts:     307000 | #Constraints:      23539
61.96/62.27	c #Conflicts:     308000 | #Constraints:      24539
61.96/62.27	c #Conflicts:     309000 | #Constraints:      25539
61.96/62.27	c #Conflicts:     310000 | #Constraints:      26539
61.96/62.27	c INPROCESSING
61.96/62.27	c GARBAGE COLLECT
61.96/62.27	c #Conflicts:     311000 | #Constraints:      16536
61.96/62.27	c #Conflicts:     312000 | #Constraints:      17536
61.96/62.27	c #Conflicts:     313000 | #Constraints:      18536
61.96/62.27	c #Conflicts:     314000 | #Constraints:      19536
61.96/62.27	c #Conflicts:     315000 | #Constraints:      20536
61.96/62.27	c #Conflicts:     316000 | #Constraints:      21536
61.96/62.27	c #Conflicts:     317000 | #Constraints:      22536
61.96/62.27	c #Conflicts:     318000 | #Constraints:      23536
61.96/62.27	c #Conflicts:     319000 | #Constraints:      24536
61.96/62.27	c #Conflicts:     320000 | #Constraints:      25536
61.96/62.27	c #Conflicts:     321000 | #Constraints:      26536
61.96/62.27	c INPROCESSING
61.96/62.27	c GARBAGE COLLECT
61.96/62.27	c #Conflicts:     322000 | #Constraints:      16346
61.96/62.27	c #Conflicts:     323000 | #Constraints:      17346
61.96/62.27	c #Conflicts:     324000 | #Constraints:      18346
61.96/62.27	c #Conflicts:     325000 | #Constraints:      19346
61.96/62.27	c #Conflicts:     326000 | #Constraints:      20346
61.96/62.27	c #Conflicts:     327000 | #Constraints:      21346
61.96/62.27	c #Conflicts:     328000 | #Constraints:      22346
61.96/62.27	c #Conflicts:     329000 | #Constraints:      23346
61.96/62.27	c #Conflicts:     330000 | #Constraints:      24346
61.96/62.27	c #Conflicts:     331000 | #Constraints:      25346
61.96/62.27	c #Conflicts:     332000 | #Constraints:      26346
61.96/62.27	c #Conflicts:     333000 | #Constraints:      27346
61.96/62.27	c INPROCESSING
61.96/62.27	c GARBAGE COLLECT
61.96/62.27	c #Conflicts:     334000 | #Constraints:      16951
61.96/62.27	c #Conflicts:     335000 | #Constraints:      17951
61.96/62.27	c #Conflicts:     336000 | #Constraints:      18951
61.96/62.27	c #Conflicts:     337000 | #Constraints:      19951
61.96/62.27	c #Conflicts:     338000 | #Constraints:      20951
61.96/62.27	c #Conflicts:     339000 | #Constraints:      21951
61.96/62.27	c #Conflicts:     340000 | #Constraints:      22951
61.96/62.27	c #Conflicts:     341000 | #Constraints:      23951
61.96/62.27	c #Conflicts:     342000 | #Constraints:      24951
61.96/62.27	c #Conflicts:     343000 | #Constraints:      25951
61.96/62.27	c #Conflicts:     344000 | #Constraints:      26951
61.96/62.27	c #Conflicts:     345000 | #Constraints:      27951
61.96/62.27	c INPROCESSING
61.96/62.27	c GARBAGE COLLECT
61.96/62.27	c #Conflicts:     346000 | #Constraints:      17370
61.96/62.27	c #Conflicts:     347000 | #Constraints:      18370
61.96/62.27	c #Conflicts:     348000 | #Constraints:      19370
61.96/62.27	c #Conflicts:     349000 | #Constraints:      20370
61.96/62.27	c #Conflicts:     350000 | #Constraints:      21370
61.96/62.27	c #Conflicts:     351000 | #Constraints:      22370
61.96/62.27	c #Conflicts:     352000 | #Constraints:      23370
61.96/62.27	c #Conflicts:     353000 | #Constraints:      24370
61.96/62.27	c #Conflicts:     354000 | #Constraints:      25370
61.96/62.27	c #Conflicts:     355000 | #Constraints:      26370
61.96/62.27	c #Conflicts:     356000 | #Constraints:      27370
61.96/62.27	c #Conflicts:     357000 | #Constraints:      28370
61.96/62.27	c INPROCESSING
61.96/62.27	c GARBAGE COLLECT
61.96/62.27	c #Conflicts:     358000 | #Constraints:      17559
61.96/62.27	c #Conflicts:     359000 | #Constraints:      18559
61.96/62.27	c #Conflicts:     360000 | #Constraints:      19559
61.96/62.27	c #Conflicts:     361000 | #Constraints:      20559
61.96/62.27	c #Conflicts:     362000 | #Constraints:      21559
61.96/62.27	c #Conflicts:     363000 | #Constraints:      22559
61.96/62.27	c #Conflicts:     364000 | #Constraints:      23559
61.96/62.27	c #Conflicts:     365000 | #Constraints:      24559
61.96/62.27	c #Conflicts:     366000 | #Constraints:      25559
61.96/62.27	c #Conflicts:     367000 | #Constraints:      26559
61.96/62.27	c #Conflicts:     368000 | #Constraints:      27559
61.96/62.27	c #Conflicts:     369000 | #Constraints:      28559
61.96/62.27	c INPROCESSING
61.96/62.27	c GARBAGE COLLECT
61.96/62.27	c #Conflicts:     370000 | #Constraints:      17571
61.96/62.27	c #Conflicts:     371000 | #Constraints:      18571
61.96/62.27	c #Conflicts:     372000 | #Constraints:      19571
61.96/62.27	c #Conflicts:     373000 | #Constraints:      20571
61.96/62.27	c #Conflicts:     374000 | #Constraints:      21571
61.96/62.27	c #Conflicts:     375000 | #Constraints:      22571
61.96/62.27	c #Conflicts:     376000 | #Constraints:      23571
61.96/62.27	c #Conflicts:     377000 | #Constraints:      24571
61.96/62.27	c finalizing WCE round: reformulating cores
245.49/246.45	c bounds 25027 >= 6135 @ 60.9679
245.49/246.45	c #Conflicts:     378000 | #Constraints:      25574
245.49/246.45	c #Conflicts:     379000 | #Constraints:      26574
245.49/246.45	c #Conflicts:     380000 | #Constraints:      27574
245.49/246.45	c #Conflicts:     381000 | #Constraints:      28574
245.49/246.45	c INPROCESSING
245.49/246.45	c GARBAGE COLLECT
245.49/246.45	c #Conflicts:     382000 | #Constraints:      17385
245.49/246.45	c #Conflicts:     383000 | #Constraints:      18385
245.49/246.45	c #Conflicts:     384000 | #Constraints:      19385
245.49/246.45	c #Conflicts:     385000 | #Constraints:      20385
245.49/246.45	c #Conflicts:     386000 | #Constraints:      21385
245.49/246.45	c #Conflicts:     387000 | #Constraints:      22385
245.49/246.45	c #Conflicts:     388000 | #Constraints:      23385
245.49/246.45	c #Conflicts:     389000 | #Constraints:      24385
245.49/246.45	c #Conflicts:     390000 | #Constraints:      25385
245.49/246.45	c #Conflicts:     391000 | #Constraints:      26385
245.49/246.45	c #Conflicts:     392000 | #Constraints:      27385
245.49/246.45	c #Conflicts:     393000 | #Constraints:      28385
245.49/246.45	c #Conflicts:     394000 | #Constraints:      29385
245.49/246.45	c INPROCESSING
245.49/246.45	c GARBAGE COLLECT
245.49/246.45	c #Conflicts:     395000 | #Constraints:      17981
245.49/246.45	c #Conflicts:     396000 | #Constraints:      18981
245.49/246.45	c #Conflicts:     397000 | #Constraints:      19981
245.49/246.45	c bounds 25027 >= 6740 @ 83.6035
245.49/246.45	c #Conflicts:     398000 | #Constraints:      20985
245.49/246.45	c #Conflicts:     399000 | #Constraints:      21985
245.49/246.45	c #Conflicts:     400000 | #Constraints:      22985
245.49/246.45	c #Conflicts:     401000 | #Constraints:      23985
245.49/246.45	c #Conflicts:     402000 | #Constraints:      24985
245.49/246.45	c #Conflicts:     403000 | #Constraints:      25985
245.49/246.45	c #Conflicts:     404000 | #Constraints:      26985
245.49/246.45	c #Conflicts:     405000 | #Constraints:      27985
245.49/246.45	c #Conflicts:     406000 | #Constraints:      28985
245.49/246.45	c #Conflicts:     407000 | #Constraints:      29985
245.49/246.45	c INPROCESSING
245.49/246.45	c GARBAGE COLLECT
245.49/246.45	c #Conflicts:     408000 | #Constraints:      18403
245.49/246.45	c #Conflicts:     409000 | #Constraints:      19403
245.49/246.45	c #Conflicts:     410000 | #Constraints:      20403
245.49/246.45	c #Conflicts:     411000 | #Constraints:      21403
245.49/246.45	c #Conflicts:     412000 | #Constraints:      22403
245.49/246.45	c #Conflicts:     413000 | #Constraints:      23403
245.49/246.45	c #Conflicts:     414000 | #Constraints:      24403
245.49/246.45	c #Conflicts:     415000 | #Constraints:      25403
245.49/246.45	c #Conflicts:     416000 | #Constraints:      26403
245.49/246.45	c #Conflicts:     417000 | #Constraints:      27403
245.49/246.45	c #Conflicts:     418000 | #Constraints:      28403
245.49/246.45	c #Conflicts:     419000 | #Constraints:      29403
245.49/246.45	c #Conflicts:     420000 | #Constraints:      30403
245.49/246.45	c INPROCESSING
245.49/246.45	c GARBAGE COLLECT
245.49/246.45	c #Conflicts:     421000 | #Constraints:      18627
245.49/246.45	c #Conflicts:     422000 | #Constraints:      19627
245.49/246.45	c #Conflicts:     423000 | #Constraints:      20627
245.49/246.45	c #Conflicts:     424000 | #Constraints:      21627
245.49/246.45	c #Conflicts:     425000 | #Constraints:      22627
245.49/246.45	c #Conflicts:     426000 | #Constraints:      23627
245.49/246.45	c #Conflicts:     427000 | #Constraints:      24627
245.49/246.45	c #Conflicts:     428000 | #Constraints:      25627
245.49/246.45	c #Conflicts:     429000 | #Constraints:      26627
245.49/246.45	c #Conflicts:     430000 | #Constraints:      27627
245.49/246.45	c #Conflicts:     431000 | #Constraints:      28627
245.49/246.45	c #Conflicts:     432000 | #Constraints:      29627
245.49/246.45	c #Conflicts:     433000 | #Constraints:      30627
245.49/246.45	c INPROCESSING
245.49/246.45	c GARBAGE COLLECT
245.49/246.45	c #Conflicts:     434000 | #Constraints:      18619
245.49/246.45	c #Conflicts:     435000 | #Constraints:      19619
245.49/246.45	c #Conflicts:     436000 | #Constraints:      20619
245.49/246.45	c #Conflicts:     437000 | #Constraints:      21619
245.49/246.45	c #Conflicts:     438000 | #Constraints:      22619
245.49/246.45	c #Conflicts:     439000 | #Constraints:      23619
245.49/246.45	c #Conflicts:     440000 | #Constraints:      24619
245.49/246.45	c #Conflicts:     441000 | #Constraints:      25619
245.49/246.45	c #Conflicts:     442000 | #Constraints:      26619
245.49/246.45	c #Conflicts:     443000 | #Constraints:      27619
245.49/246.45	c #Conflicts:     444000 | #Constraints:      28619
245.49/246.45	c #Conflicts:     445000 | #Constraints:      29619
245.49/246.45	c #Conflicts:     446000 | #Constraints:      30619
245.49/246.45	c #Conflicts:     447000 | #Constraints:      31619
245.49/246.45	c #Conflicts:     448000 | #Constraints:      32619
245.49/246.45	c #Conflicts:     449000 | #Constraints:      33619
245.49/246.45	c #Conflicts:     450000 | #Constraints:      34619
245.49/246.45	c #Conflicts:     451000 | #Constraints:      35619
245.49/246.45	c #Conflicts:     452000 | #Constraints:      36619
1597.33/1602.40	c #Conflicts:     453000 | #Constraints:      37619
1597.33/1602.40	c #Conflicts:     454000 | #Constraints:      38619
1597.33/1602.40	c #Conflicts:     455000 | #Constraints:      39619
1597.33/1602.40	c #Conflicts:     456000 | #Constraints:      40619
1597.33/1602.40	c #Conflicts:     457000 | #Constraints:      41619
1597.33/1602.40	c #Conflicts:     458000 | #Constraints:      42619
1597.33/1602.40	c #Conflicts:     459000 | #Constraints:      43619
1597.33/1602.40	c #Conflicts:     460000 | #Constraints:      44619
1597.33/1602.40	c #Conflicts:     461000 | #Constraints:      45619
1597.33/1602.40	c #Conflicts:     462000 | #Constraints:      46619
1597.33/1602.40	c #Conflicts:     463000 | #Constraints:      47619
1597.33/1602.40	c #Conflicts:     464000 | #Constraints:      48619
1597.33/1602.40	c #Conflicts:     465000 | #Constraints:      49619
1597.33/1602.40	c #Conflicts:     466000 | #Constraints:      50619
1597.33/1602.40	c #Conflicts:     467000 | #Constraints:      51619
1597.33/1602.40	c #Conflicts:     468000 | #Constraints:      52619
1597.33/1602.40	c #Conflicts:     469000 | #Constraints:      53619
1597.33/1602.40	c #Conflicts:     470000 | #Constraints:      54619
1597.33/1602.40	c #Conflicts:     471000 | #Constraints:      55619
1597.33/1602.40	c #Conflicts:     472000 | #Constraints:      56619
1597.33/1602.40	c #Conflicts:     473000 | #Constraints:      57619
1597.33/1602.40	c #Conflicts:     474000 | #Constraints:      58619
1597.33/1602.40	c #Conflicts:     475000 | #Constraints:      59619
1597.33/1602.40	c #Conflicts:     476000 | #Constraints:      60619
1597.33/1602.40	c #Conflicts:     477000 | #Constraints:      61619
1597.33/1602.40	c #Conflicts:     478000 | #Constraints:      62619
1597.33/1602.40	c #Conflicts:     479000 | #Constraints:      63619
1597.33/1602.40	c #Conflicts:     480000 | #Constraints:      64619
1597.33/1602.40	c #Conflicts:     481000 | #Constraints:      65619
1597.33/1602.40	c #Conflicts:     482000 | #Constraints:      66619
1597.33/1602.40	c #Conflicts:     483000 | #Constraints:      67619
1597.33/1602.40	c #Conflicts:     484000 | #Constraints:      68619
1597.33/1602.40	c #Conflicts:     485000 | #Constraints:      69619
1597.33/1602.40	c #Conflicts:     486000 | #Constraints:      70619
1597.33/1602.40	c #Conflicts:     487000 | #Constraints:      71619
1597.33/1602.40	c #Conflicts:     488000 | #Constraints:      72619
1597.33/1602.40	c #Conflicts:     489000 | #Constraints:      73619
1597.33/1602.40	c #Conflicts:     490000 | #Constraints:      74619
1597.33/1602.40	c #Conflicts:     491000 | #Constraints:      75619
1597.33/1602.40	c #Conflicts:     492000 | #Constraints:      76619
1597.33/1602.40	c #Conflicts:     493000 | #Constraints:      77619
1597.33/1602.40	c #Conflicts:     494000 | #Constraints:      78619
1597.33/1602.40	c #Conflicts:     495000 | #Constraints:      79619
1597.33/1602.40	c #Conflicts:     496000 | #Constraints:      80619
1597.33/1602.40	c #Conflicts:     497000 | #Constraints:      81619
1597.33/1602.40	c #Conflicts:     498000 | #Constraints:      82619
1597.33/1602.40	c INPROCESSING
1597.33/1602.40	c GARBAGE COLLECT
1597.33/1602.40	c #Conflicts:     499000 | #Constraints:      44312
1597.33/1602.40	c #Conflicts:     500000 | #Constraints:      45312
1597.33/1602.40	c #Conflicts:     501000 | #Constraints:      46312
1597.33/1602.40	c #Conflicts:     502000 | #Constraints:      47312
1597.33/1602.40	c #Conflicts:     503000 | #Constraints:      48312
1597.33/1602.40	c #Conflicts:     504000 | #Constraints:      49312
1597.33/1602.40	c #Conflicts:     505000 | #Constraints:      50312
1597.33/1602.40	c #Conflicts:     506000 | #Constraints:      51312
1597.33/1602.40	c #Conflicts:     507000 | #Constraints:      52312
1597.33/1602.40	c #Conflicts:     508000 | #Constraints:      53312
1597.33/1602.40	c #Conflicts:     509000 | #Constraints:      54312
1597.33/1602.40	c #Conflicts:     510000 | #Constraints:      55312
1597.33/1602.40	c #Conflicts:     511000 | #Constraints:      56312
1597.33/1602.40	c #Conflicts:     512000 | #Constraints:      57312
1597.33/1602.40	c #Conflicts:     513000 | #Constraints:      58312
1597.33/1602.40	c INPROCESSING
1597.33/1602.40	c GARBAGE COLLECT
1597.33/1602.40	c #Conflicts:     514000 | #Constraints:      32421
1597.33/1602.40	c #Conflicts:     515000 | #Constraints:      33421
1597.33/1602.40	c #Conflicts:     516000 | #Constraints:      34421
1597.33/1602.40	c #Conflicts:     517000 | #Constraints:      35421
1597.33/1602.40	c #Conflicts:     518000 | #Constraints:      36421
1597.33/1602.40	c #Conflicts:     519000 | #Constraints:      37421
1597.33/1602.40	c #Conflicts:     520000 | #Constraints:      38421
1597.33/1602.40	c #Conflicts:     521000 | #Constraints:      39421
1597.33/1602.40	c #Conflicts:     522000 | #Constraints:      40421
1597.33/1602.40	c #Conflicts:     523000 | #Constraints:      41421
1597.33/1602.40	c #Conflicts:     524000 | #Constraints:      42421
1597.33/1602.40	c #Conflicts:     525000 | #Constraints:      43421
1597.33/1602.40	c #Conflicts:     526000 | #Constraints:      44421
1597.33/1602.40	c #Conflicts:     527000 | #Constraints:      45421
1597.33/1602.40	c #Conflicts:     528000 | #Constraints:      46421
1597.33/1602.40	c INPROCESSING
1597.33/1602.40	c GARBAGE COLLECT
1597.33/1602.40	c #Conflicts:     529000 | #Constraints:      26634
3276.82/3286.85	c #Conflicts:     530000 | #Constraints:      27634
3276.82/3286.85	c #Conflicts:     531000 | #Constraints:      28634
3276.82/3286.85	c #Conflicts:     532000 | #Constraints:      29634
3276.82/3286.85	c #Conflicts:     533000 | #Constraints:      30634
3276.82/3286.85	c #Conflicts:     534000 | #Constraints:      31634
3276.82/3286.85	c #Conflicts:     535000 | #Constraints:      32634
3276.82/3286.85	c #Conflicts:     536000 | #Constraints:      33634
3276.82/3286.85	c #Conflicts:     537000 | #Constraints:      34634
3276.82/3286.85	c #Conflicts:     538000 | #Constraints:      35634
3276.82/3286.85	c #Conflicts:     539000 | #Constraints:      36634
3276.82/3286.85	c #Conflicts:     540000 | #Constraints:      37634
3276.82/3286.85	c #Conflicts:     541000 | #Constraints:      38634
3276.82/3286.85	c #Conflicts:     542000 | #Constraints:      39634
3276.82/3286.85	c #Conflicts:     543000 | #Constraints:      40634
3276.82/3286.85	c #Conflicts:     544000 | #Constraints:      41634
3276.82/3286.85	c #Conflicts:     545000 | #Constraints:      42634
3276.82/3286.85	c #Conflicts:     546000 | #Constraints:      43634
3276.82/3286.85	c #Conflicts:     547000 | #Constraints:      44634
3276.82/3286.85	c #Conflicts:     548000 | #Constraints:      45634
3276.82/3286.85	c #Conflicts:     549000 | #Constraints:      46634
3276.82/3286.85	c #Conflicts:     550000 | #Constraints:      47634
3276.82/3286.85	c #Conflicts:     551000 | #Constraints:      48634
3276.82/3286.85	c #Conflicts:     552000 | #Constraints:      49634
3276.82/3286.85	c #Conflicts:     553000 | #Constraints:      50634
3276.82/3286.85	c #Conflicts:     554000 | #Constraints:      51634
3276.82/3286.85	c #Conflicts:     555000 | #Constraints:      52634
3276.82/3286.85	c #Conflicts:     556000 | #Constraints:      53634
3276.82/3286.85	c #Conflicts:     557000 | #Constraints:      54634
3276.82/3286.85	c #Conflicts:     558000 | #Constraints:      55634
3276.82/3286.85	c #Conflicts:     559000 | #Constraints:      56634
3276.82/3286.85	c #Conflicts:     560000 | #Constraints:      57634
3276.82/3286.85	c #Conflicts:     561000 | #Constraints:      58634
3276.82/3286.85	c #Conflicts:     562000 | #Constraints:      59634
3276.82/3286.85	c #Conflicts:     563000 | #Constraints:      60634
3276.82/3286.85	c #Conflicts:     564000 | #Constraints:      61634
3276.82/3286.85	c #Conflicts:     565000 | #Constraints:      62634
3276.82/3286.85	c #Conflicts:     566000 | #Constraints:      63634
3276.82/3286.85	c #Conflicts:     567000 | #Constraints:      64634
3276.82/3286.85	c #Conflicts:     568000 | #Constraints:      65634
3276.82/3286.85	c #Conflicts:     569000 | #Constraints:      66634
3276.82/3286.85	c #Conflicts:     570000 | #Constraints:      67634
3276.82/3286.85	c #Conflicts:     571000 | #Constraints:      68634
3276.82/3286.85	c #Conflicts:     572000 | #Constraints:      69634
3276.82/3286.85	c #Conflicts:     573000 | #Constraints:      70634
3276.82/3286.85	c #Conflicts:     574000 | #Constraints:      71634
3276.82/3286.85	c #Conflicts:     575000 | #Constraints:      72634
3276.82/3286.85	c #Conflicts:     576000 | #Constraints:      73634
3276.82/3286.85	c #Conflicts:     577000 | #Constraints:      74634
3276.82/3286.85	c #Conflicts:     578000 | #Constraints:      75634
3276.82/3286.85	c #Conflicts:     579000 | #Constraints:      76634
3276.82/3286.85	c #Conflicts:     580000 | #Constraints:      77634
3276.82/3286.85	c #Conflicts:     581000 | #Constraints:      78634
3276.82/3286.85	c #Conflicts:     582000 | #Constraints:      79634
3276.82/3286.85	c #Conflicts:     583000 | #Constraints:      80634
3276.82/3286.85	c #Conflicts:     584000 | #Constraints:      81634
3276.82/3286.85	c #Conflicts:     585000 | #Constraints:      82634
3276.82/3286.85	c #Conflicts:     586000 | #Constraints:      83634
3276.82/3286.85	c #Conflicts:     587000 | #Constraints:      84634
3276.82/3286.85	c #Conflicts:     588000 | #Constraints:      85634
3276.82/3286.85	c #Conflicts:     589000 | #Constraints:      86634
3276.82/3286.85	c #Conflicts:     590000 | #Constraints:      87634
3276.82/3286.85	c #Conflicts:     591000 | #Constraints:      88634
3276.82/3286.85	c #Conflicts:     592000 | #Constraints:      89634
3276.82/3286.85	c #Conflicts:     593000 | #Constraints:      90634
3276.82/3286.85	c #Conflicts:     594000 | #Constraints:      91634
3276.82/3286.85	c #Conflicts:     595000 | #Constraints:      92634
3276.82/3286.85	c #Conflicts:     596000 | #Constraints:      93634
3276.82/3286.85	c #Conflicts:     597000 | #Constraints:      94634
3276.82/3286.85	c INPROCESSING
3276.82/3286.85	c GARBAGE COLLECT
3276.82/3286.85	c #Conflicts:     598000 | #Constraints:      50332
3276.82/3286.85	c #Conflicts:     599000 | #Constraints:      51332
3276.82/3286.85	c #Conflicts:     600000 | #Constraints:      52332
3276.82/3286.85	c #Conflicts:     601000 | #Constraints:      53332
3276.82/3286.85	c #Conflicts:     602000 | #Constraints:      54332
3276.82/3286.85	c #Conflicts:     603000 | #Constraints:      55332
3276.82/3286.85	c #Conflicts:     604000 | #Constraints:      56332
3276.82/3286.85	c #Conflicts:     605000 | #Constraints:      57332
3276.82/3286.85	c #Conflicts:     606000 | #Constraints:      58332
3276.82/3286.85	c #Conflicts:     607000 | #Constraints:      59332
3600.10/3611.01	c #Conflicts:     608000 | #Constraints:      60332
3600.10/3611.01	c #Conflicts:     609000 | #Constraints:      61332
3600.10/3611.01	c #Conflicts:     610000 | #Constraints:      62332
3600.10/3611.01	c #Conflicts:     611000 | #Constraints:      63332
3600.10/3611.01	c #Conflicts:     612000 | #Constraints:      64332
3600.10/3611.01	c #Conflicts:     613000 | #Constraints:      65332
3600.10/3611.01	c INPROCESSING
3600.10/3611.01	c GARBAGE COLLECT
3600.10/3611.01	c #Conflicts:     614000 | #Constraints:      35673
3600.10/3611.01	c #Conflicts:     615000 | #Constraints:      36673
3600.10/3611.01	c #Conflicts:     616000 | #Constraints:      37673
3600.10/3611.01	c #Conflicts:     617000 | #Constraints:      38673
3600.10/3611.01	c #Conflicts:     618000 | #Constraints:      39673
3600.10/3611.01	c #Conflicts:     619000 | #Constraints:      40673
3600.10/3611.01	c #Conflicts:     620000 | #Constraints:      41673
3600.10/3611.01	c #Conflicts:     621000 | #Constraints:      42673
3600.10/3611.01	c #Conflicts:     622000 | #Constraints:      43673
3600.10/3611.01	c #Conflicts:     623000 | #Constraints:      44673
3600.10/3611.01	c #Conflicts:     624000 | #Constraints:      45673
3600.10/3611.01	c Program interrupted by user.
3600.10/3611.01	c cpu time 3594.79 s
3600.10/3611.01	c deterministic time 263380744628 2.63e+11
3600.10/3611.01	c optimization time 155.489 s
3600.10/3611.01	c total solve time 3439.27 s
3600.10/3611.01	c core-guided solve time 3439.27 s
3600.10/3611.01	c propagation time 3319.63 s
3600.10/3611.01	c conflict analysis time 264.88 s
3600.10/3611.01	c propagations 50943107
3600.10/3611.01	c resolve steps 9479854
3600.10/3611.01	c decisions 3177605
3600.10/3611.01	c conflicts 624399
3600.10/3611.01	c restarts 1318
3600.10/3611.01	c inprocessing phases 62
3600.10/3611.01	c input clauses 2683
3600.10/3611.01	c input cardinalities 266
3600.10/3611.01	c input general constraints 1716
3600.10/3611.01	c input average constraint length 5.59
3600.10/3611.01	c input average constraint degree 290.43
3600.10/3611.01	c learned clauses 340134
3600.10/3611.01	c learned cardinalities 7535
3600.10/3611.01	c learned general constraints 276730
3600.10/3611.01	c learned average constraint length 102.23
3600.10/3611.01	c learned average constraint degree 3242186.63
3600.10/3611.01	c watched constraints 214632
3600.10/3611.01	c counting constraints 63814
3600.10/3611.01	c gcd simplifications 36967
3600.10/3611.01	c detected cardinalities 18
3600.10/3611.01	c weakened non-implied lits 14312372
3600.10/3611.01	c weakened non-implying lits 137980
3600.10/3611.01	c original variables 540
3600.10/3611.01	c clausal propagations 17033213
3600.10/3611.01	c cardinality propagations 18888672
3600.10/3611.01	c watched propagations 5788830
3600.10/3611.01	c counting propagations 8781923
3600.10/3611.01	c watch lookups 61330330263
3600.10/3611.01	c watch backjump lookups 59083992748
3600.10/3611.01	c watch checks 118883619652
3600.10/3611.01	c propagation checks 23704209897
3600.10/3611.01	c constraint additions 269726345
3600.10/3611.01	c trail pops 54745010
3600.10/3611.01	c formula constraints 4626
3600.10/3611.01	c learned constraints 624399
3600.10/3611.01	c bound constraints 22
3600.10/3611.01	c core-guided constraints 17
3600.10/3611.01	c encountered formula constraints 5773167
3600.10/3611.01	c encountered learned constraints 4304767
3600.10/3611.01	c encountered bound constraints 12099
3600.10/3611.01	c encountered core-guided constraints 14220
3600.10/3611.01	c LP total time 0 s
3600.10/3611.01	c LP solve time 0 s
3600.10/3611.01	c LP constraints added 0
3600.10/3611.01	c LP constraints removed 0
3600.10/3611.01	c LP pivots internal 0
3600.10/3611.01	c LP pivots root 0
3600.10/3611.01	c LP calls 0
3600.10/3611.01	c LP optimalities 0
3600.10/3611.01	c LP no pivot count 0
3600.10/3611.01	c LP infeasibilities 0
3600.10/3611.01	c LP valid Farkas constraints 0
3600.10/3611.01	c LP learned Farkas constraints 0
3600.10/3611.01	c LP basis resets 0
3600.10/3611.01	c LP cycling count 0
3600.10/3611.01	c LP singular count 0
3600.10/3611.01	c LP no primal count 0
3600.10/3611.01	c LP no farkas count 0
3600.10/3611.01	c LP other issue count 0
3600.10/3611.01	c LP Gomory cuts 0
3600.10/3611.01	c LP learned cuts 0
3600.10/3611.01	c LP deleted cuts 0
3600.10/3611.01	c LP encountered Gomory constraints 0
3600.10/3611.01	c LP encountered Farkas constraints 0
3600.10/3611.01	c LP encountered learned Farkas constraints 0
3600.10/3611.01	c CG auxiliary variables introduced 8
3600.10/3611.01	c CG solutions found 11
3600.10/3611.01	c CG cores constructed 8
3600.10/3611.01	c CG core cardinality constraints returned 0
3600.10/3611.01	c CG unit cores 0
3600.10/3611.01	c CG single cores 8
3600.10/3611.01	c CG blocks removed during cardinality reduction 0
3600.10/3611.01	c CG first core best 0
3600.10/3611.01	c CG decision core best 0
3600.10/3611.01	c CG core reduction tie 0
3600.10/3611.01	c CG core degree average 1.00
3600.10/3611.01	c CG core slack average 11.12
3600.10/3611.01	c CG exhausted 0
3600.10/3611.01	c CG exhaust time 0.763043 s
3600.10/3611.01	c CG trimmed 0
3600.10/3611.01	c CG trim time 0.000419 s
3600.10/3611.01	c CG minimized 0
3600.10/3611.01	c CG minimize time 0 s
3600.10/3611.01	c CG am1 prop time 0.000459 s
3600.10/3611.01	c CG # am1s reformulated 0
3600.10/3611.01	c CG lower bound derived from am1s 0
3600.10/3611.01	c CG # clausal cores 8
3600.10/3611.01	c CG # cardinality cores 0
3600.10/3611.01	c CG # pb cores 0
3600.10/3611.01	c CG # pb reforms 6
3600.10/3611.01	c CG # cores discarded because of pb reform 0
3600.10/3611.01	d LOWERBOUND 6740
3600.10/3611.01	d NCORES 8
3600.10/3611.01	d NPBCORES 0
3600.10/3611.01	d NPBREFORM 6
3600.10/3611.01	d NTRIMMED 0
3600.10/3611.01	d NEXHAUSTED 0
3600.10/3611.01	d NAM1S 0
3600.10/3611.01	d AM1LB 0
3600.10/3611.01	o 25027
3600.10/3611.01	s SATISFIABLE
3600.10/3611.01	v -x1 -x2 -x3 -x4 x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 -x362 -x363 x364 x365 x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 x400 -x401 -x402 -x403 x404 -x405 -x406 x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 x435 -x436 x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 x462 -x463 -x464 -x465 x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 x504 x505 x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 x535 x536 x537 -x538 x539 -x540

Verifier Data

OK	25027

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: 63837 MiB (63204 MiB free)
  memory of node 1: 64465 MiB (63896 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486512-1751323463/watcher-4486512-1751323463 -o /tmp/evaluation-result-4486512-1751323463/solver-4486512-1751323463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751316235-40721 --watchdog 3760 pb-oll-rs HOME/instance-4486512-1751323463.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=41852, runsolver pid=41848
Current StackSize limit: 8192 KiB


[startup+0.100068 s]*
/proc/loadavg: 4.07 4.08 4.09 3/245 41857
/proc/meminfo: memFree=130141468/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=20492 memory=6656 CPUtime=0.09 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 521 0 0 0 8 1 0 0 20 0 1 0 48025379 20983808 1664 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 5123 1664 1344 243 0 1372 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20492 KiB
Current children cumulated memory: 6656 KiB

[startup+0.213254 s]*
/proc/loadavg: 4.07 4.08 4.09 3/243 41862
/proc/meminfo: memFree=130148032/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=20620 memory=6784 CPUtime=0.2 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 577 0 0 0 18 2 0 0 20 0 1 0 48025379 21114880 1696 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 5155 1696 1344 243 0 1404 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 20620 KiB
Current children cumulated memory: 6784 KiB

[startup+0.312261 s]*
/proc/loadavg: 4.07 4.08 4.09 4/243 41865
/proc/meminfo: memFree=130146520/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=20620 memory=7040 CPUtime=0.29 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 629 0 0 0 27 2 0 0 20 0 1 0 48025379 21114880 1760 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 5155 1760 1344 243 0 1404 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 20620 KiB
Current children cumulated memory: 7040 KiB

[startup+0.700257 s]
/proc/loadavg: 4.07 4.08 4.09 4/246 41871
/proc/meminfo: memFree=130141488/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=20876 memory=7680 CPUtime=0.66 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 795 0 0 0 62 4 0 0 20 0 1 0 48025379 21377024 1920 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 5219 1920 1344 243 0 1468 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 20876 KiB
Current children cumulated memory: 7680 KiB

[startup+1.50023 s]
/proc/loadavg: 4.07 4.08 4.09 5/246 41871
/proc/meminfo: memFree=130136888/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=21172 memory=10152 CPUtime=1.45 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 915 0 0 0 137 8 0 0 20 0 1 0 48025379 21680128 2538 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 5293 2538 1344 243 0 1542 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 21172 KiB
Current children cumulated memory: 10152 KiB

[startup+3.11237 s]
/proc/loadavg: 4.14 4.10 4.09 4/247 41940
/proc/meminfo: memFree=130229300/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=21652 memory=10536 CPUtime=3.06 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 1028 0 0 0 294 12 0 0 20 0 1 0 48025379 22171648 2634 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 5413 2634 1344 243 0 1662 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 21652 KiB
Current children cumulated memory: 10536 KiB

[startup+6.30024 s]
/proc/loadavg: 4.14 4.10 4.09 5/251 41984
/proc/meminfo: memFree=130209584/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=22156 memory=11048 CPUtime=6.23 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 1157 0 0 0 604 19 0 0 20 0 1 0 48025379 22687744 2762 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 5539 2762 1344 243 0 1788 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 22156 KiB
Current children cumulated memory: 11048 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.10 4.09 5/251 41984
/proc/meminfo: memFree=130197712/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=24196 memory=13948 CPUtime=12.62 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 2053 0 0 0 1230 32 0 0 20 0 1 0 48025379 24776704 3487 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 6049 3487 1344 243 0 2298 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 24196 KiB
Current children cumulated memory: 13948 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.09 4.09 5/251 41984
/proc/meminfo: memFree=130147040/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=27756 memory=16956 CPUtime=25.38 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 2895 0 0 0 2481 57 0 0 20 0 1 0 48025379 28422144 4239 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 6939 4239 1344 243 0 3188 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 16956 KiB

[startup+51.1129 s]
/proc/loadavg: 4.13 4.10 4.09 5/251 41985
/proc/meminfo: memFree=130121192/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=29416 memory=19340 CPUtime=50.91 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 4012 0 0 0 4992 99 0 0 20 0 1 0 48025379 30121984 4835 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 7354 4835 1344 243 0 3603 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 29416 KiB
Current children cumulated memory: 19340 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 41986
/proc/meminfo: memFree=130052212/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=54872 memory=39368 CPUtime=101.92 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 7841 0 0 0 10041 151 0 0 20 0 1 0 48025379 56188928 9842 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 13718 9842 1344 243 0 9967 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 54872 KiB
Current children cumulated memory: 39368 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 41988
/proc/meminfo: memFree=130041740/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=60048 memory=46188 CPUtime=161.69 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 9039 0 0 0 15979 190 0 0 20 0 1 0 48025379 61489152 11547 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 15012 11547 1344 243 0 11261 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 60048 KiB
Current children cumulated memory: 46188 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/251 41990
/proc/meminfo: memFree=130017672/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=79604 memory=58012 CPUtime=221.47 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 11005 0 0 0 21936 211 0 0 20 0 1 0 48025379 81514496 14503 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 19901 14503 1344 243 0 16150 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 79604 KiB
Current children cumulated memory: 58012 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/251 41992
/proc/meminfo: memFree=129955452/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=87164 memory=73632 CPUtime=281.27 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 12434 0 0 0 27902 225 0 0 20 0 1 0 48025379 89255936 18408 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 21791 18408 1344 243 0 18040 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 87164 KiB
Current children cumulated memory: 73632 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 41995
/proc/meminfo: memFree=129900292/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=112112 memory=80764 CPUtime=341.1 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 13714 0 0 0 33877 233 0 0 20 0 1 0 48025379 114802688 20191 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 28028 20191 1344 243 0 24277 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 112112 KiB
Current children cumulated memory: 80764 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 4.11 4.10 5/250 41997
/proc/meminfo: memFree=129878284/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=114192 memory=87104 CPUtime=400.91 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 14292 0 0 0 39849 242 0 0 20 0 1 0 48025379 116932608 21776 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 28548 21776 1344 243 0 24797 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 114192 KiB
Current children cumulated memory: 87104 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/250 41999
/proc/meminfo: memFree=129850024/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=117828 memory=91568 CPUtime=460.73 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 14941 0 0 0 45820 253 0 0 20 0 1 0 48025379 120655872 22892 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 29457 22892 1344 243 0 25706 0
Current children cumulated CPU time: 460.73 s

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

Current children cumulated memory: 167312 KiB

[startup+2862.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/250 42347
/proc/meminfo: memFree=129386616/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=195280 memory=175172 CPUtime=2853.57 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 27355 0 0 0 284880 477 0 0 20 0 1 0 48025379 199966720 43793 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 48820 43793 1344 243 0 45069 0
Current children cumulated CPU time: 2853.57 s
Current children cumulated vsize: 195280 KiB
Current children cumulated memory: 175172 KiB

[startup+2922.3 s]
/proc/loadavg: 4.64 4.26 4.14 5/250 42349
/proc/meminfo: memFree=129385840/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=197580 memory=177948 CPUtime=2913.4 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 27859 0 0 0 290860 480 0 0 20 0 1 0 48025379 202321920 44487 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 49395 44487 1344 243 0 45644 0
Current children cumulated CPU time: 2913.4 s
Current children cumulated vsize: 197580 KiB
Current children cumulated memory: 177948 KiB

[startup+2982.3 s]
/proc/loadavg: 5.02 4.44 4.21 5/252 42354
/proc/meminfo: memFree=129359444/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=199116 memory=178104 CPUtime=2973.22 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 28283 0 0 0 296838 484 0 0 20 0 1 0 48025379 203894784 44526 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 49779 44526 1344 243 0 46028 0
Current children cumulated CPU time: 2973.22 s
Current children cumulated vsize: 199116 KiB
Current children cumulated memory: 178104 KiB

[startup+3042.3 s]
/proc/loadavg: 4.61 4.45 4.23 5/252 42358
/proc/meminfo: memFree=129376668/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=200140 memory=180964 CPUtime=3033.05 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 28498 0 0 0 302817 488 0 0 20 0 1 0 48025379 204943360 45241 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 50035 45241 1344 243 0 46284 0
Current children cumulated CPU time: 3033.05 s
Current children cumulated vsize: 200140 KiB
Current children cumulated memory: 180964 KiB

[startup+3102.3 s]
/proc/loadavg: 4.29 4.38 4.22 5/252 42365
/proc/meminfo: memFree=129350844/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=203736 memory=182708 CPUtime=3092.88 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 29320 0 0 0 308797 491 0 0 20 0 1 0 48025379 208625664 45677 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 50934 45677 1344 243 0 47183 0
Current children cumulated CPU time: 3092.88 s
Current children cumulated vsize: 203736 KiB
Current children cumulated memory: 182708 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.32 4.21 5/252 42367
/proc/meminfo: memFree=129305416/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=203736 memory=182708 CPUtime=3152.69 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 29320 0 0 0 314774 495 0 0 20 0 1 0 48025379 208625664 45677 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 50934 45677 1344 243 0 47183 0
Current children cumulated CPU time: 3152.69 s
Current children cumulated vsize: 203736 KiB
Current children cumulated memory: 182708 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.28 4.19 5/252 42369
/proc/meminfo: memFree=129316784/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=203736 memory=182708 CPUtime=3212.52 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 29320 0 0 0 320752 500 0 0 20 0 1 0 48025379 208625664 45677 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 50934 45677 1344 243 0 47183 0
Current children cumulated CPU time: 3212.52 s
Current children cumulated vsize: 203736 KiB
Current children cumulated memory: 182708 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.24 4.18 5/250 42371
/proc/meminfo: memFree=129315468/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=203736 memory=182708 CPUtime=3272.34 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 29320 0 0 0 326730 504 0 0 20 0 1 0 48025379 208625664 45677 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 50934 45677 1344 243 0 47183 0
Current children cumulated CPU time: 3272.34 s
Current children cumulated vsize: 203736 KiB
Current children cumulated memory: 182708 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.22 4.18 5/250 42373
/proc/meminfo: memFree=129320772/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=203736 memory=182708 CPUtime=3332.17 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 29320 0 0 0 332708 509 0 0 20 0 1 0 48025379 208625664 45677 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 50934 45677 1344 243 0 47183 0
Current children cumulated CPU time: 3332.17 s
Current children cumulated vsize: 203736 KiB
Current children cumulated memory: 182708 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.21 4.18 5/250 42376
/proc/meminfo: memFree=129320588/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=203736 memory=182708 CPUtime=3391.99 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 29320 0 0 0 338688 511 0 0 20 0 1 0 48025379 208625664 45677 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 50934 45677 1344 243 0 47183 0
Current children cumulated CPU time: 3391.99 s
Current children cumulated vsize: 203736 KiB
Current children cumulated memory: 182708 KiB

[startup+3462.3 s]
/proc/loadavg: 4.60 4.31 4.22 5/250 42378
/proc/meminfo: memFree=129320112/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=203736 memory=182708 CPUtime=3451.82 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 29320 0 0 0 344666 516 0 0 20 0 1 0 48025379 208625664 45677 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 50934 45677 1344 243 0 47183 0
Current children cumulated CPU time: 3451.82 s
Current children cumulated vsize: 203736 KiB
Current children cumulated memory: 182708 KiB

[startup+3522.3 s]
/proc/loadavg: 4.55 4.36 4.24 5/250 42380
/proc/meminfo: memFree=129319412/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=203736 memory=182708 CPUtime=3511.65 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 29320 0 0 0 350641 524 0 0 20 0 1 0 48025379 208625664 45677 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 50934 45677 1344 243 0 47183 0
Current children cumulated CPU time: 3511.65 s
Current children cumulated vsize: 203736 KiB
Current children cumulated memory: 182708 KiB

[startup+3582.3 s]
/proc/loadavg: 4.26 4.31 4.23 5/250 42382
/proc/meminfo: memFree=129315088/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=203736 memory=184500 CPUtime=3571.47 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 29320 0 0 0 356619 528 0 0 20 0 1 0 48025379 208625664 46125 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 50934 46125 1344 243 0 47183 0
Current children cumulated CPU time: 3571.47 s
Current children cumulated vsize: 203736 KiB
Current children cumulated memory: 184500 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 4.24 4.29 4.22 5/248 42389
/proc/meminfo: memFree=129363228/131382120 swapFree=33010160/33010684
[pid=41852] ppid=41848 vsize=203736 memory=187700 CPUtime=3600.1 cores=5,7
/proc/41852/stat : 41852 (pb-oll-rs) R 41848 41852 40708 0 -1 4194304 29321 0 0 0 359479 531 0 0 20 0 1 0 48025379 208625664 46925 18446744073709551615 4218880 5211445 140732945203328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 12591104 140732945205660 140732945205737 140732945205737 140732945211339 0
/proc/41852/statm: 50934 46925 1344 243 0 47183 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 203736 KiB
Current children cumulated memory: 187700 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.79 s, system=5.32077 s

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

Child status: 0

Real time (s): 3611.02
CPU time (s): 3600.11
CPU user time (s): 3594.79
CPU system time (s): 5.32077
CPU usage (%): 99.698
Max. virtual memory (cumulated for all children) (KiB): 203736
Max. memory (cumulated for all children) (KiB): 187700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.79
system time used= 5.32077
maximum resident set size= 187956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29336
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= 158
involuntary context switches= 21498


# summary of solver processes directly reported to runsolver:
#   pid: 41852
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3594.79
#   total CPU system time (s): 5.32077

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5553 second user time and 35.4936 second system time

The end

Launcher Data

Begin job on nodeC008 at 2025-07-01 00:44:23
IDJOB=4486512
IDBENCH=147022
IDSOLVER=3345
FILE ID=nodeC008/4486512-1751323463
RUNJOBID= nodeC008-1751316235-40721
SLURM_JOB_ID= 9594335
Free space on /tmp= 433052 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data6_3.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486512-1751323463/watcher-4486512-1751323463 -o /tmp/evaluation-result-4486512-1751323463/solver-4486512-1751323463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751316235-40721 --watchdog 3760  pb-oll-rs HOME/instance-4486512-1751323463.opb

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

MD5SUM BENCH= 9e6692c80f11b0068f23fe5849cf8b25
RANDOM SEED=1202793565

nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3491.881
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.208
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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		: 1197.491
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.201
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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		: 3491.883
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.533
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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.559
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1496.512
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        130152480 kB
MemAvailable:   129878012 kB
Buffers:            2144 kB
Cached:           535740 kB
SwapCached:           16 kB
Active:           394236 kB
Inactive:         318164 kB
Active(anon):     155800 kB
Inactive(anon):    36636 kB
Active(file):     238436 kB
Inactive(file):   281528 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3500 kB
Writeback:             0 kB
AnonPages:        177980 kB
Mapped:           105236 kB
Shmem:             17920 kB
KReclaimable:      90392 kB
Slab:             172048 kB
SReclaimable:      90392 kB
SUnreclaim:        81656 kB
KernelStack:        4000 kB
PageTables:         3232 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     490616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149384 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     63488 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433048 MiB
End job on nodeC008 at 2025-07-01 01:44:34