Trace number 4454504

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-19SAT (TO)61 3600.09 3611.15

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.77/0.83	c [STEP] solving
0.77/0.83	c #variables 5048 #constraints 65280
0.77/0.83	c SMALL=int, LARGE=long long
0.77/0.83	c bounds - >= 0 @ 0.768494
0.77/0.83	c stratification level: 0
0.88/0.99	c bounds - >= 1 @ 0.814336
0.88/0.99	c bounds - >= 2 @ 0.815575
0.88/0.99	c bounds - >= 3 @ 0.817572
0.88/0.99	c bounds - >= 4 @ 0.817953
0.88/0.99	c bounds - >= 5 @ 0.820558
0.88/0.99	c bounds - >= 6 @ 0.823304
0.88/0.99	c bounds - >= 7 @ 0.824556
0.88/0.99	c bounds - >= 8 @ 0.825911
0.88/0.99	c bounds - >= 9 @ 0.826552
0.88/0.99	c bounds - >= 10 @ 0.827549
0.88/0.99	c bounds - >= 11 @ 0.82755
0.88/0.99	c bounds - >= 12 @ 0.827682
0.88/0.99	c bounds - >= 13 @ 0.828547
0.88/0.99	c bounds - >= 14 @ 0.829544
0.88/0.99	c bounds - >= 15 @ 0.829926
0.88/0.99	c bounds - >= 16 @ 0.83157
0.88/0.99	c bounds - >= 17 @ 0.833536
0.88/0.99	c bounds - >= 18 @ 0.841696
0.88/0.99	c bounds - >= 19 @ 0.84325
0.88/0.99	c bounds - >= 20 @ 0.844653
0.88/0.99	c bounds - >= 21 @ 0.848368
0.88/0.99	c finalizing WCE round: reformulating cores
21.82/21.98	c #Conflicts:       1000 | #Constraints:      66308
21.82/21.98	c #Conflicts:       2000 | #Constraints:      67313
21.82/21.98	c INPROCESSING
21.82/21.98	c GARBAGE COLLECT
21.82/21.98	c #Conflicts:       3000 | #Constraints:      67307
21.82/21.98	c #Conflicts:       4000 | #Constraints:      68309
21.82/21.98	c INPROCESSING
21.82/21.98	c GARBAGE COLLECT
21.82/21.98	c #Conflicts:       5000 | #Constraints:      67718
21.82/21.98	c #Conflicts:       6000 | #Constraints:      68739
21.82/21.98	c INPROCESSING
21.82/21.98	c GARBAGE COLLECT
21.82/21.98	c #Conflicts:       7000 | #Constraints:      67733
21.82/21.98	c #Conflicts:       8000 | #Constraints:      68735
21.82/21.98	c #Conflicts:       9000 | #Constraints:      69739
21.82/21.98	c INPROCESSING
21.82/21.98	c GARBAGE COLLECT
21.82/21.98	c #Conflicts:      10000 | #Constraints:      68443
21.82/21.98	c bounds 63 >= 21 @ 18.4627
21.82/21.98	c bounds 63 >= 22 @ 18.4731
21.82/21.98	c bounds 63 >= 23 @ 18.4751
21.82/21.98	c bounds 63 >= 24 @ 18.4766
21.82/21.98	c bounds 63 >= 25 @ 18.4782
21.82/21.98	c bounds 63 >= 26 @ 18.4835
21.82/21.98	c bounds 63 >= 27 @ 18.5123
21.82/21.98	c #Conflicts:      11000 | #Constraints:      69494
21.82/21.98	c finalizing WCE round: reformulating cores
732.14/734.34	c #Conflicts:      12000 | #Constraints:      70499
732.14/734.34	c INPROCESSING
732.14/734.34	c GARBAGE COLLECT
732.14/734.34	c #Conflicts:      13000 | #Constraints:      68944
732.14/734.34	c #Conflicts:      14000 | #Constraints:      69946
732.14/734.34	c #Conflicts:      15000 | #Constraints:      70948
732.14/734.34	c INPROCESSING
732.14/734.34	c GARBAGE COLLECT
732.14/734.34	c bounds 61 >= 27 @ 30.0293
732.14/734.34	c bounds 61 >= 28 @ 30.0438
732.14/734.34	c bounds 61 >= 29 @ 30.3014
732.14/734.34	c #Conflicts:      16000 | #Constraints:      69239
732.14/734.34	c #Conflicts:      17000 | #Constraints:      70239
732.14/734.34	c #Conflicts:      18000 | #Constraints:      71239
732.14/734.34	c INPROCESSING
732.14/734.34	c GARBAGE COLLECT
732.14/734.34	c #Conflicts:      19000 | #Constraints:      69237
732.14/734.34	c #Conflicts:      20000 | #Constraints:      70237
732.14/734.34	c #Conflicts:      21000 | #Constraints:      71237
732.14/734.34	c INPROCESSING
732.14/734.34	c GARBAGE COLLECT
732.14/734.34	c #Conflicts:      22000 | #Constraints:      69039
732.14/734.34	c #Conflicts:      23000 | #Constraints:      70039
732.14/734.34	c #Conflicts:      24000 | #Constraints:      71039
732.14/734.34	c #Conflicts:      25000 | #Constraints:      72039
732.14/734.34	c INPROCESSING
732.14/734.34	c GARBAGE COLLECT
732.14/734.34	c #Conflicts:      26000 | #Constraints:      69645
732.14/734.34	c #Conflicts:      27000 | #Constraints:      70645
732.14/734.34	c #Conflicts:      28000 | #Constraints:      71645
732.14/734.34	c #Conflicts:      29000 | #Constraints:      72645
732.14/734.34	c INPROCESSING
732.14/734.34	c GARBAGE COLLECT
732.14/734.34	c #Conflicts:      30000 | #Constraints:      70055
732.14/734.34	c #Conflicts:      31000 | #Constraints:      71055
732.14/734.34	c #Conflicts:      32000 | #Constraints:      72055
732.14/734.34	c #Conflicts:      33000 | #Constraints:      73055
732.14/734.34	c INPROCESSING
732.14/734.34	c GARBAGE COLLECT
732.14/734.34	c #Conflicts:      34000 | #Constraints:      70253
732.14/734.34	c #Conflicts:      35000 | #Constraints:      71253
732.14/734.34	c #Conflicts:      36000 | #Constraints:      72253
732.14/734.34	c #Conflicts:      37000 | #Constraints:      73253
732.14/734.34	c INPROCESSING
732.14/734.34	c GARBAGE COLLECT
732.14/734.34	c #Conflicts:      38000 | #Constraints:      70242
732.14/734.34	c #Conflicts:      39000 | #Constraints:      71242
732.14/734.34	c #Conflicts:      40000 | #Constraints:      72242
732.14/734.34	c #Conflicts:      41000 | #Constraints:      73242
732.14/734.34	c INPROCESSING
732.14/734.34	c GARBAGE COLLECT
732.14/734.34	c #Conflicts:      42000 | #Constraints:      70051
732.14/734.34	c #Conflicts:      43000 | #Constraints:      71051
732.14/734.34	c #Conflicts:      44000 | #Constraints:      72051
732.14/734.34	c #Conflicts:      45000 | #Constraints:      73051
732.14/734.34	c #Conflicts:      46000 | #Constraints:      74051
732.14/734.34	c INPROCESSING
732.14/734.34	c GARBAGE COLLECT
732.14/734.34	c #Conflicts:      47000 | #Constraints:      70654
732.14/734.34	c #Conflicts:      48000 | #Constraints:      71654
732.14/734.34	c #Conflicts:      49000 | #Constraints:      72654
732.14/734.34	c #Conflicts:      50000 | #Constraints:      73654
732.14/734.34	c #Conflicts:      51000 | #Constraints:      74654
732.14/734.34	c INPROCESSING
732.14/734.34	c GARBAGE COLLECT
732.14/734.34	c #Conflicts:      52000 | #Constraints:      71057
732.14/734.34	c #Conflicts:      53000 | #Constraints:      72057
732.14/734.34	c #Conflicts:      54000 | #Constraints:      73057
732.14/734.34	c #Conflicts:      55000 | #Constraints:      74057
732.14/734.34	c #Conflicts:      56000 | #Constraints:      75057
732.14/734.34	c INPROCESSING
732.14/734.34	c GARBAGE COLLECT
732.14/734.34	c #Conflicts:      57000 | #Constraints:      71256
732.14/734.34	c #Conflicts:      58000 | #Constraints:      72256
732.14/734.34	c #Conflicts:      59000 | #Constraints:      73256
732.14/734.34	c #Conflicts:      60000 | #Constraints:      74256
732.14/734.34	c #Conflicts:      61000 | #Constraints:      75256
732.14/734.34	c INPROCESSING
732.14/734.34	c GARBAGE COLLECT
732.14/734.34	c #Conflicts:      62000 | #Constraints:      71249
732.14/734.34	c #Conflicts:      63000 | #Constraints:      72249
732.14/734.34	c #Conflicts:      64000 | #Constraints:      73249
732.14/734.34	c #Conflicts:      65000 | #Constraints:      74249
732.14/734.34	c #Conflicts:      66000 | #Constraints:      75249
732.14/734.34	c INPROCESSING
732.14/734.34	c GARBAGE COLLECT
732.14/734.34	c #Conflicts:      67000 | #Constraints:      71053
732.14/734.34	c #Conflicts:      68000 | #Constraints:      72053
732.14/734.34	c #Conflicts:      69000 | #Constraints:      73053
732.14/734.34	c #Conflicts:      70000 | #Constraints:      74053
732.14/734.34	c #Conflicts:      71000 | #Constraints:      75053
732.14/734.34	c #Conflicts:      72000 | #Constraints:      76053
732.14/734.34	c INPROCESSING
732.14/734.34	c GARBAGE COLLECT
732.14/734.34	c #Conflicts:      73000 | #Constraints:      71658
732.14/734.34	c #Conflicts:      74000 | #Constraints:      72658
732.14/734.34	c #Conflicts:      75000 | #Constraints:      73658
732.14/734.34	c #Conflicts:      76000 | #Constraints:      74658
732.14/734.34	c #Conflicts:      77000 | #Constraints:      75658
732.14/734.34	c #Conflicts:      78000 | #Constraints:      76658
732.14/734.34	c INPROCESSING
732.14/734.34	c GARBAGE COLLECT
2097.32/2103.74	c #Conflicts:      79000 | #Constraints:      72066
2097.32/2103.74	c #Conflicts:      80000 | #Constraints:      73066
2097.32/2103.74	c #Conflicts:      81000 | #Constraints:      74066
2097.32/2103.74	c #Conflicts:      82000 | #Constraints:      75066
2097.32/2103.74	c #Conflicts:      83000 | #Constraints:      76066
2097.32/2103.74	c #Conflicts:      84000 | #Constraints:      77066
2097.32/2103.74	c INPROCESSING
2097.32/2103.74	c GARBAGE COLLECT
2097.32/2103.74	c #Conflicts:      85000 | #Constraints:      72268
2097.32/2103.74	c #Conflicts:      86000 | #Constraints:      73268
2097.32/2103.74	c #Conflicts:      87000 | #Constraints:      74268
2097.32/2103.74	c #Conflicts:      88000 | #Constraints:      75268
2097.32/2103.74	c #Conflicts:      89000 | #Constraints:      76268
2097.32/2103.74	c #Conflicts:      90000 | #Constraints:      77268
2097.32/2103.74	c INPROCESSING
2097.32/2103.74	c GARBAGE COLLECT
2097.32/2103.74	c #Conflicts:      91000 | #Constraints:      72267
2097.32/2103.74	c #Conflicts:      92000 | #Constraints:      73267
2097.32/2103.74	c #Conflicts:      93000 | #Constraints:      74267
2097.32/2103.74	c #Conflicts:      94000 | #Constraints:      75267
2097.32/2103.74	c #Conflicts:      95000 | #Constraints:      76267
2097.32/2103.74	c #Conflicts:      96000 | #Constraints:      77267
2097.32/2103.74	c INPROCESSING
2097.32/2103.74	c GARBAGE COLLECT
2097.32/2103.74	c #Conflicts:      97000 | #Constraints:      72064
2097.32/2103.74	c #Conflicts:      98000 | #Constraints:      73064
2097.32/2103.74	c #Conflicts:      99000 | #Constraints:      74064
2097.32/2103.74	c #Conflicts:     100000 | #Constraints:      75064
2097.32/2103.74	c #Conflicts:     101000 | #Constraints:      76064
2097.32/2103.74	c #Conflicts:     102000 | #Constraints:      77064
2097.32/2103.74	c #Conflicts:     103000 | #Constraints:      78064
2097.32/2103.74	c INPROCESSING
2097.32/2103.74	c GARBAGE COLLECT
2097.32/2103.74	c #Conflicts:     104000 | #Constraints:      72661
2097.32/2103.74	c #Conflicts:     105000 | #Constraints:      73661
2097.32/2103.74	c #Conflicts:     106000 | #Constraints:      74661
2097.32/2103.74	c #Conflicts:     107000 | #Constraints:      75661
2097.32/2103.74	c #Conflicts:     108000 | #Constraints:      76661
2097.32/2103.74	c #Conflicts:     109000 | #Constraints:      77661
2097.32/2103.74	c #Conflicts:     110000 | #Constraints:      78661
2097.32/2103.74	c INPROCESSING
2097.32/2103.74	c GARBAGE COLLECT
2097.32/2103.74	c #Conflicts:     111000 | #Constraints:      73055
2097.32/2103.74	c #Conflicts:     112000 | #Constraints:      74055
2097.32/2103.74	c #Conflicts:     113000 | #Constraints:      75055
2097.32/2103.74	c #Conflicts:     114000 | #Constraints:      76055
2097.32/2103.74	c #Conflicts:     115000 | #Constraints:      77055
2097.32/2103.74	c #Conflicts:     116000 | #Constraints:      78055
2097.32/2103.74	c #Conflicts:     117000 | #Constraints:      79055
2097.32/2103.74	c INPROCESSING
2097.32/2103.74	c GARBAGE COLLECT
2097.32/2103.74	c #Conflicts:     118000 | #Constraints:      73259
2097.32/2103.74	c #Conflicts:     119000 | #Constraints:      74259
2097.32/2103.74	c #Conflicts:     120000 | #Constraints:      75259
2097.32/2103.74	c #Conflicts:     121000 | #Constraints:      76259
2097.32/2103.74	c #Conflicts:     122000 | #Constraints:      77259
2097.32/2103.74	c #Conflicts:     123000 | #Constraints:      78259
2097.32/2103.74	c #Conflicts:     124000 | #Constraints:      79259
2097.32/2103.74	c INPROCESSING
2097.32/2103.74	c GARBAGE COLLECT
2097.32/2103.74	c #Conflicts:     125000 | #Constraints:      73269
2097.32/2103.74	c #Conflicts:     126000 | #Constraints:      74269
2097.32/2103.74	c #Conflicts:     127000 | #Constraints:      75269
2097.32/2103.74	c #Conflicts:     128000 | #Constraints:      76269
2097.32/2103.74	c #Conflicts:     129000 | #Constraints:      77269
2097.32/2103.74	c #Conflicts:     130000 | #Constraints:      78269
2097.32/2103.74	c #Conflicts:     131000 | #Constraints:      79269
2097.32/2103.74	c INPROCESSING
2097.32/2103.74	c GARBAGE COLLECT
2097.32/2103.74	c #Conflicts:     132000 | #Constraints:      73053
2097.32/2103.74	c #Conflicts:     133000 | #Constraints:      74053
2097.32/2103.74	c #Conflicts:     134000 | #Constraints:      75053
2097.32/2103.74	c #Conflicts:     135000 | #Constraints:      76053
2097.32/2103.74	c #Conflicts:     136000 | #Constraints:      77053
2097.32/2103.74	c #Conflicts:     137000 | #Constraints:      78053
2097.32/2103.74	c #Conflicts:     138000 | #Constraints:      79053
2097.32/2103.74	c #Conflicts:     139000 | #Constraints:      80053
2097.32/2103.74	c INPROCESSING
2097.32/2103.74	c GARBAGE COLLECT
2097.32/2103.74	c #Conflicts:     140000 | #Constraints:      73655
2097.32/2103.74	c #Conflicts:     141000 | #Constraints:      74655
2097.32/2103.74	c #Conflicts:     142000 | #Constraints:      75655
2097.32/2103.74	c #Conflicts:     143000 | #Constraints:      76655
2097.32/2103.74	c #Conflicts:     144000 | #Constraints:      77655
2097.32/2103.74	c #Conflicts:     145000 | #Constraints:      78655
2097.32/2103.74	c #Conflicts:     146000 | #Constraints:      79655
2097.32/2103.74	c #Conflicts:     147000 | #Constraints:      80655
2097.32/2103.74	c INPROCESSING
2097.32/2103.74	c GARBAGE COLLECT
2097.32/2103.74	c #Conflicts:     148000 | #Constraints:      74052
2097.32/2103.74	c #Conflicts:     149000 | #Constraints:      75052
2097.32/2103.74	c #Conflicts:     150000 | #Constraints:      76052
2097.32/2103.74	c #Conflicts:     151000 | #Constraints:      77052
3600.04/3611.11	c #Conflicts:     152000 | #Constraints:      78052
3600.04/3611.11	c #Conflicts:     153000 | #Constraints:      79052
3600.04/3611.11	c #Conflicts:     154000 | #Constraints:      80052
3600.04/3611.11	c #Conflicts:     155000 | #Constraints:      81052
3600.04/3611.11	c INPROCESSING
3600.04/3611.11	c GARBAGE COLLECT
3600.04/3611.11	c #Conflicts:     156000 | #Constraints:      74251
3600.04/3611.11	c #Conflicts:     157000 | #Constraints:      75251
3600.04/3611.11	c #Conflicts:     158000 | #Constraints:      76251
3600.04/3611.11	c #Conflicts:     159000 | #Constraints:      77251
3600.04/3611.11	c #Conflicts:     160000 | #Constraints:      78251
3600.04/3611.11	c #Conflicts:     161000 | #Constraints:      79251
3600.04/3611.11	c #Conflicts:     162000 | #Constraints:      80251
3600.04/3611.11	c #Conflicts:     163000 | #Constraints:      81251
3600.04/3611.11	c INPROCESSING
3600.04/3611.11	c GARBAGE COLLECT
3600.04/3611.11	c #Conflicts:     164000 | #Constraints:      74267
3600.04/3611.11	c #Conflicts:     165000 | #Constraints:      75267
3600.04/3611.11	c #Conflicts:     166000 | #Constraints:      76267
3600.04/3611.11	c #Conflicts:     167000 | #Constraints:      77267
3600.04/3611.11	c #Conflicts:     168000 | #Constraints:      78267
3600.04/3611.11	c #Conflicts:     169000 | #Constraints:      79267
3600.04/3611.11	c #Conflicts:     170000 | #Constraints:      80267
3600.04/3611.11	c #Conflicts:     171000 | #Constraints:      81267
3600.04/3611.11	c INPROCESSING
3600.04/3611.11	c GARBAGE COLLECT
3600.04/3611.11	c #Conflicts:     172000 | #Constraints:      74069
3600.04/3611.11	c #Conflicts:     173000 | #Constraints:      75069
3600.04/3611.11	c #Conflicts:     174000 | #Constraints:      76069
3600.04/3611.11	c #Conflicts:     175000 | #Constraints:      77069
3600.04/3611.11	c #Conflicts:     176000 | #Constraints:      78069
3600.04/3611.11	c #Conflicts:     177000 | #Constraints:      79069
3600.04/3611.11	c #Conflicts:     178000 | #Constraints:      80069
3600.04/3611.11	c #Conflicts:     179000 | #Constraints:      81069
3600.04/3611.11	c #Conflicts:     180000 | #Constraints:      82069
3600.04/3611.11	c INPROCESSING
3600.04/3611.11	c GARBAGE COLLECT
3600.04/3611.11	c #Conflicts:     181000 | #Constraints:      74667
3600.04/3611.11	c #Conflicts:     182000 | #Constraints:      75667
3600.04/3611.11	c #Conflicts:     183000 | #Constraints:      76667
3600.04/3611.11	c #Conflicts:     184000 | #Constraints:      77667
3600.04/3611.11	c #Conflicts:     185000 | #Constraints:      78667
3600.04/3611.11	c #Conflicts:     186000 | #Constraints:      79667
3600.04/3611.11	c #Conflicts:     187000 | #Constraints:      80667
3600.04/3611.11	c #Conflicts:     188000 | #Constraints:      81667
3600.04/3611.11	c #Conflicts:     189000 | #Constraints:      82667
3600.04/3611.11	c INPROCESSING
3600.04/3611.11	c GARBAGE COLLECT
3600.04/3611.11	c #Conflicts:     190000 | #Constraints:      75065
3600.04/3611.11	c #Conflicts:     191000 | #Constraints:      76065
3600.04/3611.11	c #Conflicts:     192000 | #Constraints:      77065
3600.04/3611.11	c #Conflicts:     193000 | #Constraints:      78065
3600.04/3611.11	c #Conflicts:     194000 | #Constraints:      79065
3600.04/3611.11	c #Conflicts:     195000 | #Constraints:      80065
3600.04/3611.11	c #Conflicts:     196000 | #Constraints:      81065
3600.04/3611.11	c #Conflicts:     197000 | #Constraints:      82065
3600.04/3611.11	c #Conflicts:     198000 | #Constraints:      83065
3600.04/3611.11	c INPROCESSING
3600.04/3611.11	c GARBAGE COLLECT
3600.04/3611.11	c #Conflicts:     199000 | #Constraints:      75268
3600.04/3611.11	c #Conflicts:     200000 | #Constraints:      76268
3600.04/3611.11	c #Conflicts:     201000 | #Constraints:      77268
3600.04/3611.11	c #Conflicts:     202000 | #Constraints:      78268
3600.04/3611.11	c #Conflicts:     203000 | #Constraints:      79268
3600.04/3611.11	c #Conflicts:     204000 | #Constraints:      80268
3600.04/3611.11	c #Conflicts:     205000 | #Constraints:      81268
3600.04/3611.11	c #Conflicts:     206000 | #Constraints:      82268
3600.04/3611.11	c #Conflicts:     207000 | #Constraints:      83268
3600.04/3611.11	c INPROCESSING
3600.04/3611.11	c GARBAGE COLLECT
3600.04/3611.11	c #Conflicts:     208000 | #Constraints:      75264
3600.04/3611.11	c Program interrupted by user.
3600.04/3611.11	c cpu time 3497.38 s
3600.04/3611.11	c deterministic time 254223022383 2.54e+11
3600.04/3611.11	c optimization time 43.7225 s
3600.04/3611.11	c total solve time 3452.89 s
3600.04/3611.11	c core-guided solve time 3452.89 s
3600.04/3611.11	c propagation time 3236.63 s
3600.04/3611.11	c conflict analysis time 139.661 s
3600.04/3611.11	c propagations 210042636
3600.04/3611.11	c resolve steps 808181
3600.04/3611.11	c decisions 130875901
3600.04/3611.11	c conflicts 208290
3600.04/3611.11	c restarts 510
3600.04/3611.11	c inprocessing phases 37
3600.04/3611.11	c input clauses 65319
3600.04/3611.11	c input cardinalities 107
3600.04/3611.11	c input general constraints 65
3600.04/3611.11	c input average constraint length 40.93
3600.04/3611.11	c input average constraint degree 2.11
3600.04/3611.11	c learned clauses 3751
3600.04/3611.11	c learned cardinalities 2431
3600.04/3611.11	c learned general constraints 202108
3600.04/3611.11	c learned average constraint length 2942.73
3600.04/3611.11	c learned average constraint degree 401985.48
3600.04/3611.11	c watched constraints 61594
3600.04/3611.11	c counting constraints 140579
3600.04/3611.11	c gcd simplifications 59
3600.04/3611.11	c detected cardinalities 27
3600.04/3611.11	c weakened non-implied lits 8030939
3600.04/3611.11	c weakened non-implying lits 207
3600.04/3611.11	c original variables 5048
3600.04/3611.11	c clausal propagations 3185908
3600.04/3611.11	c cardinality propagations 747554
3600.04/3611.11	c watched propagations 20289043
3600.04/3611.11	c counting propagations 183623962
3600.04/3611.11	c watch lookups 56874037858
3600.04/3611.11	c watch backjump lookups 56496485332
3600.04/3611.11	c watch checks 122999127372
3600.04/3611.11	c propagation checks 16225386418
3600.04/3611.11	c constraint additions 945942559
3600.04/3611.11	c trail pops 341124306
3600.04/3611.11	c formula constraints 65280
3600.04/3611.11	c learned constraints 208290
3600.04/3611.11	c bound constraints 43
3600.04/3611.11	c core-guided constraints 168
3600.04/3611.11	c encountered formula constraints 313899
3600.04/3611.11	c encountered learned constraints 606215
3600.04/3611.11	c encountered bound constraints 334
3600.04/3611.11	c encountered core-guided constraints 96023
3600.04/3611.11	c LP total time 0 s
3600.04/3611.11	c LP solve time 0 s
3600.04/3611.11	c LP constraints added 0
3600.04/3611.11	c LP constraints removed 0
3600.04/3611.11	c LP pivots internal 0
3600.04/3611.11	c LP pivots root 0
3600.04/3611.11	c LP calls 0
3600.04/3611.11	c LP optimalities 0
3600.04/3611.11	c LP no pivot count 0
3600.04/3611.11	c LP infeasibilities 0
3600.04/3611.11	c LP valid Farkas constraints 0
3600.04/3611.11	c LP learned Farkas constraints 0
3600.04/3611.11	c LP basis resets 0
3600.04/3611.11	c LP cycling count 0
3600.04/3611.11	c LP singular count 0
3600.04/3611.11	c LP no primal count 0
3600.04/3611.11	c LP no farkas count 0
3600.04/3611.11	c LP other issue count 0
3600.04/3611.11	c LP Gomory cuts 0
3600.04/3611.11	c LP learned cuts 0
3600.04/3611.11	c LP deleted cuts 0
3600.04/3611.11	c LP encountered Gomory constraints 0
3600.04/3611.11	c LP encountered Farkas constraints 0
3600.04/3611.11	c LP encountered learned Farkas constraints 0
3600.04/3611.11	c CG auxiliary variables introduced 65
3600.04/3611.11	c CG solutions found 2
3600.04/3611.11	c CG cores constructed 29
3600.04/3611.11	c CG core cardinality constraints returned 0
3600.04/3611.11	c CG unit cores 0
3600.04/3611.11	c CG single cores 29
3600.04/3611.11	c CG blocks removed during cardinality reduction 0
3600.04/3611.11	c CG first core best 0
3600.04/3611.11	c CG decision core best 0
3600.04/3611.11	c CG core reduction tie 0
3600.04/3611.11	c CG core degree average 1.00
3600.04/3611.11	c CG core slack average 88.28
3600.04/3611.11	c CG exhausted 0
3600.04/3611.11	c CG exhaust time 28.1067 s
3600.04/3611.11	c CG trimmed 0
3600.04/3611.11	c CG trim time 0.006553 s
3600.04/3611.11	c CG minimized 0
3600.04/3611.11	c CG minimize time 0 s
3600.04/3611.11	c CG am1 prop time 0.018601 s
3600.04/3611.11	c CG # am1s reformulated 0
3600.04/3611.11	c CG lower bound derived from am1s 0
3600.04/3611.11	c CG # clausal cores 29
3600.04/3611.11	c CG # cardinality cores 0
3600.04/3611.11	c CG # pb cores 0
3600.04/3611.11	c CG # pb reforms 0
3600.04/3611.11	c CG # cores discarded because of pb reform 0
3600.04/3611.11	d LOWERBOUND 29
3600.04/3611.11	d NCORES 29
3600.04/3611.11	d NPBCORES 0
3600.04/3611.11	d NPBREFORM 0
3600.04/3611.11	d NTRIMMED 0
3600.04/3611.11	d NEXHAUSTED 0
3600.04/3611.11	d NAM1S 0
3600.04/3611.11	d AM1LB 0
3600.04/3611.11	o 61
3600.04/3611.11	s SATISFIABLE
3600.04/3611.11	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 (62258 MiB free)
  memory of node 1: 64510 MiB (62504 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=1077479, runsolver pid=1077476

[startup+0.100233 s]*
/proc/loadavg: 4.07 4.09 4.06 5/256 1077480
/proc/meminfo: memFree=127745060/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=40364 memory=8680 CPUtime=0.09 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 830 0 0 0 9 0 0 0 20 0 1 0 199547810 41332736 2170 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 10091 2170 1180 291 0 1625 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40364 KiB
Current children cumulated memory: 8680 KiB

[startup+0.206234 s]*
/proc/loadavg: 4.07 4.09 4.06 5/256 1077480
/proc/meminfo: memFree=127739508/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=40628 memory=9468 CPUtime=0.19 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 1024 0 0 0 18 1 0 0 20 0 1 0 199547810 41603072 2367 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 10157 2367 1180 291 0 1691 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 40628 KiB
Current children cumulated memory: 9468 KiB

[startup+0.305298 s]*
/proc/loadavg: 4.07 4.09 4.06 5/256 1077480
/proc/meminfo: memFree=127735528/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=40760 memory=11052 CPUtime=0.29 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 1434 0 0 0 28 1 0 0 20 0 1 0 199547810 41738240 2763 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 10190 2763 1180 291 0 1724 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 40760 KiB
Current children cumulated memory: 11052 KiB

[startup+0.70018 s]
/proc/loadavg: 4.07 4.09 4.06 5/256 1077480
/proc/meminfo: memFree=127665208/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=48704 memory=18360 CPUtime=0.68 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 2726 0 0 0 64 4 0 0 20 0 1 0 199547810 49872896 4590 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 12176 4590 1180 291 0 3710 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 48704 KiB
Current children cumulated memory: 18360 KiB

[startup+1.50019 s]
/proc/loadavg: 4.06 4.09 4.06 5/256 1077480
/proc/meminfo: memFree=127602504/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=98480 memory=63324 CPUtime=1.48 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 11856 0 0 0 132 16 0 0 20 0 1 0 199547810 100843520 15831 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 24620 15831 1353 291 0 16154 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 98480 KiB
Current children cumulated memory: 63324 KiB

[startup+3.10528 s]
/proc/loadavg: 4.06 4.09 4.06 5/256 1077480
/proc/meminfo: memFree=127118028/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=210896 memory=159784 CPUtime=3.08 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 27773 0 0 0 276 32 0 0 20 0 1 0 199547810 215957504 39946 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 52724 39946 1353 291 0 44258 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 210896 KiB
Current children cumulated memory: 159784 KiB

[startup+6.30018 s]
/proc/loadavg: 4.06 4.09 4.06 5/256 1077480
/proc/meminfo: memFree=126844964/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=338408 memory=251368 CPUtime=6.27 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 43159 0 0 0 553 74 0 0 20 0 1 0 199547810 346529792 62842 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 84602 62842 1414 291 0 76136 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 338408 KiB
Current children cumulated memory: 251368 KiB

[startup+12.7002 s]
/proc/loadavg: 4.05 4.08 4.06 5/256 1077482
/proc/meminfo: memFree=126266840/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=352408 memory=320244 CPUtime=12.65 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 51762 0 0 0 1108 157 0 0 20 0 1 0 199547810 360865792 80061 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 88102 80061 1414 291 0 79636 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 352408 KiB
Current children cumulated memory: 320244 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.10 4.07 5/256 1077483
/proc/meminfo: memFree=125657120/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=580556 memory=444416 CPUtime=25.42 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 75737 0 0 0 2256 286 0 0 20 0 1 0 199547810 594489344 111104 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 145139 111104 1414 291 0 136673 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 580556 KiB
Current children cumulated memory: 444416 KiB

[startup+51.1054 s]
/proc/loadavg: 4.07 4.09 4.06 5/256 1077489
/proc/meminfo: memFree=124789900/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=596036 memory=487172 CPUtime=50.96 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 80893 0 0 0 4645 451 0 0 20 0 1 0 199547810 610340864 121793 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 149009 121793 1414 291 0 140543 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 596036 KiB
Current children cumulated memory: 487172 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.06 5/256 1077497
/proc/meminfo: memFree=124375904/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=596164 memory=487272 CPUtime=102.02 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 81513 0 0 0 9467 735 0 0 20 0 1 0 199547810 610471936 121818 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 149041 121818 1414 291 0 140575 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 596164 KiB
Current children cumulated memory: 487272 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.07 5/256 1077507
/proc/meminfo: memFree=124267188/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=596372 memory=487472 CPUtime=161.87 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 82163 0 0 0 15147 1040 0 0 20 0 1 0 199547810 610684928 121868 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 149093 121868 1414 291 0 140627 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 596372 KiB
Current children cumulated memory: 487472 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.08 4.06 5/256 1077518
/proc/meminfo: memFree=124152632/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=596628 memory=487696 CPUtime=221.7 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 82522 0 0 0 20871 1299 0 0 20 0 1 0 199547810 610947072 121924 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 149157 121924 1414 291 0 140691 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 596628 KiB
Current children cumulated memory: 487696 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.09 4.07 5/256 1077529
/proc/meminfo: memFree=124075356/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=598100 memory=488664 CPUtime=281.52 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 83094 0 0 0 26619 1533 0 0 20 0 1 0 199547810 612454400 122166 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 149525 122166 1414 291 0 141059 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 598100 KiB
Current children cumulated memory: 488664 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.09 4.07 5/254 1077539
/proc/meminfo: memFree=123944332/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=600344 memory=491244 CPUtime=341.34 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 84317 0 0 0 32348 1786 0 0 20 0 1 0 199547810 614752256 122811 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 150086 122811 1414 291 0 141620 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 600344 KiB
Current children cumulated memory: 491244 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.09 4.07 5/254 1077549
/proc/meminfo: memFree=123786844/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=601496 memory=499164 CPUtime=401.15 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 85088 0 0 0 38108 2007 0 0 20 0 1 0 199547810 615931904 124791 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 150374 124791 1414 291 0 141908 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 601496 KiB
Current children cumulated memory: 499164 KiB

[startup+462.3 s]
/proc/loadavg: 4.25 4.12 4.08 5/254 1077560
/proc/meminfo: memFree=123738852/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=601496 memory=499164 CPUtime=460.97 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 85146 0 0 0 43874 2223 0 0 20 0 1 0 199547810 615931904 124791 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 150374 124791 1414 291 0 141908 0

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

Current children cumulated memory: 906104 KiB

[startup+2922.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/256 1079173
/proc/meminfo: memFree=120312528/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=1249308 memory=906104 CPUtime=2913.39 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 154236 0 0 0 282432 8907 0 0 20 0 1 0 199547810 1279291392 226526 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 312327 226526 1414 291 0 303861 0
Current children cumulated CPU time: 2913.39 s
Current children cumulated vsize: 1249308 KiB
Current children cumulated memory: 906104 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/256 1079183
/proc/meminfo: memFree=120252460/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=1249308 memory=906104 CPUtime=2973.2 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 154236 0 0 0 288304 9016 0 0 20 0 1 0 199547810 1279291392 226526 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 312327 226526 1414 291 0 303861 0
Current children cumulated CPU time: 2973.2 s
Current children cumulated vsize: 1249308 KiB
Current children cumulated memory: 906104 KiB

[startup+3042.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/258 1079198
/proc/meminfo: memFree=120216960/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=1249564 memory=906104 CPUtime=3033.01 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 154264 0 0 0 294184 9117 0 0 20 0 1 0 199547810 1279553536 226526 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 312391 226526 1414 291 0 303925 0
Current children cumulated CPU time: 3033.01 s
Current children cumulated vsize: 1249564 KiB
Current children cumulated memory: 906104 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/257 1079219
/proc/meminfo: memFree=120136472/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=1253020 memory=912428 CPUtime=3092.82 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 155607 0 0 0 300034 9248 0 0 20 0 1 0 199547810 1283092480 228107 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 313255 228107 1414 291 0 304789 0
Current children cumulated CPU time: 3092.82 s
Current children cumulated vsize: 1253020 KiB
Current children cumulated memory: 912428 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/257 1079229
/proc/meminfo: memFree=120099388/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=1253020 memory=912428 CPUtime=3152.64 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 155707 0 0 0 305867 9397 0 0 20 0 1 0 199547810 1283092480 228107 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 313255 228107 1414 291 0 304789 0
Current children cumulated CPU time: 3152.64 s
Current children cumulated vsize: 1253020 KiB
Current children cumulated memory: 912428 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/256 1079240
/proc/meminfo: memFree=120086476/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=1253020 memory=912428 CPUtime=3212.46 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 155869 0 0 0 311741 9505 0 0 20 0 1 0 199547810 1283092480 228107 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 313255 228107 1414 291 0 304789 0
Current children cumulated CPU time: 3212.46 s
Current children cumulated vsize: 1253020 KiB
Current children cumulated memory: 912428 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/256 1079251
/proc/meminfo: memFree=120086048/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=1253020 memory=912436 CPUtime=3272.27 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 155978 0 0 0 317616 9611 0 0 20 0 1 0 199547810 1283092480 228109 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 313255 228109 1414 291 0 304789 0
Current children cumulated CPU time: 3272.27 s
Current children cumulated vsize: 1253020 KiB
Current children cumulated memory: 912436 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 1079261
/proc/meminfo: memFree=120059808/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=1260828 memory=938040 CPUtime=3332.08 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 159686 0 0 0 323489 9719 0 0 20 0 1 0 199547810 1291087872 234510 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 315207 234510 1414 291 0 306741 0
Current children cumulated CPU time: 3332.08 s
Current children cumulated vsize: 1260828 KiB
Current children cumulated memory: 938040 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 1079271
/proc/meminfo: memFree=120031900/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=1260828 memory=938040 CPUtime=3391.9 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 159686 0 0 0 329313 9877 0 0 20 0 1 0 199547810 1291087872 234510 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 315207 234510 1414 291 0 306741 0
Current children cumulated CPU time: 3391.9 s
Current children cumulated vsize: 1260828 KiB
Current children cumulated memory: 938040 KiB

[startup+3462.3 s]
/proc/loadavg: 4.28 4.15 4.10 5/254 1079282
/proc/meminfo: memFree=120021244/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=1260828 memory=938040 CPUtime=3451.71 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 159732 0 0 0 335171 10000 0 0 20 0 1 0 199547810 1291087872 234510 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 315207 234510 1414 291 0 306741 0
Current children cumulated CPU time: 3451.71 s
Current children cumulated vsize: 1260828 KiB
Current children cumulated memory: 938040 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/255 1079293
/proc/meminfo: memFree=120012032/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=1260828 memory=938040 CPUtime=3511.52 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 160791 0 0 0 341055 10097 0 0 20 0 1 0 199547810 1291087872 234510 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 315207 234510 1414 291 0 306741 0
Current children cumulated CPU time: 3511.52 s
Current children cumulated vsize: 1260828 KiB
Current children cumulated memory: 938040 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 1079303
/proc/meminfo: memFree=120002072/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=1262364 memory=947944 CPUtime=3571.32 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 161821 0 0 0 346934 10198 0 0 20 0 1 0 199547810 1292660736 236986 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 315591 236986 1414 291 0 307125 0
Current children cumulated CPU time: 3571.32 s
Current children cumulated vsize: 1262364 KiB
Current children cumulated memory: 947944 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.14 4.13 4.09 5/256 1079419
/proc/meminfo: memFree=127567352/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=1263260 memory=958104 CPUtime=3600.04 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 163326 0 0 0 349737 10267 0 0 20 0 1 0 199547810 1293578240 239526 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 315815 239526 1414 291 0 307349 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1263260 KiB
Current children cumulated memory: 958104 KiB

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

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

# cumulated CPU time of all completed processes:  user=3497.38 s, system=102.704 s

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

[startup+3611.11 s]
/proc/loadavg: 4.14 4.13 4.09 5/256 1079419
/proc/meminfo: memFree=127567352/131524600 swapFree=131071996/131071996
[pid=1077479] ppid=1077476 vsize=1263260 memory=958104 CPUtime=3600.04 cores=4,6
/proc/1077479/stat : 1077479 (pb-oll-rs) R 1077476 1077479 1075340 0 -1 4194304 163326 0 0 0 349737 10267 0 0 20 0 1 0 199547810 1293578240 239526 134679101440 4194304 5384485 140730252787280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13598720 140730252788757 140730252788834 140730252788834 140730252795851 0
/proc/1077479/statm: 315815 239526 1414 291 0 307349 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1263260 KiB
Current children cumulated memory: 958104 KiB

Child status: 0

Real time (s): 3611.15
CPU time (s): 3600.09
CPU user time (s): 3497.38
CPU system time (s): 102.704
CPU usage (%): 99.6938
Max. virtual memory (cumulated for all children) (KiB): 1264580
Max. memory (cumulated for all children) (KiB): 959220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3497.38
system time used= 102.704
maximum resident set size= 959220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163351
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= 6
involuntary context switches= 2063


# summary of solver processes directly reported to runsolver:
#   pid: 1077479
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3497.38
#   total CPU system time (s): 102.704

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77261 second user time and 15.6223 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2024-07-20 13:10:17
IDJOB=4454504
IDBENCH=155403
IDSOLVER=3082
FILE ID=nodeC029/4454504-1721473804
RUNJOBID= nodeC029-1721470199-1075351
SLURM_JOB_ID= 7545733
Free space on /tmp= 889920 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
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-4454504-1721473804/watcher-4454504-1721473804 -o /tmp/evaluation-result-4454504-1721473804/solver-4454504-1721473804 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721470199-1075351 --watchdog 3760  pb-oll-rs HOME/instance-4454504-1721473804.opb

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

MD5SUM BENCH= 9f3f50f555350d326304759fc873d478
RANDOM SEED=1799097079

nodeC029.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		: 3680.569
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	: 7000.09
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		: 3686.983
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.98
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		: 3613.021
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	: 7000.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.389
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.98
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		: 3678.096
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	: 7000.09
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		: 3687.017
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.98
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		: 3660.531
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	: 7000.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.325
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.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127757076 kB
MemAvailable:   128951528 kB
Buffers:          557064 kB
Cached:          1476388 kB
SwapCached:            0 kB
Active:          1203036 kB
Inactive:        1931224 kB
Active(anon):       1464 kB
Inactive(anon):  1145232 kB
Active(file):    1201572 kB
Inactive(file):   785992 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            153716 kB
Writeback:            12 kB
AnonPages:       1100524 kB
Mapped:           111548 kB
Shmem:             45912 kB
KReclaimable:      93072 kB
Slab:             205936 kB
SReclaimable:      93072 kB
SUnreclaim:       112864 kB
KernelStack:        4096 kB
PageTables:        11672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1778308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72640 kB
HardwareCorrupted:     0 kB
AnonHugePages:    364544 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:      281300 kB
DirectMap2M:    36192256 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 889960 MiB
End job on nodeC029 at 2024-07-20 14:10:28