Trace number 4454590

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)-267 3600.04 3609.01

DiagnosticValue
AM1LB1728
LOWERBOUND-3360
NAM1S86
NCORES56
NEXHAUSTED0
NPBCORES0
NPBREFORM21
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern50-06.lin.opb
MD5SUMb877664571262cc35a091b0e7e24e61f
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-270
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables882
Total number of constraints1664
Number of constraints which are clauses832
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints832
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 882
Biggest coefficient in the objective function 34
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 13140
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 34
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 13140
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.00/0.00	c [STEP] solving
0.00/0.00	c #variables 882 #constraints 1664
0.00/0.00	c SMALL=int, LARGE=long long
0.00/0.00	c bounds - >= -6570 @ 0.005641
0.00/0.00	c stratification level: 32
0.00/0.01	c bounds - >= -6538 @ 0.006031
0.00/0.01	c bounds - >= -6506 @ 0.00611
0.00/0.01	c bounds - >= -6474 @ 0.006125
0.00/0.01	c bounds - >= -6442 @ 0.006125
0.00/0.01	c bounds - >= -6410 @ 0.006125
0.00/0.01	c bounds - >= -6378 @ 0.006125
0.00/0.01	c bounds - >= -6346 @ 0.006125
0.00/0.01	c bounds - >= -6314 @ 0.006125
0.00/0.01	c bounds - >= -6282 @ 0.006125
0.00/0.01	c bounds - >= -6250 @ 0.006125
0.00/0.01	c bounds - >= -6218 @ 0.006125
0.00/0.01	c bounds - >= -6186 @ 0.006125
0.00/0.01	c bounds - >= -6154 @ 0.006125
0.00/0.01	c bounds - >= -6122 @ 0.006125
0.00/0.01	c bounds - >= -6090 @ 0.006125
0.00/0.01	c bounds - >= -6058 @ 0.006125
0.00/0.01	c bounds - >= -6026 @ 0.006179
0.00/0.01	c bounds - >= -5994 @ 0.006237
0.00/0.01	c bounds - >= -5962 @ 0.006292
0.00/0.01	c bounds - >= -5930 @ 0.006346
0.00/0.01	c finalizing WCE round: reformulating cores
26.41/26.56	c #Conflicts:       1000 | #Constraints:       2727
26.41/26.56	c #Conflicts:       2000 | #Constraints:       3729
26.41/26.56	c INPROCESSING
26.41/26.56	c GARBAGE COLLECT
26.41/26.56	c #Conflicts:       3000 | #Constraints:       3703
26.41/26.56	c #Conflicts:       4000 | #Constraints:       4705
26.41/26.56	c INPROCESSING
26.41/26.56	c GARBAGE COLLECT
26.41/26.56	c #Conflicts:       5000 | #Constraints:       4107
26.41/26.56	c #Conflicts:       6000 | #Constraints:       5109
26.41/26.56	c bounds -250 >= -5930 @ 2.96819
26.41/26.56	c INPROCESSING
26.41/26.56	c GARBAGE COLLECT
26.41/26.56	c #Conflicts:       7000 | #Constraints:       4110
26.41/26.56	c #Conflicts:       8000 | #Constraints:       5110
26.41/26.56	c #Conflicts:       9000 | #Constraints:       6110
26.41/26.56	c INPROCESSING
26.41/26.56	c GARBAGE COLLECT
26.41/26.56	c #Conflicts:      10000 | #Constraints:       4821
26.41/26.56	c #Conflicts:      11000 | #Constraints:       5821
26.41/26.56	c #Conflicts:      12000 | #Constraints:       6821
26.41/26.56	c INPROCESSING
26.41/26.56	c GARBAGE COLLECT
26.41/26.56	c #Conflicts:      13000 | #Constraints:       5287
26.41/26.56	c #Conflicts:      14000 | #Constraints:       6287
26.41/26.56	c #Conflicts:      15000 | #Constraints:       7287
26.41/26.56	c INPROCESSING
26.41/26.56	c GARBAGE COLLECT
26.41/26.56	c #Conflicts:      16000 | #Constraints:       5534
26.41/26.56	c #Conflicts:      17000 | #Constraints:       6534
26.41/26.56	c #Conflicts:      18000 | #Constraints:       7534
26.41/26.56	c INPROCESSING
26.41/26.56	c GARBAGE COLLECT
26.41/26.56	c #Conflicts:      19000 | #Constraints:       5565
26.41/26.56	c #Conflicts:      20000 | #Constraints:       6565
26.41/26.56	c #Conflicts:      21000 | #Constraints:       7565
26.41/26.56	c INPROCESSING
26.41/26.56	c GARBAGE COLLECT
26.41/26.56	c #Conflicts:      22000 | #Constraints:       5383
26.41/26.56	c #Conflicts:      23000 | #Constraints:       6383
26.41/26.56	c #Conflicts:      24000 | #Constraints:       7383
26.41/26.56	c #Conflicts:      25000 | #Constraints:       8383
26.41/26.56	c INPROCESSING
26.41/26.56	c GARBAGE COLLECT
26.41/26.56	c #Conflicts:      26000 | #Constraints:       6002
26.41/26.56	c bounds -253 >= -5930 @ 26.3709
26.41/26.56	c stratification level: 29
27.52/27.68	c bounds -255 >= -5930 @ 27.4846
27.52/27.68	c stratification level: 26
45.47/45.68	c #Conflicts:      27000 | #Constraints:       7004
45.47/45.68	c #Conflicts:      28000 | #Constraints:       8004
45.47/45.68	c #Conflicts:      29000 | #Constraints:       9004
45.47/45.68	c INPROCESSING
45.47/45.68	c GARBAGE COLLECT
45.47/45.68	c #Conflicts:      30000 | #Constraints:       6420
45.47/45.68	c #Conflicts:      31000 | #Constraints:       7420
45.47/45.68	c #Conflicts:      32000 | #Constraints:       8420
45.47/45.68	c #Conflicts:      33000 | #Constraints:       9420
45.47/45.68	c INPROCESSING
45.47/45.68	c GARBAGE COLLECT
45.47/45.68	c #Conflicts:      34000 | #Constraints:       6636
45.47/45.68	c #Conflicts:      35000 | #Constraints:       7636
45.47/45.68	c #Conflicts:      36000 | #Constraints:       8636
45.47/45.68	c #Conflicts:      37000 | #Constraints:       9636
45.47/45.68	c INPROCESSING
45.47/45.68	c GARBAGE COLLECT
45.47/45.68	c #Conflicts:      38000 | #Constraints:       6646
45.47/45.68	c bounds -257 >= -5930 @ 45.3745
45.47/45.68	c stratification level: 24
45.57/45.72	c bounds -257 >= -4200 @ 45.3885
45.57/45.72	c bounds -257 >= -4176 @ 45.3888
45.57/45.72	c bounds -257 >= -4152 @ 45.3899
45.57/45.72	c bounds -257 >= -4128 @ 45.3904
45.57/45.72	c bounds -257 >= -4104 @ 45.3911
45.57/45.72	c bounds -257 >= -4080 @ 45.3919
45.57/45.72	c bounds -257 >= -4056 @ 45.3928
45.57/45.72	c bounds -257 >= -4032 @ 45.3935
45.57/45.72	c bounds -257 >= -4008 @ 45.3943
45.57/45.72	c bounds -257 >= -3984 @ 45.395
45.57/45.72	c bounds -257 >= -3960 @ 45.3956
45.57/45.72	c bounds -257 >= -3936 @ 45.3964
45.57/45.72	c bounds -257 >= -3912 @ 45.3972
45.57/45.72	c bounds -257 >= -3888 @ 45.3979
45.57/45.72	c bounds -257 >= -3864 @ 45.3986
45.57/45.72	c bounds -257 >= -3840 @ 45.3992
45.57/45.72	c bounds -257 >= -3816 @ 45.3996
45.57/45.72	c bounds -257 >= -3792 @ 45.4003
45.57/45.72	c bounds -257 >= -3768 @ 45.4008
45.57/45.72	c bounds -257 >= -3744 @ 45.4016
45.57/45.72	c bounds -257 >= -3720 @ 45.4023
45.57/45.72	c bounds -257 >= -3696 @ 45.4024
45.57/45.72	c bounds -257 >= -3672 @ 45.4025
45.57/45.72	c finalizing WCE round: reformulating cores
166.13/166.64	c #Conflicts:      39000 | #Constraints:       7781
166.13/166.64	c #Conflicts:      40000 | #Constraints:       8785
166.13/166.64	c #Conflicts:      41000 | #Constraints:       9787
166.13/166.64	c INPROCESSING
166.13/166.64	c GARBAGE COLLECT
166.13/166.64	c #Conflicts:      42000 | #Constraints:       6488
166.13/166.64	c #Conflicts:      43000 | #Constraints:       7490
166.13/166.64	c #Conflicts:      44000 | #Constraints:       8494
166.13/166.64	c #Conflicts:      45000 | #Constraints:       9496
166.13/166.64	c #Conflicts:      46000 | #Constraints:      10498
166.13/166.64	c INPROCESSING
166.13/166.64	c GARBAGE COLLECT
166.13/166.64	c #Conflicts:      47000 | #Constraints:       7061
166.13/166.64	c #Conflicts:      48000 | #Constraints:       8063
166.13/166.64	c #Conflicts:      49000 | #Constraints:       9065
166.13/166.64	c #Conflicts:      50000 | #Constraints:      10069
166.13/166.64	c #Conflicts:      51000 | #Constraints:      11071
166.13/166.64	c INPROCESSING
166.13/166.64	c GARBAGE COLLECT
166.13/166.64	c #Conflicts:      52000 | #Constraints:       7456
166.13/166.64	c #Conflicts:      53000 | #Constraints:       8458
166.13/166.64	c #Conflicts:      54000 | #Constraints:       9460
166.13/166.64	c #Conflicts:      55000 | #Constraints:      10464
166.13/166.64	c #Conflicts:      56000 | #Constraints:      11466
166.13/166.64	c INPROCESSING
166.13/166.64	c GARBAGE COLLECT
166.13/166.64	c bounds -267 >= -3672 @ 82.3154
166.13/166.64	c bounds -267 >= -3648 @ 82.3162
166.13/166.64	c bounds -267 >= -3624 @ 82.3166
166.13/166.64	c bounds -267 >= -3600 @ 82.3172
166.13/166.64	c bounds -267 >= -3576 @ 82.3179
166.13/166.64	c bounds -267 >= -3552 @ 82.3189
166.13/166.64	c bounds -267 >= -3528 @ 82.3189
166.13/166.64	c bounds -267 >= -3504 @ 82.3194
166.13/166.64	c bounds -267 >= -3480 @ 82.3204
166.13/166.64	c bounds -267 >= -3456 @ 82.322
166.13/166.64	c bounds -267 >= -3432 @ 82.323
166.13/166.64	c bounds -267 >= -3408 @ 82.324
166.13/166.64	c bounds -267 >= -3384 @ 82.326
166.13/166.64	c bounds -267 >= -3360 @ 82.3312
166.13/166.64	c #Conflicts:      57000 | #Constraints:       7717
166.13/166.64	c #Conflicts:      58000 | #Constraints:       8717
166.13/166.64	c #Conflicts:      59000 | #Constraints:       9717
166.13/166.64	c #Conflicts:      60000 | #Constraints:      10717
166.13/166.64	c #Conflicts:      61000 | #Constraints:      11717
166.13/166.64	c INPROCESSING
166.13/166.64	c GARBAGE COLLECT
166.13/166.64	c #Conflicts:      62000 | #Constraints:       7712
166.13/166.64	c #Conflicts:      63000 | #Constraints:       8712
166.13/166.64	c #Conflicts:      64000 | #Constraints:       9712
166.13/166.64	c #Conflicts:      65000 | #Constraints:      10712
166.13/166.64	c #Conflicts:      66000 | #Constraints:      11712
166.13/166.64	c INPROCESSING
166.13/166.64	c GARBAGE COLLECT
166.13/166.64	c #Conflicts:      67000 | #Constraints:       7508
166.13/166.64	c #Conflicts:      68000 | #Constraints:       8508
166.13/166.64	c #Conflicts:      69000 | #Constraints:       9508
166.13/166.64	c #Conflicts:      70000 | #Constraints:      10508
166.13/166.64	c #Conflicts:      71000 | #Constraints:      11508
166.13/166.64	c #Conflicts:      72000 | #Constraints:      12508
166.13/166.64	c INPROCESSING
166.13/166.64	c GARBAGE COLLECT
166.13/166.64	c #Conflicts:      73000 | #Constraints:       8109
166.13/166.64	c #Conflicts:      74000 | #Constraints:       9109
166.13/166.64	c #Conflicts:      75000 | #Constraints:      10109
166.13/166.64	c #Conflicts:      76000 | #Constraints:      11109
166.13/166.64	c #Conflicts:      77000 | #Constraints:      12109
166.13/166.64	c #Conflicts:      78000 | #Constraints:      13109
166.13/166.64	c INPROCESSING
166.13/166.64	c GARBAGE COLLECT
166.13/166.64	c #Conflicts:      79000 | #Constraints:       8513
166.13/166.64	c #Conflicts:      80000 | #Constraints:       9513
166.13/166.64	c #Conflicts:      81000 | #Constraints:      10513
166.13/166.64	c #Conflicts:      82000 | #Constraints:      11513
166.13/166.64	c #Conflicts:      83000 | #Constraints:      12513
166.13/166.64	c #Conflicts:      84000 | #Constraints:      13513
166.13/166.65	c INPROCESSING
166.13/166.65	c GARBAGE COLLECT
166.13/166.65	c #Conflicts:      85000 | #Constraints:       8708
166.13/166.65	c #Conflicts:      86000 | #Constraints:       9708
166.13/166.65	c #Conflicts:      87000 | #Constraints:      10708
166.13/166.65	c #Conflicts:      88000 | #Constraints:      11708
166.13/166.65	c #Conflicts:      89000 | #Constraints:      12708
166.13/166.65	c #Conflicts:      90000 | #Constraints:      13708
166.13/166.65	c INPROCESSING
166.13/166.65	c GARBAGE COLLECT
166.13/166.65	c #Conflicts:      91000 | #Constraints:       8708
166.13/166.65	c #Conflicts:      92000 | #Constraints:       9708
166.13/166.65	c #Conflicts:      93000 | #Constraints:      10708
166.13/166.65	c #Conflicts:      94000 | #Constraints:      11708
166.13/166.65	c #Conflicts:      95000 | #Constraints:      12708
166.13/166.65	c #Conflicts:      96000 | #Constraints:      13708
166.13/166.65	c INPROCESSING
166.13/166.65	c GARBAGE COLLECT
166.13/166.65	c #Conflicts:      97000 | #Constraints:       8511
166.13/166.65	c #Conflicts:      98000 | #Constraints:       9511
166.13/166.65	c #Conflicts:      99000 | #Constraints:      10511
166.13/166.65	c #Conflicts:     100000 | #Constraints:      11511
166.13/166.65	c #Conflicts:     101000 | #Constraints:      12511
410.48/411.63	c #Conflicts:     102000 | #Constraints:      13511
410.48/411.63	c #Conflicts:     103000 | #Constraints:      14511
410.48/411.63	c INPROCESSING
410.48/411.63	c GARBAGE COLLECT
410.48/411.63	c #Conflicts:     104000 | #Constraints:       9109
410.48/411.63	c #Conflicts:     105000 | #Constraints:      10109
410.48/411.63	c #Conflicts:     106000 | #Constraints:      11109
410.48/411.63	c #Conflicts:     107000 | #Constraints:      12109
410.48/411.63	c #Conflicts:     108000 | #Constraints:      13109
410.48/411.63	c #Conflicts:     109000 | #Constraints:      14109
410.48/411.63	c #Conflicts:     110000 | #Constraints:      15109
410.48/411.63	c INPROCESSING
410.48/411.63	c GARBAGE COLLECT
410.48/411.63	c #Conflicts:     111000 | #Constraints:       9514
410.48/411.63	c #Conflicts:     112000 | #Constraints:      10514
410.48/411.63	c #Conflicts:     113000 | #Constraints:      11514
410.48/411.63	c #Conflicts:     114000 | #Constraints:      12514
410.48/411.63	c #Conflicts:     115000 | #Constraints:      13514
410.48/411.63	c #Conflicts:     116000 | #Constraints:      14514
410.48/411.63	c #Conflicts:     117000 | #Constraints:      15514
410.48/411.63	c INPROCESSING
410.48/411.63	c GARBAGE COLLECT
410.48/411.63	c #Conflicts:     118000 | #Constraints:       9715
410.48/411.63	c #Conflicts:     119000 | #Constraints:      10715
410.48/411.63	c #Conflicts:     120000 | #Constraints:      11715
410.48/411.63	c #Conflicts:     121000 | #Constraints:      12715
410.48/411.63	c #Conflicts:     122000 | #Constraints:      13715
410.48/411.63	c #Conflicts:     123000 | #Constraints:      14715
410.48/411.63	c #Conflicts:     124000 | #Constraints:      15715
410.48/411.63	c INPROCESSING
410.48/411.63	c GARBAGE COLLECT
410.48/411.63	c #Conflicts:     125000 | #Constraints:       9716
410.48/411.63	c #Conflicts:     126000 | #Constraints:      10716
410.48/411.63	c #Conflicts:     127000 | #Constraints:      11716
410.48/411.63	c #Conflicts:     128000 | #Constraints:      12716
410.48/411.63	c #Conflicts:     129000 | #Constraints:      13716
410.48/411.63	c #Conflicts:     130000 | #Constraints:      14716
410.48/411.63	c #Conflicts:     131000 | #Constraints:      15716
410.48/411.63	c INPROCESSING
410.48/411.63	c GARBAGE COLLECT
410.48/411.63	c #Conflicts:     132000 | #Constraints:       9519
410.48/411.63	c #Conflicts:     133000 | #Constraints:      10519
410.48/411.63	c #Conflicts:     134000 | #Constraints:      11519
410.48/411.63	c #Conflicts:     135000 | #Constraints:      12519
410.48/411.63	c #Conflicts:     136000 | #Constraints:      13519
410.48/411.63	c #Conflicts:     137000 | #Constraints:      14519
410.48/411.63	c #Conflicts:     138000 | #Constraints:      15519
410.48/411.63	c #Conflicts:     139000 | #Constraints:      16519
410.48/411.63	c INPROCESSING
410.48/411.63	c GARBAGE COLLECT
410.48/411.63	c #Conflicts:     140000 | #Constraints:      10121
410.48/411.63	c #Conflicts:     141000 | #Constraints:      11121
410.48/411.63	c #Conflicts:     142000 | #Constraints:      12121
410.48/411.63	c #Conflicts:     143000 | #Constraints:      13121
410.48/411.63	c #Conflicts:     144000 | #Constraints:      14121
410.48/411.63	c #Conflicts:     145000 | #Constraints:      15121
410.48/411.63	c #Conflicts:     146000 | #Constraints:      16121
410.48/411.63	c #Conflicts:     147000 | #Constraints:      17121
410.48/411.63	c INPROCESSING
410.48/411.63	c GARBAGE COLLECT
410.48/411.63	c #Conflicts:     148000 | #Constraints:      10519
410.48/411.63	c #Conflicts:     149000 | #Constraints:      11519
410.48/411.63	c #Conflicts:     150000 | #Constraints:      12519
410.48/411.63	c #Conflicts:     151000 | #Constraints:      13519
410.48/411.63	c #Conflicts:     152000 | #Constraints:      14519
410.48/411.63	c #Conflicts:     153000 | #Constraints:      15519
410.48/411.63	c #Conflicts:     154000 | #Constraints:      16519
410.48/411.63	c #Conflicts:     155000 | #Constraints:      17519
410.48/411.63	c INPROCESSING
410.48/411.63	c GARBAGE COLLECT
410.48/411.63	c #Conflicts:     156000 | #Constraints:      10720
410.48/411.63	c #Conflicts:     157000 | #Constraints:      11720
410.48/411.63	c #Conflicts:     158000 | #Constraints:      12720
410.48/411.63	c #Conflicts:     159000 | #Constraints:      13720
410.48/411.63	c #Conflicts:     160000 | #Constraints:      14720
410.48/411.63	c #Conflicts:     161000 | #Constraints:      15720
410.48/411.63	c #Conflicts:     162000 | #Constraints:      16720
410.48/411.63	c #Conflicts:     163000 | #Constraints:      17720
410.48/411.63	c INPROCESSING
410.48/411.63	c GARBAGE COLLECT
410.48/411.63	c #Conflicts:     164000 | #Constraints:      10723
410.48/411.63	c #Conflicts:     165000 | #Constraints:      11723
410.48/411.63	c #Conflicts:     166000 | #Constraints:      12723
410.48/411.63	c #Conflicts:     167000 | #Constraints:      13723
410.48/411.63	c #Conflicts:     168000 | #Constraints:      14723
410.48/411.63	c #Conflicts:     169000 | #Constraints:      15723
410.48/411.63	c #Conflicts:     170000 | #Constraints:      16723
410.48/411.63	c #Conflicts:     171000 | #Constraints:      17723
410.48/411.63	c INPROCESSING
410.48/411.63	c GARBAGE COLLECT
410.48/411.63	c #Conflicts:     172000 | #Constraints:      10520
410.48/411.63	c #Conflicts:     173000 | #Constraints:      11520
410.48/411.63	c #Conflicts:     174000 | #Constraints:      12520
694.22/696.02	c #Conflicts:     175000 | #Constraints:      13520
694.22/696.02	c #Conflicts:     176000 | #Constraints:      14520
694.22/696.02	c #Conflicts:     177000 | #Constraints:      15520
694.22/696.02	c #Conflicts:     178000 | #Constraints:      16520
694.22/696.02	c #Conflicts:     179000 | #Constraints:      17520
694.22/696.02	c #Conflicts:     180000 | #Constraints:      18520
694.22/696.02	c INPROCESSING
694.22/696.02	c GARBAGE COLLECT
694.22/696.02	c #Conflicts:     181000 | #Constraints:      11121
694.22/696.02	c #Conflicts:     182000 | #Constraints:      12121
694.22/696.02	c #Conflicts:     183000 | #Constraints:      13121
694.22/696.02	c #Conflicts:     184000 | #Constraints:      14121
694.22/696.02	c #Conflicts:     185000 | #Constraints:      15121
694.22/696.02	c #Conflicts:     186000 | #Constraints:      16121
694.22/696.02	c #Conflicts:     187000 | #Constraints:      17121
694.22/696.02	c #Conflicts:     188000 | #Constraints:      18121
694.22/696.02	c #Conflicts:     189000 | #Constraints:      19121
694.22/696.02	c INPROCESSING
694.22/696.02	c GARBAGE COLLECT
694.22/696.02	c #Conflicts:     190000 | #Constraints:      11521
694.22/696.02	c #Conflicts:     191000 | #Constraints:      12521
694.22/696.02	c #Conflicts:     192000 | #Constraints:      13521
694.22/696.02	c #Conflicts:     193000 | #Constraints:      14521
694.22/696.02	c #Conflicts:     194000 | #Constraints:      15521
694.22/696.02	c #Conflicts:     195000 | #Constraints:      16521
694.22/696.02	c #Conflicts:     196000 | #Constraints:      17521
694.22/696.02	c #Conflicts:     197000 | #Constraints:      18521
694.22/696.02	c #Conflicts:     198000 | #Constraints:      19521
694.22/696.02	c INPROCESSING
694.22/696.02	c GARBAGE COLLECT
694.22/696.02	c #Conflicts:     199000 | #Constraints:      11722
694.22/696.02	c #Conflicts:     200000 | #Constraints:      12722
694.22/696.02	c #Conflicts:     201000 | #Constraints:      13722
694.22/696.02	c #Conflicts:     202000 | #Constraints:      14722
694.22/696.02	c #Conflicts:     203000 | #Constraints:      15722
694.22/696.02	c #Conflicts:     204000 | #Constraints:      16722
694.22/696.02	c #Conflicts:     205000 | #Constraints:      17722
694.22/696.02	c #Conflicts:     206000 | #Constraints:      18722
694.22/696.02	c #Conflicts:     207000 | #Constraints:      19722
694.22/696.02	c INPROCESSING
694.22/696.02	c GARBAGE COLLECT
694.22/696.02	c #Conflicts:     208000 | #Constraints:      11719
694.22/696.02	c #Conflicts:     209000 | #Constraints:      12719
694.22/696.02	c #Conflicts:     210000 | #Constraints:      13719
694.22/696.02	c #Conflicts:     211000 | #Constraints:      14719
694.22/696.03	c #Conflicts:     212000 | #Constraints:      15719
694.22/696.03	c #Conflicts:     213000 | #Constraints:      16719
694.22/696.03	c #Conflicts:     214000 | #Constraints:      17719
694.22/696.03	c #Conflicts:     215000 | #Constraints:      18719
694.22/696.03	c #Conflicts:     216000 | #Constraints:      19719
694.22/696.03	c INPROCESSING
694.22/696.03	c GARBAGE COLLECT
694.22/696.03	c #Conflicts:     217000 | #Constraints:      11524
694.22/696.03	c #Conflicts:     218000 | #Constraints:      12524
694.22/696.03	c #Conflicts:     219000 | #Constraints:      13524
694.22/696.03	c #Conflicts:     220000 | #Constraints:      14524
694.22/696.03	c #Conflicts:     221000 | #Constraints:      15524
694.22/696.03	c #Conflicts:     222000 | #Constraints:      16524
694.22/696.03	c #Conflicts:     223000 | #Constraints:      17524
694.22/696.03	c #Conflicts:     224000 | #Constraints:      18524
694.22/696.03	c #Conflicts:     225000 | #Constraints:      19524
694.22/696.03	c #Conflicts:     226000 | #Constraints:      20524
694.22/696.03	c INPROCESSING
694.22/696.03	c GARBAGE COLLECT
694.22/696.03	c #Conflicts:     227000 | #Constraints:      12123
694.22/696.03	c #Conflicts:     228000 | #Constraints:      13123
694.22/696.03	c #Conflicts:     229000 | #Constraints:      14123
694.22/696.03	c #Conflicts:     230000 | #Constraints:      15123
694.22/696.03	c #Conflicts:     231000 | #Constraints:      16123
694.22/696.03	c #Conflicts:     232000 | #Constraints:      17123
694.22/696.03	c #Conflicts:     233000 | #Constraints:      18123
694.22/696.03	c #Conflicts:     234000 | #Constraints:      19123
694.22/696.03	c #Conflicts:     235000 | #Constraints:      20123
694.22/696.03	c #Conflicts:     236000 | #Constraints:      21123
694.22/696.03	c INPROCESSING
694.22/696.03	c GARBAGE COLLECT
694.22/696.03	c #Conflicts:     237000 | #Constraints:      12528
694.22/696.03	c #Conflicts:     238000 | #Constraints:      13528
694.22/696.03	c #Conflicts:     239000 | #Constraints:      14528
694.22/696.03	c #Conflicts:     240000 | #Constraints:      15528
694.22/696.03	c #Conflicts:     241000 | #Constraints:      16528
694.22/696.03	c #Conflicts:     242000 | #Constraints:      17528
694.22/696.03	c #Conflicts:     243000 | #Constraints:      18528
694.22/696.03	c #Conflicts:     244000 | #Constraints:      19528
694.22/696.03	c #Conflicts:     245000 | #Constraints:      20528
694.22/696.03	c #Conflicts:     246000 | #Constraints:      21528
694.22/696.03	c INPROCESSING
694.22/696.03	c GARBAGE COLLECT
694.22/696.03	c #Conflicts:     247000 | #Constraints:      12730
694.22/696.03	c #Conflicts:     248000 | #Constraints:      13730
1091.43/1094.24	c #Conflicts:     249000 | #Constraints:      14730
1091.43/1094.24	c #Conflicts:     250000 | #Constraints:      15730
1091.43/1094.24	c #Conflicts:     251000 | #Constraints:      16730
1091.43/1094.24	c #Conflicts:     252000 | #Constraints:      17730
1091.43/1094.24	c #Conflicts:     253000 | #Constraints:      18730
1091.43/1094.24	c #Conflicts:     254000 | #Constraints:      19730
1091.43/1094.24	c #Conflicts:     255000 | #Constraints:      20730
1091.43/1094.24	c #Conflicts:     256000 | #Constraints:      21730
1091.43/1094.24	c INPROCESSING
1091.43/1094.24	c GARBAGE COLLECT
1091.43/1094.24	c #Conflicts:     257000 | #Constraints:      12729
1091.43/1094.24	c #Conflicts:     258000 | #Constraints:      13729
1091.43/1094.24	c #Conflicts:     259000 | #Constraints:      14729
1091.43/1094.24	c #Conflicts:     260000 | #Constraints:      15729
1091.43/1094.24	c #Conflicts:     261000 | #Constraints:      16729
1091.43/1094.24	c #Conflicts:     262000 | #Constraints:      17729
1091.43/1094.24	c #Conflicts:     263000 | #Constraints:      18729
1091.43/1094.24	c #Conflicts:     264000 | #Constraints:      19729
1091.43/1094.24	c #Conflicts:     265000 | #Constraints:      20729
1091.43/1094.24	c #Conflicts:     266000 | #Constraints:      21729
1091.43/1094.24	c INPROCESSING
1091.43/1094.24	c GARBAGE COLLECT
1091.43/1094.24	c #Conflicts:     267000 | #Constraints:      12527
1091.43/1094.24	c #Conflicts:     268000 | #Constraints:      13527
1091.43/1094.24	c #Conflicts:     269000 | #Constraints:      14527
1091.43/1094.24	c #Conflicts:     270000 | #Constraints:      15527
1091.43/1094.24	c #Conflicts:     271000 | #Constraints:      16527
1091.43/1094.24	c #Conflicts:     272000 | #Constraints:      17527
1091.43/1094.24	c #Conflicts:     273000 | #Constraints:      18527
1091.43/1094.24	c #Conflicts:     274000 | #Constraints:      19527
1091.43/1094.24	c #Conflicts:     275000 | #Constraints:      20527
1091.43/1094.24	c #Conflicts:     276000 | #Constraints:      21527
1091.43/1094.24	c #Conflicts:     277000 | #Constraints:      22527
1091.43/1094.24	c INPROCESSING
1091.43/1094.24	c GARBAGE COLLECT
1091.43/1094.24	c #Conflicts:     278000 | #Constraints:      13124
1091.43/1094.24	c #Conflicts:     279000 | #Constraints:      14124
1091.43/1094.24	c #Conflicts:     280000 | #Constraints:      15124
1091.43/1094.24	c #Conflicts:     281000 | #Constraints:      16124
1091.43/1094.24	c #Conflicts:     282000 | #Constraints:      17124
1091.43/1094.24	c #Conflicts:     283000 | #Constraints:      18124
1091.43/1094.24	c #Conflicts:     284000 | #Constraints:      19124
1091.43/1094.24	c #Conflicts:     285000 | #Constraints:      20124
1091.43/1094.24	c #Conflicts:     286000 | #Constraints:      21124
1091.43/1094.24	c #Conflicts:     287000 | #Constraints:      22124
1091.43/1094.24	c #Conflicts:     288000 | #Constraints:      23124
1091.43/1094.24	c INPROCESSING
1091.43/1094.24	c GARBAGE COLLECT
1091.43/1094.24	c #Conflicts:     289000 | #Constraints:      13519
1091.43/1094.24	c #Conflicts:     290000 | #Constraints:      14519
1091.43/1094.24	c #Conflicts:     291000 | #Constraints:      15519
1091.43/1094.24	c #Conflicts:     292000 | #Constraints:      16519
1091.43/1094.24	c #Conflicts:     293000 | #Constraints:      17519
1091.43/1094.24	c #Conflicts:     294000 | #Constraints:      18519
1091.43/1094.24	c #Conflicts:     295000 | #Constraints:      19519
1091.43/1094.24	c #Conflicts:     296000 | #Constraints:      20519
1091.43/1094.24	c #Conflicts:     297000 | #Constraints:      21519
1091.43/1094.24	c #Conflicts:     298000 | #Constraints:      22519
1091.43/1094.24	c #Conflicts:     299000 | #Constraints:      23519
1091.43/1094.24	c INPROCESSING
1091.43/1094.24	c GARBAGE COLLECT
1091.43/1094.24	c #Conflicts:     300000 | #Constraints:      13725
1091.43/1094.24	c #Conflicts:     301000 | #Constraints:      14725
1091.43/1094.24	c #Conflicts:     302000 | #Constraints:      15725
1091.43/1094.24	c #Conflicts:     303000 | #Constraints:      16725
1091.43/1094.24	c #Conflicts:     304000 | #Constraints:      17725
1091.43/1094.24	c #Conflicts:     305000 | #Constraints:      18725
1091.43/1094.24	c #Conflicts:     306000 | #Constraints:      19725
1091.43/1094.24	c #Conflicts:     307000 | #Constraints:      20725
1091.43/1094.24	c #Conflicts:     308000 | #Constraints:      21725
1091.43/1094.24	c #Conflicts:     309000 | #Constraints:      22725
1091.43/1094.24	c #Conflicts:     310000 | #Constraints:      23725
1091.43/1094.24	c INPROCESSING
1091.43/1094.24	c GARBAGE COLLECT
1091.43/1094.24	c #Conflicts:     311000 | #Constraints:      13727
1091.43/1094.24	c #Conflicts:     312000 | #Constraints:      14727
1091.43/1094.24	c #Conflicts:     313000 | #Constraints:      15727
1091.43/1094.24	c #Conflicts:     314000 | #Constraints:      16727
1091.43/1094.24	c #Conflicts:     315000 | #Constraints:      17727
1091.43/1094.24	c #Conflicts:     316000 | #Constraints:      18727
1091.43/1094.24	c #Conflicts:     317000 | #Constraints:      19727
1091.43/1094.24	c #Conflicts:     318000 | #Constraints:      20727
1091.43/1094.24	c #Conflicts:     319000 | #Constraints:      21727
1091.43/1094.24	c #Conflicts:     320000 | #Constraints:      22727
1091.43/1094.24	c #Conflicts:     321000 | #Constraints:      23727
1091.43/1094.24	c INPROCESSING
1091.43/1094.24	c GARBAGE COLLECT
1091.43/1094.24	c #Conflicts:     322000 | #Constraints:      13534
1539.10/1543.04	c #Conflicts:     323000 | #Constraints:      14534
1539.10/1543.04	c #Conflicts:     324000 | #Constraints:      15534
1539.10/1543.04	c #Conflicts:     325000 | #Constraints:      16534
1539.10/1543.04	c #Conflicts:     326000 | #Constraints:      17534
1539.10/1543.04	c #Conflicts:     327000 | #Constraints:      18534
1539.10/1543.04	c #Conflicts:     328000 | #Constraints:      19534
1539.10/1543.04	c #Conflicts:     329000 | #Constraints:      20534
1539.10/1543.04	c #Conflicts:     330000 | #Constraints:      21534
1539.10/1543.04	c #Conflicts:     331000 | #Constraints:      22534
1539.10/1543.04	c #Conflicts:     332000 | #Constraints:      23534
1539.10/1543.04	c #Conflicts:     333000 | #Constraints:      24534
1539.10/1543.04	c INPROCESSING
1539.10/1543.04	c GARBAGE COLLECT
1539.10/1543.04	c #Conflicts:     334000 | #Constraints:      14128
1539.10/1543.04	c #Conflicts:     335000 | #Constraints:      15128
1539.10/1543.04	c #Conflicts:     336000 | #Constraints:      16128
1539.10/1543.04	c #Conflicts:     337000 | #Constraints:      17128
1539.10/1543.04	c #Conflicts:     338000 | #Constraints:      18128
1539.10/1543.04	c #Conflicts:     339000 | #Constraints:      19128
1539.10/1543.04	c #Conflicts:     340000 | #Constraints:      20128
1539.10/1543.04	c #Conflicts:     341000 | #Constraints:      21128
1539.10/1543.04	c #Conflicts:     342000 | #Constraints:      22128
1539.10/1543.04	c #Conflicts:     343000 | #Constraints:      23128
1539.10/1543.04	c #Conflicts:     344000 | #Constraints:      24128
1539.10/1543.04	c #Conflicts:     345000 | #Constraints:      25128
1539.10/1543.04	c INPROCESSING
1539.10/1543.04	c GARBAGE COLLECT
1539.10/1543.04	c #Conflicts:     346000 | #Constraints:      14524
1539.10/1543.04	c #Conflicts:     347000 | #Constraints:      15524
1539.10/1543.04	c #Conflicts:     348000 | #Constraints:      16524
1539.10/1543.04	c #Conflicts:     349000 | #Constraints:      17524
1539.10/1543.04	c #Conflicts:     350000 | #Constraints:      18524
1539.10/1543.04	c #Conflicts:     351000 | #Constraints:      19524
1539.10/1543.04	c #Conflicts:     352000 | #Constraints:      20524
1539.10/1543.04	c #Conflicts:     353000 | #Constraints:      21524
1539.10/1543.04	c #Conflicts:     354000 | #Constraints:      22524
1539.10/1543.04	c #Conflicts:     355000 | #Constraints:      23524
1539.10/1543.04	c #Conflicts:     356000 | #Constraints:      24524
1539.10/1543.04	c #Conflicts:     357000 | #Constraints:      25524
1539.10/1543.04	c INPROCESSING
1539.10/1543.04	c GARBAGE COLLECT
1539.10/1543.04	c #Conflicts:     358000 | #Constraints:      14731
1539.10/1543.04	c #Conflicts:     359000 | #Constraints:      15731
1539.10/1543.04	c #Conflicts:     360000 | #Constraints:      16731
1539.10/1543.04	c #Conflicts:     361000 | #Constraints:      17731
1539.10/1543.04	c #Conflicts:     362000 | #Constraints:      18731
1539.10/1543.04	c #Conflicts:     363000 | #Constraints:      19731
1539.10/1543.04	c #Conflicts:     364000 | #Constraints:      20731
1539.10/1543.04	c #Conflicts:     365000 | #Constraints:      21731
1539.10/1543.04	c #Conflicts:     366000 | #Constraints:      22731
1539.10/1543.04	c #Conflicts:     367000 | #Constraints:      23731
1539.10/1543.04	c #Conflicts:     368000 | #Constraints:      24731
1539.10/1543.04	c #Conflicts:     369000 | #Constraints:      25731
1539.10/1543.04	c INPROCESSING
1539.10/1543.04	c GARBAGE COLLECT
1539.10/1543.04	c #Conflicts:     370000 | #Constraints:      14727
1539.10/1543.04	c #Conflicts:     371000 | #Constraints:      15727
1539.10/1543.04	c #Conflicts:     372000 | #Constraints:      16727
1539.10/1543.04	c #Conflicts:     373000 | #Constraints:      17727
1539.10/1543.04	c #Conflicts:     374000 | #Constraints:      18727
1539.10/1543.04	c #Conflicts:     375000 | #Constraints:      19727
1539.10/1543.04	c #Conflicts:     376000 | #Constraints:      20727
1539.10/1543.04	c #Conflicts:     377000 | #Constraints:      21727
1539.10/1543.04	c #Conflicts:     378000 | #Constraints:      22727
1539.10/1543.04	c #Conflicts:     379000 | #Constraints:      23727
1539.10/1543.04	c #Conflicts:     380000 | #Constraints:      24727
1539.10/1543.04	c #Conflicts:     381000 | #Constraints:      25727
1539.10/1543.04	c INPROCESSING
1539.10/1543.04	c GARBAGE COLLECT
1539.10/1543.04	c #Conflicts:     382000 | #Constraints:      14532
1539.10/1543.04	c #Conflicts:     383000 | #Constraints:      15532
1539.10/1543.04	c #Conflicts:     384000 | #Constraints:      16532
1539.10/1543.04	c #Conflicts:     385000 | #Constraints:      17532
1539.10/1543.04	c #Conflicts:     386000 | #Constraints:      18532
1539.10/1543.04	c #Conflicts:     387000 | #Constraints:      19532
1539.10/1543.04	c #Conflicts:     388000 | #Constraints:      20532
1539.10/1543.04	c #Conflicts:     389000 | #Constraints:      21532
1539.10/1543.04	c #Conflicts:     390000 | #Constraints:      22532
1539.10/1543.04	c #Conflicts:     391000 | #Constraints:      23532
1539.10/1543.04	c #Conflicts:     392000 | #Constraints:      24532
1539.10/1543.04	c #Conflicts:     393000 | #Constraints:      25532
1539.10/1543.04	c #Conflicts:     394000 | #Constraints:      26532
1539.10/1543.04	c INPROCESSING
1539.10/1543.04	c GARBAGE COLLECT
1539.10/1543.04	c #Conflicts:     395000 | #Constraints:      15127
1539.10/1543.04	c #Conflicts:     396000 | #Constraints:      16127
1539.10/1543.04	c #Conflicts:     397000 | #Constraints:      17127
2014.35/2019.48	c #Conflicts:     398000 | #Constraints:      18127
2014.35/2019.48	c #Conflicts:     399000 | #Constraints:      19127
2014.35/2019.48	c #Conflicts:     400000 | #Constraints:      20127
2014.35/2019.48	c #Conflicts:     401000 | #Constraints:      21127
2014.35/2019.48	c #Conflicts:     402000 | #Constraints:      22127
2014.35/2019.48	c #Conflicts:     403000 | #Constraints:      23127
2014.35/2019.48	c #Conflicts:     404000 | #Constraints:      24127
2014.35/2019.48	c #Conflicts:     405000 | #Constraints:      25127
2014.35/2019.48	c #Conflicts:     406000 | #Constraints:      26127
2014.35/2019.48	c #Conflicts:     407000 | #Constraints:      27127
2014.35/2019.48	c INPROCESSING
2014.35/2019.48	c GARBAGE COLLECT
2014.35/2019.48	c #Conflicts:     408000 | #Constraints:      15524
2014.35/2019.48	c #Conflicts:     409000 | #Constraints:      16524
2014.35/2019.48	c #Conflicts:     410000 | #Constraints:      17524
2014.35/2019.48	c #Conflicts:     411000 | #Constraints:      18524
2014.35/2019.48	c #Conflicts:     412000 | #Constraints:      19524
2014.35/2019.48	c #Conflicts:     413000 | #Constraints:      20524
2014.35/2019.48	c #Conflicts:     414000 | #Constraints:      21524
2014.35/2019.48	c #Conflicts:     415000 | #Constraints:      22524
2014.35/2019.48	c #Conflicts:     416000 | #Constraints:      23524
2014.35/2019.48	c #Conflicts:     417000 | #Constraints:      24524
2014.35/2019.48	c #Conflicts:     418000 | #Constraints:      25524
2014.35/2019.48	c #Conflicts:     419000 | #Constraints:      26524
2014.35/2019.48	c #Conflicts:     420000 | #Constraints:      27524
2014.35/2019.48	c INPROCESSING
2014.35/2019.48	c GARBAGE COLLECT
2014.35/2019.48	c #Conflicts:     421000 | #Constraints:      15732
2014.35/2019.48	c #Conflicts:     422000 | #Constraints:      16732
2014.35/2019.48	c #Conflicts:     423000 | #Constraints:      17732
2014.35/2019.48	c #Conflicts:     424000 | #Constraints:      18732
2014.35/2019.48	c #Conflicts:     425000 | #Constraints:      19732
2014.35/2019.48	c #Conflicts:     426000 | #Constraints:      20732
2014.35/2019.48	c #Conflicts:     427000 | #Constraints:      21732
2014.35/2019.48	c #Conflicts:     428000 | #Constraints:      22732
2014.35/2019.48	c #Conflicts:     429000 | #Constraints:      23732
2014.35/2019.48	c #Conflicts:     430000 | #Constraints:      24732
2014.35/2019.48	c #Conflicts:     431000 | #Constraints:      25732
2014.35/2019.48	c #Conflicts:     432000 | #Constraints:      26732
2014.35/2019.48	c #Conflicts:     433000 | #Constraints:      27732
2014.35/2019.48	c INPROCESSING
2014.35/2019.48	c GARBAGE COLLECT
2014.35/2019.48	c #Conflicts:     434000 | #Constraints:      15732
2014.35/2019.48	c #Conflicts:     435000 | #Constraints:      16732
2014.35/2019.48	c #Conflicts:     436000 | #Constraints:      17732
2014.35/2019.48	c #Conflicts:     437000 | #Constraints:      18732
2014.35/2019.48	c #Conflicts:     438000 | #Constraints:      19732
2014.35/2019.48	c #Conflicts:     439000 | #Constraints:      20732
2014.35/2019.48	c #Conflicts:     440000 | #Constraints:      21732
2014.35/2019.48	c #Conflicts:     441000 | #Constraints:      22732
2014.35/2019.48	c #Conflicts:     442000 | #Constraints:      23732
2014.35/2019.48	c #Conflicts:     443000 | #Constraints:      24732
2014.35/2019.48	c #Conflicts:     444000 | #Constraints:      25732
2014.35/2019.48	c #Conflicts:     445000 | #Constraints:      26732
2014.35/2019.48	c #Conflicts:     446000 | #Constraints:      27732
2014.35/2019.48	c INPROCESSING
2014.35/2019.48	c GARBAGE COLLECT
2014.35/2019.48	c #Conflicts:     447000 | #Constraints:      15531
2014.35/2019.48	c #Conflicts:     448000 | #Constraints:      16531
2014.35/2019.48	c #Conflicts:     449000 | #Constraints:      17531
2014.35/2019.48	c #Conflicts:     450000 | #Constraints:      18531
2014.35/2019.48	c #Conflicts:     451000 | #Constraints:      19531
2014.35/2019.48	c #Conflicts:     452000 | #Constraints:      20531
2014.35/2019.48	c #Conflicts:     453000 | #Constraints:      21531
2014.35/2019.48	c #Conflicts:     454000 | #Constraints:      22531
2014.35/2019.48	c #Conflicts:     455000 | #Constraints:      23531
2014.35/2019.48	c #Conflicts:     456000 | #Constraints:      24531
2014.35/2019.48	c #Conflicts:     457000 | #Constraints:      25531
2014.35/2019.48	c #Conflicts:     458000 | #Constraints:      26531
2014.35/2019.48	c #Conflicts:     459000 | #Constraints:      27531
2014.35/2019.48	c #Conflicts:     460000 | #Constraints:      28531
2014.35/2019.48	c INPROCESSING
2014.35/2019.48	c GARBAGE COLLECT
2014.35/2019.48	c #Conflicts:     461000 | #Constraints:      16126
2014.35/2019.48	c #Conflicts:     462000 | #Constraints:      17126
2014.35/2019.48	c #Conflicts:     463000 | #Constraints:      18126
2014.35/2019.48	c #Conflicts:     464000 | #Constraints:      19126
2014.35/2019.48	c #Conflicts:     465000 | #Constraints:      20126
2014.35/2019.48	c #Conflicts:     466000 | #Constraints:      21126
2014.35/2019.48	c #Conflicts:     467000 | #Constraints:      22126
2014.35/2019.48	c #Conflicts:     468000 | #Constraints:      23126
2014.35/2019.48	c #Conflicts:     469000 | #Constraints:      24126
2014.35/2019.48	c #Conflicts:     470000 | #Constraints:      25126
2014.35/2019.48	c #Conflicts:     471000 | #Constraints:      26126
2014.35/2019.48	c #Conflicts:     472000 | #Constraints:      27126
2591.99/2598.52	c #Conflicts:     473000 | #Constraints:      28126
2591.99/2598.52	c #Conflicts:     474000 | #Constraints:      29126
2591.99/2598.52	c INPROCESSING
2591.99/2598.52	c GARBAGE COLLECT
2591.99/2598.52	c #Conflicts:     475000 | #Constraints:      16524
2591.99/2598.52	c #Conflicts:     476000 | #Constraints:      17524
2591.99/2598.52	c #Conflicts:     477000 | #Constraints:      18524
2591.99/2598.52	c #Conflicts:     478000 | #Constraints:      19524
2591.99/2598.52	c #Conflicts:     479000 | #Constraints:      20524
2591.99/2598.52	c #Conflicts:     480000 | #Constraints:      21524
2591.99/2598.52	c #Conflicts:     481000 | #Constraints:      22524
2591.99/2598.52	c #Conflicts:     482000 | #Constraints:      23524
2591.99/2598.52	c #Conflicts:     483000 | #Constraints:      24524
2591.99/2598.52	c #Conflicts:     484000 | #Constraints:      25524
2591.99/2598.52	c #Conflicts:     485000 | #Constraints:      26524
2591.99/2598.52	c #Conflicts:     486000 | #Constraints:      27524
2591.99/2598.52	c #Conflicts:     487000 | #Constraints:      28524
2591.99/2598.52	c #Conflicts:     488000 | #Constraints:      29524
2591.99/2598.52	c INPROCESSING
2591.99/2598.52	c GARBAGE COLLECT
2591.99/2598.52	c #Conflicts:     489000 | #Constraints:      16724
2591.99/2598.52	c #Conflicts:     490000 | #Constraints:      17724
2591.99/2598.52	c #Conflicts:     491000 | #Constraints:      18724
2591.99/2598.52	c #Conflicts:     492000 | #Constraints:      19724
2591.99/2598.52	c #Conflicts:     493000 | #Constraints:      20724
2591.99/2598.52	c #Conflicts:     494000 | #Constraints:      21724
2591.99/2598.52	c #Conflicts:     495000 | #Constraints:      22724
2591.99/2598.52	c #Conflicts:     496000 | #Constraints:      23724
2591.99/2598.52	c #Conflicts:     497000 | #Constraints:      24724
2591.99/2598.52	c #Conflicts:     498000 | #Constraints:      25724
2591.99/2598.52	c #Conflicts:     499000 | #Constraints:      26724
2591.99/2598.52	c #Conflicts:     500000 | #Constraints:      27724
2591.99/2598.52	c #Conflicts:     501000 | #Constraints:      28724
2591.99/2598.52	c #Conflicts:     502000 | #Constraints:      29724
2591.99/2598.52	c INPROCESSING
2591.99/2598.52	c GARBAGE COLLECT
2591.99/2598.52	c #Conflicts:     503000 | #Constraints:      16727
2591.99/2598.52	c #Conflicts:     504000 | #Constraints:      17727
2591.99/2598.52	c #Conflicts:     505000 | #Constraints:      18727
2591.99/2598.52	c #Conflicts:     506000 | #Constraints:      19727
2591.99/2598.52	c #Conflicts:     507000 | #Constraints:      20727
2591.99/2598.52	c #Conflicts:     508000 | #Constraints:      21727
2591.99/2598.52	c #Conflicts:     509000 | #Constraints:      22727
2591.99/2598.52	c #Conflicts:     510000 | #Constraints:      23727
2591.99/2598.52	c #Conflicts:     511000 | #Constraints:      24727
2591.99/2598.52	c #Conflicts:     512000 | #Constraints:      25727
2591.99/2598.52	c #Conflicts:     513000 | #Constraints:      26727
2591.99/2598.52	c #Conflicts:     514000 | #Constraints:      27727
2591.99/2598.52	c #Conflicts:     515000 | #Constraints:      28727
2591.99/2598.52	c #Conflicts:     516000 | #Constraints:      29727
2591.99/2598.52	c INPROCESSING
2591.99/2598.52	c GARBAGE COLLECT
2591.99/2598.52	c #Conflicts:     517000 | #Constraints:      16525
2591.99/2598.52	c #Conflicts:     518000 | #Constraints:      17525
2591.99/2598.52	c #Conflicts:     519000 | #Constraints:      18525
2591.99/2598.52	c #Conflicts:     520000 | #Constraints:      19525
2591.99/2598.52	c #Conflicts:     521000 | #Constraints:      20525
2591.99/2598.52	c #Conflicts:     522000 | #Constraints:      21525
2591.99/2598.52	c #Conflicts:     523000 | #Constraints:      22525
2591.99/2598.52	c #Conflicts:     524000 | #Constraints:      23525
2591.99/2598.52	c #Conflicts:     525000 | #Constraints:      24525
2591.99/2598.52	c #Conflicts:     526000 | #Constraints:      25525
2591.99/2598.52	c #Conflicts:     527000 | #Constraints:      26525
2591.99/2598.52	c #Conflicts:     528000 | #Constraints:      27525
2591.99/2598.52	c #Conflicts:     529000 | #Constraints:      28525
2591.99/2598.52	c #Conflicts:     530000 | #Constraints:      29525
2591.99/2598.52	c #Conflicts:     531000 | #Constraints:      30525
2591.99/2598.52	c INPROCESSING
2591.99/2598.52	c GARBAGE COLLECT
2591.99/2598.52	c #Conflicts:     532000 | #Constraints:      17127
2591.99/2598.52	c #Conflicts:     533000 | #Constraints:      18127
2591.99/2598.52	c #Conflicts:     534000 | #Constraints:      19127
2591.99/2598.52	c #Conflicts:     535000 | #Constraints:      20127
2591.99/2598.52	c #Conflicts:     536000 | #Constraints:      21127
2591.99/2598.52	c #Conflicts:     537000 | #Constraints:      22127
2591.99/2598.52	c #Conflicts:     538000 | #Constraints:      23127
2591.99/2598.52	c #Conflicts:     539000 | #Constraints:      24127
2591.99/2598.52	c #Conflicts:     540000 | #Constraints:      25127
2591.99/2598.52	c #Conflicts:     541000 | #Constraints:      26127
2591.99/2598.52	c #Conflicts:     542000 | #Constraints:      27127
2591.99/2598.52	c #Conflicts:     543000 | #Constraints:      28127
2591.99/2598.52	c #Conflicts:     544000 | #Constraints:      29127
2591.99/2598.52	c #Conflicts:     545000 | #Constraints:      30127
2591.99/2598.52	c #Conflicts:     546000 | #Constraints:      31127
2591.99/2598.52	c INPROCESSING
2591.99/2598.52	c GARBAGE COLLECT
2591.99/2598.52	c #Conflicts:     547000 | #Constraints:      17525
3254.96/3263.15	c #Conflicts:     548000 | #Constraints:      18525
3254.96/3263.15	c #Conflicts:     549000 | #Constraints:      19525
3254.96/3263.15	c #Conflicts:     550000 | #Constraints:      20525
3254.96/3263.15	c #Conflicts:     551000 | #Constraints:      21525
3254.96/3263.15	c #Conflicts:     552000 | #Constraints:      22525
3254.96/3263.15	c #Conflicts:     553000 | #Constraints:      23525
3254.96/3263.15	c #Conflicts:     554000 | #Constraints:      24525
3254.96/3263.15	c #Conflicts:     555000 | #Constraints:      25525
3254.96/3263.15	c #Conflicts:     556000 | #Constraints:      26525
3254.96/3263.15	c #Conflicts:     557000 | #Constraints:      27525
3254.96/3263.15	c #Conflicts:     558000 | #Constraints:      28525
3254.96/3263.15	c #Conflicts:     559000 | #Constraints:      29525
3254.96/3263.15	c #Conflicts:     560000 | #Constraints:      30525
3254.96/3263.15	c #Conflicts:     561000 | #Constraints:      31525
3254.96/3263.15	c INPROCESSING
3254.96/3263.15	c GARBAGE COLLECT
3254.96/3263.15	c #Conflicts:     562000 | #Constraints:      17728
3254.96/3263.15	c #Conflicts:     563000 | #Constraints:      18728
3254.96/3263.15	c #Conflicts:     564000 | #Constraints:      19728
3254.96/3263.15	c #Conflicts:     565000 | #Constraints:      20728
3254.96/3263.15	c #Conflicts:     566000 | #Constraints:      21728
3254.96/3263.15	c #Conflicts:     567000 | #Constraints:      22728
3254.96/3263.15	c #Conflicts:     568000 | #Constraints:      23728
3254.96/3263.15	c #Conflicts:     569000 | #Constraints:      24728
3254.96/3263.15	c #Conflicts:     570000 | #Constraints:      25728
3254.96/3263.15	c #Conflicts:     571000 | #Constraints:      26728
3254.96/3263.15	c #Conflicts:     572000 | #Constraints:      27728
3254.96/3263.15	c #Conflicts:     573000 | #Constraints:      28728
3254.96/3263.15	c #Conflicts:     574000 | #Constraints:      29728
3254.96/3263.15	c #Conflicts:     575000 | #Constraints:      30728
3254.96/3263.15	c #Conflicts:     576000 | #Constraints:      31728
3254.96/3263.15	c INPROCESSING
3254.96/3263.15	c GARBAGE COLLECT
3254.96/3263.15	c #Conflicts:     577000 | #Constraints:      17725
3254.96/3263.15	c #Conflicts:     578000 | #Constraints:      18725
3254.96/3263.15	c #Conflicts:     579000 | #Constraints:      19725
3254.96/3263.15	c #Conflicts:     580000 | #Constraints:      20725
3254.96/3263.15	c #Conflicts:     581000 | #Constraints:      21725
3254.96/3263.15	c #Conflicts:     582000 | #Constraints:      22725
3254.96/3263.15	c #Conflicts:     583000 | #Constraints:      23725
3254.96/3263.15	c #Conflicts:     584000 | #Constraints:      24725
3254.96/3263.15	c #Conflicts:     585000 | #Constraints:      25725
3254.96/3263.15	c #Conflicts:     586000 | #Constraints:      26725
3254.96/3263.15	c #Conflicts:     587000 | #Constraints:      27725
3254.96/3263.15	c #Conflicts:     588000 | #Constraints:      28725
3254.96/3263.15	c #Conflicts:     589000 | #Constraints:      29725
3254.96/3263.15	c #Conflicts:     590000 | #Constraints:      30725
3254.96/3263.15	c #Conflicts:     591000 | #Constraints:      31725
3254.96/3263.15	c INPROCESSING
3254.96/3263.15	c GARBAGE COLLECT
3254.96/3263.15	c #Conflicts:     592000 | #Constraints:      17527
3254.96/3263.15	c #Conflicts:     593000 | #Constraints:      18527
3254.96/3263.15	c #Conflicts:     594000 | #Constraints:      19527
3254.96/3263.15	c #Conflicts:     595000 | #Constraints:      20527
3254.96/3263.15	c #Conflicts:     596000 | #Constraints:      21527
3254.96/3263.15	c #Conflicts:     597000 | #Constraints:      22527
3254.96/3263.15	c #Conflicts:     598000 | #Constraints:      23527
3254.96/3263.15	c #Conflicts:     599000 | #Constraints:      24527
3254.96/3263.15	c #Conflicts:     600000 | #Constraints:      25527
3254.96/3263.15	c #Conflicts:     601000 | #Constraints:      26527
3254.96/3263.15	c #Conflicts:     602000 | #Constraints:      27527
3254.96/3263.15	c #Conflicts:     603000 | #Constraints:      28527
3254.96/3263.15	c #Conflicts:     604000 | #Constraints:      29527
3254.96/3263.15	c #Conflicts:     605000 | #Constraints:      30527
3254.96/3263.15	c #Conflicts:     606000 | #Constraints:      31527
3254.96/3263.15	c #Conflicts:     607000 | #Constraints:      32527
3254.96/3263.15	c INPROCESSING
3254.96/3263.15	c GARBAGE COLLECT
3254.96/3263.15	c #Conflicts:     608000 | #Constraints:      18130
3254.96/3263.15	c #Conflicts:     609000 | #Constraints:      19130
3254.96/3263.15	c #Conflicts:     610000 | #Constraints:      20130
3254.96/3263.15	c #Conflicts:     611000 | #Constraints:      21130
3254.96/3263.15	c #Conflicts:     612000 | #Constraints:      22130
3254.96/3263.15	c #Conflicts:     613000 | #Constraints:      23130
3254.96/3263.15	c #Conflicts:     614000 | #Constraints:      24130
3254.96/3263.15	c #Conflicts:     615000 | #Constraints:      25130
3254.96/3263.15	c #Conflicts:     616000 | #Constraints:      26130
3254.96/3263.15	c #Conflicts:     617000 | #Constraints:      27130
3254.96/3263.15	c #Conflicts:     618000 | #Constraints:      28130
3254.96/3263.15	c #Conflicts:     619000 | #Constraints:      29130
3254.96/3263.15	c #Conflicts:     620000 | #Constraints:      30130
3254.96/3263.15	c #Conflicts:     621000 | #Constraints:      31130
3254.96/3263.15	c #Conflicts:     622000 | #Constraints:      32130
3254.96/3263.15	c #Conflicts:     623000 | #Constraints:      33130
3254.96/3263.15	c INPROCESSING
3600.02/3609.00	c GARBAGE COLLECT
3600.02/3609.00	c #Conflicts:     624000 | #Constraints:      18528
3600.02/3609.00	c #Conflicts:     625000 | #Constraints:      19528
3600.02/3609.00	c #Conflicts:     626000 | #Constraints:      20528
3600.02/3609.00	c #Conflicts:     627000 | #Constraints:      21528
3600.02/3609.00	c #Conflicts:     628000 | #Constraints:      22528
3600.02/3609.00	c #Conflicts:     629000 | #Constraints:      23528
3600.02/3609.00	c #Conflicts:     630000 | #Constraints:      24528
3600.02/3609.00	c #Conflicts:     631000 | #Constraints:      25528
3600.02/3609.00	c #Conflicts:     632000 | #Constraints:      26528
3600.02/3609.00	c #Conflicts:     633000 | #Constraints:      27528
3600.02/3609.00	c #Conflicts:     634000 | #Constraints:      28528
3600.02/3609.00	c #Conflicts:     635000 | #Constraints:      29528
3600.02/3609.00	c #Conflicts:     636000 | #Constraints:      30528
3600.02/3609.00	c #Conflicts:     637000 | #Constraints:      31528
3600.02/3609.00	c #Conflicts:     638000 | #Constraints:      32528
3600.02/3609.00	c #Conflicts:     639000 | #Constraints:      33528
3600.02/3609.00	c INPROCESSING
3600.02/3609.00	c GARBAGE COLLECT
3600.02/3609.00	c #Conflicts:     640000 | #Constraints:      18731
3600.02/3609.00	c #Conflicts:     641000 | #Constraints:      19731
3600.02/3609.00	c #Conflicts:     642000 | #Constraints:      20731
3600.02/3609.00	c #Conflicts:     643000 | #Constraints:      21731
3600.02/3609.00	c #Conflicts:     644000 | #Constraints:      22731
3600.02/3609.00	c #Conflicts:     645000 | #Constraints:      23731
3600.02/3609.00	c #Conflicts:     646000 | #Constraints:      24731
3600.02/3609.00	c #Conflicts:     647000 | #Constraints:      25731
3600.02/3609.00	c #Conflicts:     648000 | #Constraints:      26731
3600.02/3609.00	c #Conflicts:     649000 | #Constraints:      27731
3600.02/3609.00	c #Conflicts:     650000 | #Constraints:      28731
3600.02/3609.00	c #Conflicts:     651000 | #Constraints:      29731
3600.02/3609.00	c #Conflicts:     652000 | #Constraints:      30731
3600.02/3609.00	c #Conflicts:     653000 | #Constraints:      31731
3600.02/3609.00	c #Conflicts:     654000 | #Constraints:      32731
3600.02/3609.00	c #Conflicts:     655000 | #Constraints:      33731
3600.02/3609.00	c INPROCESSING
3600.02/3609.00	c GARBAGE COLLECT
3600.02/3609.00	c #Conflicts:     656000 | #Constraints:      18732
3600.02/3609.00	c #Conflicts:     657000 | #Constraints:      19732
3600.02/3609.00	c #Conflicts:     658000 | #Constraints:      20732
3600.02/3609.00	c #Conflicts:     659000 | #Constraints:      21732
3600.02/3609.00	c Program interrupted by user.
3600.02/3609.00	c cpu time 3596.33 s
3600.02/3609.00	c deterministic time 727941988039 7.28e+11
3600.02/3609.00	c optimization time 75.7835 s
3600.02/3609.00	c total solve time 3520.54 s
3600.02/3609.00	c core-guided solve time 3520.54 s
3600.02/3609.00	c propagation time 3381.33 s
3600.02/3609.00	c conflict analysis time 198.098 s
3600.02/3609.00	c propagations 36052953
3600.02/3609.00	c resolve steps 13141472
3600.02/3609.00	c decisions 848596
3600.02/3609.00	c conflicts 659264
3600.02/3609.00	c restarts 1404
3600.02/3609.00	c inprocessing phases 72
3600.02/3609.00	c input clauses 934
3600.02/3609.00	c input cardinalities 54
3600.02/3609.00	c input general constraints 971
3600.02/3609.00	c input average constraint length 37.52
3600.02/3609.00	c input average constraint degree 122.70
3600.02/3609.00	c learned clauses 595587
3600.02/3609.00	c learned cardinalities 2
3600.02/3609.00	c learned general constraints 63696
3600.02/3609.00	c learned average constraint length 447.88
3600.02/3609.00	c learned average constraint degree 718.85
3600.02/3609.00	c watched constraints 63668
3600.02/3609.00	c counting constraints 999
3600.02/3609.00	c gcd simplifications 401040
3600.02/3609.00	c detected cardinalities 1
3600.02/3609.00	c weakened non-implied lits 226804357
3600.02/3609.00	c weakened non-implying lits 662735
3600.02/3609.00	c original variables 882
3600.02/3609.00	c clausal propagations 12626984
3600.02/3609.00	c cardinality propagations 728041
3600.02/3609.00	c watched propagations 3462122
3600.02/3609.00	c counting propagations 18609104
3600.02/3609.00	c watch lookups 14884169605
3600.02/3609.00	c watch backjump lookups 3936532042
3600.02/3609.01	c watch checks 693808310198
3600.02/3609.01	c propagation checks 14036183193
3600.02/3609.01	c constraint additions 1202331623
3600.02/3609.01	c trail pops 37559828
3600.02/3609.01	c formula constraints 1664
3600.02/3609.01	c learned constraints 659285
3600.02/3609.01	c bound constraints 75
3600.02/3609.01	c core-guided constraints 220
3600.02/3609.01	c encountered formula constraints 11597541
3600.02/3609.01	c encountered learned constraints 1849774
3600.02/3609.01	c encountered bound constraints 34760
3600.02/3609.01	c encountered core-guided constraints 318661
3600.02/3609.01	c LP total time 0 s
3600.02/3609.01	c LP solve time 0 s
3600.02/3609.01	c LP constraints added 0
3600.02/3609.01	c LP constraints removed 0
3600.02/3609.01	c LP pivots internal 0
3600.02/3609.01	c LP pivots root 0
3600.02/3609.01	c LP calls 0
3600.02/3609.01	c LP optimalities 0
3600.02/3609.01	c LP no pivot count 0
3600.02/3609.01	c LP infeasibilities 0
3600.02/3609.01	c LP valid Farkas constraints 0
3600.02/3609.01	c LP learned Farkas constraints 0
3600.02/3609.01	c LP basis resets 0
3600.02/3609.01	c LP cycling count 0
3600.02/3609.01	c LP singular count 0
3600.02/3609.01	c LP no primal count 0
3600.02/3609.01	c LP no farkas count 0
3600.02/3609.01	c LP other issue count 0
3600.02/3609.01	c LP Gomory cuts 0
3600.02/3609.01	c LP learned cuts 0
3600.02/3609.01	c LP deleted cuts 0
3600.02/3609.01	c LP encountered Gomory constraints 0
3600.02/3609.01	c LP encountered Farkas constraints 0
3600.02/3609.01	c LP encountered learned Farkas constraints 0
3600.02/3609.01	c CG auxiliary variables introduced 145
3600.02/3609.01	c CG solutions found 5
3600.02/3609.01	c CG cores constructed 56
3600.02/3609.01	c CG core cardinality constraints returned 0
3600.02/3609.01	c CG unit cores 0
3600.02/3609.01	c CG single cores 56
3600.02/3609.01	c CG blocks removed during cardinality reduction 0
3600.02/3609.01	c CG first core best 0
3600.02/3609.01	c CG decision core best 0
3600.02/3609.01	c CG core reduction tie 0
3600.02/3609.01	c CG core degree average 1.00
3600.02/3609.01	c CG core slack average 2.34
3600.02/3609.01	c CG exhausted 0
3600.02/3609.01	c CG exhaust time 39.8581 s
3600.02/3609.01	c CG trimmed 0
3600.02/3609.01	c CG trim time 0.004267 s
3600.02/3609.01	c CG minimized 0
3600.02/3609.01	c CG minimize time 0 s
3600.02/3609.01	c CG am1 prop time 0.01349 s
3600.02/3609.01	c CG # am1s reformulated 86
3600.02/3609.01	c CG lower bound derived from am1s 1728
3600.02/3609.01	c CG # clausal cores 56
3600.02/3609.01	c CG # cardinality cores 0
3600.02/3609.01	c CG # pb cores 0
3600.02/3609.01	c CG # pb reforms 21
3600.02/3609.01	c CG # cores discarded because of pb reform 0
3600.02/3609.01	d LOWERBOUND -3360
3600.02/3609.01	d NCORES 56
3600.02/3609.01	d NPBCORES 0
3600.02/3609.01	d NPBREFORM 21
3600.02/3609.01	d NTRIMMED 0
3600.02/3609.01	d NEXHAUSTED 0
3600.02/3609.01	d NAM1S 86
3600.02/3609.01	d AM1LB 1728
3600.02/3609.01	o -267
3600.02/3609.01	s SATISFIABLE
3600.02/3609.01	v x1 x2 x3 -x4 x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -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

Verifier Data 

OK	-267

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 (59330 MiB free)
  memory of node 1: 64510 MiB (61635 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=1068650, runsolver pid=1068645

[startup+0.100451 s]*
/proc/loadavg: 4.14 4.13 4.09 5/256 1068671
/proc/meminfo: memFree=123865612/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=39424 memory=7204 CPUtime=0.1 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 620 0 0 0 10 0 0 0 20 0 1 0 199976640 40370176 1801 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 9856 1801 1392 291 0 1390 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39424 KiB
Current children cumulated memory: 7204 KiB

[startup+0.20531 s]*
/proc/loadavg: 4.14 4.13 4.09 5/256 1068671
/proc/meminfo: memFree=123858572/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=39424 memory=7732 CPUtime=0.2 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 743 0 0 0 20 0 0 0 20 0 1 0 199976640 40370176 1933 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 9856 1933 1392 291 0 1390 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39424 KiB
Current children cumulated memory: 7732 KiB

[startup+0.304354 s]*
/proc/loadavg: 4.14 4.13 4.09 5/256 1068671
/proc/meminfo: memFree=123850312/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=39424 memory=9780 CPUtime=0.3 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 756 0 0 0 30 0 0 0 20 0 1 0 199976640 40370176 2445 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 9856 2445 1392 291 0 1390 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39424 KiB
Current children cumulated memory: 9780 KiB

[startup+0.700165 s]
/proc/loadavg: 4.14 4.13 4.09 5/256 1068671
/proc/meminfo: memFree=123842680/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=39672 memory=10228 CPUtime=0.68 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 823 0 0 0 68 0 0 0 20 0 1 0 199976640 40624128 2557 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 9918 2557 1408 291 0 1452 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39672 KiB
Current children cumulated memory: 10228 KiB

[startup+1.50022 s]
/proc/loadavg: 4.14 4.13 4.09 5/254 1068677
/proc/meminfo: memFree=123811472/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=42604 memory=11688 CPUtime=1.48 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 1137 0 0 0 148 0 0 0 20 0 1 0 199976640 43626496 2922 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 10651 2922 1472 291 0 2185 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42604 KiB
Current children cumulated memory: 11688 KiB

[startup+3.10544 s]
/proc/loadavg: 4.14 4.13 4.09 5/258 1068703
/proc/meminfo: memFree=123771476/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=47572 memory=15540 CPUtime=3.08 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 2067 0 0 0 307 1 0 0 20 0 1 0 199976640 48713728 3885 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 11893 3885 1472 291 0 3427 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 15540 KiB

[startup+6.3002 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 1068749
/proc/meminfo: memFree=123745720/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=51660 memory=22368 CPUtime=6.27 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 3276 0 0 0 624 3 0 0 20 0 1 0 199976640 52899840 5592 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 12915 5592 1472 291 0 4449 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 51660 KiB
Current children cumulated memory: 22368 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 1068797
/proc/meminfo: memFree=125601620/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=60848 memory=29744 CPUtime=12.66 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 4090 0 0 0 1260 6 0 0 20 0 1 0 199976640 62308352 7436 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 15212 7436 1472 291 0 6746 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 60848 KiB
Current children cumulated memory: 29744 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 1068798
/proc/meminfo: memFree=125538316/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=63408 memory=33928 CPUtime=25.42 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 4650 0 0 0 2531 11 0 0 20 0 1 0 199976640 64929792 8482 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 15852 8482 1472 291 0 7386 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 63408 KiB
Current children cumulated memory: 33928 KiB

[startup+51.1055 s]
/proc/loadavg: 4.27 4.15 4.10 5/258 1068803
/proc/meminfo: memFree=125438136/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=78256 memory=40604 CPUtime=50.95 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 5887 0 0 0 5077 18 0 0 20 0 1 0 199976640 80134144 10151 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 19564 10151 1472 291 0 11098 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 78256 KiB
Current children cumulated memory: 40604 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/257 1068814
/proc/meminfo: memFree=125343252/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=83428 memory=47904 CPUtime=102.01 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 7234 0 0 0 10172 29 0 0 20 0 1 0 199976640 85430272 11976 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 20857 11976 1472 291 0 12391 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 83428 KiB
Current children cumulated memory: 47904 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/260 1069210
/proc/meminfo: memFree=125274584/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=87300 memory=57516 CPUtime=161.84 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 8207 0 0 0 16142 42 0 0 20 0 1 0 199976640 89395200 14379 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 21825 14379 1472 291 0 13359 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 87300 KiB
Current children cumulated memory: 57516 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/258 1069220
/proc/meminfo: memFree=125226632/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=108428 memory=60448 CPUtime=221.66 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 9005 0 0 0 22112 54 0 0 20 0 1 0 199976640 111030272 15112 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 27107 15112 1472 291 0 18641 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 108428 KiB
Current children cumulated memory: 60448 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 1069231
/proc/meminfo: memFree=125151360/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=109152 memory=65064 CPUtime=281.49 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 9572 0 0 0 28085 64 0 0 20 0 1 0 199976640 111771648 16266 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 27288 16266 1472 291 0 18822 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 109152 KiB
Current children cumulated memory: 65064 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/259 1069410
/proc/meminfo: memFree=125097336/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=110824 memory=68872 CPUtime=341.34 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 9998 0 0 0 34062 72 0 0 20 0 1 0 199976640 113483776 17218 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 27706 17218 1472 291 0 19240 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 110824 KiB
Current children cumulated memory: 68872 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/259 1069421
/proc/meminfo: memFree=125056276/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=111240 memory=71128 CPUtime=401.2 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 10114 0 0 0 40041 79 0 0 20 0 1 0 199976640 113909760 17782 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 27810 17782 1472 291 0 19344 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 111240 KiB
Current children cumulated memory: 71128 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/260 1069488
/proc/meminfo: memFree=125026132/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=112348 memory=74136 CPUtime=461.06 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 10442 0 0 0 46019 87 0 0 20 0 1 0 199976640 115044352 18534 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 28087 18534 1472 291 0 19621 0

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

Current children cumulated memory: 126600 KiB

[startup+2862.3 s]
/proc/loadavg: 4.21 4.18 4.12 5/257 1070511
/proc/meminfo: memFree=123894928/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=164904 memory=126604 CPUtime=2855.13 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 17918 0 0 0 285191 322 0 0 20 0 1 0 199976640 168861696 31651 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 41226 31651 1472 291 0 32760 0
Current children cumulated CPU time: 2855.13 s
Current children cumulated vsize: 164904 KiB
Current children cumulated memory: 126604 KiB

[startup+2922.3 s]
/proc/loadavg: 4.31 4.23 4.14 5/257 1070522
/proc/meminfo: memFree=123891004/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=164904 memory=129544 CPUtime=2914.99 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 17968 0 0 0 291172 327 0 0 20 0 1 0 199976640 168861696 32386 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 41226 32386 1472 291 0 32760 0
Current children cumulated CPU time: 2914.99 s
Current children cumulated vsize: 164904 KiB
Current children cumulated memory: 129544 KiB

[startup+2982.3 s]
/proc/loadavg: 4.21 4.22 4.14 5/257 1070532
/proc/meminfo: memFree=123888756/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=164780 memory=129424 CPUtime=2974.84 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 18036 0 0 0 297154 330 0 0 20 0 1 0 199976640 168734720 32356 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 41195 32356 1472 291 0 32729 0
Current children cumulated CPU time: 2974.84 s
Current children cumulated vsize: 164780 KiB
Current children cumulated memory: 129424 KiB

[startup+3042.3 s]
/proc/loadavg: 4.49 4.29 4.17 5/257 1070543
/proc/meminfo: memFree=123879668/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=164780 memory=129424 CPUtime=3034.69 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 18089 0 0 0 303135 334 0 0 20 0 1 0 199976640 168734720 32356 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 41195 32356 1472 291 0 32729 0
Current children cumulated CPU time: 3034.69 s
Current children cumulated vsize: 164780 KiB
Current children cumulated memory: 129424 KiB

[startup+3102.3 s]
/proc/loadavg: 4.43 4.32 4.19 5/257 1070555
/proc/meminfo: memFree=123876624/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=165392 memory=129504 CPUtime=3094.55 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 18216 0 0 0 309117 338 0 0 20 0 1 0 199976640 169361408 32376 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 41348 32376 1472 291 0 32882 0
Current children cumulated CPU time: 3094.55 s
Current children cumulated vsize: 165392 KiB
Current children cumulated memory: 129504 KiB

[startup+3162.3 s]
/proc/loadavg: 4.22 4.28 4.18 5/255 1070565
/proc/meminfo: memFree=123873524/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=165588 memory=132032 CPUtime=3154.4 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 18377 0 0 0 315099 341 0 0 20 0 1 0 199976640 169562112 33008 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 41397 33008 1472 291 0 32931 0
Current children cumulated CPU time: 3154.4 s
Current children cumulated vsize: 165588 KiB
Current children cumulated memory: 132032 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.26 4.18 5/255 1070575
/proc/meminfo: memFree=123873072/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=165588 memory=132032 CPUtime=3214.26 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 18434 0 0 0 321081 345 0 0 20 0 1 0 199976640 169562112 33008 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 41397 33008 1472 291 0 32931 0
Current children cumulated CPU time: 3214.26 s
Current children cumulated vsize: 165588 KiB
Current children cumulated memory: 132032 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.22 4.17 5/255 1070587
/proc/meminfo: memFree=123869408/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=166752 memory=134848 CPUtime=3274.12 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 18715 0 0 0 327063 349 0 0 20 0 1 0 199976640 170754048 33712 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 41688 33712 1472 291 0 33222 0
Current children cumulated CPU time: 3274.12 s
Current children cumulated vsize: 166752 KiB
Current children cumulated memory: 134848 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.20 4.17 5/255 1070598
/proc/meminfo: memFree=123868124/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=166752 memory=134848 CPUtime=3333.97 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 18769 0 0 0 333045 352 0 0 20 0 1 0 199976640 170754048 33712 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 41688 33712 1472 291 0 33222 0
Current children cumulated CPU time: 3333.97 s
Current children cumulated vsize: 166752 KiB
Current children cumulated memory: 134848 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.19 4.17 5/255 1070609
/proc/meminfo: memFree=123866596/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=168272 memory=135444 CPUtime=3393.83 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 19031 0 0 0 339027 356 0 0 20 0 1 0 199976640 172310528 33861 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 42068 33861 1472 291 0 33602 0
Current children cumulated CPU time: 3393.83 s
Current children cumulated vsize: 168272 KiB
Current children cumulated memory: 135444 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.17 4.16 5/257 1070624
/proc/meminfo: memFree=123862916/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=168608 memory=138076 CPUtime=3453.68 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 19216 0 0 0 345008 360 0 0 20 0 1 0 199976640 172654592 34519 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 42152 34519 1472 291 0 33686 0
Current children cumulated CPU time: 3453.68 s
Current children cumulated vsize: 168608 KiB
Current children cumulated memory: 138076 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.15 4.16 5/257 1070636
/proc/meminfo: memFree=123862196/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=168608 memory=138076 CPUtime=3513.53 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 19272 0 0 0 350989 364 0 0 20 0 1 0 199976640 172654592 34519 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 42152 34519 1472 291 0 33686 0
Current children cumulated CPU time: 3513.53 s
Current children cumulated vsize: 168608 KiB
Current children cumulated memory: 138076 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/257 1070646
/proc/meminfo: memFree=123859252/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=168736 memory=138208 CPUtime=3573.38 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 19395 0 0 0 356970 368 0 0 20 0 1 0 199976640 172785664 34552 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 42184 34552 1472 291 0 33718 0
Current children cumulated CPU time: 3573.38 s
Current children cumulated vsize: 168736 KiB
Current children cumulated memory: 138208 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 4.08 4.14 4.15 5/257 1070651
/proc/meminfo: memFree=123856432/131524600 swapFree=130799640/131071996
[pid=1068650] ppid=1068645 vsize=168736 memory=138208 CPUtime=3600.02 cores=5,7
/proc/1068650/stat : 1068650 (pb-oll-rs) R 1068645 1068650 1064609 0 -1 4194304 19446 0 0 0 359632 370 0 0 20 0 1 0 199976640 172785664 34552 134679101440 4194304 5384485 140724856049872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34852864 140724856054805 140724856054882 140724856054882 140724856061899 0
/proc/1068650/statm: 42184 34552 1472 291 0 33718 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 168736 KiB
Current children cumulated memory: 138208 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.33 s, system=3.7055 s

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

Child status: 0

Real time (s): 3609.01
CPU time (s): 3600.04
CPU user time (s): 3596.33
CPU system time (s): 3.7055
CPU usage (%): 99.7514
Max. virtual memory (cumulated for all children) (KiB): 168736
Max. memory (cumulated for all children) (KiB): 138208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.33
system time used= 3.7055
maximum resident set size= 138208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19462
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= 55
involuntary context switches= 1724


# summary of solver processes directly reported to runsolver:
#   pid: 1068650
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3596.33
#   total CPU system time (s): 3.7055

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.75511 second user time and 18.1084 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-20 14:23:07
IDJOB=4454590
IDBENCH=158491
IDSOLVER=3082
FILE ID=nodeC014/4454590-1721478175
RUNJOBID= nodeC014-1721470968-1064622
SLURM_JOB_ID= 7545736
Free space on /tmp= 890000 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-06.lin.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454590-1721478175/watcher-4454590-1721478175 -o /tmp/evaluation-result-4454590-1721478175/solver-4454590-1721478175 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721470968-1064622 --watchdog 3760  pb-oll-rs HOME/instance-4454590-1721478175.opb

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

MD5SUM BENCH= b877664571262cc35a091b0e7e24e61f
RANDOM SEED=1225720426

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123866528 kB
MemAvailable:   128081068 kB
Buffers:          521792 kB
Cached:          4487824 kB
SwapCached:        12796 kB
Active:          1586000 kB
Inactive:        5438552 kB
Active(anon):       9188 kB
Inactive(anon):  2035480 kB
Active(file):    1576812 kB
Inactive(file):  3403072 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130799640 kB
Dirty:              4484 kB
Writeback:             0 kB
AnonPages:       2006272 kB
Mapped:            53476 kB
Shmem:             29732 kB
KReclaimable:     148608 kB
Slab:             251928 kB
SReclaimable:     148608 kB
SUnreclaim:       103320 kB
KernelStack:        3992 kB
PageTables:        13908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2796444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            37344 kB
HardwareCorrupted:     0 kB
AnonHugePages:    352256 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:      303828 kB
DirectMap2M:    38266880 kB
DirectMap1G:    97517568 kB

Free space on /tmp at the end= 890028 MiB
End job on nodeC014 at 2024-07-20 15:23:17