Trace number 4520618

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 63f22ad? (TO) 3600.24 3611.2

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_380.opb
MD5SUMdc7892cb3dbd530fdb83331c968a6da2
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1616
Best CPU time to get the best result obtained on this benchmark64.671
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6460
Total number of constraints6460
Number of constraints which are clauses6460
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 6460
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 6460
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 6460
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.04	c RoundingSat 2
0.00/0.04	c branch pb25
0.00/0.04	c commit 63f22ad
0.07/0.13	c #variables 6460 #constraints 6460
0.07/0.13	c objective is ce32 
0.07/0.17	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.07/0.17	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.07/0.17	c GLOBAL bounds - >= 0 @ 0.091922
0.07/0.18	c GLOBAL bounds - >= 0 @ 0.100634
0.28/0.33	c GLOBAL bounds - >= 0 @ 0.22909
0.28/0.40	c GLOBAL bounds - >= 0 @ 0.297811
0.48/0.57	c GLOBAL bounds - >= 0 @ 0.45639
0.66/0.70	c GLOBAL bounds - >= 0 @ 0.571764
0.85/0.90	c GLOBAL bounds - >= 0 @ 0.748361
0.97/1.02	c GLOBAL bounds - >= 0 @ 0.859515
1.07/1.16	c GLOBAL bounds - >= 0 @ 0.991723
1.25/1.32	c GLOBAL bounds - >= 0 @ 1.12543
1.35/1.48	c GLOBAL bounds - >= 0 @ 1.27352
1.65/1.72	c GLOBAL bounds - >= 0 @ 1.51111
1.96/2.02	c GLOBAL bounds - >= 0 @ 1.7772
2.06/2.16	c GLOBAL bounds - >= 0 @ 1.89832
2.15/2.24	c GLOBAL bounds - >= 0 @ 1.9778
2.24/2.38	c GLOBAL bounds - >= 0 @ 2.10275
2.45/2.54	c GLOBAL bounds - >= 0 @ 2.25885
2.55/2.66	c GLOBAL bounds - >= 0 @ 2.37454
2.95/3.06	c #Conflicts:       1000 | #Constraints:       7492
2.95/3.06	c GLOBAL bounds - >= 0 @ 2.76368
3.15/3.20	c GLOBAL bounds - >= 0 @ 2.90302
3.34/3.45	c GLOBAL bounds - >= 0 @ 3.1084
3.54/3.62	c GLOBAL bounds - >= 0 @ 3.278
3.95/4.05	c GLOBAL bounds - >= 0 @ 3.67768
4.84/4.93	c GLOBAL bounds - >= 0 @ 4.53686
6.43/6.56	c #Conflicts:       2000 | #Constraints:       8504
6.43/6.56	c INPROCESSING
6.43/6.56	c GARBAGE COLLECT
6.43/6.56	c GLOBAL bounds - >= 0 @ 6.14717
24.68/24.88	c #Conflicts:       3000 | #Constraints:       8561
24.68/24.88	c #Conflicts:       4000 | #Constraints:       9561
24.68/24.88	c INPROCESSING
24.68/24.88	c GARBAGE COLLECT
24.68/24.88	c #Conflicts:       5000 | #Constraints:       8982
24.68/24.88	c #Conflicts:       6000 | #Constraints:       9982
24.68/24.88	c INPROCESSING
24.68/24.88	c GARBAGE COLLECT
24.68/24.88	c #Conflicts:       7000 | #Constraints:       8985
24.68/24.88	c #Conflicts:       8000 | #Constraints:       9985
24.68/24.88	c GLOBAL bounds - >= 0 @ 24.1925
25.19/25.36	c GLOBAL bounds - >= 0 @ 24.6571
25.79/25.95	c GLOBAL bounds - >= 0 @ 25.2386
30.27/30.48	c #Conflicts:       9000 | #Constraints:      10991
30.27/30.48	c INPROCESSING
30.27/30.48	c GARBAGE COLLECT
30.27/30.48	c #Conflicts:      10000 | #Constraints:       9719
30.27/30.48	c GLOBAL bounds - >= 0 @ 29.6915
38.04/38.21	c #Conflicts:      11000 | #Constraints:      10721
38.04/38.21	c #Conflicts:      12000 | #Constraints:      11721
38.04/38.21	c INPROCESSING
38.04/38.21	c GARBAGE COLLECT
38.04/38.21	c #Conflicts:      13000 | #Constraints:      10187
38.04/38.21	c GLOBAL bounds - >= 0 @ 37.2021
45.52/45.71	c #Conflicts:      14000 | #Constraints:      11189
45.52/45.71	c #Conflicts:      15000 | #Constraints:      12189
45.52/45.71	c INPROCESSING
45.52/45.71	c GARBAGE COLLECT
45.52/45.71	c #Conflicts:      16000 | #Constraints:      10423
45.52/45.71	c GLOBAL bounds - >= 0 @ 44.6149
66.07/66.30	c #Conflicts:      17000 | #Constraints:      11425
66.07/66.30	c #Conflicts:      18000 | #Constraints:      12425
66.07/66.30	c INPROCESSING
66.07/66.30	c GARBAGE COLLECT
66.07/66.30	c #Conflicts:      19000 | #Constraints:      10433
66.07/66.30	c #Conflicts:      20000 | #Constraints:      11433
66.07/66.30	c #Conflicts:      21000 | #Constraints:      12433
66.07/66.30	c INPROCESSING
66.07/66.30	c GARBAGE COLLECT
66.07/66.30	c #Conflicts:      22000 | #Constraints:      10245
66.07/66.30	c GLOBAL bounds - >= 0 @ 64.9364
71.95/72.25	c #Conflicts:      23000 | #Constraints:      11247
71.95/72.25	c #Conflicts:      24000 | #Constraints:      12247
71.95/72.25	c GLOBAL bounds - >= 0 @ 70.7847
74.76/75.05	c #Conflicts:      25000 | #Constraints:      13249
74.76/75.05	c INPROCESSING
74.76/75.05	c GARBAGE COLLECT
74.76/75.05	c GLOBAL bounds - >= 0 @ 73.5402
75.76/76.05	c GLOBAL bounds - >= 0 @ 74.5228
80.22/80.52	c #Conflicts:      26000 | #Constraints:      10841
80.22/80.52	c #Conflicts:      27000 | #Constraints:      11841
80.22/80.52	c GLOBAL bounds - >= 0 @ 78.9392
86.21/86.54	c #Conflicts:      28000 | #Constraints:      12843
86.21/86.54	c #Conflicts:      29000 | #Constraints:      13843
86.21/86.54	c INPROCESSING
86.21/86.54	c GARBAGE COLLECT
86.21/86.54	c GLOBAL bounds - >= 0 @ 84.8205
86.82/87.12	c GLOBAL bounds - >= 0 @ 85.3971
87.72/88.08	c GLOBAL bounds - >= 0 @ 86.3431
88.72/89.09	c #Conflicts:      30000 | #Constraints:      11255
88.72/89.09	c GLOBAL bounds - >= 0 @ 87.3437
96.18/96.50	c #Conflicts:      31000 | #Constraints:      12257
96.18/96.50	c #Conflicts:      32000 | #Constraints:      13257
96.18/96.50	c GLOBAL bounds - >= 0 @ 94.6023
110.54/111.01	c #Conflicts:      33000 | #Constraints:      14259
110.54/111.01	c INPROCESSING
110.54/111.01	c GARBAGE COLLECT
110.54/111.01	c #Conflicts:      34000 | #Constraints:      11481
110.54/111.01	c #Conflicts:      35000 | #Constraints:      12481
110.54/111.01	c #Conflicts:      36000 | #Constraints:      13481
110.54/111.01	c GLOBAL bounds - >= 0 @ 108.966
166.08/166.68	c #Conflicts:      37000 | #Constraints:      14483
166.08/166.68	c INPROCESSING
166.08/166.68	c GARBAGE COLLECT
166.08/166.68	c #Conflicts:      38000 | #Constraints:      11483
166.08/166.68	c #Conflicts:      39000 | #Constraints:      12483
166.08/166.68	c #Conflicts:      40000 | #Constraints:      13483
166.08/166.68	c #Conflicts:      41000 | #Constraints:      14483
166.08/166.68	c INPROCESSING
166.08/166.68	c GARBAGE COLLECT
166.08/166.68	c #Conflicts:      42000 | #Constraints:      11290
166.08/166.68	c #Conflicts:      43000 | #Constraints:      12290
166.08/166.68	c #Conflicts:      44000 | #Constraints:      13290
166.08/166.68	c #Conflicts:      45000 | #Constraints:      14290
166.08/166.68	c #Conflicts:      46000 | #Constraints:      15290
166.08/166.68	c INPROCESSING
166.08/166.68	c GARBAGE COLLECT
166.08/166.68	c #Conflicts:      47000 | #Constraints:      11896
166.08/166.68	c #Conflicts:      48000 | #Constraints:      12896
166.08/166.68	c #Conflicts:      49000 | #Constraints:      13896
166.08/166.68	c #Conflicts:      50000 | #Constraints:      14896
166.08/166.68	c GLOBAL bounds - >= 0 @ 164.069
168.37/168.97	c #Conflicts:      51000 | #Constraints:      15898
168.37/168.97	c INPROCESSING
168.37/168.97	c GARBAGE COLLECT
168.37/168.97	c GLOBAL bounds - >= 0 @ 166.325
169.77/170.38	c GLOBAL bounds - >= 0 @ 167.723
170.37/170.92	c GLOBAL bounds - >= 0 @ 168.251
189.91/190.55	c #Conflicts:      52000 | #Constraints:      12296
189.91/190.55	c #Conflicts:      53000 | #Constraints:      13296
189.91/190.55	c #Conflicts:      54000 | #Constraints:      14296
189.91/190.55	c #Conflicts:      55000 | #Constraints:      15296
189.91/190.55	c #Conflicts:      56000 | #Constraints:      16296
189.91/190.55	c INPROCESSING
189.91/190.55	c GARBAGE COLLECT
189.91/190.55	c GLOBAL bounds - >= 0 @ 187.653
193.00/193.63	c #Conflicts:      57000 | #Constraints:      12524
193.00/193.63	c GLOBAL bounds - >= 0 @ 190.681
206.86/207.57	c #Conflicts:      58000 | #Constraints:      13526
206.86/207.57	c #Conflicts:      59000 | #Constraints:      14526
206.86/207.57	c #Conflicts:      60000 | #Constraints:      15526
206.86/207.57	c #Conflicts:      61000 | #Constraints:      16526
206.86/207.57	c INPROCESSING
206.86/207.57	c GARBAGE COLLECT
206.86/207.57	c GLOBAL bounds - >= 0 @ 204.445
220.03/220.78	c #Conflicts:      62000 | #Constraints:      12527
220.03/220.78	c #Conflicts:      63000 | #Constraints:      13527
220.03/220.78	c #Conflicts:      64000 | #Constraints:      14527
220.03/220.78	c #Conflicts:      65000 | #Constraints:      15527
220.03/220.78	c GLOBAL bounds - >= 0 @ 217.548
222.22/222.97	c GLOBAL bounds - >= 0 @ 219.727
223.33/224.04	c #Conflicts:      66000 | #Constraints:      16531
223.33/224.04	c GLOBAL bounds - >= 0 @ 220.781
225.51/226.20	c GLOBAL bounds - >= 0 @ 222.902
226.80/227.55	c GLOBAL bounds - >= 0 @ 224.104
229.20/230.00	c INPROCESSING
229.20/230.00	c GARBAGE COLLECT
229.20/230.00	c GLOBAL bounds - >= 0 @ 226.53
236.29/237.07	c #Conflicts:      67000 | #Constraints:      12315
236.29/237.07	c #Conflicts:      68000 | #Constraints:      13315
236.29/237.07	c GLOBAL bounds - >= 0 @ 233.504
236.87/237.62	c #Conflicts:      69000 | #Constraints:      14317
236.87/237.62	c GLOBAL bounds - >= 0 @ 234.045
238.17/239.00	c GLOBAL bounds - >= 0 @ 235.419
243.05/243.86	c #Conflicts:      70000 | #Constraints:      15321
243.05/243.86	c GLOBAL bounds - >= 0 @ 240.203
251.14/252.00	c #Conflicts:      71000 | #Constraints:      16323
251.14/252.00	c #Conflicts:      72000 | #Constraints:      17323
251.14/252.00	c INPROCESSING
251.14/252.00	c GARBAGE COLLECT
251.14/252.00	c #Conflicts:      73000 | #Constraints:      12901
251.14/252.00	c GLOBAL bounds - >= 0 @ 248.268
252.04/252.84	c GLOBAL bounds - >= 0 @ 249.097
253.03/253.89	c GLOBAL bounds - >= 0 @ 250.127
254.13/254.93	c #Conflicts:      74000 | #Constraints:      13907
254.13/254.93	c GLOBAL bounds - >= 0 @ 251.141
256.91/257.79	c GLOBAL bounds - >= 0 @ 253.979
259.61/260.41	c #Conflicts:      75000 | #Constraints:      14911
259.61/260.41	c GLOBAL bounds - >= 0 @ 256.577
264.39/265.26	c #Conflicts:      76000 | #Constraints:      15913
264.39/265.26	c GLOBAL bounds - >= 0 @ 261.377
270.67/271.56	c #Conflicts:      77000 | #Constraints:      16915
270.67/271.56	c GLOBAL bounds - >= 0 @ 267.584
275.96/276.86	c #Conflicts:      78000 | #Constraints:      17917
275.96/276.86	c INPROCESSING
275.96/276.86	c GARBAGE COLLECT
275.96/276.86	c GLOBAL bounds - >= 0 @ 272.821
276.66/277.57	c #Conflicts:      79000 | #Constraints:      13340
276.66/277.57	c GLOBAL bounds - >= 0 @ 273.517
289.24/290.15	c #Conflicts:      80000 | #Constraints:      14342
289.24/290.15	c #Conflicts:      81000 | #Constraints:      15342
289.24/290.15	c #Conflicts:      82000 | #Constraints:      16342
289.24/290.15	c #Conflicts:      83000 | #Constraints:      17342
289.24/290.15	c GLOBAL bounds - >= 0 @ 286
293.23/294.14	c #Conflicts:      84000 | #Constraints:      18344
293.23/294.14	c INPROCESSING
293.23/294.14	c GARBAGE COLLECT
293.23/294.14	c GLOBAL bounds - >= 0 @ 289.962
295.81/296.73	c #Conflicts:      85000 | #Constraints:      13571
295.81/296.73	c GLOBAL bounds - >= 0 @ 292.525
297.11/298.02	c GLOBAL bounds - >= 0 @ 293.807
333.30/334.38	c #Conflicts:      86000 | #Constraints:      14575
333.30/334.38	c #Conflicts:      87000 | #Constraints:      15575
333.30/334.38	c #Conflicts:      88000 | #Constraints:      16575
333.30/334.38	c #Conflicts:      89000 | #Constraints:      17575
333.30/334.38	c #Conflicts:      90000 | #Constraints:      18575
333.30/334.38	c INPROCESSING
333.30/334.38	c GARBAGE COLLECT
333.30/334.38	c #Conflicts:      91000 | #Constraints:      13586
333.30/334.38	c #Conflicts:      92000 | #Constraints:      14586
333.30/334.38	c #Conflicts:      93000 | #Constraints:      15586
333.30/334.38	c #Conflicts:      94000 | #Constraints:      16586
333.30/334.38	c #Conflicts:      95000 | #Constraints:      17586
333.30/334.38	c #Conflicts:      96000 | #Constraints:      18586
333.30/334.38	c GLOBAL bounds - >= 0 @ 329.921
334.01/335.09	c GLOBAL bounds - >= 0 @ 330.632
336.69/337.70	c INPROCESSING
336.69/337.70	c GARBAGE COLLECT
336.69/337.70	c GLOBAL bounds - >= 0 @ 333.224
337.49/338.54	c #Conflicts:      97000 | #Constraints:      13373
337.49/338.54	c GLOBAL bounds - >= 0 @ 334.057
338.38/339.47	c GLOBAL bounds - >= 0 @ 334.973
382.15/383.30	c #Conflicts:      98000 | #Constraints:      14377
382.15/383.30	c #Conflicts:      99000 | #Constraints:      15377
382.15/383.30	c #Conflicts:     100000 | #Constraints:      16377
382.15/383.30	c #Conflicts:     101000 | #Constraints:      17377
382.15/383.30	c #Conflicts:     102000 | #Constraints:      18377
382.15/383.30	c #Conflicts:     103000 | #Constraints:      19377
382.15/383.30	c INPROCESSING
382.15/383.30	c GARBAGE COLLECT
382.15/383.30	c #Conflicts:     104000 | #Constraints:      14010
382.15/383.30	c #Conflicts:     105000 | #Constraints:      15010
382.15/383.30	c #Conflicts:     106000 | #Constraints:      16010
382.15/383.30	c #Conflicts:     107000 | #Constraints:      17010
382.15/383.30	c #Conflicts:     108000 | #Constraints:      18010
382.15/383.30	c GLOBAL bounds - >= 0 @ 378.366
396.12/397.31	c #Conflicts:     109000 | #Constraints:      19012
396.12/397.31	c #Conflicts:     110000 | #Constraints:      20012
396.12/397.31	c INPROCESSING
396.12/397.31	c GARBAGE COLLECT
396.12/397.31	c #Conflicts:     111000 | #Constraints:      14415
396.12/397.31	c GLOBAL bounds - >= 0 @ 392.241
398.31/399.56	c #Conflicts:     112000 | #Constraints:      15417
398.31/399.56	c GLOBAL bounds - >= 0 @ 394.467
409.27/410.57	c #Conflicts:     113000 | #Constraints:      16419
409.27/410.57	c #Conflicts:     114000 | #Constraints:      17419
409.27/410.57	c #Conflicts:     115000 | #Constraints:      18419
409.27/410.57	c GLOBAL bounds - >= 0 @ 405.37
419.04/420.39	c #Conflicts:     116000 | #Constraints:      19421
419.04/420.39	c GLOBAL bounds - >= 0 @ 415.06
423.53/424.82	c #Conflicts:     117000 | #Constraints:      20423
423.53/424.82	c INPROCESSING
423.53/424.82	c GARBAGE COLLECT
423.53/424.82	c GLOBAL bounds - >= 0 @ 419.458
442.28/443.65	c #Conflicts:     118000 | #Constraints:      14620
442.28/443.65	c #Conflicts:     119000 | #Constraints:      15620
442.28/443.65	c #Conflicts:     120000 | #Constraints:      16620
442.28/443.65	c #Conflicts:     121000 | #Constraints:      17620
442.28/443.65	c #Conflicts:     122000 | #Constraints:      18620
442.28/443.65	c #Conflicts:     123000 | #Constraints:      19620
442.28/443.65	c GLOBAL bounds - >= 0 @ 438.143
458.13/459.54	c #Conflicts:     124000 | #Constraints:      20622
458.13/459.54	c INPROCESSING
458.13/459.54	c GARBAGE COLLECT
458.13/459.54	c #Conflicts:     125000 | #Constraints:      14628
458.13/459.54	c #Conflicts:     126000 | #Constraints:      15628
458.13/459.54	c GLOBAL bounds - >= 0 @ 453.857
475.78/477.26	c #Conflicts:     127000 | #Constraints:      16630
475.78/477.26	c #Conflicts:     128000 | #Constraints:      17630
475.78/477.26	c #Conflicts:     129000 | #Constraints:      18630
475.78/477.26	c #Conflicts:     130000 | #Constraints:      19630
475.78/477.26	c GLOBAL bounds - >= 0 @ 471.408
519.66/521.21	c #Conflicts:     131000 | #Constraints:      20632
519.66/521.21	c INPROCESSING
519.66/521.21	c GARBAGE COLLECT
519.66/521.21	c #Conflicts:     132000 | #Constraints:      14418
519.66/521.21	c #Conflicts:     133000 | #Constraints:      15418
519.66/521.21	c #Conflicts:     134000 | #Constraints:      16418
519.66/521.21	c #Conflicts:     135000 | #Constraints:      17418
519.66/521.21	c #Conflicts:     136000 | #Constraints:      18418
519.66/521.21	c #Conflicts:     137000 | #Constraints:      19418
519.66/521.21	c #Conflicts:     138000 | #Constraints:      20418
519.66/521.21	c GLOBAL bounds - >= 0 @ 514.91
529.32/530.96	c #Conflicts:     139000 | #Constraints:      21420
529.32/530.96	c INPROCESSING
529.32/530.96	c GARBAGE COLLECT
529.32/530.96	c #Conflicts:     140000 | #Constraints:      15018
529.32/530.96	c GLOBAL bounds - >= 0 @ 524.567
569.01/570.72	c #Conflicts:     141000 | #Constraints:      16020
569.01/570.72	c #Conflicts:     142000 | #Constraints:      17020
569.01/570.72	c #Conflicts:     143000 | #Constraints:      18020
569.01/570.72	c #Conflicts:     144000 | #Constraints:      19020
569.01/570.72	c #Conflicts:     145000 | #Constraints:      20020
569.01/570.72	c #Conflicts:     146000 | #Constraints:      21020
569.01/570.72	c #Conflicts:     147000 | #Constraints:      22020
569.01/570.72	c INPROCESSING
569.01/570.72	c GARBAGE COLLECT
569.01/570.72	c #Conflicts:     148000 | #Constraints:      15437
569.01/570.72	c GLOBAL bounds - >= 0 @ 564.044
627.93/629.83	c #Conflicts:     149000 | #Constraints:      16439
627.93/629.83	c #Conflicts:     150000 | #Constraints:      17439
627.93/629.83	c #Conflicts:     151000 | #Constraints:      18439
627.93/629.83	c #Conflicts:     152000 | #Constraints:      19439
627.93/629.83	c #Conflicts:     153000 | #Constraints:      20439
627.93/629.83	c #Conflicts:     154000 | #Constraints:      21439
627.93/629.83	c #Conflicts:     155000 | #Constraints:      22439
627.93/629.83	c INPROCESSING
627.93/629.83	c GARBAGE COLLECT
627.93/629.83	c #Conflicts:     156000 | #Constraints:      15625
627.93/629.83	c #Conflicts:     157000 | #Constraints:      16625
627.93/629.83	c #Conflicts:     158000 | #Constraints:      17625
627.93/629.83	c #Conflicts:     159000 | #Constraints:      18625
627.93/629.83	c #Conflicts:     160000 | #Constraints:      19625
627.93/629.83	c GLOBAL bounds - >= 0 @ 622.584
666.32/668.39	c #Conflicts:     161000 | #Constraints:      20627
666.32/668.39	c #Conflicts:     162000 | #Constraints:      21627
666.32/668.39	c #Conflicts:     163000 | #Constraints:      22627
666.32/668.39	c INPROCESSING
666.32/668.39	c GARBAGE COLLECT
666.32/668.39	c #Conflicts:     164000 | #Constraints:      15644
666.32/668.39	c #Conflicts:     165000 | #Constraints:      16644
666.32/668.39	c #Conflicts:     166000 | #Constraints:      17644
666.32/668.39	c #Conflicts:     167000 | #Constraints:      18644
666.32/668.39	c #Conflicts:     168000 | #Constraints:      19644
666.32/668.39	c GLOBAL bounds - >= 0 @ 660.851
673.80/675.89	c #Conflicts:     169000 | #Constraints:      20646
673.80/675.89	c GLOBAL bounds - >= 0 @ 668.256
676.29/678.35	c #Conflicts:     170000 | #Constraints:      21648
676.29/678.35	c GLOBAL bounds - >= 0 @ 670.683
682.67/684.75	c #Conflicts:     171000 | #Constraints:      22650
682.67/684.75	c GLOBAL bounds - >= 0 @ 677.013
687.07/689.17	c INPROCESSING
687.07/689.17	c GARBAGE COLLECT
687.07/689.17	c GLOBAL bounds - >= 0 @ 681.375
706.10/708.28	c #Conflicts:     172000 | #Constraints:      15413
706.10/708.28	c #Conflicts:     173000 | #Constraints:      16413
706.10/708.28	c #Conflicts:     174000 | #Constraints:      17413
706.10/708.28	c #Conflicts:     175000 | #Constraints:      18413
706.10/708.28	c #Conflicts:     176000 | #Constraints:      19413
706.10/708.28	c GLOBAL bounds - >= 0 @ 700.208
751.37/753.68	c #Conflicts:     177000 | #Constraints:      20415
751.37/753.68	c #Conflicts:     178000 | #Constraints:      21415
751.37/753.68	c #Conflicts:     179000 | #Constraints:      22415
751.37/753.68	c #Conflicts:     180000 | #Constraints:      23415
751.37/753.68	c INPROCESSING
751.37/753.68	c GARBAGE COLLECT
751.37/753.68	c #Conflicts:     181000 | #Constraints:      16019
751.37/753.68	c #Conflicts:     182000 | #Constraints:      17019
751.37/753.68	c #Conflicts:     183000 | #Constraints:      18019
751.37/753.68	c #Conflicts:     184000 | #Constraints:      19019
751.37/753.68	c GLOBAL bounds - >= 0 @ 745.138
780.38/782.79	c #Conflicts:     185000 | #Constraints:      20021
780.38/782.79	c #Conflicts:     186000 | #Constraints:      21021
780.38/782.79	c #Conflicts:     187000 | #Constraints:      22021
780.38/782.79	c #Conflicts:     188000 | #Constraints:      23021
780.38/782.79	c #Conflicts:     189000 | #Constraints:      24021
780.38/782.79	c INPROCESSING
780.38/782.79	c GARBAGE COLLECT
780.38/782.79	c #Conflicts:     190000 | #Constraints:      16441
780.38/782.79	c GLOBAL bounds - >= 0 @ 774.049
795.14/797.50	c #Conflicts:     191000 | #Constraints:      17443
795.14/797.50	c #Conflicts:     192000 | #Constraints:      18443
795.14/797.50	c #Conflicts:     193000 | #Constraints:      19443
795.14/797.50	c #Conflicts:     194000 | #Constraints:      20443
795.14/797.50	c GLOBAL bounds - >= 0 @ 788.606
798.53/801.01	c #Conflicts:     195000 | #Constraints:      21445
798.53/801.01	c GLOBAL bounds - >= 0 @ 792.065
801.52/803.97	c #Conflicts:     196000 | #Constraints:      22447
801.52/803.97	c GLOBAL bounds - >= 0 @ 795.011
893.46/896.19	c #Conflicts:     197000 | #Constraints:      23449
893.46/896.19	c #Conflicts:     198000 | #Constraints:      24449
893.46/896.19	c INPROCESSING
893.46/896.19	c GARBAGE COLLECT
893.46/896.19	c #Conflicts:     199000 | #Constraints:      16663
893.46/896.19	c #Conflicts:     200000 | #Constraints:      17663
893.46/896.19	c #Conflicts:     201000 | #Constraints:      18663
893.46/896.19	c #Conflicts:     202000 | #Constraints:      19663
893.46/896.19	c #Conflicts:     203000 | #Constraints:      20663
893.46/896.19	c #Conflicts:     204000 | #Constraints:      21663
893.46/896.19	c #Conflicts:     205000 | #Constraints:      22663
893.46/896.19	c #Conflicts:     206000 | #Constraints:      23663
893.46/896.19	c #Conflicts:     207000 | #Constraints:      24663
893.46/896.19	c INPROCESSING
893.46/896.19	c GARBAGE COLLECT
893.46/896.19	c #Conflicts:     208000 | #Constraints:      16656
893.46/896.19	c #Conflicts:     209000 | #Constraints:      17656
893.46/896.19	c #Conflicts:     210000 | #Constraints:      18656
893.46/896.19	c #Conflicts:     211000 | #Constraints:      19656
893.46/896.19	c #Conflicts:     212000 | #Constraints:      20656
893.46/896.19	c #Conflicts:     213000 | #Constraints:      21656
893.46/896.19	c #Conflicts:     214000 | #Constraints:      22656
893.46/896.19	c #Conflicts:     215000 | #Constraints:      23656
893.46/896.19	c GLOBAL bounds - >= 0 @ 886.652
1056.15/1059.33	c #Conflicts:     216000 | #Constraints:      24658
1056.15/1059.33	c INPROCESSING
1056.15/1059.33	c GARBAGE COLLECT
1056.15/1059.33	c #Conflicts:     217000 | #Constraints:      16460
1056.15/1059.33	c #Conflicts:     218000 | #Constraints:      17460
1056.15/1059.33	c #Conflicts:     219000 | #Constraints:      18460
1056.15/1059.33	c #Conflicts:     220000 | #Constraints:      19460
1056.15/1059.33	c #Conflicts:     221000 | #Constraints:      20460
1056.15/1059.33	c #Conflicts:     222000 | #Constraints:      21460
1056.15/1059.33	c #Conflicts:     223000 | #Constraints:      22460
1056.15/1059.33	c #Conflicts:     224000 | #Constraints:      23460
1056.15/1059.33	c #Conflicts:     225000 | #Constraints:      24460
1056.15/1059.33	c #Conflicts:     226000 | #Constraints:      25460
1056.15/1059.33	c INPROCESSING
1056.15/1059.33	c GARBAGE COLLECT
1056.15/1059.33	c #Conflicts:     227000 | #Constraints:      17070
1056.15/1059.33	c #Conflicts:     228000 | #Constraints:      18070
1056.15/1059.33	c #Conflicts:     229000 | #Constraints:      19070
1056.15/1059.33	c #Conflicts:     230000 | #Constraints:      20070
1056.15/1059.33	c #Conflicts:     231000 | #Constraints:      21070
1056.15/1059.33	c #Conflicts:     232000 | #Constraints:      22070
1056.15/1059.33	c #Conflicts:     233000 | #Constraints:      23070
1056.15/1059.33	c #Conflicts:     234000 | #Constraints:      24070
1056.15/1059.33	c #Conflicts:     235000 | #Constraints:      25070
1056.15/1059.33	c #Conflicts:     236000 | #Constraints:      26070
1056.15/1059.33	c INPROCESSING
1056.15/1059.33	c GARBAGE COLLECT
1056.15/1059.33	c #Conflicts:     237000 | #Constraints:      17475
1056.15/1059.33	c #Conflicts:     238000 | #Constraints:      18475
1056.15/1059.33	c #Conflicts:     239000 | #Constraints:      19475
1056.15/1059.33	c #Conflicts:     240000 | #Constraints:      20475
1056.15/1059.33	c #Conflicts:     241000 | #Constraints:      21475
1056.15/1059.33	c #Conflicts:     242000 | #Constraints:      22475
1056.15/1059.33	c GLOBAL bounds - >= 0 @ 1048.41
1268.51/1272.38	c #Conflicts:     243000 | #Constraints:      23477
1268.51/1272.38	c #Conflicts:     244000 | #Constraints:      24477
1268.51/1272.38	c #Conflicts:     245000 | #Constraints:      25477
1268.51/1272.38	c #Conflicts:     246000 | #Constraints:      26477
1268.51/1272.38	c INPROCESSING
1268.51/1272.38	c GARBAGE COLLECT
1268.51/1272.38	c #Conflicts:     247000 | #Constraints:      17683
1268.51/1272.38	c #Conflicts:     248000 | #Constraints:      18683
1268.51/1272.38	c #Conflicts:     249000 | #Constraints:      19683
1268.51/1272.38	c #Conflicts:     250000 | #Constraints:      20683
1268.51/1272.38	c #Conflicts:     251000 | #Constraints:      21683
1268.51/1272.38	c #Conflicts:     252000 | #Constraints:      22683
1268.51/1272.38	c #Conflicts:     253000 | #Constraints:      23683
1268.51/1272.38	c #Conflicts:     254000 | #Constraints:      24683
1268.51/1272.38	c #Conflicts:     255000 | #Constraints:      25683
1268.51/1272.38	c #Conflicts:     256000 | #Constraints:      26683
1268.51/1272.38	c INPROCESSING
1268.51/1272.38	c GARBAGE COLLECT
1268.51/1272.38	c #Conflicts:     257000 | #Constraints:      17687
1268.51/1272.38	c #Conflicts:     258000 | #Constraints:      18687
1268.51/1272.38	c #Conflicts:     259000 | #Constraints:      19687
1268.51/1272.38	c #Conflicts:     260000 | #Constraints:      20687
1268.51/1272.38	c #Conflicts:     261000 | #Constraints:      21687
1268.51/1272.38	c #Conflicts:     262000 | #Constraints:      22687
1268.51/1272.38	c #Conflicts:     263000 | #Constraints:      23687
1268.51/1272.38	c #Conflicts:     264000 | #Constraints:      24687
1268.51/1272.38	c #Conflicts:     265000 | #Constraints:      25687
1268.51/1272.38	c #Conflicts:     266000 | #Constraints:      26687
1268.51/1272.38	c INPROCESSING
1268.51/1272.38	c GARBAGE COLLECT
1268.51/1272.38	c #Conflicts:     267000 | #Constraints:      17472
1268.51/1272.38	c #Conflicts:     268000 | #Constraints:      18472
1268.51/1272.38	c #Conflicts:     269000 | #Constraints:      19472
1268.51/1272.38	c #Conflicts:     270000 | #Constraints:      20472
1268.51/1272.38	c GLOBAL bounds - >= 0 @ 1259.63
1309.58/1313.50	c #Conflicts:     271000 | #Constraints:      21474
1309.58/1313.50	c #Conflicts:     272000 | #Constraints:      22474
1309.58/1313.50	c #Conflicts:     273000 | #Constraints:      23474
1309.58/1313.50	c #Conflicts:     274000 | #Constraints:      24474
1309.58/1313.50	c #Conflicts:     275000 | #Constraints:      25474
1309.58/1313.50	c #Conflicts:     276000 | #Constraints:      26474
1309.58/1313.50	c #Conflicts:     277000 | #Constraints:      27474
1309.58/1313.50	c INPROCESSING
1309.58/1313.50	c GARBAGE COLLECT
1309.58/1313.50	c #Conflicts:     278000 | #Constraints:      18071
1309.58/1313.50	c #Conflicts:     279000 | #Constraints:      19071
1309.58/1313.50	c GLOBAL bounds - >= 0 @ 1300.47
1374.79/1379.00	c #Conflicts:     280000 | #Constraints:      20073
1374.79/1379.00	c #Conflicts:     281000 | #Constraints:      21073
1374.79/1379.00	c #Conflicts:     282000 | #Constraints:      22073
1374.79/1379.00	c #Conflicts:     283000 | #Constraints:      23073
1374.79/1379.00	c #Conflicts:     284000 | #Constraints:      24073
1374.79/1379.00	c #Conflicts:     285000 | #Constraints:      25073
1374.79/1379.00	c #Conflicts:     286000 | #Constraints:      26073
1374.79/1379.00	c #Conflicts:     287000 | #Constraints:      27073
1374.79/1379.00	c #Conflicts:     288000 | #Constraints:      28073
1374.79/1379.00	c INPROCESSING
1374.79/1379.00	c GARBAGE COLLECT
1374.79/1379.00	c #Conflicts:     289000 | #Constraints:      18458
1374.79/1379.00	c GLOBAL bounds - >= 0 @ 1365.36
1444.18/1448.52	c #Conflicts:     290000 | #Constraints:      19460
1444.18/1448.52	c #Conflicts:     291000 | #Constraints:      20460
1444.18/1448.52	c #Conflicts:     292000 | #Constraints:      21460
1444.18/1448.52	c #Conflicts:     293000 | #Constraints:      22460
1444.18/1448.52	c #Conflicts:     294000 | #Constraints:      23460
1444.18/1448.52	c #Conflicts:     295000 | #Constraints:      24460
1444.18/1448.52	c #Conflicts:     296000 | #Constraints:      25460
1444.18/1448.52	c #Conflicts:     297000 | #Constraints:      26460
1444.18/1448.52	c #Conflicts:     298000 | #Constraints:      27460
1444.18/1448.52	c #Conflicts:     299000 | #Constraints:      28460
1444.18/1448.52	c INPROCESSING
1444.18/1448.52	c GARBAGE COLLECT
1444.18/1448.52	c #Conflicts:     300000 | #Constraints:      18679
1444.18/1448.52	c GLOBAL bounds - >= 0 @ 1434.41
1456.65/1461.02	c #Conflicts:     301000 | #Constraints:      19681
1456.65/1461.02	c #Conflicts:     302000 | #Constraints:      20681
1456.65/1461.02	c GLOBAL bounds - >= 0 @ 1446.81
1493.03/1497.58	c #Conflicts:     303000 | #Constraints:      21683
1493.03/1497.58	c #Conflicts:     304000 | #Constraints:      22683
1493.03/1497.58	c #Conflicts:     305000 | #Constraints:      23683
1493.03/1497.58	c #Conflicts:     306000 | #Constraints:      24683
1493.03/1497.58	c #Conflicts:     307000 | #Constraints:      25683
1493.03/1497.58	c #Conflicts:     308000 | #Constraints:      26683
1493.03/1497.58	c GLOBAL bounds - >= 0 @ 1483.04
1497.21/1501.75	c GLOBAL bounds - >= 0 @ 1487.18
1502.79/1507.35	c #Conflicts:     309000 | #Constraints:      27687
1502.79/1507.35	c GLOBAL bounds - >= 0 @ 1492.52
1504.89/1509.47	c GLOBAL bounds - >= 0 @ 1494.56
1523.23/1527.82	c #Conflicts:     310000 | #Constraints:      28691
1523.23/1527.82	c INPROCESSING
1523.23/1527.82	c GARBAGE COLLECT
1523.23/1527.82	c #Conflicts:     311000 | #Constraints:      18666
1523.23/1527.82	c #Conflicts:     312000 | #Constraints:      19666
1523.23/1527.82	c #Conflicts:     313000 | #Constraints:      20666
1523.23/1527.82	c #Conflicts:     314000 | #Constraints:      21666
1523.23/1527.82	c GLOBAL bounds - >= 0 @ 1512.74
1558.53/1563.29	c #Conflicts:     315000 | #Constraints:      22668
1558.53/1563.29	c #Conflicts:     316000 | #Constraints:      23668
1558.53/1563.29	c #Conflicts:     317000 | #Constraints:      24668
1558.53/1563.29	c #Conflicts:     318000 | #Constraints:      25668
1558.53/1563.29	c #Conflicts:     319000 | #Constraints:      26668
1558.53/1563.29	c #Conflicts:     320000 | #Constraints:      27668
1558.53/1563.29	c #Conflicts:     321000 | #Constraints:      28668
1558.53/1563.29	c INPROCESSING
1558.53/1563.29	c GARBAGE COLLECT
1558.53/1563.29	c #Conflicts:     322000 | #Constraints:      18481
1558.53/1563.29	c GLOBAL bounds - >= 0 @ 1548
1659.62/1664.63	c #Conflicts:     323000 | #Constraints:      19483
1659.62/1664.63	c #Conflicts:     324000 | #Constraints:      20483
1659.62/1664.63	c #Conflicts:     325000 | #Constraints:      21483
1659.62/1664.63	c #Conflicts:     326000 | #Constraints:      22483
1659.62/1664.63	c #Conflicts:     327000 | #Constraints:      23483
1659.62/1664.63	c #Conflicts:     328000 | #Constraints:      24483
1659.62/1664.63	c #Conflicts:     329000 | #Constraints:      25483
1659.62/1664.63	c #Conflicts:     330000 | #Constraints:      26483
1659.62/1664.63	c #Conflicts:     331000 | #Constraints:      27483
1659.62/1664.63	c #Conflicts:     332000 | #Constraints:      28483
1659.62/1664.63	c #Conflicts:     333000 | #Constraints:      29483
1659.62/1664.63	c INPROCESSING
1659.62/1664.63	c GARBAGE COLLECT
1659.62/1664.63	c #Conflicts:     334000 | #Constraints:      19093
1659.62/1664.63	c #Conflicts:     335000 | #Constraints:      20093
1659.62/1664.63	c #Conflicts:     336000 | #Constraints:      21093
1659.62/1664.63	c #Conflicts:     337000 | #Constraints:      22093
1659.62/1664.63	c #Conflicts:     338000 | #Constraints:      23093
1659.62/1664.63	c GLOBAL bounds - >= 0 @ 1648.73
1724.72/1730.00	c #Conflicts:     339000 | #Constraints:      24095
1724.72/1730.00	c #Conflicts:     340000 | #Constraints:      25095
1724.72/1730.00	c #Conflicts:     341000 | #Constraints:      26095
1724.72/1730.00	c #Conflicts:     342000 | #Constraints:      27095
1724.72/1730.00	c #Conflicts:     343000 | #Constraints:      28095
1724.72/1730.00	c #Conflicts:     344000 | #Constraints:      29095
1724.72/1730.00	c #Conflicts:     345000 | #Constraints:      30095
1724.72/1730.00	c INPROCESSING
1724.72/1730.00	c GARBAGE COLLECT
1724.72/1730.00	c #Conflicts:     346000 | #Constraints:      19493
1724.72/1730.00	c #Conflicts:     347000 | #Constraints:      20493
1724.72/1730.00	c GLOBAL bounds - >= 0 @ 1713.56
1846.15/1851.75	c #Conflicts:     348000 | #Constraints:      21495
1846.15/1851.75	c #Conflicts:     349000 | #Constraints:      22495
1846.15/1851.75	c #Conflicts:     350000 | #Constraints:      23495
1846.15/1851.75	c #Conflicts:     351000 | #Constraints:      24495
1846.15/1851.75	c #Conflicts:     352000 | #Constraints:      25495
1846.15/1851.75	c #Conflicts:     353000 | #Constraints:      26495
1846.15/1851.75	c #Conflicts:     354000 | #Constraints:      27495
1846.15/1851.75	c #Conflicts:     355000 | #Constraints:      28495
1846.15/1851.75	c #Conflicts:     356000 | #Constraints:      29495
1846.15/1851.75	c #Conflicts:     357000 | #Constraints:      30495
1846.15/1851.75	c INPROCESSING
1846.15/1851.75	c GARBAGE COLLECT
1846.15/1851.75	c #Conflicts:     358000 | #Constraints:      19701
1846.15/1851.75	c #Conflicts:     359000 | #Constraints:      20701
1846.15/1851.75	c #Conflicts:     360000 | #Constraints:      21701
1846.15/1851.75	c #Conflicts:     361000 | #Constraints:      22701
1846.15/1851.75	c #Conflicts:     362000 | #Constraints:      23701
1846.15/1851.75	c #Conflicts:     363000 | #Constraints:      24701
1846.15/1851.75	c #Conflicts:     364000 | #Constraints:      25701
1846.15/1851.75	c #Conflicts:     365000 | #Constraints:      26701
1846.15/1851.75	c #Conflicts:     366000 | #Constraints:      27701
1846.15/1851.75	c GLOBAL bounds - >= 0 @ 1834.21
2227.58/2234.32	c #Conflicts:     367000 | #Constraints:      28703
2227.58/2234.32	c #Conflicts:     368000 | #Constraints:      29703
2227.58/2234.32	c #Conflicts:     369000 | #Constraints:      30703
2227.58/2234.32	c INPROCESSING
2227.58/2234.32	c GARBAGE COLLECT
2227.58/2234.32	c #Conflicts:     370000 | #Constraints:      19693
2227.58/2234.32	c #Conflicts:     371000 | #Constraints:      20693
2227.58/2234.32	c #Conflicts:     372000 | #Constraints:      21693
2227.58/2234.32	c #Conflicts:     373000 | #Constraints:      22693
2227.58/2234.32	c #Conflicts:     374000 | #Constraints:      23693
2227.58/2234.32	c #Conflicts:     375000 | #Constraints:      24693
2227.58/2234.32	c #Conflicts:     376000 | #Constraints:      25693
2227.58/2234.32	c #Conflicts:     377000 | #Constraints:      26693
2227.58/2234.32	c #Conflicts:     378000 | #Constraints:      27693
2227.58/2234.32	c #Conflicts:     379000 | #Constraints:      28693
2227.58/2234.32	c #Conflicts:     380000 | #Constraints:      29693
2227.58/2234.32	c #Conflicts:     381000 | #Constraints:      30693
2227.58/2234.32	c INPROCESSING
2227.58/2234.32	c GARBAGE COLLECT
2227.58/2234.32	c #Conflicts:     382000 | #Constraints:      19493
2227.58/2234.32	c #Conflicts:     383000 | #Constraints:      20493
2227.58/2234.32	c #Conflicts:     384000 | #Constraints:      21493
2227.58/2234.32	c #Conflicts:     385000 | #Constraints:      22493
2227.58/2234.33	c #Conflicts:     386000 | #Constraints:      23493
2227.58/2234.33	c #Conflicts:     387000 | #Constraints:      24493
2227.58/2234.33	c #Conflicts:     388000 | #Constraints:      25493
2227.58/2234.33	c #Conflicts:     389000 | #Constraints:      26493
2227.58/2234.33	c #Conflicts:     390000 | #Constraints:      27493
2227.58/2234.33	c #Conflicts:     391000 | #Constraints:      28493
2227.58/2234.33	c #Conflicts:     392000 | #Constraints:      29493
2227.58/2234.33	c #Conflicts:     393000 | #Constraints:      30493
2227.58/2234.33	c #Conflicts:     394000 | #Constraints:      31493
2227.58/2234.33	c INPROCESSING
2227.58/2234.33	c GARBAGE COLLECT
2227.58/2234.33	c #Conflicts:     395000 | #Constraints:      20092
2227.58/2234.33	c #Conflicts:     396000 | #Constraints:      21092
2227.58/2234.33	c #Conflicts:     397000 | #Constraints:      22092
2227.58/2234.33	c #Conflicts:     398000 | #Constraints:      23092
2227.58/2234.33	c #Conflicts:     399000 | #Constraints:      24092
2227.58/2234.33	c #Conflicts:     400000 | #Constraints:      25092
2227.58/2234.33	c #Conflicts:     401000 | #Constraints:      26092
2227.58/2234.33	c #Conflicts:     402000 | #Constraints:      27092
2227.58/2234.33	c #Conflicts:     403000 | #Constraints:      28092
2227.58/2234.33	c #Conflicts:     404000 | #Constraints:      29092
2227.58/2234.33	c #Conflicts:     405000 | #Constraints:      30092
2227.58/2234.33	c #Conflicts:     406000 | #Constraints:      31092
2227.58/2234.33	c #Conflicts:     407000 | #Constraints:      32092
2227.58/2234.33	c INPROCESSING
2227.58/2234.33	c GARBAGE COLLECT
2227.58/2234.33	c #Conflicts:     408000 | #Constraints:      20500
2227.58/2234.33	c #Conflicts:     409000 | #Constraints:      21500
2227.58/2234.33	c #Conflicts:     410000 | #Constraints:      22500
2227.58/2234.33	c #Conflicts:     411000 | #Constraints:      23500
2227.58/2234.33	c #Conflicts:     412000 | #Constraints:      24500
2227.58/2234.33	c #Conflicts:     413000 | #Constraints:      25500
2227.58/2234.33	c #Conflicts:     414000 | #Constraints:      26500
2227.58/2234.33	c #Conflicts:     415000 | #Constraints:      27500
2227.58/2234.33	c #Conflicts:     416000 | #Constraints:      28500
2227.58/2234.33	c #Conflicts:     417000 | #Constraints:      29500
2227.58/2234.33	c #Conflicts:     418000 | #Constraints:      30500
2227.58/2234.33	c #Conflicts:     419000 | #Constraints:      31500
2227.58/2234.33	c #Conflicts:     420000 | #Constraints:      32500
2227.58/2234.33	c INPROCESSING
2227.58/2234.33	c GARBAGE COLLECT
2227.58/2234.33	c #Conflicts:     421000 | #Constraints:      20688
2227.58/2234.33	c #Conflicts:     422000 | #Constraints:      21688
2227.58/2234.33	c #Conflicts:     423000 | #Constraints:      22688
2227.58/2234.33	c #Conflicts:     424000 | #Constraints:      23688
2227.58/2234.33	c #Conflicts:     425000 | #Constraints:      24688
2227.58/2234.33	c GLOBAL bounds - >= 0 @ 2213.56
2232.07/2238.85	c #Conflicts:     426000 | #Constraints:      25690
2232.07/2238.85	c GLOBAL bounds - >= 0 @ 2218.04
2234.46/2241.29	c #Conflicts:     427000 | #Constraints:      26692
2234.46/2241.29	c GLOBAL bounds - >= 0 @ 2220.47
2235.76/2242.57	c GLOBAL bounds - >= 0 @ 2221.73
2268.95/2275.86	c #Conflicts:     428000 | #Constraints:      27696
2268.95/2275.86	c #Conflicts:     429000 | #Constraints:      28696
2268.95/2275.86	c #Conflicts:     430000 | #Constraints:      29696
2268.95/2275.86	c #Conflicts:     431000 | #Constraints:      30696
2268.95/2275.86	c #Conflicts:     432000 | #Constraints:      31696
2268.95/2275.86	c #Conflicts:     433000 | #Constraints:      32696
2268.95/2275.86	c INPROCESSING
2268.95/2275.86	c GARBAGE COLLECT
2268.95/2275.86	c #Conflicts:     434000 | #Constraints:      20708
2268.95/2275.86	c #Conflicts:     435000 | #Constraints:      21708
2268.95/2275.86	c GLOBAL bounds - >= 0 @ 2254.78
2335.35/2342.42	c #Conflicts:     436000 | #Constraints:      22710
2335.35/2342.42	c #Conflicts:     437000 | #Constraints:      23710
2335.35/2342.42	c #Conflicts:     438000 | #Constraints:      24710
2335.35/2342.42	c #Conflicts:     439000 | #Constraints:      25710
2335.35/2342.42	c #Conflicts:     440000 | #Constraints:      26710
2335.35/2342.42	c #Conflicts:     441000 | #Constraints:      27710
2335.35/2342.42	c #Conflicts:     442000 | #Constraints:      28710
2335.35/2342.42	c #Conflicts:     443000 | #Constraints:      29710
2335.35/2342.42	c #Conflicts:     444000 | #Constraints:      30710
2335.35/2342.42	c #Conflicts:     445000 | #Constraints:      31710
2335.35/2342.42	c #Conflicts:     446000 | #Constraints:      32710
2335.35/2342.42	c INPROCESSING
2335.35/2342.42	c GARBAGE COLLECT
2335.35/2342.42	c GLOBAL bounds - >= 0 @ 2320.95
2454.69/2462.14	c #Conflicts:     447000 | #Constraints:      20530
2454.69/2462.14	c #Conflicts:     448000 | #Constraints:      21530
2454.69/2462.14	c #Conflicts:     449000 | #Constraints:      22530
2454.69/2462.14	c #Conflicts:     450000 | #Constraints:      23530
2454.69/2462.14	c #Conflicts:     451000 | #Constraints:      24530
2454.69/2462.14	c #Conflicts:     452000 | #Constraints:      25530
2454.69/2462.14	c #Conflicts:     453000 | #Constraints:      26530
2454.69/2462.14	c #Conflicts:     454000 | #Constraints:      27530
2454.69/2462.14	c #Conflicts:     455000 | #Constraints:      28530
2454.69/2462.14	c #Conflicts:     456000 | #Constraints:      29530
2454.69/2462.14	c #Conflicts:     457000 | #Constraints:      30530
2454.69/2462.14	c #Conflicts:     458000 | #Constraints:      31530
2454.69/2462.14	c #Conflicts:     459000 | #Constraints:      32530
2454.69/2462.14	c #Conflicts:     460000 | #Constraints:      33530
2454.69/2462.14	c INPROCESSING
2454.69/2462.14	c GARBAGE COLLECT
2454.69/2462.14	c #Conflicts:     461000 | #Constraints:      21110
2454.69/2462.14	c #Conflicts:     462000 | #Constraints:      22110
2454.69/2462.14	c #Conflicts:     463000 | #Constraints:      23110
2454.69/2462.14	c #Conflicts:     464000 | #Constraints:      24110
2454.69/2462.14	c #Conflicts:     465000 | #Constraints:      25110
2454.69/2462.14	c #Conflicts:     466000 | #Constraints:      26110
2454.69/2462.14	c #Conflicts:     467000 | #Constraints:      27110
2454.69/2462.14	c #Conflicts:     468000 | #Constraints:      28110
2454.69/2462.14	c #Conflicts:     469000 | #Constraints:      29110
2454.69/2462.14	c GLOBAL bounds - >= 0 @ 2440.04
2479.61/2487.17	c #Conflicts:     470000 | #Constraints:      30112
2479.61/2487.17	c #Conflicts:     471000 | #Constraints:      31112
2479.61/2487.17	c #Conflicts:     472000 | #Constraints:      32112
2479.61/2487.17	c #Conflicts:     473000 | #Constraints:      33112
2479.61/2487.17	c #Conflicts:     474000 | #Constraints:      34112
2479.61/2487.17	c INPROCESSING
2479.61/2487.17	c GARBAGE COLLECT
2479.61/2487.17	c GLOBAL bounds - >= 0 @ 2464.83
2752.85/2761.29	c #Conflicts:     475000 | #Constraints:      21508
2752.85/2761.29	c #Conflicts:     476000 | #Constraints:      22508
2752.85/2761.29	c #Conflicts:     477000 | #Constraints:      23508
2752.85/2761.29	c #Conflicts:     478000 | #Constraints:      24508
2752.85/2761.29	c #Conflicts:     479000 | #Constraints:      25508
2752.85/2761.29	c #Conflicts:     480000 | #Constraints:      26508
2752.85/2761.29	c #Conflicts:     481000 | #Constraints:      27508
2752.85/2761.29	c #Conflicts:     482000 | #Constraints:      28508
2752.85/2761.29	c #Conflicts:     483000 | #Constraints:      29508
2752.85/2761.29	c #Conflicts:     484000 | #Constraints:      30508
2752.85/2761.29	c #Conflicts:     485000 | #Constraints:      31508
2752.85/2761.29	c #Conflicts:     486000 | #Constraints:      32508
2752.85/2761.29	c #Conflicts:     487000 | #Constraints:      33508
2752.85/2761.29	c #Conflicts:     488000 | #Constraints:      34508
2752.85/2761.29	c INPROCESSING
2752.85/2761.29	c GARBAGE COLLECT
2752.85/2761.29	c #Conflicts:     489000 | #Constraints:      21722
2752.85/2761.29	c #Conflicts:     490000 | #Constraints:      22722
2752.85/2761.29	c #Conflicts:     491000 | #Constraints:      23722
2752.85/2761.29	c #Conflicts:     492000 | #Constraints:      24722
2752.85/2761.29	c #Conflicts:     493000 | #Constraints:      25722
2752.85/2761.29	c #Conflicts:     494000 | #Constraints:      26722
2752.85/2761.29	c #Conflicts:     495000 | #Constraints:      27722
2752.85/2761.29	c #Conflicts:     496000 | #Constraints:      28722
2752.85/2761.29	c #Conflicts:     497000 | #Constraints:      29722
2752.85/2761.29	c #Conflicts:     498000 | #Constraints:      30722
2752.85/2761.29	c #Conflicts:     499000 | #Constraints:      31722
2752.85/2761.29	c #Conflicts:     500000 | #Constraints:      32722
2752.85/2761.29	c #Conflicts:     501000 | #Constraints:      33722
2752.85/2761.29	c #Conflicts:     502000 | #Constraints:      34722
2752.85/2761.29	c INPROCESSING
2752.85/2761.29	c GARBAGE COLLECT
2752.85/2761.29	c #Conflicts:     503000 | #Constraints:      21752
2752.85/2761.29	c #Conflicts:     504000 | #Constraints:      22752
2752.85/2761.29	c #Conflicts:     505000 | #Constraints:      23752
2752.85/2761.29	c #Conflicts:     506000 | #Constraints:      24752
2752.85/2761.29	c #Conflicts:     507000 | #Constraints:      25752
2752.85/2761.29	c #Conflicts:     508000 | #Constraints:      26752
2752.85/2761.29	c #Conflicts:     509000 | #Constraints:      27752
2752.85/2761.29	c #Conflicts:     510000 | #Constraints:      28752
2752.85/2761.29	c #Conflicts:     511000 | #Constraints:      29752
2752.85/2761.29	c #Conflicts:     512000 | #Constraints:      30752
2752.85/2761.29	c #Conflicts:     513000 | #Constraints:      31752
2752.85/2761.29	c #Conflicts:     514000 | #Constraints:      32752
2752.85/2761.29	c #Conflicts:     515000 | #Constraints:      33752
2752.85/2761.29	c GLOBAL bounds - >= 0 @ 2737.28
2769.80/2778.26	c #Conflicts:     516000 | #Constraints:      34754
2769.80/2778.26	c INPROCESSING
2769.80/2778.26	c GARBAGE COLLECT
2769.80/2778.26	c #Conflicts:     517000 | #Constraints:      21525
2769.80/2778.26	c GLOBAL bounds - >= 0 @ 2754.13
2794.53/2803.06	c #Conflicts:     518000 | #Constraints:      22527
2794.53/2803.06	c #Conflicts:     519000 | #Constraints:      23527
2794.53/2803.06	c #Conflicts:     520000 | #Constraints:      24527
2794.53/2803.06	c GLOBAL bounds - >= 0 @ 2778.66
2843.97/2852.62	c #Conflicts:     521000 | #Constraints:      25529
2843.97/2852.62	c #Conflicts:     522000 | #Constraints:      26529
2843.97/2852.62	c #Conflicts:     523000 | #Constraints:      27529
2843.97/2852.62	c #Conflicts:     524000 | #Constraints:      28529
2843.97/2852.62	c #Conflicts:     525000 | #Constraints:      29529
2843.97/2852.62	c #Conflicts:     526000 | #Constraints:      30529
2843.97/2852.62	c #Conflicts:     527000 | #Constraints:      31529
2843.97/2852.62	c GLOBAL bounds - >= 0 @ 2827.83
2929.60/2938.54	c #Conflicts:     528000 | #Constraints:      32531
2929.60/2938.54	c #Conflicts:     529000 | #Constraints:      33531
2929.60/2938.54	c #Conflicts:     530000 | #Constraints:      34531
2929.60/2938.54	c #Conflicts:     531000 | #Constraints:      35531
2929.60/2938.54	c INPROCESSING
2929.60/2938.54	c GARBAGE COLLECT
2929.60/2938.54	c #Conflicts:     532000 | #Constraints:      22134
2929.60/2938.54	c #Conflicts:     533000 | #Constraints:      23134
2929.60/2938.54	c #Conflicts:     534000 | #Constraints:      24134
2929.60/2938.54	c #Conflicts:     535000 | #Constraints:      25134
2929.60/2938.54	c #Conflicts:     536000 | #Constraints:      26134
2929.60/2938.54	c #Conflicts:     537000 | #Constraints:      27134
2929.60/2938.54	c GLOBAL bounds - >= 0 @ 2913.12
2936.58/2945.50	c #Conflicts:     538000 | #Constraints:      28136
2936.58/2945.50	c GLOBAL bounds - >= 0 @ 2920.04
2961.81/2970.88	c #Conflicts:     539000 | #Constraints:      29138
2961.81/2970.88	c #Conflicts:     540000 | #Constraints:      30138
2961.81/2970.88	c #Conflicts:     541000 | #Constraints:      31138
2961.81/2970.88	c #Conflicts:     542000 | #Constraints:      32138
2961.81/2970.88	c GLOBAL bounds - >= 0 @ 2945.23
2993.61/3002.70	c #Conflicts:     543000 | #Constraints:      33140
2993.61/3002.70	c #Conflicts:     544000 | #Constraints:      34140
2993.61/3002.70	c #Conflicts:     545000 | #Constraints:      35140
2993.61/3002.70	c #Conflicts:     546000 | #Constraints:      36140
2993.61/3002.70	c INPROCESSING
2993.61/3002.70	c GARBAGE COLLECT
2993.61/3002.70	c GLOBAL bounds - >= 0 @ 2976.76
2996.91/3006.06	c GLOBAL bounds - >= 0 @ 2980.05
2999.90/3009.09	c #Conflicts:     547000 | #Constraints:      22528
2999.90/3009.09	c GLOBAL bounds - >= 0 @ 2983.05
3002.28/3011.40	c GLOBAL bounds - >= 0 @ 2985.34
3004.58/3013.75	c #Conflicts:     548000 | #Constraints:      23532
3004.58/3013.75	c GLOBAL bounds - >= 0 @ 2987.68
3120.91/3130.44	c #Conflicts:     549000 | #Constraints:      24534
3120.91/3130.44	c #Conflicts:     550000 | #Constraints:      25534
3120.91/3130.44	c #Conflicts:     551000 | #Constraints:      26534
3120.91/3130.44	c #Conflicts:     552000 | #Constraints:      27534
3120.91/3130.44	c #Conflicts:     553000 | #Constraints:      28534
3120.91/3130.44	c #Conflicts:     554000 | #Constraints:      29534
3120.91/3130.44	c #Conflicts:     555000 | #Constraints:      30534
3120.91/3130.44	c #Conflicts:     556000 | #Constraints:      31534
3120.91/3130.44	c #Conflicts:     557000 | #Constraints:      32534
3120.91/3130.44	c #Conflicts:     558000 | #Constraints:      33534
3120.91/3130.44	c #Conflicts:     559000 | #Constraints:      34534
3120.91/3130.44	c #Conflicts:     560000 | #Constraints:      35534
3120.91/3130.44	c #Conflicts:     561000 | #Constraints:      36534
3120.91/3130.44	c INPROCESSING
3120.91/3130.44	c GARBAGE COLLECT
3120.91/3130.44	c #Conflicts:     562000 | #Constraints:      22737
3120.91/3130.44	c #Conflicts:     563000 | #Constraints:      23737
3120.91/3130.44	c #Conflicts:     564000 | #Constraints:      24737
3120.91/3130.44	c GLOBAL bounds - >= 0 @ 3103.57
3168.16/3177.85	c #Conflicts:     565000 | #Constraints:      25739
3168.16/3177.85	c #Conflicts:     566000 | #Constraints:      26739
3168.16/3177.85	c #Conflicts:     567000 | #Constraints:      27739
3168.16/3177.85	c #Conflicts:     568000 | #Constraints:      28739
3168.16/3177.85	c #Conflicts:     569000 | #Constraints:      29739
3168.16/3177.85	c #Conflicts:     570000 | #Constraints:      30739
3168.16/3177.85	c GLOBAL bounds - >= 0 @ 3150.65
3194.18/3203.90	c #Conflicts:     571000 | #Constraints:      31741
3194.18/3203.90	c #Conflicts:     572000 | #Constraints:      32741
3194.18/3203.90	c #Conflicts:     573000 | #Constraints:      33741
3194.18/3203.90	c GLOBAL bounds - >= 0 @ 3176.5
3203.15/3213.01	c #Conflicts:     574000 | #Constraints:      34743
3203.15/3213.01	c #Conflicts:     575000 | #Constraints:      35743
3203.15/3213.01	c GLOBAL bounds - >= 0 @ 3185.54
3234.75/3244.60	c #Conflicts:     576000 | #Constraints:      36745
3234.75/3244.60	c INPROCESSING
3234.75/3244.60	c GARBAGE COLLECT
3234.75/3244.60	c #Conflicts:     577000 | #Constraints:      22729
3234.75/3244.60	c #Conflicts:     578000 | #Constraints:      23729
3234.75/3244.60	c #Conflicts:     579000 | #Constraints:      24729
3234.75/3244.60	c #Conflicts:     580000 | #Constraints:      25729
3234.75/3244.60	c GLOBAL bounds - >= 0 @ 3216.91
3265.75/3275.70	c #Conflicts:     581000 | #Constraints:      26731
3265.75/3275.70	c #Conflicts:     582000 | #Constraints:      27731
3265.75/3275.70	c #Conflicts:     583000 | #Constraints:      28731
3265.75/3275.70	c #Conflicts:     584000 | #Constraints:      29731
3265.75/3275.70	c GLOBAL bounds - >= 0 @ 3247.72
3304.33/3314.47	c #Conflicts:     585000 | #Constraints:      30733
3304.33/3314.47	c #Conflicts:     586000 | #Constraints:      31733
3304.33/3314.47	c #Conflicts:     587000 | #Constraints:      32733
3304.33/3314.47	c #Conflicts:     588000 | #Constraints:      33733
3304.33/3314.47	c #Conflicts:     589000 | #Constraints:      34733
3304.33/3314.47	c GLOBAL bounds - >= 0 @ 3286.21
3372.02/3382.35	c #Conflicts:     590000 | #Constraints:      35735
3372.02/3382.35	c #Conflicts:     591000 | #Constraints:      36735
3372.02/3382.35	c INPROCESSING
3372.02/3382.35	c GARBAGE COLLECT
3372.02/3382.35	c #Conflicts:     592000 | #Constraints:      22519
3372.02/3382.35	c #Conflicts:     593000 | #Constraints:      23519
3372.02/3382.35	c #Conflicts:     594000 | #Constraints:      24519
3372.02/3382.35	c #Conflicts:     595000 | #Constraints:      25519
3372.02/3382.35	c #Conflicts:     596000 | #Constraints:      26519
3372.02/3382.35	c #Conflicts:     597000 | #Constraints:      27519
3372.02/3382.35	c #Conflicts:     598000 | #Constraints:      28519
3372.02/3382.35	c #Conflicts:     599000 | #Constraints:      29519
3372.02/3382.35	c GLOBAL bounds - >= 0 @ 3353.57
3407.01/3417.41	c #Conflicts:     600000 | #Constraints:      30521
3407.01/3417.41	c #Conflicts:     601000 | #Constraints:      31521
3407.01/3417.41	c #Conflicts:     602000 | #Constraints:      32521
3407.01/3417.41	c #Conflicts:     603000 | #Constraints:      33521
3407.01/3417.41	c #Conflicts:     604000 | #Constraints:      34521
3407.01/3417.41	c #Conflicts:     605000 | #Constraints:      35521
3407.01/3417.41	c #Conflicts:     606000 | #Constraints:      36521
3407.01/3417.41	c GLOBAL bounds - >= 0 @ 3388.44
3408.91/3419.38	c #Conflicts:     607000 | #Constraints:      37523
3408.91/3419.38	c GLOBAL bounds - >= 0 @ 3390.37
3477.00/3487.60	c INPROCESSING
3477.00/3487.60	c GARBAGE COLLECT
3477.00/3487.60	c #Conflicts:     608000 | #Constraints:      23130
3477.00/3487.60	c #Conflicts:     609000 | #Constraints:      24130
3477.00/3487.60	c #Conflicts:     610000 | #Constraints:      25130
3477.00/3487.60	c #Conflicts:     611000 | #Constraints:      26130
3477.00/3487.60	c #Conflicts:     612000 | #Constraints:      27130
3477.00/3487.60	c #Conflicts:     613000 | #Constraints:      28130
3477.00/3487.60	c #Conflicts:     614000 | #Constraints:      29130
3477.00/3487.60	c #Conflicts:     615000 | #Constraints:      30130
3477.00/3487.60	c #Conflicts:     616000 | #Constraints:      31130
3477.00/3487.60	c #Conflicts:     617000 | #Constraints:      32130
3477.00/3487.60	c #Conflicts:     618000 | #Constraints:      33130
3477.00/3487.60	c #Conflicts:     619000 | #Constraints:      34130
3477.00/3487.60	c GLOBAL bounds - >= 0 @ 3458.26
3554.66/3565.53	c #Conflicts:     620000 | #Constraints:      35132
3554.66/3565.53	c #Conflicts:     621000 | #Constraints:      36132
3554.66/3565.53	c #Conflicts:     622000 | #Constraints:      37132
3554.66/3565.53	c #Conflicts:     623000 | #Constraints:      38132
3554.66/3565.53	c INPROCESSING
3554.66/3565.53	c GARBAGE COLLECT
3554.66/3565.53	c #Conflicts:     624000 | #Constraints:      23475
3554.66/3565.53	c #Conflicts:     625000 | #Constraints:      24475
3554.66/3565.53	c #Conflicts:     626000 | #Constraints:      25475
3554.66/3565.53	c #Conflicts:     627000 | #Constraints:      26475
3554.66/3565.53	c #Conflicts:     628000 | #Constraints:      27475
3554.66/3565.53	c #Conflicts:     629000 | #Constraints:      28475
3554.66/3565.53	c #Conflicts:     630000 | #Constraints:      29475
3554.66/3565.53	c GLOBAL bounds - >= 0 @ 3535.43
3573.00/3583.90	c #Conflicts:     631000 | #Constraints:      30477
3573.00/3583.90	c #Conflicts:     632000 | #Constraints:      31477
3573.00/3583.90	c GLOBAL bounds - >= 0 @ 3553.64
3577.99/3589.01	c #Conflicts:     633000 | #Constraints:      32479
3577.99/3589.01	c GLOBAL bounds - >= 0 @ 3558.71
3600.03/3611.01	c #Conflicts:     634000 | #Constraints:      33481
3600.03/3611.01	c #Conflicts:     635000 | #Constraints:      34481
3600.03/3611.01	c #Conflicts:     636000 | #Constraints:      35481
3600.03/3611.01	c #Conflicts:     637000 | #Constraints:      36481
3600.03/3611.01	c #Conflicts:     638000 | #Constraints:      37481
3600.03/3611.01	c cpu time 3580.55 s
3600.03/3611.01	c deterministic time 1 1.00e+00
3600.03/3611.01	c optimization time 3580.48 s
3600.03/3611.01	c total solve time 0 s
3600.03/3611.01	c core-guided solve time 0 s
3600.03/3611.01	c propagation time 0.006292 s
3600.03/3611.01	c conflict analysis time 0 s
3600.03/3611.01	c propagations 0
3600.03/3611.01	c resolve steps 0
3600.03/3611.01	c decisions 0
3600.03/3611.01	c conflicts 0
3600.03/3611.01	c restarts 0
3600.03/3611.01	c inprocessing phases 0
3600.03/3611.01	c garbage collections 0 ,( -nan )
3600.03/3611.01	c input clauses 6460 ,( 100.00 )
3600.03/3611.01	c input cardinalities 0 ,( 0.00 )
3600.03/3611.01	c input general constraints 0 ,( 0.00 )
3600.03/3611.01	c input average constraint length 4.00
3600.03/3611.01	c input average constraint degree 1.00
3600.03/3611.01	c learned clauses 0 ,( 0.00 )
3600.03/3611.01	c learned cardinalities 0 ,( 0.00 )
3600.03/3611.01	c learned general constraints 0 ,( 0.00 )
3600.03/3611.01	c learned average constraint length 0.00
3600.03/3611.01	c learned average constraint degree 0.00
3600.03/3611.01	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.03/3611.01	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.03/3611.01	c watched   constraints 0 ,( -nan ) 
3600.03/3611.01	c counting  constraints 0 ,( -nan ) 
3600.03/3611.01	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.03/3611.01	c gcd simplifications 0
3600.03/3611.01	c detected cardinalities 0
3600.03/3611.01	c weakened non-implied lits 0
3600.03/3611.01	c weakened non-implying lits 0
3600.03/3611.01	c original variables 6460
3600.03/3611.01	c clausal propagations 0
3600.03/3611.01	c cardinality propagations 0
3600.03/3611.01	c watched propagations 0
3600.03/3611.01	c counting propagations 0
3600.03/3611.01	c watch lookups 0
3600.03/3611.01	c watch backjump lookups 0
3600.03/3611.01	c watch checks 0
3600.03/3611.01	c propagation checks 0
3600.03/3611.01	c constraint additions 0
3600.03/3611.01	c trail pops 0
3600.03/3611.01	c formula constraints 6460
3600.03/3611.01	c learned constraints 0
3600.03/3611.01	c bound constraints 0
3600.03/3611.01	c core-guided constraints 0
3600.03/3611.01	c encountered formula constraints 0
3600.03/3611.01	c encountered learned constraints 0
3600.03/3611.01	c encountered bound constraints 0
3600.03/3611.01	c encountered core-guided constraints 0
3600.03/3611.01	c LP total time 0 s
3600.03/3611.01	c LP solve time 0 s
3600.03/3611.01	c LP constraints added 0
3600.03/3611.01	c LP constraints removed 0
3600.03/3611.01	c LP pivots internal 0
3600.03/3611.01	c LP pivots root 0
3600.03/3611.01	c LP calls 0
3600.03/3611.01	c LP optimalities 0
3600.03/3611.01	c LP no pivot count 0
3600.03/3611.01	c LP infeasibilities 0
3600.03/3611.01	c LP valid Farkas constraints 0
3600.03/3611.01	c LP learned Farkas constraints 0
3600.03/3611.01	c LP basis resets 0
3600.03/3611.01	c LP cycling count 0
3600.03/3611.01	c LP singular count 0
3600.03/3611.01	c LP no primal count 0
3600.03/3611.01	c LP no farkas count 0
3600.03/3611.01	c LP other issue count 0
3600.03/3611.01	c LP Gomory cuts 0
3600.03/3611.01	c LP learned cuts 0
3600.03/3611.01	c LP deleted cuts 0
3600.03/3611.01	c LP encountered Gomory constraints 0
3600.03/3611.01	c LP encountered Farkas constraints 0
3600.03/3611.01	c LP encountered learned Farkas constraints 0
3600.03/3611.01	c CG auxiliary variables introduced 0
3600.03/3611.01	c CG solutions found 0
3600.03/3611.01	c CG cores constructed 0
3600.03/3611.01	c CG core cardinality constraints returned 0
3600.03/3611.01	c CG unit cores 0
3600.03/3611.01	c CG single cores 0
3600.03/3611.01	c CG blocks removed during cardinality reduction 0
3600.03/3611.01	c CG first core best 0
3600.03/3611.01	c CG decision core best 0
3600.03/3611.01	c CG core reduction tie 0
3600.03/3611.01	c CG core degree average 0.00
3600.03/3611.01	c CG core slack average 0.00
3600.03/3611.01	c CG core upper bound improvements 0
3600.03/3611.01	c STR number of successful calls 0
3600.03/3611.01	c STR number of unsuccessful calls 0
3600.03/3611.01	c STR number of inconclusive calls 0
3600.03/3611.01	c STR number of successful attempts 0
3600.03/3611.01	c STR number of unsuccessful attempts 0
3600.03/3611.01	c STR number of inconclusive attempts 0
3600.03/3611.01	c STR average degree increase per successful call inf
3600.03/3611.01	c STR average degree increase per successful attempt inf
3600.03/3611.01	c STR total number of conflicts for successful attempts 0
3600.03/3611.01	c STR total number of conflicts for unsuccessful attempts 0
3600.03/3611.01	c STR total number of conflicts for inconclusive attempts 0
3600.03/3611.01	c STR average number of conflicts per successful attempt inf
3600.03/3611.01	c STR average number of conflicts per unsuccessful attempt inf
3600.03/3611.01	c STR average number of conflicts per inconclusive attempt inf
3600.03/3611.01	c AVG.sumWPerc -nan 
3600.03/3611.01	c bigint constraints 0 
3600.03/3611.01	s UNKNOWN
3600.03/3611.01	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: 63837 MiB (63074 MiB free)
  memory of node 1: 64465 MiB (63739 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520618-1751574973/watcher-4520618-1751574973 -o /tmp/evaluation-result-4520618-1751574973/solver-4520618-1751574973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751574973-81854 --watchdog 3760 run-opt.sh HOME/instance-4520618-1751574973.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=81904, runsolver pid=81895

[startup+0.100068 s]*
/proc/loadavg: 0.25 0.87 1.51 6/255 81917
/proc/meminfo: memFree=129856364/131382120 swapFree=33010160/33010684
[pid=81904] ppid=81895 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81904/stat : 81904 (run-opt.sh) S 81895 81904 81821 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73176392 4292608 736 18446744073709551615 93921997287424 93921998181957 140725278621136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921998421008 93921998468752 93922007961600 140725278628205 140725278628328 140725278628328 140725278633930 0
/proc/81904/statm: 1048 736 672 219 0 110 0
[pid=81911] ppid=81904 vsize=62344 memory=14836 CPUtime=0.07 cores=0,2
/proc/81911/stat : 81911 (roundingsat) R 81904 81904 81821 0 -1 4194304 2116 0 0 0 5 2 0 0 20 0 1 0 73176393 63840256 3709 18446744073709551615 4227072 8923433 140721363002656 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40804352 140721363007906 140721363008040 140721363008040 140721363013610 0
/proc/81911/statm: 15586 3709 2240 1147 0 3013 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 66536 KiB
Current children cumulated memory: 17780 KiB

[startup+0.213018 s]*
/proc/loadavg: 0.25 0.87 1.51 5/255 81917
/proc/meminfo: memFree=129829144/131382120 swapFree=33010160/33010684
[pid=81904] ppid=81895 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81904/stat : 81904 (run-opt.sh) S 81895 81904 81821 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73176392 4292608 736 18446744073709551615 93921997287424 93921998181957 140725278621136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921998421008 93921998468752 93922007961600 140725278628205 140725278628328 140725278628328 140725278633930 0
/proc/81904/statm: 1048 736 672 219 0 110 0
[pid=81911] ppid=81904 vsize=72296 memory=22584 CPUtime=0.18 cores=0,2
/proc/81911/stat : 81911 (roundingsat) R 81904 81904 81821 0 -1 4194304 4278 0 0 0 13 5 0 0 20 0 1 0 73176393 74031104 5646 18446744073709551615 4227072 8923433 140721363002656 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40804352 140721363007906 140721363008040 140721363008040 140721363013610 0
/proc/81911/statm: 18074 5646 2336 1147 0 5501 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 76488 KiB
Current children cumulated memory: 25528 KiB

[startup+0.313913 s]*
/proc/loadavg: 0.25 0.87 1.51 6/255 81917
/proc/meminfo: memFree=129813268/131382120 swapFree=33010160/33010684
[pid=81904] ppid=81895 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81904/stat : 81904 (run-opt.sh) S 81895 81904 81821 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73176392 4292608 736 18446744073709551615 93921997287424 93921998181957 140725278621136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921998421008 93921998468752 93922007961600 140725278628205 140725278628328 140725278628328 140725278633930 0
/proc/81904/statm: 1048 736 672 219 0 110 0
[pid=81911] ppid=81904 vsize=73780 memory=27240 CPUtime=0.28 cores=0,2
/proc/81911/stat : 81911 (roundingsat) R 81904 81904 81821 0 -1 4194304 4901 0 0 0 22 6 0 0 20 0 1 0 73176393 75550720 6810 18446744073709551615 4227072 8923433 140721363002656 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40804352 140721363007906 140721363008040 140721363008040 140721363013610 0
/proc/81911/statm: 18445 6810 2336 1147 0 5872 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 77972 KiB
Current children cumulated memory: 30184 KiB

[startup+0.700298 s]
/proc/loadavg: 0.25 0.87 1.51 6/255 81917
/proc/meminfo: memFree=129787060/131382120 swapFree=33010160/33010684
[pid=81904] ppid=81895 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81904/stat : 81904 (run-opt.sh) S 81895 81904 81821 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73176392 4292608 736 18446744073709551615 93921997287424 93921998181957 140725278621136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921998421008 93921998468752 93922007961600 140725278628205 140725278628328 140725278628328 140725278633930 0
/proc/81904/statm: 1048 736 672 219 0 110 0
[pid=81911] ppid=81904 vsize=87112 memory=40808 CPUtime=0.66 cores=0,2
/proc/81911/stat : 81911 (roundingsat) R 81904 81904 81821 0 -1 4194304 7752 0 0 0 57 9 0 0 20 0 1 0 73176393 89202688 10202 18446744073709551615 4227072 8923433 140721363002656 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40804352 140721363007906 140721363008040 140721363008040 140721363013610 0
/proc/81911/statm: 21778 10202 2368 1147 0 9205 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 91304 KiB
Current children cumulated memory: 43752 KiB

[startup+1.5003 s]
/proc/loadavg: 0.25 0.87 1.51 6/255 81917
/proc/meminfo: memFree=129744648/131382120 swapFree=33010160/33010684
[pid=81904] ppid=81895 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81904/stat : 81904 (run-opt.sh) S 81895 81904 81821 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73176392 4292608 736 18446744073709551615 93921997287424 93921998181957 140725278621136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921998421008 93921998468752 93922007961600 140725278628205 140725278628328 140725278628328 140725278633930 0
/proc/81904/statm: 1048 736 672 219 0 110 0
[pid=81911] ppid=81904 vsize=140060 memory=93728 CPUtime=1.45 cores=0,2
/proc/81911/stat : 81911 (roundingsat) R 81904 81904 81821 0 -1 4194304 18946 0 0 0 129 16 0 0 20 0 1 0 73176393 143421440 23432 18446744073709551615 4227072 8923433 140721363002656 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40804352 140721363007906 140721363008040 140721363008040 140721363013610 0
/proc/81911/statm: 35015 23432 2368 1147 0 22442 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 144252 KiB
Current children cumulated memory: 96672 KiB

[startup+3.1123 s]
/proc/loadavg: 0.55 0.92 1.52 6/255 81917
/proc/meminfo: memFree=129472052/131382120 swapFree=33010160/33010684
[pid=81904] ppid=81895 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81904/stat : 81904 (run-opt.sh) S 81895 81904 81821 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73176392 4292608 736 18446744073709551615 93921997287424 93921998181957 140725278621136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921998421008 93921998468752 93922007961600 140725278628205 140725278628328 140725278628328 140725278633930 0
/proc/81904/statm: 1048 736 672 219 0 110 0
[pid=81911] ppid=81904 vsize=226920 memory=180448 CPUtime=3.06 cores=0,2
/proc/81911/stat : 81911 (roundingsat) R 81904 81904 81821 0 -1 4194304 33993 0 0 0 281 25 0 0 20 0 1 0 73176393 232366080 45112 18446744073709551615 4227072 8923433 140721363002656 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40804352 140721363007906 140721363008040 140721363008040 140721363013610 0
/proc/81911/statm: 56730 45112 2368 1147 0 44157 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 231112 KiB
Current children cumulated memory: 183392 KiB

[startup+6.3003 s]
/proc/loadavg: 0.55 0.92 1.52 6/255 81917
/proc/meminfo: memFree=128988224/131382120 swapFree=33010160/33010684
[pid=81904] ppid=81895 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81904/stat : 81904 (run-opt.sh) S 81895 81904 81821 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73176392 4292608 736 18446744073709551615 93921997287424 93921998181957 140725278621136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921998421008 93921998468752 93922007961600 140725278628205 140725278628328 140725278628328 140725278633930 0
/proc/81904/statm: 1048 736 672 219 0 110 0
[pid=81911] ppid=81904 vsize=418572 memory=335624 CPUtime=6.23 cores=0,2
/proc/81911/stat : 81911 (roundingsat) R 81904 81904 81821 0 -1 4194304 62586 0 0 0 588 35 0 0 20 0 1 0 73176393 428617728 83906 18446744073709551615 4227072 8923433 140721363002656 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40804352 140721363007906 140721363008040 140721363008040 140721363013610 0
/proc/81911/statm: 104643 83906 2368 1147 0 92070 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 422764 KiB
Current children cumulated memory: 338568 KiB

[startup+12.7003 s]
/proc/loadavg: 0.83 0.97 1.53 6/255 81917
/proc/meminfo: memFree=128650688/131382120 swapFree=33010160/33010684
[pid=81904] ppid=81895 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81904/stat : 81904 (run-opt.sh) S 81895 81904 81821 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73176392 4292608 736 18446744073709551615 93921997287424 93921998181957 140725278621136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921998421008 93921998468752 93922007961600 140725278628205 140725278628328 140725278628328 140725278633930 0
/proc/81904/statm: 1048 736 672 219 0 110 0
[pid=81911] ppid=81904 vsize=632568 memory=510772 CPUtime=12.62 cores=0,2
/proc/81911/stat : 81911 (roundingsat) R 81904 81904 81821 0 -1 4194304 98182 0 0 0 1216 46 0 0 20 0 1 0 73176393 647749632 127693 18446744073709551615 4227072 8923433 140721363002656 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40804352 140721363007906 140721363008040 140721363008040 140721363013610 0
/proc/81911/statm: 158142 127693 2368 1147 0 145569 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 636760 KiB
Current children cumulated memory: 513716 KiB

[startup+25.5003 s]
/proc/loadavg: 1.60 1.14 1.58 6/255 81918
/proc/meminfo: memFree=128215696/131382120 swapFree=33010160/33010684
[pid=81904] ppid=81895 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81904/stat : 81904 (run-opt.sh) S 81895 81904 81821 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73176392 4292608 736 18446744073709551615 93921997287424 93921998181957 140725278621136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921998421008 93921998468752 93922007961600 140725278628205 140725278628328 140725278628328 140725278633930 0
/proc/81904/statm: 1048 736 672 219 0 110 0
[pid=81911] ppid=81904 vsize=714516 memory=537716 CPUtime=25.38 cores=0,2
/proc/81911/stat : 81911 (roundingsat) R 81904 81904 81821 0 -1 4194304 101861 0 0 0 2479 59 0 0 20 0 1 0 73176393 731664384 134429 18446744073709551615 4227072 8923433 140721363002656 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40804352 140721363007906 140721363008040 140721363008040 140721363013610 0
/proc/81911/statm: 178629 134429 2368 1147 0 166056 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 718708 KiB
Current children cumulated memory: 540660 KiB

[startup+51.1125 s]
/proc/loadavg: 2.42 1.37 1.65 6/255 81918
/proc/meminfo: memFree=127596668/131382120 swapFree=33010160/33010684
[pid=81904] ppid=81895 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81904/stat : 81904 (run-opt.sh) S 81895 81904 81821 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73176392 4292608 736 18446744073709551615 93921997287424 93921998181957 140725278621136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921998421008 93921998468752 93922007961600 140725278628205 140725278628328 140725278628328 140725278633930 0
/proc/81904/statm: 1048 736 672 219 0 110 0
[pid=81911] ppid=81904 vsize=1257448 memory=907196 CPUtime=50.92 cores=0,2
/proc/81911/stat : 81911 (roundingsat) R 81904 81904 81821 0 -1 4194304 175322 0 0 0 4998 94 0 0 20 0 1 0 73176393 1287626752 226799 18446744073709551615 4227072 8923433 140721363002656 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40804352 140721363007906 140721363008040 140721363008040 140721363013610 0
/proc/81911/statm: 314362 226799 2368 1147 0 301789 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1261640 KiB
Current children cumulated memory: 910140 KiB

[startup+102.3 s]
/proc/loadavg: 3.36 1.79 1.78 6/256 81921
/proc/meminfo: memFree=126844344/131382120 swapFree=33010160/33010684
[pid=81904] ppid=81895 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81904/stat : 81904 (run-opt.sh) S 81895 81904 81821 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73176392 4292608 736 18446744073709551615 93921997287424 93921998181957 140725278621136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921998421008 93921998468752 93922007961600 140725278628205 140725278628328 140725278628328 140725278633930 0
/proc/81904/statm: 1048 736 672 219 0 110 0
[pid=81911] ppid=81904 vsize=1276816 memory=1091952 CPUtime=101.97 cores=0,2
/proc/81911/stat : 81911 (roundingsat) R 81904 81904 81821 0 -1 4194304 201144 0 0 0 10032 165 0 0 20 0 1 0 73176393 1307459584 272988 18446744073709551615 4227072 8923433 140721363002656 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40804352 140721363007906 140721363008040 140721363008040 140721363013610 0
/proc/81911/statm: 319204 272988 2368 1147 0 306631 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1281008 KiB
Current children cumulated memory: 1094896 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.24 1.93 6/256 81923
/proc/meminfo: memFree=126488580/131382120 swapFree=33010160/33010684
[pid=81904] ppid=81895 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81904/stat : 81904 (run-opt.sh) S 81895 81904 81821 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73176392 4292608 736 18446744073709551615 93921997287424 93921998181957 140725278621136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921998421008 93921998468752 93922007961600 140725278628205 140725278628328 140725278628328 140725278633930 0
/proc/81904/statm: 1048 736 672 219 0 110 0
[pid=81911] ppid=81904 vsize=1280144 memory=1152960 CPUtime=161.79 cores=0,2
/proc/81911/stat : 81911 (roundingsat) R 81904 81904 81821 0 -1 4194304 209307 0 0 0 15972 207 0 0 20 0 1 0 73176393 1310867456 288240 18446744073709551615 4227072 8923433 140721363002656 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40804352 140721363007906 140721363008040 140721363008040 140721363013610 0
/proc/81911/statm: 320036 288240 2368 1147 0 307463 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1284336 KiB
Current children cumulated memory: 1155904 KiB

[startup+222.3 s]
/proc/loadavg: 3.97 2.56 2.07 6/255 81925
/proc/meminfo: memFree=126286128/131382120 swapFree=33010160/33010684
[pid=81904] ppid=81895 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81904/stat : 81904 (run-opt.sh) S 81895 81904 81821 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73176392 4292608 736 18446744073709551615 93921997287424 93921998181957 140725278621136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921998421008 93921998468752 93922007961600 140725278628205 140725278628328 140725278628328 140725278633930 0
/proc/81904/statm: 1048 736 672 219 0 110 0
[pid=81911] ppid=81904 vsize=1502456 memory=1250780 CPUtime=221.62 cores=0,2
/proc/81911/stat : 81911 (roundingsat) R 81904 81904 81821 0 -1 4194304 223066 0 0 0 21905 257 0 0 20 0 1 0 73176393 1538514944 312695 18446744073709551615 4227072 8923433 140721363002656 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40804352 140721363007906 140721363008040 140721363008040 140721363013610 0
/proc/81911/statm: 375614 312695 2368 1147 0 363041 0

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

[pid=81904] ppid=81895 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81904/stat : 81904 (run-opt.sh) S 81895 81904 81821 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73176392 4292608 736 18446744073709551615 93921997287424 93921998181957 140725278621136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921998421008 93921998468752 93922007961600 140725278628205 140725278628328 140725278628328 140725278633930 0
/proc/81904/statm: 1048 736 672 219 0 110 0
[pid=81911] ppid=81904 vsize=4940552 memory=3856312 CPUtime=3092.89 cores=0,2
/proc/81911/stat : 81911 (roundingsat) R 81904 81904 81821 0 -1 4194304 719572 0 0 0 307569 1720 0 0 20 0 1 0 73176393 5059125248 964078 18446744073709551615 4227072 8923433 140721363002656 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40804352 140721363007906 140721363008040 140721363008040 140721363013610 0
/proc/81911/statm: 1235138 964078 2368 1147 0 1222565 0
Current children cumulated CPU time: 3092.89 s
Current children cumulated vsize: 4944744 KiB
Current children cumulated memory: 3859256 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.29 4.21 6/253 82084
/proc/meminfo: memFree=118693428/131382120 swapFree=33010160/33010684
[pid=81904] ppid=81895 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81904/stat : 81904 (run-opt.sh) S 81895 81904 81821 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73176392 4292608 736 18446744073709551615 93921997287424 93921998181957 140725278621136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921998421008 93921998468752 93922007961600 140725278628205 140725278628328 140725278628328 140725278633930 0
/proc/81904/statm: 1048 736 672 219 0 110 0
[pid=81911] ppid=81904 vsize=4940552 memory=3856312 CPUtime=3152.7 cores=0,2
/proc/81911/stat : 81911 (roundingsat) R 81904 81904 81821 0 -1 4194304 719572 0 0 0 313522 1748 0 0 20 0 1 0 73176393 5059125248 964078 18446744073709551615 4227072 8923433 140721363002656 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40804352 140721363007906 140721363008040 140721363008040 140721363013610 0
/proc/81911/statm: 1235138 964078 2368 1147 0 1222565 0
Current children cumulated CPU time: 3152.7 s
Current children cumulated vsize: 4944744 KiB
Current children cumulated memory: 3859256 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.25 4.20 6/253 82086
/proc/meminfo: memFree=118661364/131382120 swapFree=33010160/33010684
[pid=81904] ppid=81895 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81904/stat : 81904 (run-opt.sh) S 81895 81904 81821 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73176392 4292608 736 18446744073709551615 93921997287424 93921998181957 140725278621136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921998421008 93921998468752 93922007961600 140725278628205 140725278628328 140725278628328 140725278633930 0
/proc/81904/statm: 1048 736 672 219 0 110 0
[pid=81911] ppid=81904 vsize=4948232 memory=3887104 CPUtime=3212.52 cores=0,2
/proc/81911/stat : 81911 (roundingsat) R 81904 81904 81821 0 -1 4194304 723936 0 0 0 319476 1776 0 0 20 0 1 0 73176393 5066989568 971776 18446744073709551615 4227072 8923433 140721363002656 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40804352 140721363007906 140721363008040 140721363008040 140721363013610 0
/proc/81911/statm: 1237058 971776 2368 1147 0 1224485 0
Current children cumulated CPU time: 3212.52 s
Current children cumulated vsize: 4952424 KiB
Current children cumulated memory: 3890048 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.22 4.19 6/254 82093
/proc/meminfo: memFree=118657428/131382120 swapFree=33010160/33010684
[pid=81904] ppid=81895 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81904/stat : 81904 (run-opt.sh) S 81895 81904 81821 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73176392 4292608 736 18446744073709551615 93921997287424 93921998181957 140725278621136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921998421008 93921998468752 93922007961600 140725278628205 140725278628328 140725278628328 140725278633930 0
/proc/81904/statm: 1048 736 672 219 0 110 0
[pid=81911] ppid=81904 vsize=4948232 memory=3887232 CPUtime=3272.33 cores=0,2
/proc/81911/stat : 81911 (roundingsat) R 81904 81904 81821 0 -1 4194304 723950 0 0 0 325426 1807 0 0 20 0 1 0 73176393 5066989568 971808 18446744073709551615 4227072 8923433 140721363002656 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40804352 140721363007906 140721363008040 140721363008040 140721363013610 0
/proc/81911/statm: 1237058 971808 2368 1147 0 1224485 0
Current children cumulated CPU time: 3272.33 s
Current children cumulated vsize: 4952424 KiB
Current children cumulated memory: 3890176 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.20 4.18 6/255 82096
/proc/meminfo: memFree=118612264/131382120 swapFree=33010160/33010684
[pid=81904] ppid=81895 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81904/stat : 81904 (run-opt.sh) S 81895 81904 81821 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73176392 4292608 736 18446744073709551615 93921997287424 93921998181957 140725278621136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921998421008 93921998468752 93922007961600 140725278628205 140725278628328 140725278628328 140725278633930 0
/proc/81904/statm: 1048 736 672 219 0 110 0
[pid=81911] ppid=81904 vsize=4963084 memory=3936352 CPUtime=3332.14 cores=0,2
/proc/81911/stat : 81911 (roundingsat) R 81904 81904 81821 0 -1 4194304 731868 0 0 0 331378 1836 0 0 20 0 1 0 73176393 5082198016 984088 18446744073709551615 4227072 8923433 140721363002656 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40804352 140721363007906 140721363008040 140721363008040 140721363013610 0
/proc/81911/statm: 1240771 984088 2368 1147 0 1228198 0
Current children cumulated CPU time: 3332.14 s
Current children cumulated vsize: 4967276 KiB
Current children cumulated memory: 3939296 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.18 4.18 6/255 82098
/proc/meminfo: memFree=118611224/131382120 swapFree=33010160/33010684
[pid=81904] ppid=81895 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81904/stat : 81904 (run-opt.sh) S 81895 81904 81821 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73176392 4292608 736 18446744073709551615 93921997287424 93921998181957 140725278621136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921998421008 93921998468752 93922007961600 140725278628205 140725278628328 140725278628328 140725278633930 0
/proc/81904/statm: 1048 736 672 219 0 110 0
[pid=81911] ppid=81904 vsize=4963084 memory=3936608 CPUtime=3391.96 cores=0,2
/proc/81911/stat : 81911 (roundingsat) R 81904 81904 81821 0 -1 4194304 732144 0 0 0 337342 1854 0 0 20 0 1 0 73176393 5082198016 984152 18446744073709551615 4227072 8923433 140721363002656 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40804352 140721363007906 140721363008040 140721363008040 140721363013610 0
/proc/81911/statm: 1240771 984152 2368 1147 0 1228198 0
Current children cumulated CPU time: 3391.96 s
Current children cumulated vsize: 4967276 KiB
Current children cumulated memory: 3939552 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.16 4.17 6/255 82100
/proc/meminfo: memFree=118087728/131382120 swapFree=33010160/33010684
[pid=81904] ppid=81895 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81904/stat : 81904 (run-opt.sh) S 81895 81904 81821 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73176392 4292608 736 18446744073709551615 93921997287424 93921998181957 140725278621136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921998421008 93921998468752 93922007961600 140725278628205 140725278628328 140725278628328 140725278633930 0
/proc/81904/statm: 1048 736 672 219 0 110 0
[pid=81911] ppid=81904 vsize=4991756 memory=4051932 CPUtime=3451.78 cores=0,2
/proc/81911/stat : 81911 (roundingsat) R 81904 81904 81821 0 -1 4194304 748742 0 0 0 343309 1869 0 0 20 0 1 0 73176393 5111558144 1012983 18446744073709551615 4227072 8923433 140721363002656 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40804352 140721363007906 140721363008040 140721363008040 140721363013610 0
/proc/81911/statm: 1247939 1012983 2368 1147 0 1235366 0
Current children cumulated CPU time: 3451.78 s
Current children cumulated vsize: 4995948 KiB
Current children cumulated memory: 4054876 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.14 4.16 6/255 82102
/proc/meminfo: memFree=118087984/131382120 swapFree=33010160/33010684
[pid=81904] ppid=81895 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81904/stat : 81904 (run-opt.sh) S 81895 81904 81821 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73176392 4292608 736 18446744073709551615 93921997287424 93921998181957 140725278621136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921998421008 93921998468752 93922007961600 140725278628205 140725278628328 140725278628328 140725278633930 0
/proc/81904/statm: 1048 736 672 219 0 110 0
[pid=81911] ppid=81904 vsize=4992780 memory=4052700 CPUtime=3511.6 cores=0,2
/proc/81911/stat : 81911 (roundingsat) R 81904 81904 81821 0 -1 4194304 749129 0 0 0 349270 1890 0 0 20 0 1 0 73176393 5112606720 1013175 18446744073709551615 4227072 8923433 140721363002656 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40804352 140721363007906 140721363008040 140721363008040 140721363013610 0
/proc/81911/statm: 1248195 1013175 2368 1147 0 1235622 0
Current children cumulated CPU time: 3511.6 s
Current children cumulated vsize: 4996972 KiB
Current children cumulated memory: 4055644 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.13 4.16 6/254 82106
/proc/meminfo: memFree=118089220/131382120 swapFree=33010160/33010684
[pid=81904] ppid=81895 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81904/stat : 81904 (run-opt.sh) S 81895 81904 81821 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73176392 4292608 736 18446744073709551615 93921997287424 93921998181957 140725278621136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921998421008 93921998468752 93922007961600 140725278628205 140725278628328 140725278628328 140725278633930 0
/proc/81904/statm: 1048 736 672 219 0 110 0
[pid=81911] ppid=81904 vsize=4992780 memory=4052700 CPUtime=3571.41 cores=0,2
/proc/81911/stat : 81911 (roundingsat) R 81904 81904 81821 0 -1 4194304 749129 0 0 0 355204 1937 0 0 20 0 1 0 73176393 5112606720 1013175 18446744073709551615 4227072 8923433 140721363002656 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40804352 140721363007906 140721363008040 140721363008040 140721363013610 0
/proc/81911/statm: 1248195 1013175 2368 1147 0 1235622 0
Current children cumulated CPU time: 3571.41 s
Current children cumulated vsize: 4996972 KiB
Current children cumulated memory: 4055644 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 4.10 4.13 4.16 6/254 82107
/proc/meminfo: memFree=118081244/131382120 swapFree=33010160/33010684
[pid=81904] ppid=81895 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81904/stat : 81904 (run-opt.sh) S 81895 81904 81821 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73176392 4292608 736 18446744073709551615 93921997287424 93921998181957 140725278621136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921998421008 93921998468752 93922007961600 140725278628205 140725278628328 140725278628328 140725278633930 0
/proc/81904/statm: 1048 736 672 219 0 110 0
[pid=81911] ppid=81904 vsize=4996876 memory=4055772 CPUtime=3600.03 cores=0,2
/proc/81911/stat : 81911 (roundingsat) R 81904 81904 81821 0 -1 4194304 750150 0 0 0 358054 1949 0 0 20 0 1 0 73176393 5116801024 1013943 18446744073709551615 4227072 8923433 140721363002656 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40804352 140721363007906 140721363008040 140721363008040 140721363013610 0
/proc/81911/statm: 1249219 1013943 2368 1147 0 1236646 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 5001068 KiB
Current children cumulated memory: 4058716 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=0.000949 s, system=0.005014 s
Sleeping 2 seconds

[startup+3611.2 s]
# the end of solver process 81911 was just reported to runsolver
# Child status: 2

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

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

[startup+3611.12 s]*
/proc/loadavg: 4.10 4.13 4.16 5/253 82107
/proc/meminfo: memFree=120790884/131382120 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.005963 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3611.2
CPU time (s): 3600.24
CPU user time (s): 3580.55
CPU system time (s): 19.6821
CPU usage (%): 99.6964
Max. virtual memory (cumulated for all children) (KiB): 5001068
Max. memory (cumulated for all children) (KiB): 4058716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.55
system time used= 19.6821
maximum resident set size= 4056028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 750378
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 247
involuntary context switches= 8141


# summary of solver processes directly reported to runsolver:
#   pid: 81904,81911
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3580.55
#   total CPU system time (s): 19.6821

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0537 second user time and 33.7113 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-03 22:36:13
IDJOB=4520618
IDBENCH=178111
IDSOLVER=3350
FILE ID=nodeC008/4520618-1751574973
RUNJOBID= nodeC008-1751574973-81854
SLURM_JOB_ID= 9598800
Free space on /tmp= 432816 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_380.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520618-1751574973/watcher-4520618-1751574973 -o /tmp/evaluation-result-4520618-1751574973/solver-4520618-1751574973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751574973-81854 --watchdog 3760  run-opt.sh HOME/instance-4520618-1751574973.opb

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

MD5SUM BENCH= dc7892cb3dbd530fdb83331c968a6da2
RANDOM SEED=172682768

nodeC008 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	: 0xb00001f
cpu MHz		: 1197.653
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.200
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.209
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.565
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.387
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.498
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.212
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.198
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129853128 kB
MemAvailable:   129920004 kB
Buffers:            2128 kB
Cached:           861668 kB
SwapCached:           16 kB
Active:           591956 kB
Inactive:         342840 kB
Active(anon):      52512 kB
Inactive(anon):    36408 kB
Active(file):     539444 kB
Inactive(file):   306432 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             29484 kB
Writeback:             0 kB
AnonPages:         74072 kB
Mapped:           103728 kB
Shmem:             17920 kB
KReclaimable:     121252 kB
Slab:             206004 kB
SReclaimable:     121252 kB
SUnreclaim:        84752 kB
KernelStack:        3744 kB
PageTables:         2504 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     329600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149256 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432784 MiB
End job on nodeC008 at 2025-07-03 23:36:24