Trace number 4520665

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
roundingsat-ihs-log 63f22ad? (TO) 3601.35 3624.76

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_430.opb
MD5SUMb3bab28fe93ea42b1817acfaffdcfb3a
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 benchmark2044
Best CPU time to get the best result obtained on this benchmark3586.66
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8170
Total number of constraints8170
Number of constraints which are clauses8170
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint4
Number of terms in the objective function 8170
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 8170
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 8170
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.00/0.09	c #variables 8170 #constraints 8170
0.00/0.09	c objective is ce32 
0.05/0.11	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.05/0.11	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.05/0.11	c GLOBAL bounds - >= 0 @ 0.046964
0.05/0.12	c GLOBAL bounds - >= 0 @ 0.0538
0.05/0.20	c GLOBAL bounds - >= 0 @ 0.128639
0.16/0.24	c GLOBAL bounds - >= 0 @ 0.166315
0.26/0.40	c GLOBAL bounds - >= 0 @ 0.317126
0.46/0.52	c GLOBAL bounds - >= 0 @ 0.423491
0.64/0.73	c GLOBAL bounds - >= 0 @ 0.626969
0.84/0.95	c GLOBAL bounds - >= 0 @ 0.832021
0.95/1.09	c GLOBAL bounds - >= 0 @ 0.956976
1.24/1.31	c GLOBAL bounds - >= 0 @ 1.17344
2.24/2.38	c GLOBAL bounds - >= 0 @ 2.17993
2.64/2.70	c #Conflicts:       1000 | #Constraints:       9188
2.64/2.70	c GLOBAL bounds - >= 0 @ 2.49097
2.84/2.92	c GLOBAL bounds - >= 0 @ 2.69446
9.82/9.95	c #Conflicts:       2000 | #Constraints:      10192
9.82/9.95	c INPROCESSING
9.82/9.95	c GARBAGE COLLECT
9.82/9.95	c #Conflicts:       3000 | #Constraints:      10240
9.82/9.95	c GLOBAL bounds - >= 0 @ 9.49386
11.42/11.56	c GLOBAL bounds - >= 0 @ 11.0755
16.29/16.47	c #Conflicts:       4000 | #Constraints:      11244
16.29/16.47	c INPROCESSING
16.29/16.47	c GARBAGE COLLECT
16.29/16.47	c GLOBAL bounds - >= 0 @ 15.7802
17.00/17.13	c GLOBAL bounds - >= 0 @ 16.4282
18.29/18.48	c #Conflicts:       5000 | #Constraints:      10682
18.29/18.48	c GLOBAL bounds - >= 0 @ 17.75
19.29/19.45	c GLOBAL bounds - >= 0 @ 18.7068
30.86/31.09	c #Conflicts:       6000 | #Constraints:      11686
30.86/31.09	c INPROCESSING
30.86/31.09	c GARBAGE COLLECT
30.86/31.09	c #Conflicts:       7000 | #Constraints:      10705
30.86/31.09	c #Conflicts:       8000 | #Constraints:      11705
30.86/31.09	c GLOBAL bounds - >= 0 @ 30.1172
32.05/32.26	c GLOBAL bounds - >= 0 @ 31.2711
33.74/33.94	c GLOBAL bounds - >= 0 @ 32.9117
35.73/35.95	c #Conflicts:       9000 | #Constraints:      12711
35.73/35.95	c INPROCESSING
35.73/35.95	c GARBAGE COLLECT
35.73/35.95	c GLOBAL bounds - >= 0 @ 34.7644
47.10/47.38	c #Conflicts:      10000 | #Constraints:      11441
47.10/47.38	c #Conflicts:      11000 | #Constraints:      12441
47.10/47.38	c GLOBAL bounds - >= 0 @ 45.8273
48.80/49.07	c #Conflicts:      12000 | #Constraints:      13443
48.80/49.07	c INPROCESSING
48.80/49.07	c GARBAGE COLLECT
48.80/49.07	c GLOBAL bounds - >= 0 @ 47.4951
55.38/55.64	c #Conflicts:      13000 | #Constraints:      11887
55.38/55.64	c GLOBAL bounds - >= 0 @ 53.9939
68.64/68.94	c #Conflicts:      14000 | #Constraints:      12889
68.64/68.94	c #Conflicts:      15000 | #Constraints:      13889
68.64/68.94	c INPROCESSING
68.64/68.94	c GARBAGE COLLECT
68.64/68.94	c #Conflicts:      16000 | #Constraints:      12136
68.64/68.94	c GLOBAL bounds - >= 0 @ 67.0181
88.06/88.41	c #Conflicts:      17000 | #Constraints:      13138
88.06/88.41	c #Conflicts:      18000 | #Constraints:      14138
88.06/88.41	c INPROCESSING
88.06/88.41	c GARBAGE COLLECT
88.06/88.41	c #Conflicts:      19000 | #Constraints:      12165
88.06/88.41	c #Conflicts:      20000 | #Constraints:      13165
88.06/88.41	c #Conflicts:      21000 | #Constraints:      14165
88.06/88.41	c INPROCESSING
88.06/88.41	c GARBAGE COLLECT
88.06/88.41	c GLOBAL bounds - >= 0 @ 86.1084
98.04/98.43	c #Conflicts:      22000 | #Constraints:      11959
98.04/98.43	c #Conflicts:      23000 | #Constraints:      12959
98.04/98.43	c #Conflicts:      24000 | #Constraints:      13959
98.04/98.43	c GLOBAL bounds - >= 0 @ 95.9517
119.17/119.67	c #Conflicts:      25000 | #Constraints:      14961
119.17/119.67	c INPROCESSING
119.17/119.67	c GARBAGE COLLECT
119.17/119.67	c #Conflicts:      26000 | #Constraints:      12552
119.17/119.67	c #Conflicts:      27000 | #Constraints:      13552
119.17/119.67	c #Conflicts:      28000 | #Constraints:      14552
119.17/119.67	c GLOBAL bounds - >= 0 @ 116.814
120.36/120.86	c GLOBAL bounds - >= 0 @ 117.978
121.96/122.45	c #Conflicts:      29000 | #Constraints:      15556
121.96/122.45	c INPROCESSING
121.96/122.45	c GARBAGE COLLECT
121.96/122.45	c GLOBAL bounds - >= 0 @ 119.556
122.96/123.49	c GLOBAL bounds - >= 0 @ 120.584
123.75/124.22	c GLOBAL bounds - >= 0 @ 121.305
124.66/125.11	c GLOBAL bounds - >= 0 @ 122.172
126.15/126.69	c #Conflicts:      30000 | #Constraints:      12956
126.15/126.69	c GLOBAL bounds - >= 0 @ 123.73
133.93/134.46	c #Conflicts:      31000 | #Constraints:      13958
133.93/134.46	c #Conflicts:      32000 | #Constraints:      14958
133.93/134.46	c GLOBAL bounds - >= 0 @ 131.334
141.11/141.67	c #Conflicts:      33000 | #Constraints:      15960
141.11/141.67	c INPROCESSING
141.11/141.67	c GARBAGE COLLECT
141.11/141.67	c GLOBAL bounds - >= 0 @ 138.406
143.70/144.20	c #Conflicts:      34000 | #Constraints:      13210
143.70/144.20	c GLOBAL bounds - >= 0 @ 140.908
204.82/205.58	c #Conflicts:      35000 | #Constraints:      14212
204.82/205.58	c #Conflicts:      36000 | #Constraints:      15212
204.82/205.58	c #Conflicts:      37000 | #Constraints:      16212
204.82/205.58	c INPROCESSING
204.82/205.58	c GARBAGE COLLECT
204.82/205.58	c #Conflicts:      38000 | #Constraints:      13242
204.82/205.58	c #Conflicts:      39000 | #Constraints:      14242
204.82/205.58	c #Conflicts:      40000 | #Constraints:      15242
204.82/205.58	c #Conflicts:      41000 | #Constraints:      16242
204.82/205.58	c INPROCESSING
204.82/205.58	c GARBAGE COLLECT
204.82/205.58	c #Conflicts:      42000 | #Constraints:      13076
204.82/205.58	c #Conflicts:      43000 | #Constraints:      14076
204.82/205.58	c #Conflicts:      44000 | #Constraints:      15076
204.82/205.58	c #Conflicts:      45000 | #Constraints:      16076
204.82/205.58	c #Conflicts:      46000 | #Constraints:      17076
204.82/205.58	c INPROCESSING
204.82/205.58	c GARBAGE COLLECT
204.82/205.58	c GLOBAL bounds - >= 0 @ 201.548
208.70/209.49	c #Conflicts:      47000 | #Constraints:      13675
208.70/209.49	c GLOBAL bounds - >= 0 @ 205.398
221.86/222.60	c #Conflicts:      48000 | #Constraints:      14677
221.86/222.60	c #Conflicts:      49000 | #Constraints:      15677
221.86/222.60	c #Conflicts:      50000 | #Constraints:      16677
221.86/222.60	c GLOBAL bounds - >= 0 @ 218.279
225.36/226.18	c GLOBAL bounds - >= 0 @ 221.785
228.84/229.62	c #Conflicts:      51000 | #Constraints:      17681
228.84/229.62	c INPROCESSING
228.84/229.62	c GARBAGE COLLECT
228.84/229.62	c GLOBAL bounds - >= 0 @ 225.187
237.42/238.20	c #Conflicts:      52000 | #Constraints:      14088
237.42/238.20	c #Conflicts:      53000 | #Constraints:      15088
237.42/238.20	c GLOBAL bounds - >= 0 @ 233.674
244.60/245.45	c #Conflicts:      54000 | #Constraints:      16090
244.60/245.45	c #Conflicts:      55000 | #Constraints:      17090
244.60/245.45	c GLOBAL bounds - >= 0 @ 240.848
253.38/254.29	c #Conflicts:      56000 | #Constraints:      18092
253.38/254.29	c INPROCESSING
253.38/254.29	c GARBAGE COLLECT
253.38/254.29	c GLOBAL bounds - >= 0 @ 249.558
262.45/263.38	c #Conflicts:      57000 | #Constraints:      14289
262.45/263.38	c #Conflicts:      58000 | #Constraints:      15289
262.45/263.38	c GLOBAL bounds - >= 0 @ 258.496
264.15/265.09	c GLOBAL bounds - >= 0 @ 260.183
265.44/266.30	c #Conflicts:      59000 | #Constraints:      16293
265.44/266.30	c GLOBAL bounds - >= 0 @ 261.378
266.25/267.10	c GLOBAL bounds - >= 0 @ 262.174
275.32/276.22	c #Conflicts:      60000 | #Constraints:      17297
275.32/276.22	c #Conflicts:      61000 | #Constraints:      18297
275.32/276.22	c INPROCESSING
275.32/276.22	c GARBAGE COLLECT
275.32/276.22	c GLOBAL bounds - >= 0 @ 271.15
276.31/277.21	c GLOBAL bounds - >= 0 @ 272.133
279.21/280.17	c #Conflicts:      62000 | #Constraints:      14304
279.21/280.17	c GLOBAL bounds - >= 0 @ 275.055
281.29/282.22	c #Conflicts:      63000 | #Constraints:      15306
281.29/282.22	c GLOBAL bounds - >= 0 @ 277.095
300.55/301.52	c #Conflicts:      64000 | #Constraints:      16308
300.55/301.52	c #Conflicts:      65000 | #Constraints:      17308
300.55/301.52	c #Conflicts:      66000 | #Constraints:      18308
300.55/301.52	c INPROCESSING
300.55/301.52	c GARBAGE COLLECT
300.55/301.52	c GLOBAL bounds - >= 0 @ 296.179
303.93/304.91	c #Conflicts:      67000 | #Constraints:      14112
303.93/304.91	c #Conflicts:      68000 | #Constraints:      15112
303.93/304.91	c GLOBAL bounds - >= 0 @ 299.54
393.98/395.25	c #Conflicts:      69000 | #Constraints:      16114
393.98/395.25	c #Conflicts:      70000 | #Constraints:      17114
393.98/395.25	c #Conflicts:      71000 | #Constraints:      18114
393.98/395.25	c #Conflicts:      72000 | #Constraints:      19114
393.98/395.25	c INPROCESSING
393.98/395.25	c GARBAGE COLLECT
393.98/395.25	c #Conflicts:      73000 | #Constraints:      14715
393.98/395.25	c #Conflicts:      74000 | #Constraints:      15715
393.98/395.25	c #Conflicts:      75000 | #Constraints:      16715
393.98/395.25	c #Conflicts:      76000 | #Constraints:      17715
393.98/395.25	c #Conflicts:      77000 | #Constraints:      18715
393.98/395.25	c #Conflicts:      78000 | #Constraints:      19715
393.98/395.25	c INPROCESSING
393.98/395.25	c GARBAGE COLLECT
393.98/395.25	c #Conflicts:      79000 | #Constraints:      15116
393.98/395.25	c #Conflicts:      80000 | #Constraints:      16116
393.98/395.25	c #Conflicts:      81000 | #Constraints:      17116
393.98/395.25	c #Conflicts:      82000 | #Constraints:      18116
393.98/395.25	c #Conflicts:      83000 | #Constraints:      19116
393.98/395.25	c #Conflicts:      84000 | #Constraints:      20116
393.98/395.25	c INPROCESSING
393.98/395.25	c GARBAGE COLLECT
393.98/395.25	c GLOBAL bounds - >= 0 @ 388.426
449.92/451.39	c #Conflicts:      85000 | #Constraints:      15318
449.92/451.39	c #Conflicts:      86000 | #Constraints:      16318
449.92/451.39	c #Conflicts:      87000 | #Constraints:      17318
449.92/451.39	c #Conflicts:      88000 | #Constraints:      18318
449.92/451.39	c #Conflicts:      89000 | #Constraints:      19318
449.92/451.39	c #Conflicts:      90000 | #Constraints:      20318
449.92/451.39	c INPROCESSING
449.92/451.39	c GARBAGE COLLECT
449.92/451.39	c #Conflicts:      91000 | #Constraints:      15343
449.92/451.39	c #Conflicts:      92000 | #Constraints:      16343
449.92/451.39	c #Conflicts:      93000 | #Constraints:      17343
449.92/451.39	c GLOBAL bounds - >= 0 @ 443.921
504.26/505.87	c #Conflicts:      94000 | #Constraints:      18345
504.26/505.87	c #Conflicts:      95000 | #Constraints:      19345
504.26/505.87	c #Conflicts:      96000 | #Constraints:      20345
504.26/505.87	c INPROCESSING
504.26/505.87	c GARBAGE COLLECT
504.26/505.87	c #Conflicts:      97000 | #Constraints:      15136
504.26/505.87	c #Conflicts:      98000 | #Constraints:      16136
504.26/505.87	c #Conflicts:      99000 | #Constraints:      17136
504.26/505.87	c #Conflicts:     100000 | #Constraints:      18136
504.26/505.87	c #Conflicts:     101000 | #Constraints:      19136
504.26/505.87	c #Conflicts:     102000 | #Constraints:      20136
504.26/505.87	c #Conflicts:     103000 | #Constraints:      21136
504.26/505.87	c INPROCESSING
504.26/505.87	c GARBAGE COLLECT
504.26/505.87	c #Conflicts:     104000 | #Constraints:      15750
504.26/505.87	c GLOBAL bounds - >= 0 @ 497.661
517.54/519.18	c #Conflicts:     105000 | #Constraints:      16752
517.54/519.18	c #Conflicts:     106000 | #Constraints:      17752
517.54/519.18	c #Conflicts:     107000 | #Constraints:      18752
517.54/519.18	c GLOBAL bounds - >= 0 @ 510.781
529.69/531.37	c #Conflicts:     108000 | #Constraints:      19754
529.69/531.37	c #Conflicts:     109000 | #Constraints:      20754
529.69/531.37	c GLOBAL bounds - >= 0 @ 522.825
534.77/536.48	c #Conflicts:     110000 | #Constraints:      21756
534.77/536.48	c INPROCESSING
534.77/536.48	c GARBAGE COLLECT
534.77/536.48	c GLOBAL bounds - >= 0 @ 527.861
536.67/538.35	c GLOBAL bounds - >= 0 @ 529.71
545.94/547.62	c #Conflicts:     111000 | #Constraints:      16136
545.94/547.62	c #Conflicts:     112000 | #Constraints:      17136
545.94/547.62	c GLOBAL bounds - >= 0 @ 538.883
552.13/553.85	c #Conflicts:     113000 | #Constraints:      18138
552.13/553.85	c GLOBAL bounds - >= 0 @ 545.044
556.72/558.41	c #Conflicts:     114000 | #Constraints:      19140
556.72/558.41	c GLOBAL bounds - >= 0 @ 549.565
559.31/561.01	c #Conflicts:     115000 | #Constraints:      20142
559.31/561.01	c GLOBAL bounds - >= 0 @ 552.133
560.60/562.38	c GLOBAL bounds - >= 0 @ 553.502
582.44/584.25	c #Conflicts:     116000 | #Constraints:      21146
582.44/584.25	c #Conflicts:     117000 | #Constraints:      22146
582.44/584.25	c INPROCESSING
582.44/584.25	c GARBAGE COLLECT
582.44/584.25	c #Conflicts:     118000 | #Constraints:      16344
582.44/584.25	c #Conflicts:     119000 | #Constraints:      17344
582.44/584.25	c GLOBAL bounds - >= 0 @ 575.053
585.74/587.52	c #Conflicts:     120000 | #Constraints:      18346
585.74/587.52	c GLOBAL bounds - >= 0 @ 578.283
589.23/591.04	c GLOBAL bounds - >= 0 @ 581.779
590.42/592.29	c #Conflicts:     121000 | #Constraints:      19350
590.42/592.29	c GLOBAL bounds - >= 0 @ 583.017
591.72/593.55	c GLOBAL bounds - >= 0 @ 584.26
594.01/595.86	c #Conflicts:     122000 | #Constraints:      20354
594.01/595.86	c GLOBAL bounds - >= 0 @ 586.551
629.71/631.66	c #Conflicts:     123000 | #Constraints:      21356
629.71/631.66	c #Conflicts:     124000 | #Constraints:      22356
629.71/631.66	c INPROCESSING
629.71/631.66	c GARBAGE COLLECT
629.71/631.66	c #Conflicts:     125000 | #Constraints:      16364
629.71/631.66	c #Conflicts:     126000 | #Constraints:      17364
629.71/631.66	c #Conflicts:     127000 | #Constraints:      18364
629.71/631.66	c GLOBAL bounds - >= 0 @ 621.975
632.40/634.31	c #Conflicts:     128000 | #Constraints:      19366
632.40/634.31	c GLOBAL bounds - >= 0 @ 624.591
634.99/636.90	c GLOBAL bounds - >= 0 @ 627.171
637.59/639.50	c #Conflicts:     129000 | #Constraints:      20370
637.59/639.50	c GLOBAL bounds - >= 0 @ 629.745
639.19/641.11	c GLOBAL bounds - >= 0 @ 631.328
654.44/656.46	c #Conflicts:     130000 | #Constraints:      21374
654.44/656.46	c #Conflicts:     131000 | #Constraints:      22374
654.44/656.46	c INPROCESSING
654.44/656.46	c GARBAGE COLLECT
654.44/656.46	c #Conflicts:     132000 | #Constraints:      16170
654.44/656.46	c GLOBAL bounds - >= 0 @ 646.549
783.41/785.83	c #Conflicts:     133000 | #Constraints:      17172
783.41/785.83	c #Conflicts:     134000 | #Constraints:      18172
783.41/785.83	c #Conflicts:     135000 | #Constraints:      19172
783.41/785.83	c #Conflicts:     136000 | #Constraints:      20172
783.41/785.83	c #Conflicts:     137000 | #Constraints:      21172
783.41/785.83	c #Conflicts:     138000 | #Constraints:      22172
783.41/785.83	c #Conflicts:     139000 | #Constraints:      23172
783.41/785.83	c INPROCESSING
783.41/785.83	c GARBAGE COLLECT
783.41/785.83	c #Conflicts:     140000 | #Constraints:      16773
783.41/785.83	c #Conflicts:     141000 | #Constraints:      17773
783.41/785.83	c #Conflicts:     142000 | #Constraints:      18773
783.41/785.83	c #Conflicts:     143000 | #Constraints:      19773
783.41/785.83	c #Conflicts:     144000 | #Constraints:      20773
783.41/785.83	c #Conflicts:     145000 | #Constraints:      21773
783.41/785.83	c #Conflicts:     146000 | #Constraints:      22773
783.41/785.83	c #Conflicts:     147000 | #Constraints:      23773
783.41/785.83	c INPROCESSING
783.41/785.83	c GARBAGE COLLECT
783.41/785.83	c #Conflicts:     148000 | #Constraints:      17171
783.41/785.83	c #Conflicts:     149000 | #Constraints:      18171
783.41/785.83	c #Conflicts:     150000 | #Constraints:      19171
783.41/785.83	c GLOBAL bounds - >= 0 @ 774.465
814.31/816.87	c #Conflicts:     151000 | #Constraints:      20173
814.31/816.87	c #Conflicts:     152000 | #Constraints:      21173
814.31/816.87	c #Conflicts:     153000 | #Constraints:      22173
814.31/816.87	c #Conflicts:     154000 | #Constraints:      23173
814.31/816.87	c GLOBAL bounds - >= 0 @ 805.142
816.30/818.86	c GLOBAL bounds - >= 0 @ 807.098
823.59/826.12	c #Conflicts:     155000 | #Constraints:      24177
823.59/826.12	c INPROCESSING
823.59/826.12	c GARBAGE COLLECT
823.59/826.12	c GLOBAL bounds - >= 0 @ 814.269
842.32/844.99	c #Conflicts:     156000 | #Constraints:      17384
842.32/844.99	c #Conflicts:     157000 | #Constraints:      18384
842.32/844.99	c #Conflicts:     158000 | #Constraints:      19384
842.32/844.99	c GLOBAL bounds - >= 0 @ 832.826
843.71/846.33	c #Conflicts:     159000 | #Constraints:      20386
843.71/846.33	c GLOBAL bounds - >= 0 @ 834.152
847.60/850.21	c GLOBAL bounds - >= 0 @ 837.987
855.57/858.24	c #Conflicts:     160000 | #Constraints:      21390
855.57/858.24	c #Conflicts:     161000 | #Constraints:      22390
855.57/858.24	c GLOBAL bounds - >= 0 @ 845.926
860.26/862.95	c GLOBAL bounds - >= 0 @ 850.583
863.05/865.74	c #Conflicts:     162000 | #Constraints:      23394
863.05/865.74	c GLOBAL bounds - >= 0 @ 853.35
865.13/867.89	c GLOBAL bounds - >= 0 @ 855.471
867.04/869.72	c GLOBAL bounds - >= 0 @ 857.273
868.13/870.87	c GLOBAL bounds - >= 0 @ 858.41
871.02/873.79	c #Conflicts:     163000 | #Constraints:      24402
871.02/873.79	c GLOBAL bounds - >= 0 @ 861.28
874.90/877.62	c INPROCESSING
874.90/877.62	c GARBAGE COLLECT
874.90/877.62	c GLOBAL bounds - >= 0 @ 865.087
877.00/879.74	c GLOBAL bounds - >= 0 @ 867.175
879.19/881.93	c #Conflicts:     164000 | #Constraints:      17366
879.19/881.93	c GLOBAL bounds - >= 0 @ 869.343
881.29/884.10	c GLOBAL bounds - >= 0 @ 871.48
882.59/885.36	c GLOBAL bounds - >= 0 @ 872.737
927.74/930.65	c #Conflicts:     165000 | #Constraints:      18372
927.74/930.65	c #Conflicts:     166000 | #Constraints:      19372
927.74/930.65	c #Conflicts:     167000 | #Constraints:      20372
927.74/930.65	c #Conflicts:     168000 | #Constraints:      21372
927.74/930.65	c #Conflicts:     169000 | #Constraints:      22372
927.74/930.65	c #Conflicts:     170000 | #Constraints:      23372
927.74/930.65	c #Conflicts:     171000 | #Constraints:      24372
927.74/930.65	c INPROCESSING
927.74/930.65	c GARBAGE COLLECT
927.74/930.65	c #Conflicts:     172000 | #Constraints:      17225
927.74/930.65	c GLOBAL bounds - >= 0 @ 917.495
937.48/940.44	c #Conflicts:     173000 | #Constraints:      18227
937.48/940.44	c GLOBAL bounds - >= 0 @ 927.132
948.35/951.30	c #Conflicts:     174000 | #Constraints:      19229
948.35/951.30	c #Conflicts:     175000 | #Constraints:      20229
948.35/951.30	c GLOBAL bounds - >= 0 @ 937.8
951.63/954.67	c #Conflicts:     176000 | #Constraints:      21231
951.63/954.67	c GLOBAL bounds - >= 0 @ 941.132
952.93/955.93	c GLOBAL bounds - >= 0 @ 942.385
955.13/958.12	c GLOBAL bounds - >= 0 @ 944.552
968.99/972.02	c #Conflicts:     177000 | #Constraints:      22237
968.99/972.02	c #Conflicts:     178000 | #Constraints:      23237
968.99/972.02	c #Conflicts:     179000 | #Constraints:      24237
968.99/972.02	c GLOBAL bounds - >= 0 @ 958.284
981.46/984.53	c #Conflicts:     180000 | #Constraints:      25239
981.46/984.53	c INPROCESSING
981.46/984.53	c GARBAGE COLLECT
981.46/984.53	c GLOBAL bounds - >= 0 @ 970.665
997.71/1000.88	c #Conflicts:     181000 | #Constraints:      17857
997.71/1000.88	c #Conflicts:     182000 | #Constraints:      18857
997.71/1000.88	c #Conflicts:     183000 | #Constraints:      19857
997.71/1000.88	c GLOBAL bounds - >= 0 @ 986.832
1001.59/1004.74	c #Conflicts:     184000 | #Constraints:      20859
1001.59/1004.74	c GLOBAL bounds - >= 0 @ 990.664
1090.63/1094.02	c #Conflicts:     185000 | #Constraints:      21861
1090.63/1094.02	c #Conflicts:     186000 | #Constraints:      22861
1090.63/1094.02	c #Conflicts:     187000 | #Constraints:      23861
1090.63/1094.02	c #Conflicts:     188000 | #Constraints:      24861
1090.63/1094.02	c #Conflicts:     189000 | #Constraints:      25861
1090.63/1094.02	c INPROCESSING
1090.63/1094.02	c GARBAGE COLLECT
1090.63/1094.02	c #Conflicts:     190000 | #Constraints:      18279
1090.63/1094.02	c #Conflicts:     191000 | #Constraints:      19279
1090.63/1094.02	c #Conflicts:     192000 | #Constraints:      20279
1090.63/1094.02	c #Conflicts:     193000 | #Constraints:      21279
1090.63/1094.02	c #Conflicts:     194000 | #Constraints:      22279
1090.63/1094.02	c #Conflicts:     195000 | #Constraints:      23279
1090.63/1094.02	c #Conflicts:     196000 | #Constraints:      24279
1090.63/1094.02	c GLOBAL bounds - >= 0 @ 1078.99
1237.26/1241.17	c #Conflicts:     197000 | #Constraints:      25281
1237.26/1241.17	c #Conflicts:     198000 | #Constraints:      26281
1237.26/1241.17	c INPROCESSING
1237.26/1241.17	c GARBAGE COLLECT
1237.26/1241.17	c #Conflicts:     199000 | #Constraints:      18470
1237.26/1241.17	c #Conflicts:     200000 | #Constraints:      19470
1237.26/1241.17	c #Conflicts:     201000 | #Constraints:      20470
1237.26/1241.17	c #Conflicts:     202000 | #Constraints:      21470
1237.26/1241.17	c #Conflicts:     203000 | #Constraints:      22470
1237.26/1241.17	c #Conflicts:     204000 | #Constraints:      23470
1237.26/1241.17	c #Conflicts:     205000 | #Constraints:      24470
1237.26/1241.17	c #Conflicts:     206000 | #Constraints:      25470
1237.26/1241.17	c #Conflicts:     207000 | #Constraints:      26470
1237.26/1241.17	c INPROCESSING
1237.26/1241.17	c GARBAGE COLLECT
1237.26/1241.17	c #Conflicts:     208000 | #Constraints:      18478
1237.26/1241.17	c #Conflicts:     209000 | #Constraints:      19478
1237.26/1241.17	c #Conflicts:     210000 | #Constraints:      20478
1237.26/1241.17	c #Conflicts:     211000 | #Constraints:      21478
1237.26/1241.17	c #Conflicts:     212000 | #Constraints:      22478
1237.26/1241.17	c #Conflicts:     213000 | #Constraints:      23478
1237.26/1241.17	c GLOBAL bounds - >= 0 @ 1224.67
1262.08/1266.06	c #Conflicts:     214000 | #Constraints:      24480
1262.08/1266.06	c #Conflicts:     215000 | #Constraints:      25480
1262.08/1266.06	c #Conflicts:     216000 | #Constraints:      26480
1262.08/1266.06	c INPROCESSING
1262.08/1266.06	c GARBAGE COLLECT
1262.08/1266.06	c #Conflicts:     217000 | #Constraints:      18266
1262.08/1266.06	c #Conflicts:     218000 | #Constraints:      19266
1262.08/1266.06	c GLOBAL bounds - >= 0 @ 1249.3
1297.56/1301.61	c #Conflicts:     219000 | #Constraints:      20268
1297.56/1301.61	c #Conflicts:     220000 | #Constraints:      21268
1297.56/1301.61	c #Conflicts:     221000 | #Constraints:      22268
1297.56/1301.61	c #Conflicts:     222000 | #Constraints:      23268
1297.56/1301.61	c #Conflicts:     223000 | #Constraints:      24268
1297.56/1301.61	c #Conflicts:     224000 | #Constraints:      25268
1297.56/1301.61	c #Conflicts:     225000 | #Constraints:      26268
1297.56/1301.61	c #Conflicts:     226000 | #Constraints:      27268
1297.56/1301.61	c INPROCESSING
1297.56/1301.61	c GARBAGE COLLECT
1297.56/1301.61	c GLOBAL bounds - >= 0 @ 1284.43
1300.96/1305.08	c #Conflicts:     227000 | #Constraints:      18860
1300.96/1305.08	c GLOBAL bounds - >= 0 @ 1287.85
1343.53/1347.78	c #Conflicts:     228000 | #Constraints:      19862
1343.53/1347.78	c #Conflicts:     229000 | #Constraints:      20862
1343.53/1347.78	c #Conflicts:     230000 | #Constraints:      21862
1343.53/1347.78	c #Conflicts:     231000 | #Constraints:      22862
1343.53/1347.78	c #Conflicts:     232000 | #Constraints:      23862
1343.53/1347.78	c #Conflicts:     233000 | #Constraints:      24862
1343.53/1347.78	c #Conflicts:     234000 | #Constraints:      25862
1343.53/1347.78	c #Conflicts:     235000 | #Constraints:      26862
1343.53/1347.78	c #Conflicts:     236000 | #Constraints:      27862
1343.53/1347.78	c INPROCESSING
1343.53/1347.78	c GARBAGE COLLECT
1343.53/1347.78	c GLOBAL bounds - >= 0 @ 1329.94
1348.51/1352.70	c #Conflicts:     237000 | #Constraints:      19254
1348.51/1352.70	c GLOBAL bounds - >= 0 @ 1334.79
1361.18/1365.49	c #Conflicts:     238000 | #Constraints:      20256
1361.18/1365.49	c #Conflicts:     239000 | #Constraints:      21256
1361.18/1365.49	c GLOBAL bounds - >= 0 @ 1347.43
1366.46/1370.76	c #Conflicts:     240000 | #Constraints:      22258
1366.46/1370.76	c GLOBAL bounds - >= 0 @ 1352.64
1368.26/1372.57	c GLOBAL bounds - >= 0 @ 1354.42
1379.23/1383.51	c #Conflicts:     241000 | #Constraints:      23262
1379.23/1383.51	c #Conflicts:     242000 | #Constraints:      24262
1379.23/1383.51	c #Conflicts:     243000 | #Constraints:      25262
1379.23/1383.51	c GLOBAL bounds - >= 0 @ 1365.26
1384.31/1388.62	c GLOBAL bounds - >= 0 @ 1370.3
1396.87/1401.24	c #Conflicts:     244000 | #Constraints:      26266
1396.87/1401.24	c #Conflicts:     245000 | #Constraints:      27266
1396.87/1401.24	c GLOBAL bounds - >= 0 @ 1382.78
1427.48/1431.96	c #Conflicts:     246000 | #Constraints:      28268
1427.48/1431.96	c INPROCESSING
1427.48/1431.96	c GARBAGE COLLECT
1427.48/1431.96	c #Conflicts:     247000 | #Constraints:      19474
1427.48/1431.96	c #Conflicts:     248000 | #Constraints:      20474
1427.48/1431.96	c #Conflicts:     249000 | #Constraints:      21474
1427.48/1431.96	c #Conflicts:     250000 | #Constraints:      22474
1427.48/1431.96	c GLOBAL bounds - >= 0 @ 1413.13
1460.39/1464.92	c #Conflicts:     251000 | #Constraints:      23476
1460.39/1464.92	c #Conflicts:     252000 | #Constraints:      24476
1460.39/1464.92	c #Conflicts:     253000 | #Constraints:      25476
1460.39/1464.92	c #Conflicts:     254000 | #Constraints:      26476
1460.39/1464.92	c #Conflicts:     255000 | #Constraints:      27476
1460.39/1464.92	c #Conflicts:     256000 | #Constraints:      28476
1460.39/1464.92	c GLOBAL bounds - >= 0 @ 1445.76
1465.48/1470.08	c INPROCESSING
1465.48/1470.08	c GARBAGE COLLECT
1465.48/1470.08	c GLOBAL bounds - >= 0 @ 1450.87
1485.32/1489.99	c #Conflicts:     257000 | #Constraints:      19457
1485.32/1489.99	c #Conflicts:     258000 | #Constraints:      20457
1485.32/1489.99	c #Conflicts:     259000 | #Constraints:      21457
1485.32/1489.99	c GLOBAL bounds - >= 0 @ 1470.57
1491.30/1495.91	c #Conflicts:     260000 | #Constraints:      22459
1491.30/1495.91	c #Conflicts:     261000 | #Constraints:      23459
1491.30/1495.91	c GLOBAL bounds - >= 0 @ 1476.43
1531.39/1536.16	c #Conflicts:     262000 | #Constraints:      24461
1531.39/1536.16	c #Conflicts:     263000 | #Constraints:      25461
1531.39/1536.16	c #Conflicts:     264000 | #Constraints:      26461
1531.39/1536.16	c #Conflicts:     265000 | #Constraints:      27461
1531.39/1536.16	c #Conflicts:     266000 | #Constraints:      28461
1531.39/1536.16	c INPROCESSING
1531.39/1536.16	c GARBAGE COLLECT
1531.39/1536.16	c #Conflicts:     267000 | #Constraints:      19296
1531.39/1536.16	c GLOBAL bounds - >= 0 @ 1516.19
1536.07/1540.87	c #Conflicts:     268000 | #Constraints:      20298
1536.07/1540.87	c GLOBAL bounds - >= 0 @ 1520.86
1538.47/1543.29	c GLOBAL bounds - >= 0 @ 1523.24
1544.26/1549.05	c #Conflicts:     269000 | #Constraints:      21302
1544.26/1549.05	c GLOBAL bounds - >= 0 @ 1528.95
1547.04/1551.80	c #Conflicts:     270000 | #Constraints:      22304
1547.04/1551.80	c GLOBAL bounds - >= 0 @ 1531.68
1612.25/1617.25	c #Conflicts:     271000 | #Constraints:      23306
1612.25/1617.25	c #Conflicts:     272000 | #Constraints:      24306
1612.25/1617.25	c #Conflicts:     273000 | #Constraints:      25306
1612.25/1617.25	c #Conflicts:     274000 | #Constraints:      26306
1612.25/1617.25	c #Conflicts:     275000 | #Constraints:      27306
1612.25/1617.25	c #Conflicts:     276000 | #Constraints:      28306
1612.25/1617.25	c #Conflicts:     277000 | #Constraints:      29306
1612.25/1617.25	c INPROCESSING
1612.25/1617.25	c GARBAGE COLLECT
1612.25/1617.25	c #Conflicts:     278000 | #Constraints:      19929
1612.25/1617.25	c #Conflicts:     279000 | #Constraints:      20929
1612.25/1617.25	c #Conflicts:     280000 | #Constraints:      21929
1612.25/1617.25	c #Conflicts:     281000 | #Constraints:      22929
1612.25/1617.25	c GLOBAL bounds - >= 0 @ 1596.43
1679.65/1684.80	c #Conflicts:     282000 | #Constraints:      23931
1679.65/1684.80	c #Conflicts:     283000 | #Constraints:      24931
1679.65/1684.80	c #Conflicts:     284000 | #Constraints:      25931
1679.65/1684.80	c #Conflicts:     285000 | #Constraints:      26931
1679.65/1684.80	c #Conflicts:     286000 | #Constraints:      27931
1679.65/1684.80	c #Conflicts:     287000 | #Constraints:      28931
1679.65/1684.80	c #Conflicts:     288000 | #Constraints:      29931
1679.65/1684.80	c INPROCESSING
1679.65/1684.80	c GARBAGE COLLECT
1679.65/1684.80	c #Conflicts:     289000 | #Constraints:      20308
1679.65/1684.80	c #Conflicts:     290000 | #Constraints:      21308
1679.65/1684.80	c GLOBAL bounds - >= 0 @ 1663.19
1688.03/1693.20	c #Conflicts:     291000 | #Constraints:      22310
1688.03/1693.20	c GLOBAL bounds - >= 0 @ 1671.49
1697.80/1703.04	c #Conflicts:     292000 | #Constraints:      23312
1697.80/1703.04	c #Conflicts:     293000 | #Constraints:      24312
1697.80/1703.04	c GLOBAL bounds - >= 0 @ 1681.22
1715.75/1721.09	c #Conflicts:     294000 | #Constraints:      25314
1715.75/1721.09	c #Conflicts:     295000 | #Constraints:      26314
1715.75/1721.09	c #Conflicts:     296000 | #Constraints:      27314
1715.75/1721.09	c GLOBAL bounds - >= 0 @ 1699.1
1747.45/1752.83	c #Conflicts:     297000 | #Constraints:      28316
1747.45/1752.83	c #Conflicts:     298000 | #Constraints:      29316
1747.45/1752.83	c #Conflicts:     299000 | #Constraints:      30316
1747.45/1752.83	c INPROCESSING
1747.45/1752.83	c GARBAGE COLLECT
1747.45/1752.83	c #Conflicts:     300000 | #Constraints:      20510
1747.45/1752.83	c #Conflicts:     301000 | #Constraints:      21510
1747.45/1752.83	c GLOBAL bounds - >= 0 @ 1730.46
1818.83/1824.43	c #Conflicts:     302000 | #Constraints:      22512
1818.83/1824.43	c #Conflicts:     303000 | #Constraints:      23512
1818.83/1824.43	c #Conflicts:     304000 | #Constraints:      24512
1818.83/1824.43	c #Conflicts:     305000 | #Constraints:      25512
1818.83/1824.43	c #Conflicts:     306000 | #Constraints:      26512
1818.83/1824.43	c #Conflicts:     307000 | #Constraints:      27512
1818.83/1824.43	c #Conflicts:     308000 | #Constraints:      28512
1818.83/1824.43	c #Conflicts:     309000 | #Constraints:      29512
1818.83/1824.43	c GLOBAL bounds - >= 0 @ 1801.29
1894.20/1900.01	c #Conflicts:     310000 | #Constraints:      30514
1894.20/1900.01	c INPROCESSING
1894.20/1900.01	c GARBAGE COLLECT
1894.20/1900.01	c #Conflicts:     311000 | #Constraints:      20489
1894.20/1900.01	c #Conflicts:     312000 | #Constraints:      21489
1894.20/1900.01	c #Conflicts:     313000 | #Constraints:      22489
1894.20/1900.01	c #Conflicts:     314000 | #Constraints:      23489
1894.20/1900.01	c #Conflicts:     315000 | #Constraints:      24489
1894.20/1900.01	c #Conflicts:     316000 | #Constraints:      25489
1894.20/1900.01	c #Conflicts:     317000 | #Constraints:      26489
1894.20/1900.01	c #Conflicts:     318000 | #Constraints:      27489
1894.20/1900.01	c #Conflicts:     319000 | #Constraints:      28489
1894.20/1900.01	c #Conflicts:     320000 | #Constraints:      29489
1894.20/1900.01	c GLOBAL bounds - >= 0 @ 1875.89
1936.47/1942.48	c #Conflicts:     321000 | #Constraints:      30491
1936.47/1942.48	c INPROCESSING
1936.47/1942.48	c GARBAGE COLLECT
1936.47/1942.48	c #Conflicts:     322000 | #Constraints:      20305
1936.47/1942.48	c #Conflicts:     323000 | #Constraints:      21305
1936.47/1942.48	c #Conflicts:     324000 | #Constraints:      22305
1936.47/1942.48	c #Conflicts:     325000 | #Constraints:      23305
1936.47/1942.48	c #Conflicts:     326000 | #Constraints:      24305
1936.47/1942.48	c #Conflicts:     327000 | #Constraints:      25305
1936.47/1942.48	c #Conflicts:     328000 | #Constraints:      26305
1936.47/1942.48	c GLOBAL bounds - >= 0 @ 1917.85
2004.46/2010.67	c #Conflicts:     329000 | #Constraints:      27307
2004.46/2010.67	c #Conflicts:     330000 | #Constraints:      28307
2004.46/2010.67	c #Conflicts:     331000 | #Constraints:      29307
2004.46/2010.67	c #Conflicts:     332000 | #Constraints:      30307
2004.46/2010.67	c #Conflicts:     333000 | #Constraints:      31307
2004.46/2010.67	c INPROCESSING
2004.46/2010.67	c GARBAGE COLLECT
2004.46/2010.67	c #Conflicts:     334000 | #Constraints:      20919
2004.46/2010.67	c #Conflicts:     335000 | #Constraints:      21919
2004.46/2010.67	c #Conflicts:     336000 | #Constraints:      22919
2004.46/2010.67	c #Conflicts:     337000 | #Constraints:      23919
2004.46/2010.67	c #Conflicts:     338000 | #Constraints:      24919
2004.46/2010.67	c #Conflicts:     339000 | #Constraints:      25919
2004.46/2010.67	c GLOBAL bounds - >= 0 @ 1985.29
2009.54/2015.73	c #Conflicts:     340000 | #Constraints:      26921
2009.54/2015.73	c GLOBAL bounds - >= 0 @ 1990.29
2017.92/2024.11	c #Conflicts:     341000 | #Constraints:      27923
2017.92/2024.11	c GLOBAL bounds - >= 0 @ 1998.57
2023.71/2029.93	c #Conflicts:     342000 | #Constraints:      28925
2023.71/2029.93	c GLOBAL bounds - >= 0 @ 2004.34
2025.10/2031.38	c #Conflicts:     343000 | #Constraints:      29927
2025.10/2031.38	c GLOBAL bounds - >= 0 @ 2005.78
2026.80/2033.08	c GLOBAL bounds - >= 0 @ 2007.47
2030.19/2036.43	c GLOBAL bounds - >= 0 @ 2010.79
2032.48/2038.73	c #Conflicts:     344000 | #Constraints:      30933
2032.48/2038.73	c GLOBAL bounds - >= 0 @ 2013.06
2037.16/2043.42	c GLOBAL bounds - >= 0 @ 2017.64
2039.44/2045.78	c GLOBAL bounds - >= 0 @ 2019.95
2045.52/2051.86	c #Conflicts:     345000 | #Constraints:      31939
2045.52/2051.86	c INPROCESSING
2045.52/2051.86	c GARBAGE COLLECT
2045.52/2051.86	c GLOBAL bounds - >= 0 @ 2025.95
2054.39/2060.71	c #Conflicts:     346000 | #Constraints:      21298
2054.39/2060.71	c GLOBAL bounds - >= 0 @ 2034.73
2067.76/2074.17	c #Conflicts:     347000 | #Constraints:      22300
2067.76/2074.17	c #Conflicts:     348000 | #Constraints:      23300
2067.76/2074.17	c #Conflicts:     349000 | #Constraints:      24300
2067.76/2074.17	c GLOBAL bounds - >= 0 @ 2048.05
2098.12/2104.62	c #Conflicts:     350000 | #Constraints:      25302
2098.12/2104.62	c #Conflicts:     351000 | #Constraints:      26302
2098.12/2104.62	c #Conflicts:     352000 | #Constraints:      27302
2098.12/2104.62	c #Conflicts:     353000 | #Constraints:      28302
2098.12/2104.62	c GLOBAL bounds - >= 0 @ 2078.08
2111.57/2118.14	c #Conflicts:     354000 | #Constraints:      29304
2111.57/2118.14	c GLOBAL bounds - >= 0 @ 2091.41
2114.25/2120.84	c #Conflicts:     355000 | #Constraints:      30306
2114.25/2120.84	c GLOBAL bounds - >= 0 @ 2094.09
2117.64/2124.27	c GLOBAL bounds - >= 0 @ 2097.49
2120.13/2126.77	c #Conflicts:     356000 | #Constraints:      31310
2120.13/2126.77	c GLOBAL bounds - >= 0 @ 2099.72
2126.43/2133.01	c #Conflicts:     357000 | #Constraints:      32312
2126.43/2133.01	c INPROCESSING
2126.43/2133.01	c GARBAGE COLLECT
2126.43/2133.01	c GLOBAL bounds - >= 0 @ 2105.84
2133.89/2140.52	c #Conflicts:     358000 | #Constraints:      21559
2133.89/2140.52	c GLOBAL bounds - >= 0 @ 2113.25
2136.47/2143.11	c #Conflicts:     359000 | #Constraints:      22561
2136.47/2143.11	c GLOBAL bounds - >= 0 @ 2115.8
2142.25/2148.99	c #Conflicts:     360000 | #Constraints:      23563
2142.25/2148.99	c GLOBAL bounds - >= 0 @ 2121.63
2156.41/2163.16	c #Conflicts:     361000 | #Constraints:      24565
2156.41/2163.16	c #Conflicts:     362000 | #Constraints:      25565
2156.41/2163.16	c GLOBAL bounds - >= 0 @ 2135.66
2189.79/2196.68	c #Conflicts:     363000 | #Constraints:      26567
2189.79/2196.68	c #Conflicts:     364000 | #Constraints:      27567
2189.79/2196.68	c #Conflicts:     365000 | #Constraints:      28567
2189.79/2196.68	c #Conflicts:     366000 | #Constraints:      29567
2189.79/2196.68	c #Conflicts:     367000 | #Constraints:      30567
2189.79/2196.68	c GLOBAL bounds - >= 0 @ 2168.73
2218.98/2225.93	c #Conflicts:     368000 | #Constraints:      31569
2218.98/2225.93	c #Conflicts:     369000 | #Constraints:      32569
2218.98/2225.93	c INPROCESSING
2218.98/2225.93	c GARBAGE COLLECT
2218.98/2225.93	c #Conflicts:     370000 | #Constraints:      21592
2218.98/2225.93	c GLOBAL bounds - >= 0 @ 2197.57
2230.62/2237.61	c #Conflicts:     371000 | #Constraints:      22594
2230.62/2237.61	c #Conflicts:     372000 | #Constraints:      23594
2230.62/2237.61	c GLOBAL bounds - >= 0 @ 2209.05
2234.81/2241.81	c #Conflicts:     373000 | #Constraints:      24596
2234.81/2241.81	c GLOBAL bounds - >= 0 @ 2213.2
2238.91/2245.96	c #Conflicts:     374000 | #Constraints:      25598
2238.91/2245.96	c GLOBAL bounds - >= 0 @ 2217.31
2240.79/2247.87	c GLOBAL bounds - >= 0 @ 2219.19
2244.68/2251.79	c #Conflicts:     375000 | #Constraints:      26602
2244.68/2251.79	c GLOBAL bounds - >= 0 @ 2223.07
2251.26/2258.31	c #Conflicts:     376000 | #Constraints:      27604
2251.26/2258.31	c GLOBAL bounds - >= 0 @ 2229.48
2315.20/2322.50	c #Conflicts:     377000 | #Constraints:      28606
2315.20/2322.50	c #Conflicts:     378000 | #Constraints:      29606
2315.20/2322.50	c #Conflicts:     379000 | #Constraints:      30606
2315.20/2322.50	c #Conflicts:     380000 | #Constraints:      31606
2315.20/2322.50	c #Conflicts:     381000 | #Constraints:      32606
2315.20/2322.50	c INPROCESSING
2315.20/2322.50	c GARBAGE COLLECT
2315.20/2322.50	c #Conflicts:     382000 | #Constraints:      21408
2315.20/2322.50	c #Conflicts:     383000 | #Constraints:      22408
2315.20/2322.50	c #Conflicts:     384000 | #Constraints:      23408
2315.20/2322.50	c #Conflicts:     385000 | #Constraints:      24408
2315.20/2322.50	c #Conflicts:     386000 | #Constraints:      25408
2315.20/2322.50	c #Conflicts:     387000 | #Constraints:      26408
2315.20/2322.50	c GLOBAL bounds - >= 0 @ 2292.94
2413.09/2420.73	c #Conflicts:     388000 | #Constraints:      27410
2413.09/2420.73	c #Conflicts:     389000 | #Constraints:      28410
2413.09/2420.73	c #Conflicts:     390000 | #Constraints:      29410
2413.09/2420.73	c #Conflicts:     391000 | #Constraints:      30410
2413.09/2420.73	c #Conflicts:     392000 | #Constraints:      31410
2413.09/2420.73	c #Conflicts:     393000 | #Constraints:      32410
2413.09/2420.73	c #Conflicts:     394000 | #Constraints:      33410
2413.09/2420.73	c INPROCESSING
2413.09/2420.73	c GARBAGE COLLECT
2413.09/2420.73	c #Conflicts:     395000 | #Constraints:      22010
2413.09/2420.73	c #Conflicts:     396000 | #Constraints:      23010
2413.09/2420.73	c #Conflicts:     397000 | #Constraints:      24010
2413.09/2420.73	c #Conflicts:     398000 | #Constraints:      25010
2413.09/2420.73	c #Conflicts:     399000 | #Constraints:      26010
2413.09/2420.73	c GLOBAL bounds - >= 0 @ 2390.14
2417.68/2425.33	c #Conflicts:     400000 | #Constraints:      27012
2417.68/2425.33	c GLOBAL bounds - >= 0 @ 2394.7
2438.91/2446.67	c #Conflicts:     401000 | #Constraints:      28014
2438.91/2446.67	c #Conflicts:     402000 | #Constraints:      29014
2438.91/2446.67	c #Conflicts:     403000 | #Constraints:      30014
2438.91/2446.67	c GLOBAL bounds - >= 0 @ 2415.83
2460.55/2468.37	c #Conflicts:     404000 | #Constraints:      31016
2460.55/2468.37	c #Conflicts:     405000 | #Constraints:      32016
2460.55/2468.37	c #Conflicts:     406000 | #Constraints:      33016
2460.55/2468.37	c #Conflicts:     407000 | #Constraints:      34016
2460.55/2468.37	c INPROCESSING
2460.55/2468.37	c GARBAGE COLLECT
2460.55/2468.37	c GLOBAL bounds - >= 0 @ 2437.26
2470.01/2477.87	c #Conflicts:     408000 | #Constraints:      22416
2470.01/2477.87	c GLOBAL bounds - >= 0 @ 2446.63
2478.38/2486.24	c #Conflicts:     409000 | #Constraints:      23418
2478.38/2486.24	c #Conflicts:     410000 | #Constraints:      24418
2478.38/2486.24	c GLOBAL bounds - >= 0 @ 2454.91
2480.47/2488.33	c GLOBAL bounds - >= 0 @ 2456.98
2482.37/2490.23	c #Conflicts:     411000 | #Constraints:      25422
2482.37/2490.23	c GLOBAL bounds - >= 0 @ 2458.86
2485.16/2493.09	c GLOBAL bounds - >= 0 @ 2461.7
2487.75/2495.62	c GLOBAL bounds - >= 0 @ 2464.2
2513.07/2521.07	c #Conflicts:     412000 | #Constraints:      26428
2513.07/2521.07	c #Conflicts:     413000 | #Constraints:      27428
2513.07/2521.07	c #Conflicts:     414000 | #Constraints:      28428
2513.07/2521.07	c #Conflicts:     415000 | #Constraints:      29428
2513.07/2521.07	c GLOBAL bounds - >= 0 @ 2489.39
2551.35/2559.40	c #Conflicts:     416000 | #Constraints:      30430
2551.35/2559.40	c #Conflicts:     417000 | #Constraints:      31430
2551.35/2559.40	c #Conflicts:     418000 | #Constraints:      32430
2551.35/2559.40	c #Conflicts:     419000 | #Constraints:      33430
2551.35/2559.40	c GLOBAL bounds - >= 0 @ 2527.28
2583.04/2591.25	c #Conflicts:     420000 | #Constraints:      34432
2583.04/2591.25	c INPROCESSING
2583.04/2591.25	c GARBAGE COLLECT
2583.04/2591.25	c #Conflicts:     421000 | #Constraints:      22579
2583.04/2591.25	c #Conflicts:     422000 | #Constraints:      23579
2583.04/2591.25	c #Conflicts:     423000 | #Constraints:      24579
2583.04/2591.25	c #Conflicts:     424000 | #Constraints:      25579
2583.04/2591.25	c GLOBAL bounds - >= 0 @ 2558.85
2610.96/2619.22	c #Conflicts:     425000 | #Constraints:      26581
2610.96/2619.22	c #Conflicts:     426000 | #Constraints:      27581
2610.96/2619.22	c #Conflicts:     427000 | #Constraints:      28581
2610.96/2619.22	c #Conflicts:     428000 | #Constraints:      29581
2610.96/2619.22	c #Conflicts:     429000 | #Constraints:      30581
2610.96/2619.22	c GLOBAL bounds - >= 0 @ 2586.58
2904.40/2913.61	c #Conflicts:     430000 | #Constraints:      31583
2904.40/2913.61	c #Conflicts:     431000 | #Constraints:      32583
2904.40/2913.61	c #Conflicts:     432000 | #Constraints:      33583
2904.40/2913.61	c #Conflicts:     433000 | #Constraints:      34583
2904.40/2913.61	c INPROCESSING
2904.40/2913.61	c GARBAGE COLLECT
2904.40/2913.61	c #Conflicts:     434000 | #Constraints:      22605
2904.40/2913.61	c #Conflicts:     435000 | #Constraints:      23605
2904.40/2913.61	c #Conflicts:     436000 | #Constraints:      24605
2904.40/2913.61	c #Conflicts:     437000 | #Constraints:      25605
2904.40/2913.61	c #Conflicts:     438000 | #Constraints:      26605
2904.40/2913.61	c #Conflicts:     439000 | #Constraints:      27605
2904.40/2913.61	c #Conflicts:     440000 | #Constraints:      28605
2904.40/2913.61	c #Conflicts:     441000 | #Constraints:      29605
2904.40/2913.61	c #Conflicts:     442000 | #Constraints:      30605
2904.40/2913.61	c #Conflicts:     443000 | #Constraints:      31605
2904.40/2913.61	c #Conflicts:     444000 | #Constraints:      32605
2904.40/2913.61	c #Conflicts:     445000 | #Constraints:      33605
2904.40/2913.61	c #Conflicts:     446000 | #Constraints:      34605
2904.40/2913.61	c INPROCESSING
2904.40/2913.61	c GARBAGE COLLECT
2904.40/2913.61	c #Conflicts:     447000 | #Constraints:      22428
2904.40/2913.61	c #Conflicts:     448000 | #Constraints:      23428
2904.40/2913.61	c #Conflicts:     449000 | #Constraints:      24428
2904.40/2913.61	c #Conflicts:     450000 | #Constraints:      25428
2904.40/2913.61	c #Conflicts:     451000 | #Constraints:      26428
2904.40/2913.61	c #Conflicts:     452000 | #Constraints:      27428
2904.40/2913.61	c #Conflicts:     453000 | #Constraints:      28428
2904.40/2913.61	c #Conflicts:     454000 | #Constraints:      29428
2904.40/2913.61	c #Conflicts:     455000 | #Constraints:      30428
2904.40/2913.61	c #Conflicts:     456000 | #Constraints:      31428
2904.40/2913.61	c #Conflicts:     457000 | #Constraints:      32428
2904.40/2913.61	c #Conflicts:     458000 | #Constraints:      33428
2904.40/2913.61	c #Conflicts:     459000 | #Constraints:      34428
2904.40/2913.61	c #Conflicts:     460000 | #Constraints:      35428
2904.40/2913.61	c INPROCESSING
2904.40/2913.61	c GARBAGE COLLECT
2904.40/2913.61	c #Conflicts:     461000 | #Constraints:      23051
2904.40/2913.61	c #Conflicts:     462000 | #Constraints:      24051
2904.40/2913.61	c #Conflicts:     463000 | #Constraints:      25051
2904.40/2913.61	c #Conflicts:     464000 | #Constraints:      26051
2904.40/2913.61	c #Conflicts:     465000 | #Constraints:      27051
2904.40/2913.61	c #Conflicts:     466000 | #Constraints:      28051
2904.40/2913.61	c #Conflicts:     467000 | #Constraints:      29051
2904.40/2913.61	c #Conflicts:     468000 | #Constraints:      30051
2904.40/2913.61	c #Conflicts:     469000 | #Constraints:      31051
2904.40/2913.61	c #Conflicts:     470000 | #Constraints:      32051
2904.40/2913.61	c #Conflicts:     471000 | #Constraints:      33051
2904.40/2913.61	c #Conflicts:     472000 | #Constraints:      34051
2904.40/2913.61	c #Conflicts:     473000 | #Constraints:      35051
2904.40/2913.61	c #Conflicts:     474000 | #Constraints:      36051
2904.40/2913.61	c INPROCESSING
2904.40/2913.61	c GARBAGE COLLECT
2904.40/2913.61	c GLOBAL bounds - >= 0 @ 2878.13
2967.51/2976.95	c #Conflicts:     475000 | #Constraints:      23448
2967.51/2976.95	c #Conflicts:     476000 | #Constraints:      24448
2967.51/2976.95	c #Conflicts:     477000 | #Constraints:      25448
2967.51/2976.95	c #Conflicts:     478000 | #Constraints:      26448
2967.51/2976.95	c #Conflicts:     479000 | #Constraints:      27448
2967.51/2976.95	c #Conflicts:     480000 | #Constraints:      28448
2967.51/2976.95	c #Conflicts:     481000 | #Constraints:      29448
2967.51/2976.95	c #Conflicts:     482000 | #Constraints:      30448
2967.51/2976.95	c #Conflicts:     483000 | #Constraints:      31448
2967.51/2976.95	c #Conflicts:     484000 | #Constraints:      32448
2967.51/2976.95	c #Conflicts:     485000 | #Constraints:      33448
2967.51/2976.95	c #Conflicts:     486000 | #Constraints:      34448
2967.51/2976.95	c #Conflicts:     487000 | #Constraints:      35448
2967.51/2976.95	c #Conflicts:     488000 | #Constraints:      36448
2967.51/2976.95	c INPROCESSING
2967.51/2976.95	c GARBAGE COLLECT
2967.51/2976.95	c GLOBAL bounds - >= 0 @ 2940.74
3164.02/3174.09	c #Conflicts:     489000 | #Constraints:      23644
3164.02/3174.09	c #Conflicts:     490000 | #Constraints:      24644
3164.02/3174.09	c #Conflicts:     491000 | #Constraints:      25644
3164.02/3174.09	c #Conflicts:     492000 | #Constraints:      26644
3164.02/3174.09	c #Conflicts:     493000 | #Constraints:      27644
3164.02/3174.09	c #Conflicts:     494000 | #Constraints:      28644
3164.02/3174.09	c #Conflicts:     495000 | #Constraints:      29644
3164.02/3174.09	c #Conflicts:     496000 | #Constraints:      30644
3164.02/3174.09	c #Conflicts:     497000 | #Constraints:      31644
3164.02/3174.09	c #Conflicts:     498000 | #Constraints:      32644
3164.02/3174.09	c #Conflicts:     499000 | #Constraints:      33644
3164.02/3174.09	c #Conflicts:     500000 | #Constraints:      34644
3164.02/3174.09	c #Conflicts:     501000 | #Constraints:      35644
3164.02/3174.09	c #Conflicts:     502000 | #Constraints:      36644
3164.02/3174.09	c INPROCESSING
3164.02/3174.09	c GARBAGE COLLECT
3164.02/3174.09	c #Conflicts:     503000 | #Constraints:      23636
3164.02/3174.09	c #Conflicts:     504000 | #Constraints:      24636
3164.02/3174.09	c #Conflicts:     505000 | #Constraints:      25636
3164.02/3174.09	c #Conflicts:     506000 | #Constraints:      26636
3164.02/3174.09	c #Conflicts:     507000 | #Constraints:      27636
3164.02/3174.09	c #Conflicts:     508000 | #Constraints:      28636
3164.02/3174.09	c #Conflicts:     509000 | #Constraints:      29636
3164.02/3174.09	c #Conflicts:     510000 | #Constraints:      30636
3164.02/3174.09	c #Conflicts:     511000 | #Constraints:      31636
3164.02/3174.09	c #Conflicts:     512000 | #Constraints:      32636
3164.02/3174.09	c #Conflicts:     513000 | #Constraints:      33636
3164.02/3174.09	c #Conflicts:     514000 | #Constraints:      34636
3164.02/3174.09	c #Conflicts:     515000 | #Constraints:      35636
3164.02/3174.09	c #Conflicts:     516000 | #Constraints:      36636
3164.02/3174.09	c INPROCESSING
3164.02/3174.09	c GARBAGE COLLECT
3164.02/3174.09	c #Conflicts:     517000 | #Constraints:      23431
3164.02/3174.09	c #Conflicts:     518000 | #Constraints:      24431
3164.02/3174.09	c #Conflicts:     519000 | #Constraints:      25431
3164.02/3174.09	c #Conflicts:     520000 | #Constraints:      26431
3164.02/3174.09	c #Conflicts:     521000 | #Constraints:      27431
3164.02/3174.09	c #Conflicts:     522000 | #Constraints:      28431
3164.02/3174.09	c #Conflicts:     523000 | #Constraints:      29431
3164.02/3174.09	c #Conflicts:     524000 | #Constraints:      30431
3164.02/3174.09	c #Conflicts:     525000 | #Constraints:      31431
3164.02/3174.09	c #Conflicts:     526000 | #Constraints:      32431
3164.02/3174.09	c #Conflicts:     527000 | #Constraints:      33431
3164.02/3174.09	c #Conflicts:     528000 | #Constraints:      34431
3164.02/3174.09	c #Conflicts:     529000 | #Constraints:      35431
3164.02/3174.09	c GLOBAL bounds - >= 0 @ 3135.84
3165.81/3175.87	c GLOBAL bounds - >= 0 @ 3137.6
3168.61/3178.65	c GLOBAL bounds - >= 0 @ 3140.35
3185.25/3195.35	c #Conflicts:     530000 | #Constraints:      36437
3185.25/3195.35	c #Conflicts:     531000 | #Constraints:      37437
3185.25/3195.35	c INPROCESSING
3185.25/3195.35	c GARBAGE COLLECT
3185.25/3195.35	c #Conflicts:     532000 | #Constraints:      24015
3185.25/3195.35	c GLOBAL bounds - >= 0 @ 3156.86
3190.14/3200.23	c GLOBAL bounds - >= 0 @ 3161.69
3193.93/3204.04	c #Conflicts:     533000 | #Constraints:      25019
3193.93/3204.04	c GLOBAL bounds - >= 0 @ 3165.46
3267.49/3277.80	c #Conflicts:     534000 | #Constraints:      26021
3267.49/3277.80	c #Conflicts:     535000 | #Constraints:      27021
3267.49/3277.80	c #Conflicts:     536000 | #Constraints:      28021
3267.49/3277.80	c #Conflicts:     537000 | #Constraints:      29021
3267.49/3277.80	c #Conflicts:     538000 | #Constraints:      30021
3267.49/3277.80	c #Conflicts:     539000 | #Constraints:      31021
3267.49/3277.80	c #Conflicts:     540000 | #Constraints:      32021
3267.49/3277.80	c #Conflicts:     541000 | #Constraints:      33021
3267.49/3277.80	c #Conflicts:     542000 | #Constraints:      34021
3267.49/3277.80	c GLOBAL bounds - >= 0 @ 3238.41
3324.41/3334.97	c #Conflicts:     543000 | #Constraints:      35023
3324.41/3334.97	c #Conflicts:     544000 | #Constraints:      36023
3324.41/3334.97	c #Conflicts:     545000 | #Constraints:      37023
3324.41/3334.97	c #Conflicts:     546000 | #Constraints:      38023
3324.41/3334.97	c INPROCESSING
3324.41/3334.97	c GARBAGE COLLECT
3324.41/3334.97	c #Conflicts:     547000 | #Constraints:      24435
3324.41/3334.97	c GLOBAL bounds - >= 0 @ 3294.88
3332.67/3343.22	c #Conflicts:     548000 | #Constraints:      25437
3332.67/3343.22	c GLOBAL bounds - >= 0 @ 3303.04
3338.56/3349.19	c #Conflicts:     549000 | #Constraints:      26439
3338.56/3349.19	c GLOBAL bounds - >= 0 @ 3308.9
3349.23/3359.83	c #Conflicts:     550000 | #Constraints:      27441
3349.23/3359.83	c #Conflicts:     551000 | #Constraints:      28441
3349.23/3359.83	c GLOBAL bounds - >= 0 @ 3319.42
3364.27/3374.93	c #Conflicts:     552000 | #Constraints:      29443
3364.27/3374.93	c #Conflicts:     553000 | #Constraints:      30443
3364.27/3374.93	c GLOBAL bounds - >= 0 @ 3334.35
3369.15/3379.87	c #Conflicts:     554000 | #Constraints:      31445
3369.15/3379.87	c GLOBAL bounds - >= 0 @ 3339.25
3378.22/3388.95	c #Conflicts:     555000 | #Constraints:      32447
3378.22/3388.95	c GLOBAL bounds - >= 0 @ 3348.24
3382.90/3393.60	c #Conflicts:     556000 | #Constraints:      33449
3382.90/3393.60	c GLOBAL bounds - >= 0 @ 3352.84
3415.78/3426.67	c #Conflicts:     557000 | #Constraints:      34451
3415.78/3426.67	c #Conflicts:     558000 | #Constraints:      35451
3415.78/3426.67	c #Conflicts:     559000 | #Constraints:      36451
3415.78/3426.67	c #Conflicts:     560000 | #Constraints:      37451
3415.78/3426.67	c GLOBAL bounds - >= 0 @ 3385.54
3419.57/3430.44	c GLOBAL bounds - >= 0 @ 3389.26
3439.29/3450.26	c #Conflicts:     561000 | #Constraints:      38455
3439.29/3450.26	c INPROCESSING
3439.29/3450.26	c GARBAGE COLLECT
3439.29/3450.26	c #Conflicts:     562000 | #Constraints:      24602
3439.29/3450.26	c #Conflicts:     563000 | #Constraints:      25602
3439.29/3450.26	c #Conflicts:     564000 | #Constraints:      26602
3439.29/3450.26	c GLOBAL bounds - >= 0 @ 3408.87
3441.78/3452.79	c GLOBAL bounds - >= 0 @ 3411.38
3472.47/3483.50	c #Conflicts:     565000 | #Constraints:      27606
3472.47/3483.50	c #Conflicts:     566000 | #Constraints:      28606
3472.47/3483.50	c #Conflicts:     567000 | #Constraints:      29606
3472.47/3483.50	c #Conflicts:     568000 | #Constraints:      30606
3472.47/3483.50	c GLOBAL bounds - >= 0 @ 3441.78
3477.65/3488.76	c #Conflicts:     569000 | #Constraints:      31608
3477.65/3488.76	c GLOBAL bounds - >= 0 @ 3446.98
3498.57/3509.78	c #Conflicts:     570000 | #Constraints:      32610
3498.57/3509.78	c #Conflicts:     571000 | #Constraints:      33610
3498.57/3509.78	c GLOBAL bounds - >= 0 @ 3467.74
3504.16/3515.38	c #Conflicts:     572000 | #Constraints:      34612
3504.16/3515.38	c GLOBAL bounds - >= 0 @ 3473.29
3511.93/3523.18	c #Conflicts:     573000 | #Constraints:      35614
3511.93/3523.18	c GLOBAL bounds - >= 0 @ 3481
3517.41/3528.62	c GLOBAL bounds - >= 0 @ 3486.39
3520.40/3531.61	c #Conflicts:     574000 | #Constraints:      36618
3520.40/3531.61	c GLOBAL bounds - >= 0 @ 3489.35
3533.56/3544.86	c #Conflicts:     575000 | #Constraints:      37620
3533.56/3544.86	c GLOBAL bounds - >= 0 @ 3502.49
3588.74/3600.27	c #Conflicts:     576000 | #Constraints:      38622
3588.74/3600.27	c INPROCESSING
3588.74/3600.27	c GARBAGE COLLECT
3588.74/3600.27	c #Conflicts:     577000 | #Constraints:      24649
3588.74/3600.27	c #Conflicts:     578000 | #Constraints:      25649
3588.74/3600.27	c #Conflicts:     579000 | #Constraints:      26649
3588.74/3600.27	c #Conflicts:     580000 | #Constraints:      27649
3588.74/3600.27	c #Conflicts:     581000 | #Constraints:      28649
3588.74/3600.27	c GLOBAL bounds - >= 0 @ 3557.16
3600.06/3611.60	c #Conflicts:     582000 | #Constraints:      29651
3600.06/3611.60	c #Conflicts:     583000 | #Constraints:      30651
3600.06/3611.60	c cpu time 3568.33 s
3600.06/3611.60	c deterministic time 1 1.00e+00
3600.06/3611.60	c optimization time 3568.29 s
3600.06/3611.60	c total solve time 0 s
3600.06/3611.60	c core-guided solve time 0 s
3600.06/3611.60	c propagation time 0.002939 s
3600.06/3611.60	c conflict analysis time 0 s
3600.06/3611.60	c propagations 0
3600.06/3611.60	c resolve steps 0
3600.06/3611.60	c decisions 0
3600.06/3611.60	c conflicts 0
3600.06/3611.60	c restarts 0
3600.06/3611.60	c inprocessing phases 0
3600.06/3611.60	c garbage collections 0 ,( -nan )
3600.06/3611.60	c input clauses 8170 ,( 100.00 )
3600.06/3611.60	c input cardinalities 0 ,( 0.00 )
3600.06/3611.60	c input general constraints 0 ,( 0.00 )
3600.06/3611.60	c input average constraint length 4.00
3600.06/3611.60	c input average constraint degree 1.00
3600.06/3611.60	c learned clauses 0 ,( 0.00 )
3600.06/3611.60	c learned cardinalities 0 ,( 0.00 )
3600.06/3611.60	c learned general constraints 0 ,( 0.00 )
3600.06/3611.60	c learned average constraint length 0.00
3600.06/3611.60	c learned average constraint degree 0.00
3600.06/3611.60	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.06/3611.60	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.06/3611.60	c watched   constraints 0 ,( -nan ) 
3600.06/3611.60	c counting  constraints 0 ,( -nan ) 
3600.06/3611.60	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.06/3611.60	c gcd simplifications 0
3600.06/3611.60	c detected cardinalities 0
3600.06/3611.60	c weakened non-implied lits 0
3600.06/3611.60	c weakened non-implying lits 0
3600.06/3611.60	c original variables 8170
3600.06/3611.60	c clausal propagations 0
3600.06/3611.60	c cardinality propagations 0
3600.06/3611.60	c watched propagations 0
3600.06/3611.60	c counting propagations 0
3600.06/3611.60	c watch lookups 0
3600.06/3611.60	c watch backjump lookups 0
3600.06/3611.60	c watch checks 0
3600.06/3611.60	c propagation checks 0
3600.06/3611.60	c constraint additions 0
3600.06/3611.60	c trail pops 0
3600.06/3611.60	c formula constraints 8170
3600.06/3611.60	c learned constraints 0
3600.06/3611.60	c bound constraints 0
3600.06/3611.60	c core-guided constraints 0
3600.06/3611.60	c encountered formula constraints 0
3600.06/3611.60	c encountered learned constraints 0
3600.06/3611.60	c encountered bound constraints 0
3600.06/3611.60	c encountered core-guided constraints 0
3600.06/3611.60	c LP total time 0 s
3600.06/3611.60	c LP solve time 0 s
3600.06/3611.60	c LP constraints added 0
3600.06/3611.60	c LP constraints removed 0
3600.06/3611.60	c LP pivots internal 0
3600.06/3611.60	c LP pivots root 0
3600.06/3611.60	c LP calls 0
3600.06/3611.60	c LP optimalities 0
3600.06/3611.60	c LP no pivot count 0
3600.06/3611.60	c LP infeasibilities 0
3600.06/3611.60	c LP valid Farkas constraints 0
3600.06/3611.60	c LP learned Farkas constraints 0
3600.06/3611.60	c LP basis resets 0
3600.06/3611.60	c LP cycling count 0
3600.06/3611.60	c LP singular count 0
3600.06/3611.60	c LP no primal count 0
3600.06/3611.60	c LP no farkas count 0
3600.06/3611.60	c LP other issue count 0
3600.06/3611.60	c LP Gomory cuts 0
3600.06/3611.60	c LP learned cuts 0
3600.06/3611.60	c LP deleted cuts 0
3600.06/3611.60	c LP encountered Gomory constraints 0
3600.06/3611.60	c LP encountered Farkas constraints 0
3600.06/3611.60	c LP encountered learned Farkas constraints 0
3600.06/3611.60	c CG auxiliary variables introduced 0
3600.06/3611.60	c CG solutions found 0
3600.06/3611.60	c CG cores constructed 0
3600.06/3611.60	c CG core cardinality constraints returned 0
3600.06/3611.60	c CG unit cores 0
3600.06/3611.60	c CG single cores 0
3600.06/3611.60	c CG blocks removed during cardinality reduction 0
3600.06/3611.60	c CG first core best 0
3600.06/3611.60	c CG decision core best 0
3600.06/3611.60	c CG core reduction tie 0
3600.06/3611.60	c CG core degree average 0.00
3600.06/3611.60	c CG core slack average 0.00
3600.06/3611.60	c CG core upper bound improvements 0
3600.06/3611.60	c STR number of successful calls 0
3600.06/3611.60	c STR number of unsuccessful calls 0
3600.06/3611.60	c STR number of inconclusive calls 0
3600.06/3611.60	c STR number of successful attempts 0
3600.06/3611.60	c STR number of unsuccessful attempts 0
3600.06/3611.60	c STR number of inconclusive attempts 0
3600.06/3611.60	c STR average degree increase per successful call inf
3600.06/3611.60	c STR average degree increase per successful attempt inf
3600.06/3611.60	c STR total number of conflicts for successful attempts 0
3600.06/3611.60	c STR total number of conflicts for unsuccessful attempts 0
3600.06/3611.60	c STR total number of conflicts for inconclusive attempts 0
3600.06/3611.60	c STR average number of conflicts per successful attempt inf
3600.06/3611.60	c STR average number of conflicts per unsuccessful attempt inf
3600.06/3611.60	c STR average number of conflicts per inconclusive attempt inf
3600.06/3611.60	c AVG.sumWPerc -nan 
3600.06/3611.60	c bigint constraints 0 
3600.06/3611.60	s UNKNOWN
3600.06/3611.60	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

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: 63708 MiB (62874 MiB free)
  memory of node 1: 64465 MiB (63809 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520665-1751579055/watcher-4520665-1751579055 -o /tmp/evaluation-result-4520665-1751579055/solver-4520665-1751579055 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751579055-83032 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4520665-1751579055.opb PROOFDIR/proof-4520665-1751579055 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100057 s]*
/proc/loadavg: 0.58 1.51 2.52 5/268 83094
/proc/meminfo: memFree=129699616/131249988 swapFree=33010160/33010684
[pid=83077] ppid=83071 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83077/stat : 83077 (run-opt-log.sh) S 83071 83077 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94304427560960 94304428455493 140731035258160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94304428694544 94304428742288 94304461299712 140731035261217 140731035261412 140731035261412 140731035267014 0
/proc/83077/statm: 1048 768 704 219 0 110 0
[pid=83087] ppid=83077 vsize=74160 memory=24820 CPUtime=0.05 cores=4,6
/proc/83087/stat : 83087 (roundingsat) R 83077 83077 83021 0 -1 4194304 4915 0 0 0 4 1 0 0 20 0 1 0 73583098 75939840 6205 18446744073709551615 4227072 8923433 140735264920208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14462976 140735264926034 140735264926248 140735264926248 140735264931818 0
/proc/83087/statm: 18540 6205 2336 1147 0 5967 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 78352 KiB
Current children cumulated memory: 27892 KiB

[startup+0.205716 s]*
/proc/loadavg: 0.58 1.51 2.52 5/268 83094
/proc/meminfo: memFree=129665784/131249988 swapFree=33010160/33010684
[pid=83077] ppid=83071 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83077/stat : 83077 (run-opt-log.sh) S 83071 83077 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94304427560960 94304428455493 140731035258160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94304428694544 94304428742288 94304461299712 140731035261217 140731035261412 140731035261412 140731035267014 0
/proc/83077/statm: 1048 768 704 219 0 110 0
[pid=83087] ppid=83077 vsize=81776 memory=35736 CPUtime=0.16 cores=4,6
/proc/83087/stat : 83087 (roundingsat) R 83077 83077 83021 0 -1 4194304 7118 0 0 0 13 3 0 0 20 0 1 0 73583098 83738624 8934 18446744073709551615 4227072 8923433 140735264920208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14462976 140735264926034 140735264926248 140735264926248 140735264931818 0
/proc/83087/statm: 20444 8934 2368 1147 0 7871 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 85968 KiB
Current children cumulated memory: 38808 KiB

[startup+0.305618 s]*
/proc/loadavg: 0.58 1.51 2.52 5/268 83094
/proc/meminfo: memFree=129617524/131249988 swapFree=33010160/33010684
[pid=83077] ppid=83071 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83077/stat : 83077 (run-opt-log.sh) S 83071 83077 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94304427560960 94304428455493 140731035258160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94304428694544 94304428742288 94304461299712 140731035261217 140731035261412 140731035261412 140731035267014 0
/proc/83077/statm: 1048 768 704 219 0 110 0
[pid=83087] ppid=83077 vsize=93128 memory=47448 CPUtime=0.26 cores=4,6
/proc/83087/stat : 83087 (roundingsat) R 83077 83077 83021 0 -1 4194304 9510 0 0 0 22 4 0 0 20 0 1 0 73583098 95363072 11862 18446744073709551615 4227072 8923433 140735264920208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14462976 140735264926034 140735264926248 140735264926248 140735264931818 0
/proc/83087/statm: 23282 11862 2368 1147 0 10709 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 97320 KiB
Current children cumulated memory: 50520 KiB

[startup+0.700201 s]
/proc/loadavg: 0.58 1.51 2.52 5/268 83094
/proc/meminfo: memFree=129535876/131249988 swapFree=33010160/33010684
[pid=83077] ppid=83071 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83077/stat : 83077 (run-opt-log.sh) S 83071 83077 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94304427560960 94304428455493 140731035258160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94304428694544 94304428742288 94304461299712 140731035261217 140731035261412 140731035261412 140731035267014 0
/proc/83077/statm: 1048 768 704 219 0 110 0
[pid=83087] ppid=83077 vsize=122472 memory=74624 CPUtime=0.64 cores=4,6
/proc/83087/stat : 83087 (roundingsat) R 83077 83077 83021 0 -1 4194304 14771 0 0 0 59 5 0 0 20 0 1 0 73583098 125411328 18656 18446744073709551615 4227072 8923433 140735264920208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14462976 140735264926034 140735264926248 140735264926248 140735264931818 0
/proc/83087/statm: 30618 18656 2368 1147 0 18045 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 126664 KiB
Current children cumulated memory: 77696 KiB

[startup+1.50021 s]
/proc/loadavg: 0.58 1.51 2.52 5/268 83094
/proc/meminfo: memFree=129374892/131249988 swapFree=33010160/33010684
[pid=83077] ppid=83071 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83077/stat : 83077 (run-opt-log.sh) S 83071 83077 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94304427560960 94304428455493 140731035258160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94304428694544 94304428742288 94304461299712 140731035261217 140731035261412 140731035261412 140731035267014 0
/proc/83077/statm: 1048 768 704 219 0 110 0
[pid=83087] ppid=83077 vsize=244148 memory=169776 CPUtime=1.44 cores=4,6
/proc/83087/stat : 83087 (roundingsat) R 83077 83077 83021 0 -1 4194304 35002 0 0 0 132 12 0 0 20 0 1 0 73583098 250007552 42444 18446744073709551615 4227072 8923433 140735264920208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14462976 140735264926034 140735264926248 140735264926248 140735264931818 0
/proc/83087/statm: 61037 42444 2368 1147 0 48464 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 248340 KiB
Current children cumulated memory: 172848 KiB

[startup+3.10553 s]
/proc/loadavg: 0.85 1.55 2.53 5/268 83094
/proc/meminfo: memFree=128875160/131249988 swapFree=33010160/33010684
[pid=83077] ppid=83071 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83077/stat : 83077 (run-opt-log.sh) S 83071 83077 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94304427560960 94304428455493 140731035258160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94304428694544 94304428742288 94304461299712 140731035261217 140731035261412 140731035261412 140731035267014 0
/proc/83077/statm: 1048 768 704 219 0 110 0
[pid=83087] ppid=83077 vsize=423860 memory=315832 CPUtime=3.05 cores=4,6
/proc/83087/stat : 83087 (roundingsat) R 83077 83077 83021 0 -1 4194304 63845 0 0 0 284 21 0 0 20 0 1 0 73583098 434032640 78958 18446744073709551615 4227072 8923433 140735264920208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14462976 140735264926034 140735264926248 140735264926248 140735264931818 0
/proc/83087/statm: 105965 78958 2368 1147 0 93392 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 428052 KiB
Current children cumulated memory: 318904 KiB

[startup+6.3002 s]
/proc/loadavg: 0.85 1.55 2.53 5/269 83095
/proc/meminfo: memFree=128452724/131249988 swapFree=33010160/33010684
[pid=83077] ppid=83071 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83077/stat : 83077 (run-opt-log.sh) S 83071 83077 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94304427560960 94304428455493 140731035258160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94304428694544 94304428742288 94304461299712 140731035261217 140731035261412 140731035261412 140731035267014 0
/proc/83077/statm: 1048 768 704 219 0 110 0
[pid=83087] ppid=83077 vsize=477984 memory=394072 CPUtime=6.23 cores=4,6
/proc/83087/stat : 83087 (roundingsat) R 83077 83077 83021 0 -1 4194304 74769 0 0 0 592 31 0 0 20 0 1 0 73583098 489455616 98518 18446744073709551615 4227072 8923433 140735264920208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14462976 140735264926034 140735264926248 140735264926248 140735264931818 0
/proc/83087/statm: 119496 98518 2368 1147 0 106923 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 482176 KiB
Current children cumulated memory: 397144 KiB

[startup+12.7002 s]
/proc/loadavg: 1.41 1.65 2.55 5/271 83097
/proc/meminfo: memFree=127935516/131249988 swapFree=33010160/33010684
[pid=83077] ppid=83071 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83077/stat : 83077 (run-opt-log.sh) S 83071 83077 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94304427560960 94304428455493 140731035258160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94304428694544 94304428742288 94304461299712 140731035261217 140731035261412 140731035261412 140731035267014 0
/proc/83077/statm: 1048 768 704 219 0 110 0
[pid=83087] ppid=83077 vsize=830100 memory=596500 CPUtime=12.61 cores=4,6
/proc/83087/stat : 83087 (roundingsat) R 83077 83077 83021 0 -1 4194304 117689 0 0 0 1213 48 0 0 20 0 1 0 73583098 850022400 149125 18446744073709551615 4227072 8923433 140735264920208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14462976 140735264926034 140735264926248 140735264926248 140735264931818 0
/proc/83087/statm: 207525 149125 2368 1147 0 194952 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 834292 KiB
Current children cumulated memory: 599572 KiB

[startup+25.5002 s]
/proc/loadavg: 1.81 1.72 2.57 5/271 83097
/proc/meminfo: memFree=126623472/131249988 swapFree=33010160/33010684
[pid=83077] ppid=83071 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83077/stat : 83077 (run-opt-log.sh) S 83071 83077 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94304427560960 94304428455493 140731035258160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94304428694544 94304428742288 94304461299712 140731035261217 140731035261412 140731035261412 140731035267014 0
/proc/83077/statm: 1048 768 704 219 0 110 0
[pid=83087] ppid=83077 vsize=968168 memory=762152 CPUtime=25.36 cores=4,6
/proc/83087/stat : 83087 (roundingsat) R 83077 83077 83021 0 -1 4194304 140190 0 0 0 2462 74 0 0 20 0 1 0 73583098 991404032 190538 18446744073709551615 4227072 8923433 140735264920208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14462976 140735264926034 140735264926248 140735264926248 140735264931818 0
/proc/83087/statm: 242042 190538 2368 1147 0 229469 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 972360 KiB
Current children cumulated memory: 765224 KiB

[startup+51.1057 s]
/proc/loadavg: 2.63 1.92 2.61 5/272 83098
/proc/meminfo: memFree=125039892/131249988 swapFree=33010160/33010684
[pid=83077] ppid=83071 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83077/stat : 83077 (run-opt-log.sh) S 83071 83077 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94304427560960 94304428455493 140731035258160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94304428694544 94304428742288 94304461299712 140731035261217 140731035261412 140731035261412 140731035267014 0
/proc/83077/statm: 1048 768 704 219 0 110 0
[pid=83087] ppid=83077 vsize=1496052 memory=1359992 CPUtime=50.89 cores=4,6
/proc/83087/stat : 83087 (roundingsat) R 83077 83077 83021 0 -1 4194304 277386 0 0 0 4950 139 0 0 20 0 1 0 73583098 1531957248 339998 18446744073709551615 4227072 8923433 140735264920208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14462976 140735264926034 140735264926248 140735264926248 140735264931818 0
/proc/83087/statm: 374013 339998 2368 1147 0 361440 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1500244 KiB
Current children cumulated memory: 1363064 KiB

[startup+102.3 s]
/proc/loadavg: 3.55 2.31 2.70 5/272 83100
/proc/meminfo: memFree=122806564/131249988 swapFree=33010160/33010684
[pid=83077] ppid=83071 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83077/stat : 83077 (run-opt-log.sh) S 83071 83077 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94304427560960 94304428455493 140731035258160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94304428694544 94304428742288 94304461299712 140731035261217 140731035261412 140731035261412 140731035267014 0
/proc/83077/statm: 1048 768 704 219 0 110 0
[pid=83087] ppid=83077 vsize=2057168 memory=1749228 CPUtime=101.92 cores=4,6
/proc/83087/stat : 83087 (roundingsat) R 83077 83077 83021 0 -1 4194304 361969 0 0 0 9972 220 0 0 20 0 1 0 73583098 2106540032 437307 18446744073709551615 4227072 8923433 140735264920208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14462976 140735264926034 140735264926248 140735264926248 140735264931818 0
/proc/83087/statm: 514292 437307 2368 1147 0 501719 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 2061360 KiB
Current children cumulated memory: 1752300 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 2.63 2.79 5/273 83109
/proc/meminfo: memFree=120905464/131249988 swapFree=33010160/33010684
[pid=83077] ppid=83071 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83077/stat : 83077 (run-opt-log.sh) S 83071 83077 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94304427560960 94304428455493 140731035258160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94304428694544 94304428742288 94304461299712 140731035261217 140731035261412 140731035261412 140731035267014 0
/proc/83077/statm: 1048 768 704 219 0 110 0
[pid=83087] ppid=83077 vsize=2282112 memory=1885616 CPUtime=161.75 cores=4,6
/proc/83087/stat : 83087 (roundingsat) R 83077 83077 83021 0 -1 4194304 381768 0 0 0 15881 294 0 0 20 0 1 0 73583098 2336882688 471404 18446744073709551615 4227072 8923433 140735264920208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14462976 140735264926034 140735264926248 140735264926248 140735264931818 0
/proc/83087/statm: 570528 471404 2368 1147 0 557955 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 2286304 KiB
Current children cumulated memory: 1888688 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 2.91 2.88 5/272 83111
/proc/meminfo: memFree=118895888/131249988 swapFree=33010160/33010684
[pid=83077] ppid=83071 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83077/stat : 83077 (run-opt-log.sh) S 83071 83077 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94304427560960 94304428455493 140731035258160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94304428694544 94304428742288 94304461299712 140731035261217 140731035261412 140731035261412 140731035267014 0
/proc/83077/statm: 1048 768 704 219 0 110 0
[pid=83087] ppid=83077 vsize=2288520 memory=1974060 CPUtime=221.57 cores=4,6
/proc/83087/stat : 83087 (roundingsat) R 83077 83077 83021 0 -1 4194304 394175 0 0 0 21798 359 0 0 20 0 1 0 73583098 2343444480 493515 18446744073709551615 4227072 8923433 140735264920208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14462976 140735264926034 140735264926248 140735264926248 140735264931818 0
/proc/83087/statm: 572130 493515 2368 1147 0 559557 0

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

[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.04 5/272 83290
/proc/meminfo: memFree=53832076/131249988 swapFree=33010160/33010684
[pid=83077] ppid=83071 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83077/stat : 83077 (run-opt-log.sh) S 83071 83077 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94304427560960 94304428455493 140731035258160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94304428694544 94304428742288 94304461299712 140731035261217 140731035261412 140731035261412 140731035267014 0
/proc/83077/statm: 1048 768 704 219 0 110 0
[pid=83087] ppid=83077 vsize=6463804 memory=5332532 CPUtime=3271.98 cores=4,6
/proc/83087/stat : 83087 (roundingsat) R 83077 83077 83021 0 -1 4194304 1039516 0 0 0 324287 2911 0 0 20 0 1 0 73583098 6618935296 1333133 18446744073709551615 4227072 8923433 140735264920208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14462976 140735264926034 140735264926248 140735264926248 140735264931818 0
/proc/83087/statm: 1615951 1333133 2368 1147 0 1603378 0
Current children cumulated CPU time: 3271.98 s
Current children cumulated vsize: 6467996 KiB
Current children cumulated memory: 5335604 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.11 4.04 5/272 83292
/proc/meminfo: memFree=52985076/131249988 swapFree=33010160/33010684
[pid=83077] ppid=83071 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83077/stat : 83077 (run-opt-log.sh) S 83071 83077 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94304427560960 94304428455493 140731035258160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94304428694544 94304428742288 94304461299712 140731035261217 140731035261412 140731035261412 140731035267014 0
/proc/83077/statm: 1048 768 704 219 0 110 0
[pid=83087] ppid=83077 vsize=6513408 memory=5429652 CPUtime=3331.78 cores=4,6
/proc/83087/stat : 83087 (roundingsat) R 83077 83077 83021 0 -1 4194304 1056736 0 0 0 330211 2967 0 0 20 0 1 0 73583098 6669729792 1357413 18446744073709551615 4227072 8923433 140735264920208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14462976 140735264926034 140735264926248 140735264926248 140735264931818 0
/proc/83087/statm: 1628352 1357413 2368 1147 0 1615779 0
Current children cumulated CPU time: 3331.78 s
Current children cumulated vsize: 6517600 KiB
Current children cumulated memory: 5432724 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.12 4.05 5/272 83294
/proc/meminfo: memFree=52336684/131249988 swapFree=33010160/33010684
[pid=83077] ppid=83071 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83077/stat : 83077 (run-opt-log.sh) S 83071 83077 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94304427560960 94304428455493 140731035258160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94304428694544 94304428742288 94304461299712 140731035261217 140731035261412 140731035261412 140731035267014 0
/proc/83077/statm: 1048 768 704 219 0 110 0
[pid=83087] ppid=83077 vsize=6513408 memory=5429652 CPUtime=3391.56 cores=4,6
/proc/83087/stat : 83087 (roundingsat) R 83077 83077 83021 0 -1 4194304 1057183 0 0 0 336143 3013 0 0 20 0 1 0 73583098 6669729792 1357413 18446744073709551615 4227072 8923433 140735264920208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14462976 140735264926034 140735264926248 140735264926248 140735264931818 0
/proc/83087/statm: 1628352 1357413 2368 1147 0 1615779 0
Current children cumulated CPU time: 3391.56 s
Current children cumulated vsize: 6517600 KiB
Current children cumulated memory: 5432724 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.05 5/271 83296
/proc/meminfo: memFree=51067608/131249988 swapFree=33010160/33010684
[pid=83077] ppid=83071 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83077/stat : 83077 (run-opt-log.sh) S 83071 83077 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94304427560960 94304428455493 140731035258160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94304428694544 94304428742288 94304461299712 140731035261217 140731035261412 140731035261412 140731035267014 0
/proc/83077/statm: 1048 768 704 219 0 110 0
[pid=83087] ppid=83077 vsize=6593792 memory=5685624 CPUtime=3451.34 cores=4,6
/proc/83087/stat : 83087 (roundingsat) R 83077 83077 83021 0 -1 4194304 1095800 0 0 0 342077 3057 0 0 20 0 1 0 73583098 6752043008 1421406 18446744073709551615 4227072 8923433 140735264920208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14462976 140735264926034 140735264926248 140735264926248 140735264931818 0
/proc/83087/statm: 1648448 1421406 2368 1147 0 1635875 0
Current children cumulated CPU time: 3451.34 s
Current children cumulated vsize: 6597984 KiB
Current children cumulated memory: 5688696 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.05 5/271 83298
/proc/meminfo: memFree=49727320/131249988 swapFree=33010160/33010684
[pid=83077] ppid=83071 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83077/stat : 83077 (run-opt-log.sh) S 83071 83077 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94304427560960 94304428455493 140731035258160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94304428694544 94304428742288 94304461299712 140731035261217 140731035261412 140731035261412 140731035267014 0
/proc/83077/statm: 1048 768 704 219 0 110 0
[pid=83087] ppid=83077 vsize=6593792 memory=5685752 CPUtime=3511.13 cores=4,6
/proc/83087/stat : 83087 (roundingsat) R 83077 83077 83021 0 -1 4194304 1096142 0 0 0 348012 3101 0 0 20 0 1 0 73583098 6752043008 1421438 18446744073709551615 4227072 8923433 140735264920208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14462976 140735264926034 140735264926248 140735264926248 140735264931818 0
/proc/83087/statm: 1648448 1421438 2368 1147 0 1635875 0
Current children cumulated CPU time: 3511.13 s
Current children cumulated vsize: 6597984 KiB
Current children cumulated memory: 5688824 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.06 5/271 83300
/proc/meminfo: memFree=48882172/131249988 swapFree=33010160/33010684
[pid=83077] ppid=83071 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83077/stat : 83077 (run-opt-log.sh) S 83071 83077 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94304427560960 94304428455493 140731035258160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94304428694544 94304428742288 94304461299712 140731035261217 140731035261412 140731035261412 140731035267014 0
/proc/83077/statm: 1048 768 704 219 0 110 0
[pid=83087] ppid=83077 vsize=6598176 memory=5692280 CPUtime=3570.9 cores=4,6
/proc/83087/stat : 83087 (roundingsat) R 83077 83077 83021 0 -1 4194304 1098111 0 0 0 353942 3148 0 0 20 0 1 0 73583098 6756532224 1423070 18446744073709551615 4227072 8923433 140735264920208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14462976 140735264926034 140735264926248 140735264926248 140735264931818 0
/proc/83087/statm: 1649544 1423070 2368 1147 0 1636971 0
Current children cumulated CPU time: 3570.9 s
Current children cumulated vsize: 6602368 KiB
Current children cumulated memory: 5695352 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.6 s]
/proc/loadavg: 4.10 4.11 4.06 3/265 83309
/proc/meminfo: memFree=51725732/131249988 swapFree=33010160/33010684
[pid=83077] ppid=83071 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83077/stat : 83077 (run-opt-log.sh) S 83071 83077 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 768 18446744073709551615 94304427560960 94304428455493 140731035258160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94304428694544 94304428742288 94304461299712 140731035261217 140731035261412 140731035261412 140731035267014 0
/proc/83077/statm: 1048 768 704 219 0 110 0
[pid=83087] ppid=83077 vsize=6598176 memory=5692280 CPUtime=3600.06 cores=4,6
/proc/83087/stat : 83087 (roundingsat) R 83077 83077 83021 0 -1 4194304 1098185 0 0 0 356832 3174 0 0 20 0 1 0 73583098 6756532224 1423070 18446744073709551615 4227072 8923433 140735264920208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14462976 140735264926034 140735264926248 140735264926248 140735264931818 0
/proc/83087/statm: 1649544 1423070 2368 1147 0 1636971 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 6602368 KiB
Current children cumulated memory: 5695352 KiB

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

[startup+3611.6 s]
# the end of solver process 83077 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.000729 s, system=0.001446 s

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 4.17 4.13 4.06 3/259 83336
/proc/meminfo: memFree=61099840/131249988 swapFree=33010160/33010684
[pid=83087] ppid=83071 vsize=6598176 memory=5692536 CPUtime=3600.75 cores=4,6
/proc/83087/stat : 83087 (roundingsat) D 83071 83077 83021 0 -1 4194304 1098190 0 0 0 356834 3241 0 0 20 0 1 0 73583098 6756532224 1423134 18446744073709551615 4227072 8923433 140735264920208 0 0 256 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 14462976 140735264926034 140735264926248 140735264926248 140735264931818 9
/proc/83087/statm: 1649544 1423134 2432 1147 0 1636971 0
??? kill 83087 sig 9
??? end of watcher thread

[startup+3624.76 s]
# the end of solver process 83087 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3568.39 s, system=32.9606 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
Dumping a history of the last processes samples

[startup+3612.8 s]
/proc/loadavg: 4.17 4.13 4.06 2/264 83320
/proc/meminfo: memFree=51677596/131249988 swapFree=33010160/33010684
[pid=83087] ppid=83071 vsize=6598176 memory=5692536 CPUtime=3600.73 cores=4,6
/proc/83087/stat : 83087 (roundingsat) D 83071 83077 83021 0 -1 4194304 1098190 0 0 0 356833 3240 0 0 20 0 1 0 73583098 6756532224 1423134 18446744073709551615 4227072 8923433 140735264920208 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 14462976 140735264926034 140735264926248 140735264926248 140735264931818 0
/proc/83087/statm: 1649544 1423134 2432 1147 0 1636971 0
Current cumulated CPU time of completed processes: 0.002175 s
Current children cumulated CPU time: 3600.73 s
Current children cumulated vsize: 6598176 KiB
Current children cumulated memory: 5692536 KiB

[startup+3613.2 s]
/proc/loadavg: 4.17 4.13 4.06 3/262 83336
/proc/meminfo: memFree=56601420/131249988 swapFree=33010160/33010684
[pid=83087] ppid=83071 vsize=6598176 memory=5692536 CPUtime=3600.73 cores=4,6
/proc/83087/stat : 83087 (roundingsat) D 83071 83077 83021 0 -1 4194304 1098190 0 0 0 356833 3240 0 0 20 0 1 0 73583098 6756532224 1423134 18446744073709551615 4227072 8923433 140735264920208 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 14462976 140735264926034 140735264926248 140735264926248 140735264931818 0
/proc/83087/statm: 1649544 1423134 2432 1147 0 1636971 0
Current cumulated CPU time of completed processes: 0.002175 s
Current children cumulated CPU time: 3600.73 s
Current children cumulated vsize: 6598176 KiB
Current children cumulated memory: 5692536 KiB

[startup+3613.6 s]
/proc/loadavg: 4.17 4.13 4.06 3/262 83336
/proc/meminfo: memFree=56601420/131249988 swapFree=33010160/33010684
[pid=83087] ppid=83071 vsize=6598176 memory=5692536 CPUtime=3600.75 cores=4,6
/proc/83087/stat : 83087 (roundingsat) D 83071 83077 83021 0 -1 4194304 1098190 0 0 0 356834 3241 0 0 20 0 1 0 73583098 6756532224 1423134 18446744073709551615 4227072 8923433 140735264920208 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 14462976 140735264926034 140735264926248 140735264926248 140735264931818 0
/proc/83087/statm: 1649544 1423134 2432 1147 0 1636971 0
Current cumulated CPU time of completed processes: 0.002175 s
Current children cumulated CPU time: 3600.75 s
Current children cumulated vsize: 6598176 KiB
Current children cumulated memory: 5692536 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3624.76
CPU time (s): 3601.35
CPU user time (s): 3568.39
CPU system time (s): 32.9606
CPU usage (%): 99.3543
Max. virtual memory (cumulated for all children) (KiB): 6602368
Max. memory (cumulated for all children) (KiB): 5695352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.39
system time used= 32.9606
maximum resident set size= 5692536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1098399
page faults= 0
swaps= 0
block input operations= 0
block output operations= 38028416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 283640
involuntary context switches= 23508


# summary of solver processes directly reported to runsolver:
#   pid: 83077,83087
#   total CPU time (s): 3601.35
#   total CPU user time (s): 3568.39
#   total CPU system time (s): 32.9606

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.1967 second user time and 16.385 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-03 23:44:15
IDJOB=4520665
IDBENCH=178115
IDSOLVER=3351
FILE ID=nodeC020/4520665-1751579055
RUNJOBID= nodeC020-1751579055-83032
SLURM_JOB_ID= 9598813
Free space on /tmp= 431780 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_430.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520665-1751579055/watcher-4520665-1751579055 -o /tmp/evaluation-result-4520665-1751579055/solver-4520665-1751579055 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751579055-83032 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4520665-1751579055.opb PROOFDIR/proof-4520665-1751579055

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

MD5SUM BENCH= b3bab28fe93ea42b1817acfaffdcfb3a
RANDOM SEED=1054558691

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.362
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3600.725
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.146
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3599.911
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3600.042
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3599.895
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3600.389
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 1200.165
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129735908 kB
MemAvailable:   129750032 kB
Buffers:            2128 kB
Cached:           806464 kB
SwapCached:            8 kB
Active:           643624 kB
Inactive:         241048 kB
Active(anon):      69572 kB
Inactive(anon):    24572 kB
Active(file):     574052 kB
Inactive(file):   216476 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             21788 kB
Writeback:             0 kB
AnonPages:         79340 kB
Mapped:           103972 kB
Shmem:             18044 kB
KReclaimable:     125668 kB
Slab:             217196 kB
SReclaimable:     125668 kB
SUnreclaim:        91528 kB
KernelStack:        4112 kB
PageTables:         2952 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     342048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431716 MiB
End job on nodeC020 at 2025-07-04 00:44:40