Trace number 4436148

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb-oll-rs 2024-07-02SAT (TO)-267 3600.04 3610.11

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.005409
0.00/0.00	c stratification level: 32
0.00/0.00	c bounds - >= -6538 @ 0.005409
0.00/0.00	c bounds - >= -6506 @ 0.005409
0.00/0.00	c bounds - >= -6474 @ 0.005409
0.00/0.00	c bounds - >= -6442 @ 0.005409
0.00/0.00	c bounds - >= -6410 @ 0.005409
0.00/0.00	c bounds - >= -6378 @ 0.005409
0.00/0.00	c bounds - >= -6346 @ 0.005462
0.00/0.00	c bounds - >= -6314 @ 0.005519
0.00/0.00	c bounds - >= -6282 @ 0.005576
0.00/0.00	c bounds - >= -6250 @ 0.005631
0.00/0.00	c bounds - >= -6218 @ 0.005685
0.00/0.00	c bounds - >= -6186 @ 0.005739
0.00/0.00	c bounds - >= -6154 @ 0.005795
0.00/0.00	c bounds - >= -6122 @ 0.00585
0.00/0.00	c bounds - >= -6090 @ 0.005908
0.00/0.00	c bounds - >= -6058 @ 0.005963
0.00/0.00	c bounds - >= -6026 @ 0.006018
0.00/0.00	c bounds - >= -5994 @ 0.006092
0.00/0.00	c bounds - >= -5962 @ 0.006155
0.00/0.00	c bounds - >= -5930 @ 0.006216
0.00/0.00	c finalizing WCE round: reformulating cores
26.21/26.37	c #Conflicts:       1000 | #Constraints:       2727
26.21/26.37	c #Conflicts:       2000 | #Constraints:       3729
26.21/26.37	c INPROCESSING
26.21/26.37	c GARBAGE COLLECT
26.21/26.37	c #Conflicts:       3000 | #Constraints:       3703
26.21/26.37	c #Conflicts:       4000 | #Constraints:       4705
26.21/26.37	c INPROCESSING
26.21/26.37	c GARBAGE COLLECT
26.21/26.37	c #Conflicts:       5000 | #Constraints:       4107
26.21/26.37	c #Conflicts:       6000 | #Constraints:       5109
26.21/26.37	c bounds -250 >= -5930 @ 2.98258
26.21/26.37	c INPROCESSING
26.21/26.37	c GARBAGE COLLECT
26.21/26.37	c #Conflicts:       7000 | #Constraints:       4110
26.21/26.37	c #Conflicts:       8000 | #Constraints:       5110
26.21/26.37	c #Conflicts:       9000 | #Constraints:       6110
26.21/26.37	c INPROCESSING
26.21/26.37	c GARBAGE COLLECT
26.21/26.37	c #Conflicts:      10000 | #Constraints:       4821
26.21/26.37	c #Conflicts:      11000 | #Constraints:       5821
26.21/26.37	c #Conflicts:      12000 | #Constraints:       6821
26.21/26.37	c INPROCESSING
26.21/26.37	c GARBAGE COLLECT
26.21/26.37	c #Conflicts:      13000 | #Constraints:       5287
26.21/26.37	c #Conflicts:      14000 | #Constraints:       6287
26.21/26.37	c #Conflicts:      15000 | #Constraints:       7287
26.21/26.37	c INPROCESSING
26.21/26.37	c GARBAGE COLLECT
26.21/26.37	c #Conflicts:      16000 | #Constraints:       5534
26.21/26.37	c #Conflicts:      17000 | #Constraints:       6534
26.21/26.37	c #Conflicts:      18000 | #Constraints:       7534
26.21/26.37	c INPROCESSING
26.21/26.37	c GARBAGE COLLECT
26.21/26.37	c #Conflicts:      19000 | #Constraints:       5565
26.21/26.37	c #Conflicts:      20000 | #Constraints:       6565
26.21/26.37	c #Conflicts:      21000 | #Constraints:       7565
26.21/26.37	c INPROCESSING
26.21/26.37	c GARBAGE COLLECT
26.21/26.37	c #Conflicts:      22000 | #Constraints:       5383
26.21/26.37	c #Conflicts:      23000 | #Constraints:       6383
26.21/26.37	c #Conflicts:      24000 | #Constraints:       7383
26.21/26.37	c #Conflicts:      25000 | #Constraints:       8383
26.21/26.37	c INPROCESSING
26.21/26.37	c GARBAGE COLLECT
26.21/26.37	c #Conflicts:      26000 | #Constraints:       6002
26.21/26.37	c bounds -253 >= -5930 @ 26.187
26.21/26.37	c stratification level: 29
27.32/27.47	c bounds -255 >= -5930 @ 27.2896
27.32/27.47	c stratification level: 26
44.97/45.15	c #Conflicts:      27000 | #Constraints:       7004
44.97/45.15	c #Conflicts:      28000 | #Constraints:       8004
44.97/45.15	c #Conflicts:      29000 | #Constraints:       9004
44.97/45.15	c INPROCESSING
44.97/45.15	c GARBAGE COLLECT
44.97/45.15	c #Conflicts:      30000 | #Constraints:       6420
44.97/45.15	c #Conflicts:      31000 | #Constraints:       7420
44.97/45.15	c #Conflicts:      32000 | #Constraints:       8420
44.97/45.15	c #Conflicts:      33000 | #Constraints:       9420
44.97/45.15	c INPROCESSING
44.97/45.15	c GARBAGE COLLECT
44.97/45.15	c #Conflicts:      34000 | #Constraints:       6636
44.97/45.15	c #Conflicts:      35000 | #Constraints:       7636
44.97/45.15	c #Conflicts:      36000 | #Constraints:       8636
44.97/45.15	c #Conflicts:      37000 | #Constraints:       9636
44.97/45.15	c INPROCESSING
44.97/45.15	c GARBAGE COLLECT
44.97/45.15	c #Conflicts:      38000 | #Constraints:       6646
44.97/45.15	c bounds -257 >= -5930 @ 44.8683
44.97/45.15	c stratification level: 24
44.97/45.19	c bounds -257 >= -4200 @ 44.8826
44.97/45.19	c bounds -257 >= -4176 @ 44.8829
44.97/45.19	c bounds -257 >= -4152 @ 44.884
44.97/45.19	c bounds -257 >= -4128 @ 44.8844
44.97/45.19	c bounds -257 >= -4104 @ 44.8851
44.97/45.19	c bounds -257 >= -4080 @ 44.8859
44.97/45.19	c bounds -257 >= -4056 @ 44.8867
44.97/45.19	c bounds -257 >= -4032 @ 44.8875
44.97/45.19	c bounds -257 >= -4008 @ 44.8882
44.97/45.19	c bounds -257 >= -3984 @ 44.889
44.97/45.19	c bounds -257 >= -3960 @ 44.8895
44.97/45.19	c bounds -257 >= -3936 @ 44.8903
44.97/45.19	c bounds -257 >= -3912 @ 44.8911
44.97/45.19	c bounds -257 >= -3888 @ 44.8918
44.97/45.19	c bounds -257 >= -3864 @ 44.8919
44.97/45.19	c bounds -257 >= -3840 @ 44.8921
44.97/45.19	c bounds -257 >= -3816 @ 44.8926
44.97/45.19	c bounds -257 >= -3792 @ 44.8933
44.97/45.19	c bounds -257 >= -3768 @ 44.8937
44.97/45.19	c bounds -257 >= -3744 @ 44.8945
44.97/45.19	c bounds -257 >= -3720 @ 44.8952
44.97/45.19	c bounds -257 >= -3696 @ 44.8954
44.97/45.19	c bounds -257 >= -3672 @ 44.8955
44.97/45.19	c finalizing WCE round: reformulating cores
163.53/164.01	c #Conflicts:      39000 | #Constraints:       7781
163.53/164.01	c #Conflicts:      40000 | #Constraints:       8785
163.53/164.01	c #Conflicts:      41000 | #Constraints:       9787
163.53/164.01	c INPROCESSING
163.53/164.01	c GARBAGE COLLECT
163.53/164.01	c #Conflicts:      42000 | #Constraints:       6488
163.53/164.01	c #Conflicts:      43000 | #Constraints:       7490
163.53/164.01	c #Conflicts:      44000 | #Constraints:       8494
163.53/164.01	c #Conflicts:      45000 | #Constraints:       9496
163.53/164.01	c #Conflicts:      46000 | #Constraints:      10498
163.53/164.01	c INPROCESSING
163.53/164.01	c GARBAGE COLLECT
163.53/164.01	c #Conflicts:      47000 | #Constraints:       7061
163.53/164.01	c #Conflicts:      48000 | #Constraints:       8063
163.53/164.01	c #Conflicts:      49000 | #Constraints:       9065
163.53/164.01	c #Conflicts:      50000 | #Constraints:      10069
163.53/164.01	c #Conflicts:      51000 | #Constraints:      11071
163.53/164.01	c INPROCESSING
163.53/164.01	c GARBAGE COLLECT
163.53/164.01	c #Conflicts:      52000 | #Constraints:       7456
163.53/164.01	c #Conflicts:      53000 | #Constraints:       8458
163.53/164.01	c #Conflicts:      54000 | #Constraints:       9460
163.53/164.01	c #Conflicts:      55000 | #Constraints:      10464
163.53/164.01	c #Conflicts:      56000 | #Constraints:      11466
163.53/164.01	c INPROCESSING
163.53/164.01	c GARBAGE COLLECT
163.53/164.01	c bounds -267 >= -3672 @ 81.3669
163.53/164.01	c bounds -267 >= -3648 @ 81.3677
163.53/164.01	c bounds -267 >= -3624 @ 81.3681
163.53/164.01	c bounds -267 >= -3600 @ 81.3687
163.53/164.01	c bounds -267 >= -3576 @ 81.3695
163.53/164.01	c bounds -267 >= -3552 @ 81.3704
163.53/164.01	c bounds -267 >= -3528 @ 81.3711
163.53/164.01	c bounds -267 >= -3504 @ 81.3719
163.53/164.01	c bounds -267 >= -3480 @ 81.3729
163.53/164.01	c bounds -267 >= -3456 @ 81.3744
163.53/164.01	c bounds -267 >= -3432 @ 81.3751
163.53/164.01	c bounds -267 >= -3408 @ 81.3754
163.53/164.01	c bounds -267 >= -3384 @ 81.3774
163.53/164.01	c bounds -267 >= -3360 @ 81.3817
163.53/164.01	c #Conflicts:      57000 | #Constraints:       7717
163.53/164.01	c #Conflicts:      58000 | #Constraints:       8717
163.53/164.01	c #Conflicts:      59000 | #Constraints:       9717
163.53/164.01	c #Conflicts:      60000 | #Constraints:      10717
163.53/164.01	c #Conflicts:      61000 | #Constraints:      11717
163.53/164.01	c INPROCESSING
163.53/164.01	c GARBAGE COLLECT
163.53/164.01	c #Conflicts:      62000 | #Constraints:       7712
163.53/164.01	c #Conflicts:      63000 | #Constraints:       8712
163.53/164.01	c #Conflicts:      64000 | #Constraints:       9712
163.53/164.01	c #Conflicts:      65000 | #Constraints:      10712
163.53/164.01	c #Conflicts:      66000 | #Constraints:      11712
163.53/164.01	c INPROCESSING
163.53/164.01	c GARBAGE COLLECT
163.53/164.01	c #Conflicts:      67000 | #Constraints:       7508
163.53/164.01	c #Conflicts:      68000 | #Constraints:       8508
163.53/164.01	c #Conflicts:      69000 | #Constraints:       9508
163.53/164.01	c #Conflicts:      70000 | #Constraints:      10508
163.53/164.01	c #Conflicts:      71000 | #Constraints:      11508
163.53/164.01	c #Conflicts:      72000 | #Constraints:      12508
163.53/164.01	c INPROCESSING
163.53/164.01	c GARBAGE COLLECT
163.53/164.01	c #Conflicts:      73000 | #Constraints:       8109
163.53/164.01	c #Conflicts:      74000 | #Constraints:       9109
163.53/164.01	c #Conflicts:      75000 | #Constraints:      10109
163.53/164.01	c #Conflicts:      76000 | #Constraints:      11109
163.53/164.01	c #Conflicts:      77000 | #Constraints:      12109
163.53/164.01	c #Conflicts:      78000 | #Constraints:      13109
163.53/164.01	c INPROCESSING
163.53/164.01	c GARBAGE COLLECT
163.53/164.01	c #Conflicts:      79000 | #Constraints:       8513
163.53/164.01	c #Conflicts:      80000 | #Constraints:       9513
163.53/164.01	c #Conflicts:      81000 | #Constraints:      10513
163.53/164.01	c #Conflicts:      82000 | #Constraints:      11513
163.53/164.01	c #Conflicts:      83000 | #Constraints:      12513
163.53/164.01	c #Conflicts:      84000 | #Constraints:      13513
163.53/164.01	c INPROCESSING
163.53/164.01	c GARBAGE COLLECT
163.53/164.01	c #Conflicts:      85000 | #Constraints:       8708
163.53/164.01	c #Conflicts:      86000 | #Constraints:       9708
163.53/164.01	c #Conflicts:      87000 | #Constraints:      10708
163.53/164.01	c #Conflicts:      88000 | #Constraints:      11708
163.53/164.01	c #Conflicts:      89000 | #Constraints:      12708
163.53/164.01	c #Conflicts:      90000 | #Constraints:      13708
163.53/164.01	c INPROCESSING
163.53/164.01	c GARBAGE COLLECT
163.53/164.01	c #Conflicts:      91000 | #Constraints:       8708
163.53/164.01	c #Conflicts:      92000 | #Constraints:       9708
163.53/164.01	c #Conflicts:      93000 | #Constraints:      10708
163.53/164.01	c #Conflicts:      94000 | #Constraints:      11708
163.53/164.01	c #Conflicts:      95000 | #Constraints:      12708
163.53/164.01	c #Conflicts:      96000 | #Constraints:      13708
163.53/164.01	c INPROCESSING
163.53/164.01	c GARBAGE COLLECT
163.53/164.01	c #Conflicts:      97000 | #Constraints:       8511
163.53/164.01	c #Conflicts:      98000 | #Constraints:       9511
163.53/164.01	c #Conflicts:      99000 | #Constraints:      10511
163.53/164.01	c #Conflicts:     100000 | #Constraints:      11511
163.53/164.01	c #Conflicts:     101000 | #Constraints:      12511
402.89/404.08	c #Conflicts:     102000 | #Constraints:      13511
402.89/404.08	c #Conflicts:     103000 | #Constraints:      14511
402.89/404.08	c INPROCESSING
402.89/404.08	c GARBAGE COLLECT
402.89/404.08	c #Conflicts:     104000 | #Constraints:       9109
402.89/404.08	c #Conflicts:     105000 | #Constraints:      10109
402.89/404.08	c #Conflicts:     106000 | #Constraints:      11109
402.89/404.08	c #Conflicts:     107000 | #Constraints:      12109
402.89/404.08	c #Conflicts:     108000 | #Constraints:      13109
402.89/404.08	c #Conflicts:     109000 | #Constraints:      14109
402.89/404.08	c #Conflicts:     110000 | #Constraints:      15109
402.89/404.08	c INPROCESSING
402.89/404.08	c GARBAGE COLLECT
402.89/404.08	c #Conflicts:     111000 | #Constraints:       9514
402.89/404.08	c #Conflicts:     112000 | #Constraints:      10514
402.89/404.08	c #Conflicts:     113000 | #Constraints:      11514
402.89/404.08	c #Conflicts:     114000 | #Constraints:      12514
402.89/404.08	c #Conflicts:     115000 | #Constraints:      13514
402.89/404.08	c #Conflicts:     116000 | #Constraints:      14514
402.89/404.08	c #Conflicts:     117000 | #Constraints:      15514
402.89/404.08	c INPROCESSING
402.89/404.08	c GARBAGE COLLECT
402.89/404.08	c #Conflicts:     118000 | #Constraints:       9715
402.89/404.08	c #Conflicts:     119000 | #Constraints:      10715
402.89/404.08	c #Conflicts:     120000 | #Constraints:      11715
402.89/404.08	c #Conflicts:     121000 | #Constraints:      12715
402.89/404.08	c #Conflicts:     122000 | #Constraints:      13715
402.89/404.08	c #Conflicts:     123000 | #Constraints:      14715
402.89/404.08	c #Conflicts:     124000 | #Constraints:      15715
402.89/404.08	c INPROCESSING
402.89/404.08	c GARBAGE COLLECT
402.89/404.08	c #Conflicts:     125000 | #Constraints:       9716
402.89/404.08	c #Conflicts:     126000 | #Constraints:      10716
402.89/404.08	c #Conflicts:     127000 | #Constraints:      11716
402.89/404.08	c #Conflicts:     128000 | #Constraints:      12716
402.89/404.08	c #Conflicts:     129000 | #Constraints:      13716
402.89/404.08	c #Conflicts:     130000 | #Constraints:      14716
402.89/404.08	c #Conflicts:     131000 | #Constraints:      15716
402.89/404.08	c INPROCESSING
402.89/404.08	c GARBAGE COLLECT
402.89/404.08	c #Conflicts:     132000 | #Constraints:       9519
402.89/404.08	c #Conflicts:     133000 | #Constraints:      10519
402.89/404.08	c #Conflicts:     134000 | #Constraints:      11519
402.89/404.08	c #Conflicts:     135000 | #Constraints:      12519
402.89/404.08	c #Conflicts:     136000 | #Constraints:      13519
402.89/404.08	c #Conflicts:     137000 | #Constraints:      14519
402.89/404.08	c #Conflicts:     138000 | #Constraints:      15519
402.89/404.08	c #Conflicts:     139000 | #Constraints:      16519
402.89/404.08	c INPROCESSING
402.89/404.08	c GARBAGE COLLECT
402.89/404.08	c #Conflicts:     140000 | #Constraints:      10121
402.89/404.08	c #Conflicts:     141000 | #Constraints:      11121
402.89/404.08	c #Conflicts:     142000 | #Constraints:      12121
402.89/404.08	c #Conflicts:     143000 | #Constraints:      13121
402.89/404.08	c #Conflicts:     144000 | #Constraints:      14121
402.89/404.08	c #Conflicts:     145000 | #Constraints:      15121
402.89/404.08	c #Conflicts:     146000 | #Constraints:      16121
402.89/404.08	c #Conflicts:     147000 | #Constraints:      17121
402.89/404.08	c INPROCESSING
402.89/404.08	c GARBAGE COLLECT
402.89/404.08	c #Conflicts:     148000 | #Constraints:      10519
402.89/404.08	c #Conflicts:     149000 | #Constraints:      11519
402.89/404.08	c #Conflicts:     150000 | #Constraints:      12519
402.89/404.08	c #Conflicts:     151000 | #Constraints:      13519
402.89/404.08	c #Conflicts:     152000 | #Constraints:      14519
402.89/404.08	c #Conflicts:     153000 | #Constraints:      15519
402.89/404.08	c #Conflicts:     154000 | #Constraints:      16519
402.89/404.08	c #Conflicts:     155000 | #Constraints:      17519
402.89/404.08	c INPROCESSING
402.89/404.08	c GARBAGE COLLECT
402.89/404.08	c #Conflicts:     156000 | #Constraints:      10720
402.89/404.08	c #Conflicts:     157000 | #Constraints:      11720
402.89/404.08	c #Conflicts:     158000 | #Constraints:      12720
402.89/404.08	c #Conflicts:     159000 | #Constraints:      13720
402.89/404.08	c #Conflicts:     160000 | #Constraints:      14720
402.89/404.08	c #Conflicts:     161000 | #Constraints:      15720
402.89/404.08	c #Conflicts:     162000 | #Constraints:      16720
402.89/404.08	c #Conflicts:     163000 | #Constraints:      17720
402.89/404.08	c INPROCESSING
402.89/404.08	c GARBAGE COLLECT
402.89/404.08	c #Conflicts:     164000 | #Constraints:      10723
402.89/404.08	c #Conflicts:     165000 | #Constraints:      11723
402.89/404.08	c #Conflicts:     166000 | #Constraints:      12723
402.89/404.08	c #Conflicts:     167000 | #Constraints:      13723
402.89/404.08	c #Conflicts:     168000 | #Constraints:      14723
402.89/404.08	c #Conflicts:     169000 | #Constraints:      15723
402.89/404.08	c #Conflicts:     170000 | #Constraints:      16723
402.89/404.08	c #Conflicts:     171000 | #Constraints:      17723
402.89/404.08	c INPROCESSING
402.89/404.08	c GARBAGE COLLECT
402.89/404.08	c #Conflicts:     172000 | #Constraints:      10520
402.89/404.08	c #Conflicts:     173000 | #Constraints:      11520
402.89/404.08	c #Conflicts:     174000 | #Constraints:      12520
686.83/688.83	c #Conflicts:     175000 | #Constraints:      13520
686.83/688.83	c #Conflicts:     176000 | #Constraints:      14520
686.83/688.83	c #Conflicts:     177000 | #Constraints:      15520
686.83/688.83	c #Conflicts:     178000 | #Constraints:      16520
686.83/688.83	c #Conflicts:     179000 | #Constraints:      17520
686.83/688.83	c #Conflicts:     180000 | #Constraints:      18520
686.83/688.83	c INPROCESSING
686.83/688.83	c GARBAGE COLLECT
686.83/688.83	c #Conflicts:     181000 | #Constraints:      11121
686.83/688.83	c #Conflicts:     182000 | #Constraints:      12121
686.83/688.83	c #Conflicts:     183000 | #Constraints:      13121
686.83/688.83	c #Conflicts:     184000 | #Constraints:      14121
686.83/688.83	c #Conflicts:     185000 | #Constraints:      15121
686.83/688.83	c #Conflicts:     186000 | #Constraints:      16121
686.83/688.83	c #Conflicts:     187000 | #Constraints:      17121
686.83/688.83	c #Conflicts:     188000 | #Constraints:      18121
686.83/688.83	c #Conflicts:     189000 | #Constraints:      19121
686.83/688.83	c INPROCESSING
686.83/688.83	c GARBAGE COLLECT
686.83/688.83	c #Conflicts:     190000 | #Constraints:      11521
686.83/688.83	c #Conflicts:     191000 | #Constraints:      12521
686.83/688.83	c #Conflicts:     192000 | #Constraints:      13521
686.83/688.83	c #Conflicts:     193000 | #Constraints:      14521
686.83/688.83	c #Conflicts:     194000 | #Constraints:      15521
686.83/688.83	c #Conflicts:     195000 | #Constraints:      16521
686.83/688.83	c #Conflicts:     196000 | #Constraints:      17521
686.83/688.83	c #Conflicts:     197000 | #Constraints:      18521
686.83/688.83	c #Conflicts:     198000 | #Constraints:      19521
686.83/688.83	c INPROCESSING
686.83/688.83	c GARBAGE COLLECT
686.83/688.83	c #Conflicts:     199000 | #Constraints:      11722
686.83/688.83	c #Conflicts:     200000 | #Constraints:      12722
686.83/688.83	c #Conflicts:     201000 | #Constraints:      13722
686.83/688.83	c #Conflicts:     202000 | #Constraints:      14722
686.83/688.83	c #Conflicts:     203000 | #Constraints:      15722
686.83/688.83	c #Conflicts:     204000 | #Constraints:      16722
686.83/688.83	c #Conflicts:     205000 | #Constraints:      17722
686.83/688.83	c #Conflicts:     206000 | #Constraints:      18722
686.83/688.83	c #Conflicts:     207000 | #Constraints:      19722
686.83/688.83	c INPROCESSING
686.83/688.83	c GARBAGE COLLECT
686.83/688.83	c #Conflicts:     208000 | #Constraints:      11719
686.83/688.83	c #Conflicts:     209000 | #Constraints:      12719
686.83/688.83	c #Conflicts:     210000 | #Constraints:      13719
686.83/688.83	c #Conflicts:     211000 | #Constraints:      14719
686.83/688.83	c #Conflicts:     212000 | #Constraints:      15719
686.83/688.83	c #Conflicts:     213000 | #Constraints:      16719
686.83/688.83	c #Conflicts:     214000 | #Constraints:      17719
686.83/688.83	c #Conflicts:     215000 | #Constraints:      18719
686.83/688.83	c #Conflicts:     216000 | #Constraints:      19719
686.83/688.83	c INPROCESSING
686.83/688.83	c GARBAGE COLLECT
686.83/688.83	c #Conflicts:     217000 | #Constraints:      11524
686.83/688.83	c #Conflicts:     218000 | #Constraints:      12524
686.83/688.83	c #Conflicts:     219000 | #Constraints:      13524
686.83/688.83	c #Conflicts:     220000 | #Constraints:      14524
686.83/688.83	c #Conflicts:     221000 | #Constraints:      15524
686.83/688.83	c #Conflicts:     222000 | #Constraints:      16524
686.83/688.83	c #Conflicts:     223000 | #Constraints:      17524
686.83/688.83	c #Conflicts:     224000 | #Constraints:      18524
686.83/688.83	c #Conflicts:     225000 | #Constraints:      19524
686.83/688.83	c #Conflicts:     226000 | #Constraints:      20524
686.83/688.83	c INPROCESSING
686.83/688.83	c GARBAGE COLLECT
686.83/688.83	c #Conflicts:     227000 | #Constraints:      12123
686.83/688.83	c #Conflicts:     228000 | #Constraints:      13123
686.83/688.83	c #Conflicts:     229000 | #Constraints:      14123
686.83/688.83	c #Conflicts:     230000 | #Constraints:      15123
686.83/688.83	c #Conflicts:     231000 | #Constraints:      16123
686.83/688.83	c #Conflicts:     232000 | #Constraints:      17123
686.83/688.83	c #Conflicts:     233000 | #Constraints:      18123
686.83/688.83	c #Conflicts:     234000 | #Constraints:      19123
686.83/688.83	c #Conflicts:     235000 | #Constraints:      20123
686.83/688.83	c #Conflicts:     236000 | #Constraints:      21123
686.83/688.83	c INPROCESSING
686.83/688.83	c GARBAGE COLLECT
686.83/688.83	c #Conflicts:     237000 | #Constraints:      12528
686.83/688.83	c #Conflicts:     238000 | #Constraints:      13528
686.83/688.83	c #Conflicts:     239000 | #Constraints:      14528
686.83/688.83	c #Conflicts:     240000 | #Constraints:      15528
686.83/688.83	c #Conflicts:     241000 | #Constraints:      16528
686.83/688.83	c #Conflicts:     242000 | #Constraints:      17528
686.83/688.83	c #Conflicts:     243000 | #Constraints:      18528
686.83/688.83	c #Conflicts:     244000 | #Constraints:      19528
686.83/688.83	c #Conflicts:     245000 | #Constraints:      20528
686.83/688.83	c #Conflicts:     246000 | #Constraints:      21528
686.83/688.83	c INPROCESSING
686.83/688.83	c GARBAGE COLLECT
686.83/688.83	c #Conflicts:     247000 | #Constraints:      12730
686.83/688.83	c #Conflicts:     248000 | #Constraints:      13730
1086.66/1089.72	c #Conflicts:     249000 | #Constraints:      14730
1086.66/1089.72	c #Conflicts:     250000 | #Constraints:      15730
1086.66/1089.72	c #Conflicts:     251000 | #Constraints:      16730
1086.66/1089.72	c #Conflicts:     252000 | #Constraints:      17730
1086.66/1089.72	c #Conflicts:     253000 | #Constraints:      18730
1086.66/1089.72	c #Conflicts:     254000 | #Constraints:      19730
1086.66/1089.72	c #Conflicts:     255000 | #Constraints:      20730
1086.66/1089.72	c #Conflicts:     256000 | #Constraints:      21730
1086.66/1089.72	c INPROCESSING
1086.66/1089.72	c GARBAGE COLLECT
1086.66/1089.72	c #Conflicts:     257000 | #Constraints:      12729
1086.66/1089.72	c #Conflicts:     258000 | #Constraints:      13729
1086.66/1089.72	c #Conflicts:     259000 | #Constraints:      14729
1086.66/1089.72	c #Conflicts:     260000 | #Constraints:      15729
1086.66/1089.72	c #Conflicts:     261000 | #Constraints:      16729
1086.66/1089.72	c #Conflicts:     262000 | #Constraints:      17729
1086.66/1089.72	c #Conflicts:     263000 | #Constraints:      18729
1086.66/1089.72	c #Conflicts:     264000 | #Constraints:      19729
1086.66/1089.72	c #Conflicts:     265000 | #Constraints:      20729
1086.66/1089.72	c #Conflicts:     266000 | #Constraints:      21729
1086.66/1089.72	c INPROCESSING
1086.66/1089.72	c GARBAGE COLLECT
1086.66/1089.72	c #Conflicts:     267000 | #Constraints:      12527
1086.66/1089.72	c #Conflicts:     268000 | #Constraints:      13527
1086.66/1089.72	c #Conflicts:     269000 | #Constraints:      14527
1086.66/1089.72	c #Conflicts:     270000 | #Constraints:      15527
1086.66/1089.72	c #Conflicts:     271000 | #Constraints:      16527
1086.66/1089.72	c #Conflicts:     272000 | #Constraints:      17527
1086.66/1089.72	c #Conflicts:     273000 | #Constraints:      18527
1086.66/1089.72	c #Conflicts:     274000 | #Constraints:      19527
1086.66/1089.72	c #Conflicts:     275000 | #Constraints:      20527
1086.66/1089.72	c #Conflicts:     276000 | #Constraints:      21527
1086.66/1089.72	c #Conflicts:     277000 | #Constraints:      22527
1086.66/1089.72	c INPROCESSING
1086.66/1089.72	c GARBAGE COLLECT
1086.66/1089.72	c #Conflicts:     278000 | #Constraints:      13124
1086.66/1089.72	c #Conflicts:     279000 | #Constraints:      14124
1086.66/1089.72	c #Conflicts:     280000 | #Constraints:      15124
1086.66/1089.72	c #Conflicts:     281000 | #Constraints:      16124
1086.66/1089.72	c #Conflicts:     282000 | #Constraints:      17124
1086.66/1089.72	c #Conflicts:     283000 | #Constraints:      18124
1086.66/1089.72	c #Conflicts:     284000 | #Constraints:      19124
1086.66/1089.72	c #Conflicts:     285000 | #Constraints:      20124
1086.66/1089.72	c #Conflicts:     286000 | #Constraints:      21124
1086.66/1089.72	c #Conflicts:     287000 | #Constraints:      22124
1086.66/1089.72	c #Conflicts:     288000 | #Constraints:      23124
1086.66/1089.72	c INPROCESSING
1086.66/1089.72	c GARBAGE COLLECT
1086.66/1089.72	c #Conflicts:     289000 | #Constraints:      13519
1086.66/1089.72	c #Conflicts:     290000 | #Constraints:      14519
1086.66/1089.72	c #Conflicts:     291000 | #Constraints:      15519
1086.66/1089.72	c #Conflicts:     292000 | #Constraints:      16519
1086.66/1089.72	c #Conflicts:     293000 | #Constraints:      17519
1086.66/1089.72	c #Conflicts:     294000 | #Constraints:      18519
1086.66/1089.72	c #Conflicts:     295000 | #Constraints:      19519
1086.66/1089.72	c #Conflicts:     296000 | #Constraints:      20519
1086.66/1089.72	c #Conflicts:     297000 | #Constraints:      21519
1086.66/1089.72	c #Conflicts:     298000 | #Constraints:      22519
1086.66/1089.72	c #Conflicts:     299000 | #Constraints:      23519
1086.66/1089.72	c INPROCESSING
1086.66/1089.72	c GARBAGE COLLECT
1086.66/1089.72	c #Conflicts:     300000 | #Constraints:      13725
1086.66/1089.72	c #Conflicts:     301000 | #Constraints:      14725
1086.66/1089.72	c #Conflicts:     302000 | #Constraints:      15725
1086.66/1089.72	c #Conflicts:     303000 | #Constraints:      16725
1086.66/1089.72	c #Conflicts:     304000 | #Constraints:      17725
1086.66/1089.72	c #Conflicts:     305000 | #Constraints:      18725
1086.66/1089.72	c #Conflicts:     306000 | #Constraints:      19725
1086.66/1089.72	c #Conflicts:     307000 | #Constraints:      20725
1086.66/1089.72	c #Conflicts:     308000 | #Constraints:      21725
1086.66/1089.72	c #Conflicts:     309000 | #Constraints:      22725
1086.66/1089.72	c #Conflicts:     310000 | #Constraints:      23725
1086.66/1089.72	c INPROCESSING
1086.66/1089.72	c GARBAGE COLLECT
1086.66/1089.72	c #Conflicts:     311000 | #Constraints:      13727
1086.66/1089.72	c #Conflicts:     312000 | #Constraints:      14727
1086.66/1089.72	c #Conflicts:     313000 | #Constraints:      15727
1086.66/1089.72	c #Conflicts:     314000 | #Constraints:      16727
1086.66/1089.72	c #Conflicts:     315000 | #Constraints:      17727
1086.66/1089.72	c #Conflicts:     316000 | #Constraints:      18727
1086.66/1089.72	c #Conflicts:     317000 | #Constraints:      19727
1086.66/1089.72	c #Conflicts:     318000 | #Constraints:      20727
1086.66/1089.72	c #Conflicts:     319000 | #Constraints:      21727
1086.66/1089.72	c #Conflicts:     320000 | #Constraints:      22727
1086.66/1089.72	c #Conflicts:     321000 | #Constraints:      23727
1086.66/1089.72	c INPROCESSING
1086.66/1089.72	c GARBAGE COLLECT
1086.66/1089.72	c #Conflicts:     322000 | #Constraints:      13534
1538.00/1542.31	c #Conflicts:     323000 | #Constraints:      14534
1538.00/1542.31	c #Conflicts:     324000 | #Constraints:      15534
1538.00/1542.31	c #Conflicts:     325000 | #Constraints:      16534
1538.00/1542.31	c #Conflicts:     326000 | #Constraints:      17534
1538.00/1542.31	c #Conflicts:     327000 | #Constraints:      18534
1538.00/1542.31	c #Conflicts:     328000 | #Constraints:      19534
1538.00/1542.31	c #Conflicts:     329000 | #Constraints:      20534
1538.00/1542.31	c #Conflicts:     330000 | #Constraints:      21534
1538.00/1542.31	c #Conflicts:     331000 | #Constraints:      22534
1538.00/1542.31	c #Conflicts:     332000 | #Constraints:      23534
1538.00/1542.31	c #Conflicts:     333000 | #Constraints:      24534
1538.00/1542.31	c INPROCESSING
1538.00/1542.31	c GARBAGE COLLECT
1538.00/1542.31	c #Conflicts:     334000 | #Constraints:      14128
1538.00/1542.31	c #Conflicts:     335000 | #Constraints:      15128
1538.00/1542.31	c #Conflicts:     336000 | #Constraints:      16128
1538.00/1542.31	c #Conflicts:     337000 | #Constraints:      17128
1538.00/1542.31	c #Conflicts:     338000 | #Constraints:      18128
1538.00/1542.31	c #Conflicts:     339000 | #Constraints:      19128
1538.00/1542.31	c #Conflicts:     340000 | #Constraints:      20128
1538.00/1542.31	c #Conflicts:     341000 | #Constraints:      21128
1538.00/1542.31	c #Conflicts:     342000 | #Constraints:      22128
1538.00/1542.31	c #Conflicts:     343000 | #Constraints:      23128
1538.00/1542.31	c #Conflicts:     344000 | #Constraints:      24128
1538.00/1542.31	c #Conflicts:     345000 | #Constraints:      25128
1538.00/1542.31	c INPROCESSING
1538.00/1542.31	c GARBAGE COLLECT
1538.00/1542.31	c #Conflicts:     346000 | #Constraints:      14524
1538.00/1542.31	c #Conflicts:     347000 | #Constraints:      15524
1538.00/1542.31	c #Conflicts:     348000 | #Constraints:      16524
1538.00/1542.31	c #Conflicts:     349000 | #Constraints:      17524
1538.00/1542.31	c #Conflicts:     350000 | #Constraints:      18524
1538.00/1542.31	c #Conflicts:     351000 | #Constraints:      19524
1538.00/1542.31	c #Conflicts:     352000 | #Constraints:      20524
1538.00/1542.31	c #Conflicts:     353000 | #Constraints:      21524
1538.00/1542.31	c #Conflicts:     354000 | #Constraints:      22524
1538.00/1542.31	c #Conflicts:     355000 | #Constraints:      23524
1538.00/1542.31	c #Conflicts:     356000 | #Constraints:      24524
1538.00/1542.31	c #Conflicts:     357000 | #Constraints:      25524
1538.00/1542.31	c INPROCESSING
1538.00/1542.31	c GARBAGE COLLECT
1538.00/1542.31	c #Conflicts:     358000 | #Constraints:      14731
1538.00/1542.31	c #Conflicts:     359000 | #Constraints:      15731
1538.00/1542.31	c #Conflicts:     360000 | #Constraints:      16731
1538.00/1542.31	c #Conflicts:     361000 | #Constraints:      17731
1538.00/1542.31	c #Conflicts:     362000 | #Constraints:      18731
1538.00/1542.31	c #Conflicts:     363000 | #Constraints:      19731
1538.00/1542.31	c #Conflicts:     364000 | #Constraints:      20731
1538.00/1542.31	c #Conflicts:     365000 | #Constraints:      21731
1538.00/1542.31	c #Conflicts:     366000 | #Constraints:      22731
1538.00/1542.31	c #Conflicts:     367000 | #Constraints:      23731
1538.00/1542.31	c #Conflicts:     368000 | #Constraints:      24731
1538.00/1542.31	c #Conflicts:     369000 | #Constraints:      25731
1538.00/1542.31	c INPROCESSING
1538.00/1542.31	c GARBAGE COLLECT
1538.00/1542.31	c #Conflicts:     370000 | #Constraints:      14727
1538.00/1542.31	c #Conflicts:     371000 | #Constraints:      15727
1538.00/1542.31	c #Conflicts:     372000 | #Constraints:      16727
1538.00/1542.31	c #Conflicts:     373000 | #Constraints:      17727
1538.00/1542.31	c #Conflicts:     374000 | #Constraints:      18727
1538.00/1542.31	c #Conflicts:     375000 | #Constraints:      19727
1538.00/1542.31	c #Conflicts:     376000 | #Constraints:      20727
1538.00/1542.31	c #Conflicts:     377000 | #Constraints:      21727
1538.00/1542.31	c #Conflicts:     378000 | #Constraints:      22727
1538.00/1542.31	c #Conflicts:     379000 | #Constraints:      23727
1538.00/1542.31	c #Conflicts:     380000 | #Constraints:      24727
1538.00/1542.31	c #Conflicts:     381000 | #Constraints:      25727
1538.00/1542.31	c INPROCESSING
1538.00/1542.31	c GARBAGE COLLECT
1538.00/1542.31	c #Conflicts:     382000 | #Constraints:      14532
1538.00/1542.31	c #Conflicts:     383000 | #Constraints:      15532
1538.00/1542.31	c #Conflicts:     384000 | #Constraints:      16532
1538.00/1542.31	c #Conflicts:     385000 | #Constraints:      17532
1538.00/1542.31	c #Conflicts:     386000 | #Constraints:      18532
1538.00/1542.31	c #Conflicts:     387000 | #Constraints:      19532
1538.00/1542.31	c #Conflicts:     388000 | #Constraints:      20532
1538.00/1542.31	c #Conflicts:     389000 | #Constraints:      21532
1538.00/1542.31	c #Conflicts:     390000 | #Constraints:      22532
1538.00/1542.31	c #Conflicts:     391000 | #Constraints:      23532
1538.00/1542.31	c #Conflicts:     392000 | #Constraints:      24532
1538.00/1542.31	c #Conflicts:     393000 | #Constraints:      25532
1538.00/1542.31	c #Conflicts:     394000 | #Constraints:      26532
1538.00/1542.31	c INPROCESSING
1538.00/1542.31	c GARBAGE COLLECT
1538.00/1542.31	c #Conflicts:     395000 | #Constraints:      15127
1538.00/1542.31	c #Conflicts:     396000 | #Constraints:      16127
1538.00/1542.31	c #Conflicts:     397000 | #Constraints:      17127
2037.00/2042.76	c #Conflicts:     398000 | #Constraints:      18127
2037.00/2042.76	c #Conflicts:     399000 | #Constraints:      19127
2037.00/2042.76	c #Conflicts:     400000 | #Constraints:      20127
2037.00/2042.76	c #Conflicts:     401000 | #Constraints:      21127
2037.00/2042.76	c #Conflicts:     402000 | #Constraints:      22127
2037.00/2042.76	c #Conflicts:     403000 | #Constraints:      23127
2037.00/2042.76	c #Conflicts:     404000 | #Constraints:      24127
2037.00/2042.76	c #Conflicts:     405000 | #Constraints:      25127
2037.00/2042.76	c #Conflicts:     406000 | #Constraints:      26127
2037.00/2042.76	c #Conflicts:     407000 | #Constraints:      27127
2037.00/2042.76	c INPROCESSING
2037.00/2042.76	c GARBAGE COLLECT
2037.00/2042.76	c #Conflicts:     408000 | #Constraints:      15524
2037.00/2042.76	c #Conflicts:     409000 | #Constraints:      16524
2037.00/2042.76	c #Conflicts:     410000 | #Constraints:      17524
2037.00/2042.76	c #Conflicts:     411000 | #Constraints:      18524
2037.00/2042.76	c #Conflicts:     412000 | #Constraints:      19524
2037.00/2042.76	c #Conflicts:     413000 | #Constraints:      20524
2037.00/2042.76	c #Conflicts:     414000 | #Constraints:      21524
2037.00/2042.76	c #Conflicts:     415000 | #Constraints:      22524
2037.00/2042.76	c #Conflicts:     416000 | #Constraints:      23524
2037.00/2042.76	c #Conflicts:     417000 | #Constraints:      24524
2037.00/2042.76	c #Conflicts:     418000 | #Constraints:      25524
2037.00/2042.76	c #Conflicts:     419000 | #Constraints:      26524
2037.00/2042.76	c #Conflicts:     420000 | #Constraints:      27524
2037.00/2042.76	c INPROCESSING
2037.00/2042.76	c GARBAGE COLLECT
2037.00/2042.76	c #Conflicts:     421000 | #Constraints:      15732
2037.00/2042.76	c #Conflicts:     422000 | #Constraints:      16732
2037.00/2042.76	c #Conflicts:     423000 | #Constraints:      17732
2037.00/2042.76	c #Conflicts:     424000 | #Constraints:      18732
2037.00/2042.76	c #Conflicts:     425000 | #Constraints:      19732
2037.00/2042.76	c #Conflicts:     426000 | #Constraints:      20732
2037.00/2042.76	c #Conflicts:     427000 | #Constraints:      21732
2037.00/2042.76	c #Conflicts:     428000 | #Constraints:      22732
2037.00/2042.76	c #Conflicts:     429000 | #Constraints:      23732
2037.00/2042.76	c #Conflicts:     430000 | #Constraints:      24732
2037.00/2042.76	c #Conflicts:     431000 | #Constraints:      25732
2037.00/2042.76	c #Conflicts:     432000 | #Constraints:      26732
2037.00/2042.76	c #Conflicts:     433000 | #Constraints:      27732
2037.00/2042.76	c INPROCESSING
2037.00/2042.76	c GARBAGE COLLECT
2037.00/2042.76	c #Conflicts:     434000 | #Constraints:      15732
2037.00/2042.76	c #Conflicts:     435000 | #Constraints:      16732
2037.00/2042.76	c #Conflicts:     436000 | #Constraints:      17732
2037.00/2042.76	c #Conflicts:     437000 | #Constraints:      18732
2037.00/2042.76	c #Conflicts:     438000 | #Constraints:      19732
2037.00/2042.76	c #Conflicts:     439000 | #Constraints:      20732
2037.00/2042.76	c #Conflicts:     440000 | #Constraints:      21732
2037.00/2042.76	c #Conflicts:     441000 | #Constraints:      22732
2037.00/2042.76	c #Conflicts:     442000 | #Constraints:      23732
2037.00/2042.76	c #Conflicts:     443000 | #Constraints:      24732
2037.00/2042.76	c #Conflicts:     444000 | #Constraints:      25732
2037.00/2042.76	c #Conflicts:     445000 | #Constraints:      26732
2037.00/2042.76	c #Conflicts:     446000 | #Constraints:      27732
2037.00/2042.76	c INPROCESSING
2037.00/2042.76	c GARBAGE COLLECT
2037.00/2042.76	c #Conflicts:     447000 | #Constraints:      15531
2037.00/2042.76	c #Conflicts:     448000 | #Constraints:      16531
2037.00/2042.76	c #Conflicts:     449000 | #Constraints:      17531
2037.00/2042.76	c #Conflicts:     450000 | #Constraints:      18531
2037.00/2042.76	c #Conflicts:     451000 | #Constraints:      19531
2037.00/2042.76	c #Conflicts:     452000 | #Constraints:      20531
2037.00/2042.76	c #Conflicts:     453000 | #Constraints:      21531
2037.00/2042.76	c #Conflicts:     454000 | #Constraints:      22531
2037.00/2042.76	c #Conflicts:     455000 | #Constraints:      23531
2037.00/2042.76	c #Conflicts:     456000 | #Constraints:      24531
2037.00/2042.76	c #Conflicts:     457000 | #Constraints:      25531
2037.00/2042.76	c #Conflicts:     458000 | #Constraints:      26531
2037.00/2042.76	c #Conflicts:     459000 | #Constraints:      27531
2037.00/2042.76	c #Conflicts:     460000 | #Constraints:      28531
2037.00/2042.76	c INPROCESSING
2037.00/2042.76	c GARBAGE COLLECT
2037.00/2042.76	c #Conflicts:     461000 | #Constraints:      16126
2037.00/2042.76	c #Conflicts:     462000 | #Constraints:      17126
2037.00/2042.76	c #Conflicts:     463000 | #Constraints:      18126
2037.00/2042.76	c #Conflicts:     464000 | #Constraints:      19126
2037.00/2042.76	c #Conflicts:     465000 | #Constraints:      20126
2037.00/2042.76	c #Conflicts:     466000 | #Constraints:      21126
2037.00/2042.76	c #Conflicts:     467000 | #Constraints:      22126
2037.00/2042.76	c #Conflicts:     468000 | #Constraints:      23126
2037.00/2042.76	c #Conflicts:     469000 | #Constraints:      24126
2037.00/2042.76	c #Conflicts:     470000 | #Constraints:      25126
2037.00/2042.76	c #Conflicts:     471000 | #Constraints:      26126
2037.00/2042.76	c #Conflicts:     472000 | #Constraints:      27126
2640.87/2648.39	c #Conflicts:     473000 | #Constraints:      28126
2640.87/2648.39	c #Conflicts:     474000 | #Constraints:      29126
2640.87/2648.39	c INPROCESSING
2640.87/2648.39	c GARBAGE COLLECT
2640.87/2648.39	c #Conflicts:     475000 | #Constraints:      16524
2640.87/2648.39	c #Conflicts:     476000 | #Constraints:      17524
2640.87/2648.39	c #Conflicts:     477000 | #Constraints:      18524
2640.87/2648.39	c #Conflicts:     478000 | #Constraints:      19524
2640.87/2648.39	c #Conflicts:     479000 | #Constraints:      20524
2640.87/2648.39	c #Conflicts:     480000 | #Constraints:      21524
2640.87/2648.39	c #Conflicts:     481000 | #Constraints:      22524
2640.87/2648.39	c #Conflicts:     482000 | #Constraints:      23524
2640.87/2648.39	c #Conflicts:     483000 | #Constraints:      24524
2640.87/2648.39	c #Conflicts:     484000 | #Constraints:      25524
2640.87/2648.39	c #Conflicts:     485000 | #Constraints:      26524
2640.87/2648.39	c #Conflicts:     486000 | #Constraints:      27524
2640.87/2648.39	c #Conflicts:     487000 | #Constraints:      28524
2640.87/2648.39	c #Conflicts:     488000 | #Constraints:      29524
2640.87/2648.39	c INPROCESSING
2640.87/2648.39	c GARBAGE COLLECT
2640.87/2648.39	c #Conflicts:     489000 | #Constraints:      16724
2640.87/2648.39	c #Conflicts:     490000 | #Constraints:      17724
2640.87/2648.39	c #Conflicts:     491000 | #Constraints:      18724
2640.87/2648.39	c #Conflicts:     492000 | #Constraints:      19724
2640.87/2648.39	c #Conflicts:     493000 | #Constraints:      20724
2640.87/2648.39	c #Conflicts:     494000 | #Constraints:      21724
2640.87/2648.39	c #Conflicts:     495000 | #Constraints:      22724
2640.87/2648.39	c #Conflicts:     496000 | #Constraints:      23724
2640.87/2648.39	c #Conflicts:     497000 | #Constraints:      24724
2640.87/2648.39	c #Conflicts:     498000 | #Constraints:      25724
2640.87/2648.39	c #Conflicts:     499000 | #Constraints:      26724
2640.87/2648.39	c #Conflicts:     500000 | #Constraints:      27724
2640.87/2648.39	c #Conflicts:     501000 | #Constraints:      28724
2640.87/2648.39	c #Conflicts:     502000 | #Constraints:      29724
2640.87/2648.39	c INPROCESSING
2640.87/2648.39	c GARBAGE COLLECT
2640.87/2648.39	c #Conflicts:     503000 | #Constraints:      16727
2640.87/2648.39	c #Conflicts:     504000 | #Constraints:      17727
2640.87/2648.39	c #Conflicts:     505000 | #Constraints:      18727
2640.87/2648.39	c #Conflicts:     506000 | #Constraints:      19727
2640.87/2648.39	c #Conflicts:     507000 | #Constraints:      20727
2640.87/2648.39	c #Conflicts:     508000 | #Constraints:      21727
2640.87/2648.39	c #Conflicts:     509000 | #Constraints:      22727
2640.87/2648.39	c #Conflicts:     510000 | #Constraints:      23727
2640.87/2648.39	c #Conflicts:     511000 | #Constraints:      24727
2640.87/2648.39	c #Conflicts:     512000 | #Constraints:      25727
2640.87/2648.39	c #Conflicts:     513000 | #Constraints:      26727
2640.87/2648.39	c #Conflicts:     514000 | #Constraints:      27727
2640.87/2648.39	c #Conflicts:     515000 | #Constraints:      28727
2640.87/2648.39	c #Conflicts:     516000 | #Constraints:      29727
2640.87/2648.39	c INPROCESSING
2640.87/2648.39	c GARBAGE COLLECT
2640.87/2648.39	c #Conflicts:     517000 | #Constraints:      16525
2640.87/2648.39	c #Conflicts:     518000 | #Constraints:      17525
2640.87/2648.39	c #Conflicts:     519000 | #Constraints:      18525
2640.87/2648.39	c #Conflicts:     520000 | #Constraints:      19525
2640.87/2648.39	c #Conflicts:     521000 | #Constraints:      20525
2640.87/2648.39	c #Conflicts:     522000 | #Constraints:      21525
2640.87/2648.39	c #Conflicts:     523000 | #Constraints:      22525
2640.87/2648.39	c #Conflicts:     524000 | #Constraints:      23525
2640.87/2648.39	c #Conflicts:     525000 | #Constraints:      24525
2640.87/2648.39	c #Conflicts:     526000 | #Constraints:      25525
2640.87/2648.39	c #Conflicts:     527000 | #Constraints:      26525
2640.87/2648.39	c #Conflicts:     528000 | #Constraints:      27525
2640.87/2648.39	c #Conflicts:     529000 | #Constraints:      28525
2640.87/2648.39	c #Conflicts:     530000 | #Constraints:      29525
2640.87/2648.39	c #Conflicts:     531000 | #Constraints:      30525
2640.87/2648.39	c INPROCESSING
2640.87/2648.39	c GARBAGE COLLECT
2640.87/2648.39	c #Conflicts:     532000 | #Constraints:      17127
2640.87/2648.39	c #Conflicts:     533000 | #Constraints:      18127
2640.87/2648.39	c #Conflicts:     534000 | #Constraints:      19127
2640.87/2648.39	c #Conflicts:     535000 | #Constraints:      20127
2640.87/2648.39	c #Conflicts:     536000 | #Constraints:      21127
2640.87/2648.39	c #Conflicts:     537000 | #Constraints:      22127
2640.87/2648.39	c #Conflicts:     538000 | #Constraints:      23127
2640.87/2648.39	c #Conflicts:     539000 | #Constraints:      24127
2640.87/2648.39	c #Conflicts:     540000 | #Constraints:      25127
2640.87/2648.39	c #Conflicts:     541000 | #Constraints:      26127
2640.87/2648.39	c #Conflicts:     542000 | #Constraints:      27127
2640.87/2648.39	c #Conflicts:     543000 | #Constraints:      28127
2640.87/2648.39	c #Conflicts:     544000 | #Constraints:      29127
2640.87/2648.39	c #Conflicts:     545000 | #Constraints:      30127
2640.87/2648.39	c #Conflicts:     546000 | #Constraints:      31127
2640.87/2648.39	c INPROCESSING
2640.87/2648.39	c GARBAGE COLLECT
2640.87/2648.39	c #Conflicts:     547000 | #Constraints:      17525
3314.72/3324.09	c #Conflicts:     548000 | #Constraints:      18525
3314.72/3324.09	c #Conflicts:     549000 | #Constraints:      19525
3314.72/3324.09	c #Conflicts:     550000 | #Constraints:      20525
3314.72/3324.09	c #Conflicts:     551000 | #Constraints:      21525
3314.72/3324.09	c #Conflicts:     552000 | #Constraints:      22525
3314.72/3324.09	c #Conflicts:     553000 | #Constraints:      23525
3314.72/3324.09	c #Conflicts:     554000 | #Constraints:      24525
3314.72/3324.09	c #Conflicts:     555000 | #Constraints:      25525
3314.72/3324.09	c #Conflicts:     556000 | #Constraints:      26525
3314.72/3324.09	c #Conflicts:     557000 | #Constraints:      27525
3314.72/3324.09	c #Conflicts:     558000 | #Constraints:      28525
3314.72/3324.09	c #Conflicts:     559000 | #Constraints:      29525
3314.72/3324.09	c #Conflicts:     560000 | #Constraints:      30525
3314.72/3324.09	c #Conflicts:     561000 | #Constraints:      31525
3314.72/3324.09	c INPROCESSING
3314.72/3324.09	c GARBAGE COLLECT
3314.72/3324.09	c #Conflicts:     562000 | #Constraints:      17728
3314.72/3324.09	c #Conflicts:     563000 | #Constraints:      18728
3314.72/3324.09	c #Conflicts:     564000 | #Constraints:      19728
3314.72/3324.09	c #Conflicts:     565000 | #Constraints:      20728
3314.72/3324.09	c #Conflicts:     566000 | #Constraints:      21728
3314.72/3324.09	c #Conflicts:     567000 | #Constraints:      22728
3314.72/3324.09	c #Conflicts:     568000 | #Constraints:      23728
3314.72/3324.09	c #Conflicts:     569000 | #Constraints:      24728
3314.72/3324.09	c #Conflicts:     570000 | #Constraints:      25728
3314.72/3324.09	c #Conflicts:     571000 | #Constraints:      26728
3314.72/3324.09	c #Conflicts:     572000 | #Constraints:      27728
3314.72/3324.09	c #Conflicts:     573000 | #Constraints:      28728
3314.72/3324.09	c #Conflicts:     574000 | #Constraints:      29728
3314.72/3324.09	c #Conflicts:     575000 | #Constraints:      30728
3314.72/3324.09	c #Conflicts:     576000 | #Constraints:      31728
3314.72/3324.09	c INPROCESSING
3314.72/3324.09	c GARBAGE COLLECT
3314.72/3324.09	c #Conflicts:     577000 | #Constraints:      17725
3314.72/3324.09	c #Conflicts:     578000 | #Constraints:      18725
3314.72/3324.09	c #Conflicts:     579000 | #Constraints:      19725
3314.72/3324.09	c #Conflicts:     580000 | #Constraints:      20725
3314.72/3324.09	c #Conflicts:     581000 | #Constraints:      21725
3314.72/3324.09	c #Conflicts:     582000 | #Constraints:      22725
3314.72/3324.09	c #Conflicts:     583000 | #Constraints:      23725
3314.72/3324.09	c #Conflicts:     584000 | #Constraints:      24725
3314.72/3324.09	c #Conflicts:     585000 | #Constraints:      25725
3314.72/3324.09	c #Conflicts:     586000 | #Constraints:      26725
3314.72/3324.09	c #Conflicts:     587000 | #Constraints:      27725
3314.72/3324.09	c #Conflicts:     588000 | #Constraints:      28725
3314.72/3324.09	c #Conflicts:     589000 | #Constraints:      29725
3314.72/3324.09	c #Conflicts:     590000 | #Constraints:      30725
3314.72/3324.09	c #Conflicts:     591000 | #Constraints:      31725
3314.72/3324.09	c INPROCESSING
3314.72/3324.09	c GARBAGE COLLECT
3314.72/3324.09	c #Conflicts:     592000 | #Constraints:      17527
3314.72/3324.09	c #Conflicts:     593000 | #Constraints:      18527
3314.72/3324.09	c #Conflicts:     594000 | #Constraints:      19527
3314.72/3324.09	c #Conflicts:     595000 | #Constraints:      20527
3314.72/3324.09	c #Conflicts:     596000 | #Constraints:      21527
3314.72/3324.09	c #Conflicts:     597000 | #Constraints:      22527
3314.72/3324.09	c #Conflicts:     598000 | #Constraints:      23527
3314.72/3324.09	c #Conflicts:     599000 | #Constraints:      24527
3314.72/3324.09	c #Conflicts:     600000 | #Constraints:      25527
3314.72/3324.09	c #Conflicts:     601000 | #Constraints:      26527
3314.72/3324.09	c #Conflicts:     602000 | #Constraints:      27527
3314.72/3324.09	c #Conflicts:     603000 | #Constraints:      28527
3314.72/3324.09	c #Conflicts:     604000 | #Constraints:      29527
3314.72/3324.09	c #Conflicts:     605000 | #Constraints:      30527
3314.72/3324.09	c #Conflicts:     606000 | #Constraints:      31527
3314.72/3324.09	c #Conflicts:     607000 | #Constraints:      32527
3314.72/3324.09	c INPROCESSING
3314.72/3324.09	c GARBAGE COLLECT
3314.72/3324.09	c #Conflicts:     608000 | #Constraints:      18130
3314.72/3324.09	c #Conflicts:     609000 | #Constraints:      19130
3314.72/3324.09	c #Conflicts:     610000 | #Constraints:      20130
3314.72/3324.09	c #Conflicts:     611000 | #Constraints:      21130
3314.72/3324.09	c #Conflicts:     612000 | #Constraints:      22130
3314.72/3324.09	c #Conflicts:     613000 | #Constraints:      23130
3314.72/3324.09	c #Conflicts:     614000 | #Constraints:      24130
3314.72/3324.09	c #Conflicts:     615000 | #Constraints:      25130
3314.72/3324.09	c #Conflicts:     616000 | #Constraints:      26130
3314.72/3324.09	c #Conflicts:     617000 | #Constraints:      27130
3314.72/3324.09	c #Conflicts:     618000 | #Constraints:      28130
3314.72/3324.09	c #Conflicts:     619000 | #Constraints:      29130
3314.72/3324.09	c #Conflicts:     620000 | #Constraints:      30130
3314.72/3324.09	c #Conflicts:     621000 | #Constraints:      31130
3314.72/3324.09	c #Conflicts:     622000 | #Constraints:      32130
3314.72/3324.09	c #Conflicts:     623000 | #Constraints:      33130
3314.72/3324.09	c INPROCESSING
3600.02/3610.10	c GARBAGE COLLECT
3600.02/3610.10	c #Conflicts:     624000 | #Constraints:      18528
3600.02/3610.10	c #Conflicts:     625000 | #Constraints:      19528
3600.02/3610.10	c #Conflicts:     626000 | #Constraints:      20528
3600.02/3610.10	c #Conflicts:     627000 | #Constraints:      21528
3600.02/3610.10	c #Conflicts:     628000 | #Constraints:      22528
3600.02/3610.10	c #Conflicts:     629000 | #Constraints:      23528
3600.02/3610.10	c #Conflicts:     630000 | #Constraints:      24528
3600.02/3610.10	c #Conflicts:     631000 | #Constraints:      25528
3600.02/3610.10	c #Conflicts:     632000 | #Constraints:      26528
3600.02/3610.10	c #Conflicts:     633000 | #Constraints:      27528
3600.02/3610.10	c #Conflicts:     634000 | #Constraints:      28528
3600.02/3610.10	c #Conflicts:     635000 | #Constraints:      29528
3600.02/3610.10	c #Conflicts:     636000 | #Constraints:      30528
3600.02/3610.10	c #Conflicts:     637000 | #Constraints:      31528
3600.02/3610.10	c #Conflicts:     638000 | #Constraints:      32528
3600.02/3610.10	c #Conflicts:     639000 | #Constraints:      33528
3600.02/3610.10	c INPROCESSING
3600.02/3610.10	c GARBAGE COLLECT
3600.02/3610.10	c #Conflicts:     640000 | #Constraints:      18731
3600.02/3610.10	c #Conflicts:     641000 | #Constraints:      19731
3600.02/3610.10	c #Conflicts:     642000 | #Constraints:      20731
3600.02/3610.10	c #Conflicts:     643000 | #Constraints:      21731
3600.02/3610.10	c #Conflicts:     644000 | #Constraints:      22731
3600.02/3610.10	c #Conflicts:     645000 | #Constraints:      23731
3600.02/3610.10	c #Conflicts:     646000 | #Constraints:      24731
3600.02/3610.10	c #Conflicts:     647000 | #Constraints:      25731
3600.02/3610.10	c #Conflicts:     648000 | #Constraints:      26731
3600.02/3610.10	c #Conflicts:     649000 | #Constraints:      27731
3600.02/3610.10	c #Conflicts:     650000 | #Constraints:      28731
3600.02/3610.10	c #Conflicts:     651000 | #Constraints:      29731
3600.02/3610.10	c #Conflicts:     652000 | #Constraints:      30731
3600.02/3610.10	c Program interrupted by user.
3600.02/3610.10	c cpu time 3596.01 s
3600.02/3610.10	c deterministic time 716222533431 7.16e+11
3600.02/3610.10	c optimization time 173.673 s
3600.02/3610.10	c total solve time 3422.33 s
3600.02/3610.10	c core-guided solve time 3422.33 s
3600.02/3610.10	c propagation time 3381.38 s
3600.02/3610.10	c conflict analysis time 197.409 s
3600.02/3610.10	c propagations 35596023
3600.02/3610.10	c resolve steps 12996119
3600.02/3610.10	c decisions 838628
3600.02/3610.10	c conflicts 652321
3600.02/3610.10	c restarts 1403
3600.02/3610.10	c inprocessing phases 71
3600.02/3610.10	c input clauses 934
3600.02/3610.10	c input cardinalities 54
3600.02/3610.10	c input general constraints 971
3600.02/3610.10	c input average constraint length 37.52
3600.02/3610.10	c input average constraint degree 122.70
3600.02/3610.10	c learned clauses 589791
3600.02/3610.10	c learned cardinalities 2
3600.02/3610.10	c learned general constraints 62550
3600.02/3610.10	c learned average constraint length 447.59
3600.02/3610.10	c learned average constraint degree 700.12
3600.02/3610.10	c watched constraints 62522
3600.02/3610.10	c counting constraints 999
3600.02/3610.10	c gcd simplifications 397976
3600.02/3610.10	c detected cardinalities 1
3600.02/3610.10	c weakened non-implied lits 224993147
3600.02/3610.10	c weakened non-implying lits 658443
3600.02/3610.10	c original variables 882
3600.02/3610.10	c clausal propagations 12470938
3600.02/3610.10	c cardinality propagations 720068
3600.02/3610.10	c watched propagations 3425328
3600.02/3610.10	c counting propagations 18358932
3600.02/3610.10	c watch lookups 14598067450
3600.02/3610.10	c watch backjump lookups 3842860313
3600.02/3610.10	c watch checks 682630439114
3600.02/3610.10	c propagation checks 13888671106
3600.02/3610.10	c constraint additions 1188974740
3600.02/3610.10	c trail pops 37086056
3600.02/3610.10	c formula constraints 1664
3600.02/3610.10	c learned constraints 652343
3600.02/3610.10	c bound constraints 75
3600.02/3610.10	c core-guided constraints 220
3600.02/3610.10	c encountered formula constraints 11471019
3600.02/3610.10	c encountered learned constraints 1827304
3600.02/3610.10	c encountered bound constraints 34727
3600.02/3610.10	c encountered core-guided constraints 315390
3600.02/3610.10	c LP total time 0 s
3600.02/3610.10	c LP solve time 0 s
3600.02/3610.10	c LP constraints added 0
3600.02/3610.10	c LP constraints removed 0
3600.02/3610.10	c LP pivots internal 0
3600.02/3610.10	c LP pivots root 0
3600.02/3610.10	c LP calls 0
3600.02/3610.10	c LP optimalities 0
3600.02/3610.10	c LP no pivot count 0
3600.02/3610.10	c LP infeasibilities 0
3600.02/3610.10	c LP valid Farkas constraints 0
3600.02/3610.10	c LP learned Farkas constraints 0
3600.02/3610.10	c LP basis resets 0
3600.02/3610.10	c LP cycling count 0
3600.02/3610.10	c LP singular count 0
3600.02/3610.10	c LP no primal count 0
3600.02/3610.10	c LP no farkas count 0
3600.02/3610.10	c LP other issue count 0
3600.02/3610.10	c LP Gomory cuts 0
3600.02/3610.10	c LP learned cuts 0
3600.02/3610.10	c LP deleted cuts 0
3600.02/3610.10	c LP encountered Gomory constraints 0
3600.02/3610.10	c LP encountered Farkas constraints 0
3600.02/3610.10	c LP encountered learned Farkas constraints 0
3600.02/3610.10	c CG auxiliary variables introduced 145
3600.02/3610.10	c CG solutions found 5
3600.02/3610.10	c CG cores constructed 56
3600.02/3610.10	c CG core cardinality constraints returned 0
3600.02/3610.10	c CG unit cores 0
3600.02/3610.10	c CG single cores 56
3600.02/3610.10	c CG blocks removed during cardinality reduction 0
3600.02/3610.10	c CG first core best 0
3600.02/3610.10	c CG decision core best 0
3600.02/3610.10	c CG core reduction tie 0
3600.02/3610.10	c CG core degree average 1.00
3600.02/3610.10	c CG core slack average 2.34
3600.02/3610.10	c CG exhausted 0
3600.02/3610.10	c CG exhaust time 39.4316 s
3600.02/3610.10	c CG trimmed 0
3600.02/3610.10	c CG trim time 0.003804 s
3600.02/3610.10	c CG minimized 0
3600.02/3610.10	c CG minimize time 0 s
3600.02/3610.10	c CG am1 prop time 0.013627 s
3600.02/3610.10	c CG # am1s reformulated 86
3600.02/3610.10	c CG lower bound derived from am1s 1728
3600.02/3610.10	c CG # clausal cores 56
3600.02/3610.10	c CG # cardinality cores 0
3600.02/3610.10	c CG # pb cores 0
3600.02/3610.10	c CG # pb reforms 21
3600.02/3610.10	c CG # cores discarded because of pb reform 0
3600.02/3610.10	d LOWERBOUND -3360
3600.02/3610.10	d NCORES 56
3600.02/3610.10	d NPBCORES 0
3600.02/3610.10	d NPBREFORM 21
3600.02/3610.10	d NTRIMMED 0
3600.02/3610.10	d NEXHAUSTED 0
3600.02/3610.10	d NAM1S 86
3600.02/3610.10	d AM1LB 1728
3600.02/3610.10	o -267
3600.02/3610.10	s SATISFIABLE
3600.02/3610.10	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: 63968 MiB (61885 MiB free)
  memory of node 1: 64473 MiB (61373 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=877163, runsolver pid=877160

[startup+0.100404 s]*
/proc/loadavg: 3.96 4.07 4.05 5/255 877164
/proc/meminfo: memFree=126211284/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=39424 memory=8916 CPUtime=0.09 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 564 0 0 0 9 0 0 0 20 0 1 0 168818773 40370176 2229 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 9856 2229 1375 291 0 1390 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39424 KiB
Current children cumulated memory: 8916 KiB

[startup+0.20555 s]*
/proc/loadavg: 3.96 4.07 4.05 5/255 877164
/proc/meminfo: memFree=126204368/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=39424 memory=9176 CPUtime=0.2 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 573 0 0 0 20 0 0 0 20 0 1 0 168818773 40370176 2294 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 9856 2294 1375 291 0 1390 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39424 KiB
Current children cumulated memory: 9176 KiB

[startup+0.304944 s]*
/proc/loadavg: 3.96 4.07 4.05 5/255 877164
/proc/meminfo: memFree=126201844/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=39424 memory=9176 CPUtime=0.29 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 580 0 0 0 29 0 0 0 20 0 1 0 168818773 40370176 2294 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 9856 2294 1375 291 0 1390 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 39424 KiB
Current children cumulated memory: 9176 KiB

[startup+0.70015 s]
/proc/loadavg: 3.96 4.07 4.05 5/255 877164
/proc/meminfo: memFree=126199688/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=39672 memory=10108 CPUtime=0.68 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 826 0 0 0 68 0 0 0 20 0 1 0 168818773 40624128 2527 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 9918 2527 1391 291 0 1452 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39672 KiB
Current children cumulated memory: 10108 KiB

[startup+1.50015 s]
/proc/loadavg: 3.96 4.07 4.05 5/255 877164
/proc/meminfo: memFree=126189428/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=42604 memory=11560 CPUtime=1.48 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 1127 0 0 0 148 0 0 0 20 0 1 0 168818773 43626496 2890 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 10651 2890 1440 291 0 2185 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42604 KiB
Current children cumulated memory: 11560 KiB

[startup+3.10513 s]
/proc/loadavg: 3.96 4.07 4.05 5/255 877164
/proc/meminfo: memFree=126162764/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=47572 memory=15412 CPUtime=3.08 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 2066 0 0 0 307 1 0 0 20 0 1 0 168818773 48713728 3853 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 11893 3853 1440 291 0 3427 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 15412 KiB

[startup+6.30015 s]
/proc/loadavg: 3.97 4.07 4.05 5/255 877165
/proc/meminfo: memFree=126113716/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=51660 memory=22792 CPUtime=6.27 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 3416 0 0 0 623 4 0 0 20 0 1 0 168818773 52899840 5698 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 12915 5698 1440 291 0 4449 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 51660 KiB
Current children cumulated memory: 22792 KiB

[startup+12.7002 s]
/proc/loadavg: 4.05 4.09 4.06 5/255 877165
/proc/meminfo: memFree=126030708/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=60848 memory=28916 CPUtime=12.66 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 4423 0 0 0 1259 7 0 0 20 0 1 0 168818773 62308352 7229 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 15212 7229 1440 291 0 6746 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 60848 KiB
Current children cumulated memory: 28916 KiB

[startup+25.5002 s]
/proc/loadavg: 4.04 4.08 4.06 6/255 877168
/proc/meminfo: memFree=125902344/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=63408 memory=33800 CPUtime=25.42 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 5156 0 0 0 2532 10 0 0 20 0 1 0 168818773 64929792 8450 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 15852 8450 1440 291 0 7386 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 63408 KiB
Current children cumulated memory: 33800 KiB

[startup+51.1058 s]
/proc/loadavg: 4.02 4.07 4.05 6/257 877175
/proc/meminfo: memFree=125867928/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=78256 memory=41824 CPUtime=50.96 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 6225 0 0 0 5078 18 0 0 20 0 1 0 168818773 80134144 10456 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 19564 10456 1440 291 0 11098 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 78256 KiB
Current children cumulated memory: 41824 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.09 4.06 5/257 877185
/proc/meminfo: memFree=125794912/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=83428 memory=47152 CPUtime=101.99 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 7570 0 0 0 10166 33 0 0 20 0 1 0 168818773 85430272 11788 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 20857 11788 1440 291 0 12391 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 83428 KiB
Current children cumulated memory: 47152 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.06 5/257 877195
/proc/meminfo: memFree=125750892/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=87432 memory=57272 CPUtime=161.84 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 8596 0 0 0 16138 46 0 0 20 0 1 0 168818773 89530368 14318 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 21858 14318 1440 291 0 13392 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 87432 KiB
Current children cumulated memory: 57272 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 4.07 4.05 5/256 877206
/proc/meminfo: memFree=125704620/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=108428 memory=60868 CPUtime=221.68 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 9581 0 0 0 22112 56 0 0 20 0 1 0 168818773 111030272 15217 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 27107 15217 1440 291 0 18641 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 108428 KiB
Current children cumulated memory: 60868 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.09 4.06 5/256 877217
/proc/meminfo: memFree=125635444/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=109424 memory=66520 CPUtime=281.52 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 10059 0 0 0 28088 64 0 0 20 0 1 0 168818773 112050176 16630 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 27356 16630 1440 291 0 18890 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 109424 KiB
Current children cumulated memory: 66520 KiB

[startup+342.301 s]
/proc/loadavg: 4.09 4.08 4.06 5/256 877228
/proc/meminfo: memFree=125566508/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=110824 memory=69680 CPUtime=341.37 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 10406 0 0 0 34064 73 0 0 20 0 1 0 168818773 113483776 17420 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 27706 17420 1440 291 0 19240 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 110824 KiB
Current children cumulated memory: 69680 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.08 4.06 5/256 877622
/proc/meminfo: memFree=125480576/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=111396 memory=70224 CPUtime=401.18 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 10615 0 0 0 40038 80 0 0 20 0 1 0 168818773 114069504 17556 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 27849 17556 1440 291 0 19383 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 111396 KiB
Current children cumulated memory: 70224 KiB

[startup+462.3 s]
/proc/loadavg: 4.43 4.16 4.09 5/256 877633
/proc/meminfo: memFree=125086828/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=112348 memory=73044 CPUtime=461.01 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 10882 0 0 0 46012 89 0 0 20 0 1 0 168818773 115044352 18261 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 28087 18261 1440 291 0 19621 0

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

Current children cumulated memory: 128748 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 879403
/proc/meminfo: memFree=122955228/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=164904 memory=128748 CPUtime=2914.09 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 17847 0 0 0 291055 354 0 0 20 0 1 0 168818773 168861696 32187 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 41226 32187 1440 291 0 32760 0
Current children cumulated CPU time: 2914.09 s
Current children cumulated vsize: 164904 KiB
Current children cumulated memory: 128748 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 879414
/proc/meminfo: memFree=122951480/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=164904 memory=128748 CPUtime=2973.93 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 17901 0 0 0 297035 358 0 0 20 0 1 0 168818773 168861696 32187 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 41226 32187 1440 291 0 32760 0
Current children cumulated CPU time: 2973.93 s
Current children cumulated vsize: 164904 KiB
Current children cumulated memory: 128748 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 879424
/proc/meminfo: memFree=122950792/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=164780 memory=128624 CPUtime=3033.78 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 17969 0 0 0 303014 364 0 0 20 0 1 0 168818773 168734720 32156 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 41195 32156 1440 291 0 32729 0
Current children cumulated CPU time: 3033.78 s
Current children cumulated vsize: 164780 KiB
Current children cumulated memory: 128624 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 879440
/proc/meminfo: memFree=122949072/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=164780 memory=128624 CPUtime=3093.61 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 18022 0 0 0 308993 368 0 0 20 0 1 0 168818773 168734720 32156 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 41195 32156 1440 291 0 32729 0
Current children cumulated CPU time: 3093.61 s
Current children cumulated vsize: 164780 KiB
Current children cumulated memory: 128624 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 879450
/proc/meminfo: memFree=122946280/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=165392 memory=130752 CPUtime=3153.45 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 18150 0 0 0 314972 373 0 0 20 0 1 0 168818773 169361408 32688 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 41348 32688 1440 291 0 32882 0
Current children cumulated CPU time: 3153.45 s
Current children cumulated vsize: 165392 KiB
Current children cumulated memory: 130752 KiB

[startup+3222.3 s]
/proc/loadavg: 4.35 4.20 4.12 5/257 879460
/proc/meminfo: memFree=122945180/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=165588 memory=131232 CPUtime=3213.28 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 18311 0 0 0 320952 376 0 0 20 0 1 0 168818773 169562112 32808 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 41397 32808 1440 291 0 32931 0
Current children cumulated CPU time: 3213.28 s
Current children cumulated vsize: 165588 KiB
Current children cumulated memory: 131232 KiB

[startup+3282.3 s]
/proc/loadavg: 4.24 4.19 4.12 5/257 879471
/proc/meminfo: memFree=122944296/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=165588 memory=131232 CPUtime=3273.12 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 18369 0 0 0 326931 381 0 0 20 0 1 0 168818773 169562112 32808 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 41397 32808 1440 291 0 32931 0
Current children cumulated CPU time: 3273.12 s
Current children cumulated vsize: 165588 KiB
Current children cumulated memory: 131232 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/257 879482
/proc/meminfo: memFree=122858984/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=166752 memory=134044 CPUtime=3332.96 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 18649 0 0 0 332912 384 0 0 20 0 1 0 168818773 170754048 33511 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 41688 33511 1440 291 0 33222 0
Current children cumulated CPU time: 3332.96 s
Current children cumulated vsize: 166752 KiB
Current children cumulated memory: 134044 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/254 879492
/proc/meminfo: memFree=122858324/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=166752 memory=134044 CPUtime=3392.79 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 18703 0 0 0 338891 388 0 0 20 0 1 0 168818773 170754048 33511 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 41688 33511 1440 291 0 33222 0
Current children cumulated CPU time: 3392.79 s
Current children cumulated vsize: 166752 KiB
Current children cumulated memory: 134044 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.14 4.10 5/254 879503
/proc/meminfo: memFree=122854868/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=168132 memory=134640 CPUtime=3452.62 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 18954 0 0 0 344870 392 0 0 20 0 1 0 168818773 172167168 33660 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 42033 33660 1440 291 0 33567 0
Current children cumulated CPU time: 3452.62 s
Current children cumulated vsize: 168132 KiB
Current children cumulated memory: 134640 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/254 879514
/proc/meminfo: memFree=122851664/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=168608 memory=137272 CPUtime=3512.47 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 19150 0 0 0 350849 398 0 0 20 0 1 0 168818773 172654592 34318 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 42152 34318 1440 291 0 33686 0
Current children cumulated CPU time: 3512.47 s
Current children cumulated vsize: 168608 KiB
Current children cumulated memory: 137272 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/254 879524
/proc/meminfo: memFree=122850824/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=168608 memory=137272 CPUtime=3572.3 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 19206 0 0 0 356829 401 0 0 20 0 1 0 168818773 172654592 34318 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 42152 34318 1440 291 0 33686 0
Current children cumulated CPU time: 3572.3 s
Current children cumulated vsize: 168608 KiB
Current children cumulated memory: 137272 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.10 4.12 4.09 4/252 879576
/proc/meminfo: memFree=122987088/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=168608 memory=137272 CPUtime=3600.02 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 19264 0 0 0 359600 402 0 0 20 0 1 0 168818773 172654592 34318 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 42152 34318 1440 291 0 33686 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 168608 KiB
Current children cumulated memory: 137272 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.01 s, system=4.02719 s

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

[startup+3610.11 s]
/proc/loadavg: 4.10 4.12 4.09 4/252 879576
/proc/meminfo: memFree=122987088/131524600 swapFree=131071996/131071996
[pid=877163] ppid=877160 vsize=168608 memory=137272 CPUtime=3600.02 cores=1,3
/proc/877163/stat : 877163 (pb-oll-rs) R 877160 877163 874831 0 -1 4194304 19264 0 0 0 359600 402 0 0 20 0 1 0 168818773 172654592 34318 134679101440 4194304 5384005 140726459078128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9601024 140726459085847 140726459085924 140726459085924 140726459092939 0
/proc/877163/statm: 42152 34318 1440 291 0 33686 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 168608 KiB
Current children cumulated memory: 137272 KiB

Child status: 0

Real time (s): 3610.11
CPU time (s): 3600.04
CPU user time (s): 3596.01
CPU system time (s): 4.02719
CPU usage (%): 99.721
Max. virtual memory (cumulated for all children) (KiB): 168852
Max. memory (cumulated for all children) (KiB): 137272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.01
system time used= 4.02719
maximum resident set size= 137272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19280
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= 60
involuntary context switches= 3315


# summary of solver processes directly reported to runsolver:
#   pid: 877163
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3596.01
#   total CPU system time (s): 4.02719

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.30424 second user time and 18.1073 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-16 23:49:22
IDJOB=4436148
IDBENCH=158491
IDSOLVER=3067
FILE ID=nodeC021/4436148-1721166549
RUNJOBID= nodeC021-1721162948-874843
SLURM_JOB_ID= 7505782
Free space on /tmp= 890068 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
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-4436148-1721166549/watcher-4436148-1721166549 -o /tmp/evaluation-result-4436148-1721166549/solver-4436148-1721166549 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721162948-874843 --watchdog 3760  pb-oll-rs HOME/instance-4436148-1721166549.opb

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

MD5SUM BENCH= b877664571262cc35a091b0e7e24e61f
RANDOM SEED=791300134

nodeC021.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.088
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.42
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		: 3639.056
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.23
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		: 3599.810
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.42
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		: 3638.291
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.23
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.048
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.42
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		: 3670.289
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.23
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.819
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.42
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		: 3599.719
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.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126218044 kB
MemAvailable:   129589904 kB
Buffers:          437516 kB
Cached:          3734336 kB
SwapCached:            0 kB
Active:           798160 kB
Inactive:        3829724 kB
Active(anon):       1560 kB
Inactive(anon):   492188 kB
Active(file):     796600 kB
Inactive(file):  3337536 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             17272 kB
Writeback:             0 kB
AnonPages:        455064 kB
Mapped:           108540 kB
Shmem:             37720 kB
KReclaimable:     155096 kB
Slab:             270172 kB
SReclaimable:     155096 kB
SUnreclaim:       115076 kB
KernelStack:        4108 kB
PageTables:         9948 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     810576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63904 kB
HardwareCorrupted:     0 kB
AnonHugePages:    321536 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:      256724 kB
DirectMap2M:    23633920 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC021 at 2024-07-17 00:49:32