Trace number 4436062

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb-oll-rs 2024-07-02SAT (TO)61 3600.11 3608.72

DiagnosticValue
AM1LB0
LOWERBOUND29
NAM1S0
NCORES29
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_3_shg.opb
MD5SUM9f3f50f555350d326304759fc873d478
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark36
Best CPU time to get the best result obtained on this benchmark74.5212
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5048
Total number of constraints65280
Number of constraints which are clauses65280
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint18
Maximum length of a constraint45
Number of terms in the objective function 5048
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 5048
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5048
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.79/0.83	c [STEP] solving
0.79/0.83	c #variables 5048 #constraints 65280
0.79/0.83	c SMALL=int, LARGE=long long
0.79/0.83	c bounds - >= 0 @ 0.771848
0.79/0.83	c stratification level: 0
0.89/0.98	c bounds - >= 1 @ 0.815789
0.89/0.98	c bounds - >= 2 @ 0.81661
0.89/0.98	c bounds - >= 3 @ 0.818225
0.89/0.98	c bounds - >= 4 @ 0.819356
0.89/0.98	c bounds - >= 5 @ 0.822327
0.89/0.98	c bounds - >= 6 @ 0.823344
0.89/0.98	c bounds - >= 7 @ 0.82434
0.89/0.98	c bounds - >= 8 @ 0.824593
0.89/0.98	c bounds - >= 9 @ 0.826213
0.89/0.98	c bounds - >= 10 @ 0.82833
0.89/0.98	c bounds - >= 11 @ 0.828586
0.89/0.98	c bounds - >= 12 @ 0.830242
0.89/0.98	c bounds - >= 13 @ 0.83197
0.89/0.98	c bounds - >= 14 @ 0.83232
0.89/0.98	c bounds - >= 15 @ 0.833571
0.89/0.98	c bounds - >= 16 @ 0.834312
0.89/0.98	c bounds - >= 17 @ 0.835567
0.89/0.98	c bounds - >= 18 @ 0.844227
0.89/0.98	c bounds - >= 19 @ 0.84676
0.89/0.98	c bounds - >= 20 @ 0.849742
0.89/0.98	c bounds - >= 21 @ 0.852093
0.89/0.98	c finalizing WCE round: reformulating cores
21.72/21.85	c #Conflicts:       1000 | #Constraints:      66308
21.72/21.85	c #Conflicts:       2000 | #Constraints:      67313
21.72/21.85	c INPROCESSING
21.72/21.85	c GARBAGE COLLECT
21.72/21.85	c #Conflicts:       3000 | #Constraints:      67307
21.72/21.85	c #Conflicts:       4000 | #Constraints:      68309
21.72/21.85	c INPROCESSING
21.72/21.85	c GARBAGE COLLECT
21.72/21.85	c #Conflicts:       5000 | #Constraints:      67718
21.72/21.85	c #Conflicts:       6000 | #Constraints:      68739
21.72/21.85	c INPROCESSING
21.72/21.85	c GARBAGE COLLECT
21.72/21.85	c #Conflicts:       7000 | #Constraints:      67733
21.72/21.85	c #Conflicts:       8000 | #Constraints:      68735
21.72/21.85	c #Conflicts:       9000 | #Constraints:      69739
21.72/21.85	c INPROCESSING
21.72/21.85	c GARBAGE COLLECT
21.72/21.85	c #Conflicts:      10000 | #Constraints:      68443
21.72/21.85	c bounds 63 >= 21 @ 18.408
21.72/21.85	c bounds 63 >= 22 @ 18.4162
21.72/21.85	c bounds 63 >= 23 @ 18.4209
21.72/21.85	c bounds 63 >= 24 @ 18.4233
21.72/21.85	c bounds 63 >= 25 @ 18.4268
21.72/21.85	c bounds 63 >= 26 @ 18.4328
21.72/21.85	c bounds 63 >= 27 @ 18.4592
21.72/21.85	c #Conflicts:      11000 | #Constraints:      69494
21.72/21.85	c finalizing WCE round: reformulating cores
658.88/660.59	c #Conflicts:      12000 | #Constraints:      70499
658.88/660.59	c INPROCESSING
658.88/660.59	c GARBAGE COLLECT
658.88/660.59	c #Conflicts:      13000 | #Constraints:      68944
658.88/660.59	c #Conflicts:      14000 | #Constraints:      69946
658.88/660.59	c #Conflicts:      15000 | #Constraints:      70948
658.88/660.59	c INPROCESSING
658.88/660.59	c GARBAGE COLLECT
658.88/660.59	c bounds 61 >= 27 @ 29.8171
658.88/660.59	c bounds 61 >= 28 @ 29.8284
658.88/660.59	c bounds 61 >= 29 @ 30.0757
658.88/660.59	c #Conflicts:      16000 | #Constraints:      69239
658.88/660.59	c #Conflicts:      17000 | #Constraints:      70239
658.88/660.59	c #Conflicts:      18000 | #Constraints:      71239
658.88/660.59	c INPROCESSING
658.88/660.59	c GARBAGE COLLECT
658.88/660.59	c #Conflicts:      19000 | #Constraints:      69237
658.88/660.59	c #Conflicts:      20000 | #Constraints:      70237
658.88/660.59	c #Conflicts:      21000 | #Constraints:      71237
658.88/660.59	c INPROCESSING
658.88/660.59	c GARBAGE COLLECT
658.88/660.59	c #Conflicts:      22000 | #Constraints:      69039
658.88/660.59	c #Conflicts:      23000 | #Constraints:      70039
658.88/660.59	c #Conflicts:      24000 | #Constraints:      71039
658.88/660.59	c #Conflicts:      25000 | #Constraints:      72039
658.88/660.59	c INPROCESSING
658.88/660.59	c GARBAGE COLLECT
658.88/660.59	c #Conflicts:      26000 | #Constraints:      69645
658.88/660.59	c #Conflicts:      27000 | #Constraints:      70645
658.88/660.59	c #Conflicts:      28000 | #Constraints:      71645
658.88/660.59	c #Conflicts:      29000 | #Constraints:      72645
658.88/660.59	c INPROCESSING
658.88/660.59	c GARBAGE COLLECT
658.88/660.59	c #Conflicts:      30000 | #Constraints:      70055
658.88/660.59	c #Conflicts:      31000 | #Constraints:      71055
658.88/660.59	c #Conflicts:      32000 | #Constraints:      72055
658.88/660.59	c #Conflicts:      33000 | #Constraints:      73055
658.88/660.59	c INPROCESSING
658.88/660.59	c GARBAGE COLLECT
658.88/660.59	c #Conflicts:      34000 | #Constraints:      70253
658.88/660.59	c #Conflicts:      35000 | #Constraints:      71253
658.88/660.59	c #Conflicts:      36000 | #Constraints:      72253
658.88/660.59	c #Conflicts:      37000 | #Constraints:      73253
658.88/660.59	c INPROCESSING
658.88/660.59	c GARBAGE COLLECT
658.88/660.59	c #Conflicts:      38000 | #Constraints:      70242
658.88/660.59	c #Conflicts:      39000 | #Constraints:      71242
658.88/660.59	c #Conflicts:      40000 | #Constraints:      72242
658.88/660.59	c #Conflicts:      41000 | #Constraints:      73242
658.88/660.59	c INPROCESSING
658.88/660.59	c GARBAGE COLLECT
658.88/660.59	c #Conflicts:      42000 | #Constraints:      70051
658.88/660.59	c #Conflicts:      43000 | #Constraints:      71051
658.88/660.59	c #Conflicts:      44000 | #Constraints:      72051
658.88/660.59	c #Conflicts:      45000 | #Constraints:      73051
658.88/660.59	c #Conflicts:      46000 | #Constraints:      74051
658.88/660.59	c INPROCESSING
658.88/660.59	c GARBAGE COLLECT
658.88/660.59	c #Conflicts:      47000 | #Constraints:      70654
658.88/660.59	c #Conflicts:      48000 | #Constraints:      71654
658.88/660.59	c #Conflicts:      49000 | #Constraints:      72654
658.88/660.59	c #Conflicts:      50000 | #Constraints:      73654
658.88/660.59	c #Conflicts:      51000 | #Constraints:      74654
658.88/660.59	c INPROCESSING
658.88/660.59	c GARBAGE COLLECT
658.88/660.59	c #Conflicts:      52000 | #Constraints:      71057
658.88/660.59	c #Conflicts:      53000 | #Constraints:      72057
658.88/660.59	c #Conflicts:      54000 | #Constraints:      73057
658.88/660.59	c #Conflicts:      55000 | #Constraints:      74057
658.88/660.59	c #Conflicts:      56000 | #Constraints:      75057
658.88/660.59	c INPROCESSING
658.88/660.59	c GARBAGE COLLECT
658.88/660.59	c #Conflicts:      57000 | #Constraints:      71256
658.88/660.59	c #Conflicts:      58000 | #Constraints:      72256
658.88/660.59	c #Conflicts:      59000 | #Constraints:      73256
658.88/660.59	c #Conflicts:      60000 | #Constraints:      74256
658.88/660.59	c #Conflicts:      61000 | #Constraints:      75256
658.88/660.59	c INPROCESSING
658.88/660.59	c GARBAGE COLLECT
658.88/660.59	c #Conflicts:      62000 | #Constraints:      71249
658.88/660.59	c #Conflicts:      63000 | #Constraints:      72249
658.88/660.59	c #Conflicts:      64000 | #Constraints:      73249
658.88/660.59	c #Conflicts:      65000 | #Constraints:      74249
658.88/660.59	c #Conflicts:      66000 | #Constraints:      75249
658.88/660.59	c INPROCESSING
658.88/660.59	c GARBAGE COLLECT
658.88/660.59	c #Conflicts:      67000 | #Constraints:      71053
658.88/660.59	c #Conflicts:      68000 | #Constraints:      72053
658.88/660.59	c #Conflicts:      69000 | #Constraints:      73053
658.88/660.59	c #Conflicts:      70000 | #Constraints:      74053
658.88/660.59	c #Conflicts:      71000 | #Constraints:      75053
658.88/660.59	c #Conflicts:      72000 | #Constraints:      76053
658.88/660.59	c INPROCESSING
658.88/660.59	c GARBAGE COLLECT
658.88/660.59	c #Conflicts:      73000 | #Constraints:      71658
658.88/660.59	c #Conflicts:      74000 | #Constraints:      72658
658.88/660.59	c #Conflicts:      75000 | #Constraints:      73658
658.88/660.59	c #Conflicts:      76000 | #Constraints:      74658
658.88/660.59	c #Conflicts:      77000 | #Constraints:      75658
658.88/660.59	c #Conflicts:      78000 | #Constraints:      76658
658.88/660.59	c INPROCESSING
658.88/660.59	c GARBAGE COLLECT
1858.31/1862.62	c #Conflicts:      79000 | #Constraints:      72066
1858.31/1862.62	c #Conflicts:      80000 | #Constraints:      73066
1858.31/1862.62	c #Conflicts:      81000 | #Constraints:      74066
1858.31/1862.62	c #Conflicts:      82000 | #Constraints:      75066
1858.31/1862.62	c #Conflicts:      83000 | #Constraints:      76066
1858.31/1862.62	c #Conflicts:      84000 | #Constraints:      77066
1858.31/1862.62	c INPROCESSING
1858.31/1862.62	c GARBAGE COLLECT
1858.31/1862.62	c #Conflicts:      85000 | #Constraints:      72268
1858.31/1862.62	c #Conflicts:      86000 | #Constraints:      73268
1858.31/1862.62	c #Conflicts:      87000 | #Constraints:      74268
1858.31/1862.62	c #Conflicts:      88000 | #Constraints:      75268
1858.31/1862.62	c #Conflicts:      89000 | #Constraints:      76268
1858.31/1862.62	c #Conflicts:      90000 | #Constraints:      77268
1858.31/1862.62	c INPROCESSING
1858.31/1862.62	c GARBAGE COLLECT
1858.31/1862.62	c #Conflicts:      91000 | #Constraints:      72267
1858.31/1862.62	c #Conflicts:      92000 | #Constraints:      73267
1858.31/1862.62	c #Conflicts:      93000 | #Constraints:      74267
1858.31/1862.62	c #Conflicts:      94000 | #Constraints:      75267
1858.31/1862.62	c #Conflicts:      95000 | #Constraints:      76267
1858.31/1862.62	c #Conflicts:      96000 | #Constraints:      77267
1858.31/1862.62	c INPROCESSING
1858.31/1862.62	c GARBAGE COLLECT
1858.31/1862.62	c #Conflicts:      97000 | #Constraints:      72064
1858.31/1862.62	c #Conflicts:      98000 | #Constraints:      73064
1858.31/1862.62	c #Conflicts:      99000 | #Constraints:      74064
1858.31/1862.62	c #Conflicts:     100000 | #Constraints:      75064
1858.31/1862.62	c #Conflicts:     101000 | #Constraints:      76064
1858.31/1862.62	c #Conflicts:     102000 | #Constraints:      77064
1858.31/1862.62	c #Conflicts:     103000 | #Constraints:      78064
1858.31/1862.62	c INPROCESSING
1858.31/1862.62	c GARBAGE COLLECT
1858.31/1862.62	c #Conflicts:     104000 | #Constraints:      72661
1858.31/1862.62	c #Conflicts:     105000 | #Constraints:      73661
1858.31/1862.62	c #Conflicts:     106000 | #Constraints:      74661
1858.31/1862.62	c #Conflicts:     107000 | #Constraints:      75661
1858.31/1862.62	c #Conflicts:     108000 | #Constraints:      76661
1858.31/1862.62	c #Conflicts:     109000 | #Constraints:      77661
1858.31/1862.62	c #Conflicts:     110000 | #Constraints:      78661
1858.31/1862.62	c INPROCESSING
1858.31/1862.62	c GARBAGE COLLECT
1858.31/1862.62	c #Conflicts:     111000 | #Constraints:      73055
1858.31/1862.62	c #Conflicts:     112000 | #Constraints:      74055
1858.31/1862.62	c #Conflicts:     113000 | #Constraints:      75055
1858.31/1862.62	c #Conflicts:     114000 | #Constraints:      76055
1858.31/1862.62	c #Conflicts:     115000 | #Constraints:      77055
1858.31/1862.62	c #Conflicts:     116000 | #Constraints:      78055
1858.31/1862.62	c #Conflicts:     117000 | #Constraints:      79055
1858.31/1862.62	c INPROCESSING
1858.31/1862.62	c GARBAGE COLLECT
1858.31/1862.62	c #Conflicts:     118000 | #Constraints:      73259
1858.31/1862.62	c #Conflicts:     119000 | #Constraints:      74259
1858.31/1862.62	c #Conflicts:     120000 | #Constraints:      75259
1858.31/1862.62	c #Conflicts:     121000 | #Constraints:      76259
1858.31/1862.62	c #Conflicts:     122000 | #Constraints:      77259
1858.31/1862.62	c #Conflicts:     123000 | #Constraints:      78259
1858.31/1862.62	c #Conflicts:     124000 | #Constraints:      79259
1858.31/1862.62	c INPROCESSING
1858.31/1862.62	c GARBAGE COLLECT
1858.31/1862.62	c #Conflicts:     125000 | #Constraints:      73269
1858.31/1862.62	c #Conflicts:     126000 | #Constraints:      74269
1858.31/1862.62	c #Conflicts:     127000 | #Constraints:      75269
1858.31/1862.62	c #Conflicts:     128000 | #Constraints:      76269
1858.31/1862.62	c #Conflicts:     129000 | #Constraints:      77269
1858.31/1862.62	c #Conflicts:     130000 | #Constraints:      78269
1858.31/1862.62	c #Conflicts:     131000 | #Constraints:      79269
1858.31/1862.62	c INPROCESSING
1858.31/1862.62	c GARBAGE COLLECT
1858.31/1862.62	c #Conflicts:     132000 | #Constraints:      73053
1858.31/1862.62	c #Conflicts:     133000 | #Constraints:      74053
1858.31/1862.62	c #Conflicts:     134000 | #Constraints:      75053
1858.31/1862.62	c #Conflicts:     135000 | #Constraints:      76053
1858.31/1862.62	c #Conflicts:     136000 | #Constraints:      77053
1858.31/1862.62	c #Conflicts:     137000 | #Constraints:      78053
1858.31/1862.62	c #Conflicts:     138000 | #Constraints:      79053
1858.31/1862.62	c #Conflicts:     139000 | #Constraints:      80053
1858.31/1862.62	c INPROCESSING
1858.31/1862.62	c GARBAGE COLLECT
1858.31/1862.62	c #Conflicts:     140000 | #Constraints:      73655
1858.31/1862.62	c #Conflicts:     141000 | #Constraints:      74655
1858.31/1862.62	c #Conflicts:     142000 | #Constraints:      75655
1858.31/1862.62	c #Conflicts:     143000 | #Constraints:      76655
1858.31/1862.62	c #Conflicts:     144000 | #Constraints:      77655
1858.31/1862.62	c #Conflicts:     145000 | #Constraints:      78655
1858.31/1862.62	c #Conflicts:     146000 | #Constraints:      79655
1858.31/1862.62	c #Conflicts:     147000 | #Constraints:      80655
1858.31/1862.62	c INPROCESSING
1858.31/1862.62	c GARBAGE COLLECT
1858.31/1862.62	c #Conflicts:     148000 | #Constraints:      74052
1858.31/1862.62	c #Conflicts:     149000 | #Constraints:      75052
1858.31/1862.62	c #Conflicts:     150000 | #Constraints:      76052
1858.31/1862.62	c #Conflicts:     151000 | #Constraints:      77052
3600.08/3608.70	c #Conflicts:     152000 | #Constraints:      78052
3600.08/3608.70	c #Conflicts:     153000 | #Constraints:      79052
3600.08/3608.70	c #Conflicts:     154000 | #Constraints:      80052
3600.08/3608.70	c #Conflicts:     155000 | #Constraints:      81052
3600.08/3608.70	c INPROCESSING
3600.08/3608.70	c GARBAGE COLLECT
3600.08/3608.70	c #Conflicts:     156000 | #Constraints:      74251
3600.08/3608.70	c #Conflicts:     157000 | #Constraints:      75251
3600.08/3608.70	c #Conflicts:     158000 | #Constraints:      76251
3600.08/3608.70	c #Conflicts:     159000 | #Constraints:      77251
3600.08/3608.70	c #Conflicts:     160000 | #Constraints:      78251
3600.08/3608.70	c #Conflicts:     161000 | #Constraints:      79251
3600.08/3608.70	c #Conflicts:     162000 | #Constraints:      80251
3600.08/3608.70	c #Conflicts:     163000 | #Constraints:      81251
3600.08/3608.70	c INPROCESSING
3600.08/3608.70	c GARBAGE COLLECT
3600.08/3608.70	c #Conflicts:     164000 | #Constraints:      74267
3600.08/3608.70	c #Conflicts:     165000 | #Constraints:      75267
3600.08/3608.70	c #Conflicts:     166000 | #Constraints:      76267
3600.08/3608.70	c #Conflicts:     167000 | #Constraints:      77267
3600.08/3608.70	c #Conflicts:     168000 | #Constraints:      78267
3600.08/3608.70	c #Conflicts:     169000 | #Constraints:      79267
3600.08/3608.70	c #Conflicts:     170000 | #Constraints:      80267
3600.08/3608.70	c #Conflicts:     171000 | #Constraints:      81267
3600.08/3608.70	c INPROCESSING
3600.08/3608.70	c GARBAGE COLLECT
3600.08/3608.70	c #Conflicts:     172000 | #Constraints:      74069
3600.08/3608.70	c #Conflicts:     173000 | #Constraints:      75069
3600.08/3608.70	c #Conflicts:     174000 | #Constraints:      76069
3600.08/3608.70	c #Conflicts:     175000 | #Constraints:      77069
3600.08/3608.70	c #Conflicts:     176000 | #Constraints:      78069
3600.08/3608.70	c #Conflicts:     177000 | #Constraints:      79069
3600.08/3608.70	c #Conflicts:     178000 | #Constraints:      80069
3600.08/3608.70	c #Conflicts:     179000 | #Constraints:      81069
3600.08/3608.70	c #Conflicts:     180000 | #Constraints:      82069
3600.08/3608.70	c INPROCESSING
3600.08/3608.70	c GARBAGE COLLECT
3600.08/3608.70	c #Conflicts:     181000 | #Constraints:      74667
3600.08/3608.70	c #Conflicts:     182000 | #Constraints:      75667
3600.08/3608.70	c #Conflicts:     183000 | #Constraints:      76667
3600.08/3608.70	c #Conflicts:     184000 | #Constraints:      77667
3600.08/3608.70	c #Conflicts:     185000 | #Constraints:      78667
3600.08/3608.70	c #Conflicts:     186000 | #Constraints:      79667
3600.08/3608.70	c #Conflicts:     187000 | #Constraints:      80667
3600.08/3608.70	c #Conflicts:     188000 | #Constraints:      81667
3600.08/3608.70	c #Conflicts:     189000 | #Constraints:      82667
3600.08/3608.70	c INPROCESSING
3600.08/3608.70	c GARBAGE COLLECT
3600.08/3608.70	c #Conflicts:     190000 | #Constraints:      75065
3600.08/3608.70	c #Conflicts:     191000 | #Constraints:      76065
3600.08/3608.70	c #Conflicts:     192000 | #Constraints:      77065
3600.08/3608.70	c #Conflicts:     193000 | #Constraints:      78065
3600.08/3608.70	c #Conflicts:     194000 | #Constraints:      79065
3600.08/3608.70	c #Conflicts:     195000 | #Constraints:      80065
3600.08/3608.70	c #Conflicts:     196000 | #Constraints:      81065
3600.08/3608.70	c #Conflicts:     197000 | #Constraints:      82065
3600.08/3608.70	c #Conflicts:     198000 | #Constraints:      83065
3600.08/3608.70	c INPROCESSING
3600.08/3608.70	c GARBAGE COLLECT
3600.08/3608.70	c #Conflicts:     199000 | #Constraints:      75268
3600.08/3608.70	c #Conflicts:     200000 | #Constraints:      76268
3600.08/3608.70	c #Conflicts:     201000 | #Constraints:      77268
3600.08/3608.70	c #Conflicts:     202000 | #Constraints:      78268
3600.08/3608.70	c #Conflicts:     203000 | #Constraints:      79268
3600.08/3608.70	c #Conflicts:     204000 | #Constraints:      80268
3600.08/3608.70	c #Conflicts:     205000 | #Constraints:      81268
3600.08/3608.70	c #Conflicts:     206000 | #Constraints:      82268
3600.08/3608.70	c #Conflicts:     207000 | #Constraints:      83268
3600.08/3608.70	c INPROCESSING
3600.08/3608.70	c GARBAGE COLLECT
3600.08/3608.70	c #Conflicts:     208000 | #Constraints:      75264
3600.08/3608.70	c #Conflicts:     209000 | #Constraints:      76264
3600.08/3608.70	c #Conflicts:     210000 | #Constraints:      77264
3600.08/3608.70	c #Conflicts:     211000 | #Constraints:      78264
3600.08/3608.70	c #Conflicts:     212000 | #Constraints:      79264
3600.08/3608.70	c #Conflicts:     213000 | #Constraints:      80264
3600.08/3608.70	c #Conflicts:     214000 | #Constraints:      81264
3600.08/3608.70	c #Conflicts:     215000 | #Constraints:      82264
3600.08/3608.70	c #Conflicts:     216000 | #Constraints:      83264
3600.08/3608.70	c INPROCESSING
3600.08/3608.70	c GARBAGE COLLECT
3600.08/3608.70	c #Conflicts:     217000 | #Constraints:      75055
3600.08/3608.70	c Program interrupted by user.
3600.08/3608.70	c cpu time 3494.54 s
3600.08/3608.70	c deterministic time 272456466717 2.72e+11
3600.08/3608.70	c optimization time 46.411 s
3600.08/3608.70	c total solve time 3447.36 s
3600.08/3608.70	c core-guided solve time 3447.36 s
3600.08/3608.70	c propagation time 3234.57 s
3600.08/3608.70	c conflict analysis time 139.274 s
3600.08/3608.70	c propagations 219583497
3600.08/3608.70	c resolve steps 845900
3600.08/3608.70	c decisions 137462441
3600.08/3608.70	c conflicts 217765
3600.08/3608.70	c restarts 510
3600.08/3608.70	c inprocessing phases 38
3600.08/3608.70	c input clauses 65319
3600.08/3608.70	c input cardinalities 107
3600.08/3608.70	c input general constraints 65
3600.08/3608.70	c input average constraint length 40.93
3600.08/3608.70	c input average constraint degree 2.11
3600.08/3608.70	c learned clauses 3867
3600.08/3608.70	c learned cardinalities 2431
3600.08/3608.70	c learned general constraints 211467
3600.08/3608.70	c learned average constraint length 2940.56
3600.08/3608.70	c learned average constraint degree 437138.60
3600.08/3608.70	c watched constraints 64650
3600.08/3608.70	c counting constraints 146882
3600.08/3608.70	c gcd simplifications 64
3600.08/3608.70	c detected cardinalities 27
3600.08/3608.70	c weakened non-implied lits 8071180
3600.08/3608.70	c weakened non-implying lits 208
3600.08/3608.70	c original variables 5048
3600.08/3608.70	c clausal propagations 3337257
3600.08/3608.70	c cardinality propagations 751359
3600.08/3608.70	c watched propagations 21343057
3600.08/3608.70	c counting propagations 191951105
3600.08/3608.70	c watch lookups 60982888998
3600.08/3608.70	c watch backjump lookups 60586736801
3600.08/3608.70	c watch checks 131881077839
3600.08/3608.70	c propagation checks 17304809320
3600.08/3608.70	c constraint additions 986647339
3600.08/3608.70	c trail pops 357260481
3600.08/3608.70	c formula constraints 65280
3600.08/3608.70	c learned constraints 217765
3600.08/3608.70	c bound constraints 43
3600.08/3608.70	c core-guided constraints 168
3600.08/3608.70	c encountered formula constraints 327879
3600.08/3608.70	c encountered learned constraints 634943
3600.08/3608.70	c encountered bound constraints 347
3600.08/3608.70	c encountered core-guided constraints 100496
3600.08/3608.70	c LP total time 0 s
3600.08/3608.70	c LP solve time 0 s
3600.08/3608.70	c LP constraints added 0
3600.08/3608.70	c LP constraints removed 0
3600.08/3608.70	c LP pivots internal 0
3600.08/3608.70	c LP pivots root 0
3600.08/3608.70	c LP calls 0
3600.08/3608.70	c LP optimalities 0
3600.08/3608.70	c LP no pivot count 0
3600.08/3608.70	c LP infeasibilities 0
3600.08/3608.70	c LP valid Farkas constraints 0
3600.08/3608.70	c LP learned Farkas constraints 0
3600.08/3608.70	c LP basis resets 0
3600.08/3608.70	c LP cycling count 0
3600.08/3608.70	c LP singular count 0
3600.08/3608.70	c LP no primal count 0
3600.08/3608.70	c LP no farkas count 0
3600.08/3608.70	c LP other issue count 0
3600.08/3608.70	c LP Gomory cuts 0
3600.08/3608.70	c LP learned cuts 0
3600.08/3608.70	c LP deleted cuts 0
3600.08/3608.70	c LP encountered Gomory constraints 0
3600.08/3608.70	c LP encountered Farkas constraints 0
3600.08/3608.70	c LP encountered learned Farkas constraints 0
3600.08/3608.70	c CG auxiliary variables introduced 65
3600.08/3608.70	c CG solutions found 2
3600.08/3608.70	c CG cores constructed 29
3600.08/3608.70	c CG core cardinality constraints returned 0
3600.08/3608.70	c CG unit cores 0
3600.08/3608.70	c CG single cores 29
3600.08/3608.70	c CG blocks removed during cardinality reduction 0
3600.08/3608.70	c CG first core best 0
3600.08/3608.70	c CG decision core best 0
3600.08/3608.70	c CG core reduction tie 0
3600.08/3608.70	c CG core degree average 1.00
3600.08/3608.70	c CG core slack average 88.28
3600.08/3608.70	c CG exhausted 0
3600.08/3608.70	c CG exhaust time 27.8964 s
3600.08/3608.70	c CG trimmed 0
3600.08/3608.70	c CG trim time 0.007192 s
3600.08/3608.70	c CG minimized 0
3600.08/3608.70	c CG minimize time 0 s
3600.08/3608.70	c CG am1 prop time 0.018474 s
3600.08/3608.70	c CG # am1s reformulated 0
3600.08/3608.70	c CG lower bound derived from am1s 0
3600.08/3608.70	c CG # clausal cores 29
3600.08/3608.70	c CG # cardinality cores 0
3600.08/3608.70	c CG # pb cores 0
3600.08/3608.70	c CG # pb reforms 0
3600.08/3608.70	c CG # cores discarded because of pb reform 0
3600.08/3608.70	d LOWERBOUND 29
3600.08/3608.70	d NCORES 29
3600.08/3608.70	d NPBCORES 0
3600.08/3608.70	d NPBREFORM 0
3600.08/3608.70	d NTRIMMED 0
3600.08/3608.70	d NEXHAUSTED 0
3600.08/3608.70	d NAM1S 0
3600.08/3608.70	d AM1LB 0
3600.08/3608.70	o 61
3600.08/3608.70	s SATISFIABLE
3600.08/3608.70	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 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 x801 x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 x1726 -x1727 -x1728 -x1729 -x1730 -x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 -x2199 x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 x3473 x3474 x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 x4264 -x4265 -x4266 -x4267 -x4268 -x4269 x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048

Verifier Data 

OK	61

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (61006 MiB free)
  memory of node 1: 64510 MiB (60915 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.109414 s]*
/proc/loadavg: 1.10 1.31 2.16 5/248 857310
/proc/meminfo: memFree=124798556/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=40364 memory=8608 CPUtime=0.1 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 838 0 0 0 9 1 0 0 20 0 1 0 165595462 41332736 2152 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 10091 2152 1162 291 0 1625 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40364 KiB
Current children cumulated memory: 8608 KiB

[startup+0.205504 s]*
/proc/loadavg: 1.10 1.31 2.16 5/254 857321
/proc/meminfo: memFree=124751620/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=40628 memory=9396 CPUtime=0.2 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 1026 0 0 0 19 1 0 0 20 0 1 0 165595462 41603072 2349 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 10157 2349 1162 291 0 1691 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40628 KiB
Current children cumulated memory: 9396 KiB

[startup+0.304516 s]*
/proc/loadavg: 1.10 1.31 2.16 5/254 857321
/proc/meminfo: memFree=124714344/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=40760 memory=10980 CPUtime=0.29 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 1432 0 0 0 28 1 0 0 20 0 1 0 165595462 41738240 2745 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 10190 2745 1162 291 0 1724 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 40760 KiB
Current children cumulated memory: 10980 KiB

[startup+0.700154 s]
/proc/loadavg: 1.10 1.31 2.16 5/254 857321
/proc/meminfo: memFree=124631144/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=48704 memory=18288 CPUtime=0.68 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 2728 0 0 0 64 4 0 0 20 0 1 0 165595462 49872896 4572 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 12176 4572 1162 291 0 3710 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 48704 KiB
Current children cumulated memory: 18288 KiB

[startup+1.50021 s]
/proc/loadavg: 1.10 1.31 2.16 5/254 857321
/proc/meminfo: memFree=124428100/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=98616 memory=65428 CPUtime=1.49 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 11869 0 0 0 133 16 0 0 20 0 1 0 165595462 100982784 16357 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 24654 16357 1367 291 0 16188 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 98616 KiB
Current children cumulated memory: 65428 KiB

[startup+3.10548 s]
/proc/loadavg: 1.41 1.37 2.18 5/258 857332
/proc/meminfo: memFree=123844792/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=211048 memory=160104 CPUtime=3.08 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 27866 0 0 0 277 31 0 0 20 0 1 0 165595462 216113152 40026 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 52762 40026 1367 291 0 44296 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 211048 KiB
Current children cumulated memory: 160104 KiB

[startup+6.3002 s]
/proc/loadavg: 1.41 1.37 2.18 5/258 857334
/proc/meminfo: memFree=123400452/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=338408 memory=251756 CPUtime=6.27 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 43216 0 0 0 555 72 0 0 20 0 1 0 165595462 346529792 62939 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 84602 62939 1441 291 0 76136 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 338408 KiB
Current children cumulated memory: 251756 KiB

[startup+12.7002 s]
/proc/loadavg: 1.81 1.46 2.20 5/258 857334
/proc/meminfo: memFree=122893028/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=352408 memory=320372 CPUtime=12.65 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 51767 0 0 0 1114 151 0 0 20 0 1 0 165595462 360865792 80093 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 88102 80093 1441 291 0 79636 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 352408 KiB
Current children cumulated memory: 320372 KiB

[startup+25.5002 s]
/proc/loadavg: 2.14 1.54 2.21 5/258 857335
/proc/meminfo: memFree=122077400/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=580556 memory=445164 CPUtime=25.41 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 75735 0 0 0 2261 280 0 0 20 0 1 0 165595462 594489344 111291 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 145139 111291 1441 291 0 136673 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 580556 KiB
Current children cumulated memory: 445164 KiB

[startup+51.1056 s]
/proc/loadavg: 2.92 1.77 2.27 5/258 857340
/proc/meminfo: memFree=120979612/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=596036 memory=487920 CPUtime=50.94 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 80957 0 0 0 4652 442 0 0 20 0 1 0 165595462 610340864 121980 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 149009 121980 1441 291 0 140543 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 596036 KiB
Current children cumulated memory: 487920 KiB

[startup+102.3 s]
/proc/loadavg: 3.63 2.16 2.38 5/258 857349
/proc/meminfo: memFree=118061200/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=596164 memory=488020 CPUtime=101.99 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 81695 0 0 0 9467 732 0 0 20 0 1 0 165595462 610471936 122005 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 149041 122005 1441 291 0 140575 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 596164 KiB
Current children cumulated memory: 488020 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 2.53 2.50 5/258 857359
/proc/meminfo: memFree=116912628/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=596372 memory=505700 CPUtime=161.83 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 82443 0 0 0 15143 1040 0 0 20 0 1 0 165595462 610684928 126425 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 149093 126425 1441 291 0 140627 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 596372 KiB
Current children cumulated memory: 505700 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 2.84 2.61 5/258 857370
/proc/meminfo: memFree=115482556/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=596628 memory=534028 CPUtime=221.68 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 82955 0 0 0 20860 1308 0 0 20 0 1 0 165595462 610947072 133507 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 149157 133507 1441 291 0 140691 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 596628 KiB
Current children cumulated memory: 534028 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 3.07 2.70 5/259 857764
/proc/meminfo: memFree=113602168/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=598612 memory=545408 CPUtime=281.52 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 84002 0 0 0 26597 1555 0 0 20 0 1 0 165595462 612978688 136352 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 149653 136352 1441 291 0 141187 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 598612 KiB
Current children cumulated memory: 545408 KiB

[startup+342.3 s]
/proc/loadavg: 4.22 3.29 2.80 5/256 857774
/proc/meminfo: memFree=113484556/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=600344 memory=546596 CPUtime=341.37 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 84844 0 0 0 32263 1874 0 0 20 0 1 0 165595462 614752256 136649 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 150086 136649 1441 291 0 141620 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 600344 KiB
Current children cumulated memory: 546596 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.44 2.89 5/256 857785
/proc/meminfo: memFree=112826712/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=601496 memory=553532 CPUtime=401.23 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 85584 0 0 0 37998 2125 0 0 20 0 1 0 165595462 615931904 138383 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 150374 138383 1441 291 0 141908 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 601496 KiB
Current children cumulated memory: 553532 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.56 2.96 5/258 857965
/proc/meminfo: memFree=112428564/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=602200 memory=560248 CPUtime=461.1 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 86272 0 0 0 43731 2379 0 0 20 0 1 0 165595462 616652800 140062 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 150550 140062 1441 291 0 142084 0

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

Current children cumulated memory: 918548 KiB

[startup+2922.3 s]
/proc/loadavg: 4.22 4.22 4.09 5/255 859034
/proc/meminfo: memFree=103481668/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=1253020 memory=918548 CPUtime=2915.44 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 151518 0 0 0 282316 9228 0 0 20 0 1 0 165595462 1283092480 229637 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 313255 229637 1441 291 0 304789 0
Current children cumulated CPU time: 2915.44 s
Current children cumulated vsize: 1253020 KiB
Current children cumulated memory: 918548 KiB

[startup+2982.3 s]
/proc/loadavg: 4.24 4.22 4.10 5/257 859050
/proc/meminfo: memFree=103451248/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=1253020 memory=918548 CPUtime=2975.28 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 151818 0 0 0 288192 9336 0 0 20 0 1 0 165595462 1283092480 229637 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 313255 229637 1441 291 0 304789 0
Current children cumulated CPU time: 2975.28 s
Current children cumulated vsize: 1253020 KiB
Current children cumulated memory: 918548 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.20 4.09 5/257 859060
/proc/meminfo: memFree=103430212/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=1259164 memory=939132 CPUtime=3035.13 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 154140 0 0 0 294076 9437 0 0 20 0 1 0 165595462 1289383936 234783 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 314791 234783 1441 291 0 306325 0
Current children cumulated CPU time: 3035.13 s
Current children cumulated vsize: 1259164 KiB
Current children cumulated memory: 939132 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.19 4.09 5/257 859071
/proc/meminfo: memFree=103424840/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=1260828 memory=943956 CPUtime=3094.98 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 155236 0 0 0 299901 9597 0 0 20 0 1 0 165595462 1291087872 235989 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 315207 235989 1441 291 0 306741 0
Current children cumulated CPU time: 3094.98 s
Current children cumulated vsize: 1260828 KiB
Current children cumulated memory: 943956 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.18 4.09 5/257 859081
/proc/meminfo: memFree=103418756/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=1260828 memory=943956 CPUtime=3154.84 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 155450 0 0 0 305759 9725 0 0 20 0 1 0 165595462 1291087872 235989 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 315207 235989 1441 291 0 306741 0
Current children cumulated CPU time: 3154.84 s
Current children cumulated vsize: 1260828 KiB
Current children cumulated memory: 943956 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.17 4.09 5/256 859093
/proc/meminfo: memFree=103359164/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=1260828 memory=943956 CPUtime=3214.68 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 155621 0 0 0 311642 9826 0 0 20 0 1 0 165595462 1291087872 235989 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 315207 235989 1441 291 0 306741 0
Current children cumulated CPU time: 3214.68 s
Current children cumulated vsize: 1260828 KiB
Current children cumulated memory: 943956 KiB

[startup+3282.3 s]
/proc/loadavg: 4.44 4.26 4.13 5/256 859103
/proc/meminfo: memFree=103341108/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=1261084 memory=944312 CPUtime=3274.53 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 155914 0 0 0 317526 9927 0 0 20 0 1 0 165595462 1291350016 236078 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 315271 236078 1441 291 0 306805 0
Current children cumulated CPU time: 3274.53 s
Current children cumulated vsize: 1261084 KiB
Current children cumulated memory: 944312 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.23 4.12 5/254 859113
/proc/meminfo: memFree=103277960/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=1263260 memory=963788 CPUtime=3334.38 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 158166 0 0 0 323376 10062 0 0 20 0 1 0 165595462 1293578240 240947 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 315815 240947 1441 291 0 307349 0
Current children cumulated CPU time: 3334.38 s
Current children cumulated vsize: 1263260 KiB
Current children cumulated memory: 963788 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.23 4.13 5/254 859124
/proc/meminfo: memFree=103259916/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=1263260 memory=963788 CPUtime=3394.21 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 158465 0 0 0 329232 10189 0 0 20 0 1 0 165595462 1293578240 240947 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 315815 240947 1441 291 0 307349 0
Current children cumulated CPU time: 3394.21 s
Current children cumulated vsize: 1263260 KiB
Current children cumulated memory: 963788 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.20 4.12 5/254 859134
/proc/meminfo: memFree=103259424/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=1263260 memory=963788 CPUtime=3454.06 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 158679 0 0 0 335122 10284 0 0 20 0 1 0 165595462 1293578240 240947 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 315815 240947 1441 291 0 307349 0
Current children cumulated CPU time: 3454.06 s
Current children cumulated vsize: 1263260 KiB
Current children cumulated memory: 963788 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.18 4.12 5/254 859144
/proc/meminfo: memFree=103254144/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=1263260 memory=963788 CPUtime=3513.91 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 158867 0 0 0 341002 10389 0 0 20 0 1 0 165595462 1293578240 240947 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 315815 240947 1441 291 0 307349 0
Current children cumulated CPU time: 3513.91 s
Current children cumulated vsize: 1263260 KiB
Current children cumulated memory: 963788 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/254 859155
/proc/meminfo: memFree=103190976/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=1266332 memory=979612 CPUtime=3573.75 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 160513 0 0 0 346894 10481 0 0 20 0 1 0 165595462 1296723968 244903 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 316583 244903 1441 291 0 308117 0
Current children cumulated CPU time: 3573.75 s
Current children cumulated vsize: 1266332 KiB
Current children cumulated memory: 979612 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.7 s]
/proc/loadavg: 4.08 4.16 4.11 5/256 859164
/proc/meminfo: memFree=103163612/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=1266844 memory=985892 CPUtime=3600.08 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 161441 0 0 0 349454 10554 0 0 20 0 1 0 165595462 1297248256 246473 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 316711 246473 1441 291 0 308245 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1266844 KiB
Current children cumulated memory: 985892 KiB

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

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

# cumulated CPU time of all completed processes:  user=3494.55 s, system=105.566 s

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

[startup+3608.7 s]
/proc/loadavg: 4.08 4.16 4.11 5/256 859164
/proc/meminfo: memFree=103163612/131524600 swapFree=131071996/131071996
[pid=857298] ppid=857295 vsize=1266844 memory=985892 CPUtime=3600.08 cores=4,6
/proc/857298/stat : 857298 (pb-oll-rs) R 857295 857298 857258 0 -1 4194304 161441 0 0 0 349454 10554 0 0 20 0 1 0 165595462 1297248256 246473 134679101440 4194304 5384005 140720765688368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35430400 140720765690903 140720765690980 140720765690980 140720765697995 0
/proc/857298/statm: 316711 246473 1441 291 0 308245 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1266844 KiB
Current children cumulated memory: 985892 KiB

Child status: 0

Real time (s): 3608.72
CPU time (s): 3600.11
CPU user time (s): 3494.55
CPU system time (s): 105.566
CPU usage (%): 99.7614
Max. virtual memory (cumulated for all children) (KiB): 1268164
Max. memory (cumulated for all children) (KiB): 986868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3494.55
system time used= 105.566
maximum resident set size= 986868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161456
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= 146
involuntary context switches= 1885


# summary of solver processes directly reported to runsolver:
#   pid: 857298
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3494.55
#   total CPU system time (s): 105.566

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.62458 second user time and 17.9349 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-16 14:51:10
IDJOB=4436062
IDBENCH=155403
IDSOLVER=3067
FILE ID=nodeC033/4436062-1721134257
RUNJOBID= nodeC033-1721134269-857269
SLURM_JOB_ID= 7505706
Free space on /tmp= 889968 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_3_shg.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436062-1721134257/watcher-4436062-1721134257 -o /tmp/evaluation-result-4436062-1721134257/solver-4436062-1721134257 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721134269-857269 --watchdog 3760  pb-oll-rs HOME/instance-4436062-1721134257.opb

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

MD5SUM BENCH= 9f3f50f555350d326304759fc873d478
RANDOM SEED=1212392137

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124860268 kB
MemAvailable:   129634252 kB
Buffers:          442840 kB
Cached:          5112104 kB
SwapCached:            0 kB
Active:           702416 kB
Inactive:        5243984 kB
Active(anon):       1452 kB
Inactive(anon):   428360 kB
Active(file):     700964 kB
Inactive(file):  4815624 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            130716 kB
Writeback:             0 kB
AnonPages:        389836 kB
Mapped:           103620 kB
Shmem:             37716 kB
KReclaimable:     194084 kB
Slab:             311760 kB
SReclaimable:     194084 kB
SUnreclaim:       117676 kB
KernelStack:        3904 kB
PageTables:         9468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     799564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62304 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      262868 kB
DirectMap2M:    25724928 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 889404 MiB
End job on nodeC033 at 2024-07-16 15:51:18