Trace number 4484585

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs-log 63f22ad? (TO) 3600.71 3613

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:98.opb
MD5SUM3dc780a187102f53f7868f024506933f
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 benchmark12
Best CPU time to get the best result obtained on this benchmark3.27712
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10989
Total number of constraints12472
Number of constraints which are clauses10469
Number of constraints which are cardinality constraints (but not clauses)2003
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint25
Number of terms in the objective function 10989
Biggest coefficient in the objective function 5985
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 32028
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 5985
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 32028
Number of bits of the biggest sum of numbers15
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.14	c RoundingSat 2
0.00/0.14	c branch pb25
0.00/0.14	c commit 63f22ad
0.18/0.35	c #variables 10989 #constraints 12472
0.18/0.35	c objective is ce32 
0.28/0.45	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.28/0.45	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.28/0.45	c GLOBAL bounds - >= -5985 @ 0.224083
0.28/0.48	c GLOBAL bounds - >= -5985 @ 0.244595
1.25/1.47	c GLOBAL bounds - >= -5985 @ 1.20327
1.35/1.57	c GLOBAL bounds - >= -5985 @ 1.29824
2.35/2.50	c GLOBAL bounds - >= -5985 @ 2.19657
2.64/2.86	c GLOBAL bounds - >= -5985 @ 2.52848
2.86/3.01	c GLOBAL bounds - >= -5985 @ 2.67451
2.86/3.07	c GLOBAL bounds - >= -5985 @ 2.72684
3.05/3.25	c GLOBAL bounds - >= -5985 @ 2.90306
3.24/3.47	c GLOBAL bounds - >= -5985 @ 3.09999
3.34/3.50	c GLOBAL bounds - >= -5985 @ 3.13215
4.14/4.34	c GLOBAL bounds - >= -5985 @ 3.92199
4.54/4.77	c GLOBAL bounds - >= -5985 @ 4.32244
4.64/4.83	c GLOBAL bounds - >= -5985 @ 4.37478
4.74/4.90	c GLOBAL bounds - >= -5985 @ 4.43445
4.74/4.98	c GLOBAL bounds - >= -5985 @ 4.50299
4.85/5.05	c GLOBAL bounds - >= -5985 @ 4.5694
4.95/5.14	c GLOBAL bounds - >= -5985 @ 4.6445
5.03/5.21	c GLOBAL bounds - >= -5985 @ 4.70808
5.03/5.27	c GLOBAL bounds - >= -5985 @ 4.75859
5.23/5.41	c GLOBAL bounds - >= -5985 @ 4.88831
5.54/5.75	c GLOBAL bounds - >= -5985 @ 5.22532
5.64/5.87	c GLOBAL bounds - >= -5985 @ 5.3224
5.95/6.17	c GLOBAL bounds - >= -5985 @ 5.61285
6.53/6.79	c #Conflicts:       1000 | #Constraints:      13516
6.53/6.79	c GLOBAL bounds - >= -5985 @ 6.20648
6.73/6.91	c GLOBAL bounds - >= -5985 @ 6.31792
7.04/7.23	c GLOBAL bounds - >= -5985 @ 6.62037
7.43/7.65	c GLOBAL bounds - >= -5985 @ 7.01788
7.53/7.79	c GLOBAL bounds - >= -5985 @ 7.14006
7.73/7.99	c GLOBAL bounds - >= -5985 @ 7.32656
8.43/8.68	c GLOBAL bounds - >= -5985 @ 7.99453
8.84/9.06	c GLOBAL bounds - >= -5985 @ 8.35218
9.03/9.29	c GLOBAL bounds - >= -5985 @ 8.57664
9.23/9.41	c GLOBAL bounds - >= -5985 @ 8.69121
9.52/9.71	c GLOBAL bounds - >= -5985 @ 8.94411
9.62/9.86	c GLOBAL bounds - >= -5985 @ 9.0835
9.72/9.97	c GLOBAL bounds - >= -5985 @ 9.19286
10.02/10.25	c GLOBAL bounds - >= -5985 @ 9.45339
10.62/10.85	c GLOBAL bounds - >= -5985 @ 10.0465
13.21/13.44	c #Conflicts:       2000 | #Constraints:      14546
13.21/13.44	c INPROCESSING
13.21/13.44	c GARBAGE COLLECT
13.21/13.44	c GLOBAL bounds - >= -5985 @ 12.5641
16.70/16.92	c #Conflicts:       3000 | #Constraints:      14561
16.70/16.92	c GLOBAL bounds - >= -5985 @ 15.9692
17.40/17.62	c GLOBAL bounds - >= -5985 @ 16.6507
19.99/20.27	c GLOBAL bounds - >= -5985 @ 19.2269
20.30/20.55	c GLOBAL bounds - >= -5985 @ 19.5046
20.80/21.05	c GLOBAL bounds - >= -5985 @ 19.9985
21.39/21.69	c GLOBAL bounds - >= -5985 @ 20.6114
22.39/22.66	c #Conflicts:       4000 | #Constraints:      15573
22.39/22.66	c GLOBAL bounds - >= -5985 @ 21.5075
23.49/23.71	c INPROCESSING
23.49/23.71	c GARBAGE COLLECT
23.49/23.71	c GLOBAL bounds - >= -5985 @ 22.5457
23.68/23.90	c GLOBAL bounds - >= -5985 @ 22.7245
24.47/24.72	c GLOBAL bounds - >= -5985 @ 23.5169
24.68/25.01	c GLOBAL bounds - >= -5985 @ 23.8006
24.89/25.17	c GLOBAL bounds - >= -5985 @ 23.9561
25.28/25.56	c GLOBAL bounds - >= -5985 @ 24.3413
26.07/26.38	c GLOBAL bounds - >= -5985 @ 25.1334
26.67/26.93	c GLOBAL bounds - >= -5985 @ 25.6621
28.87/29.12	c #Conflicts:       5000 | #Constraints:      14996
28.87/29.12	c GLOBAL bounds - >= -5985 @ 27.8153
29.26/29.57	c GLOBAL bounds - >= -5985 @ 28.2471
30.96/31.26	c GLOBAL bounds - >= -5985 @ 29.8967
31.55/31.85	c GLOBAL bounds - >= -5985 @ 30.4746
31.87/32.15	c GLOBAL bounds - >= -5985 @ 30.7713
32.55/32.87	c GLOBAL bounds - >= -5985 @ 31.4749
35.94/36.25	c #Conflicts:       6000 | #Constraints:      16008
35.94/36.25	c GLOBAL bounds - >= -5985 @ 34.7616
43.83/44.16	c INPROCESSING
43.83/44.16	c GARBAGE COLLECT
43.83/44.16	c #Conflicts:       7000 | #Constraints:      15017
43.83/44.16	c #Conflicts:       8000 | #Constraints:      16017
43.83/44.16	c GLOBAL bounds - >= -5985 @ 42.4406
46.91/47.21	c GLOBAL bounds - >= -5985 @ 45.4188
48.91/49.29	c GLOBAL bounds - >= -5985 @ 47.4542
49.20/49.59	c #Conflicts:       9000 | #Constraints:      17023
49.20/49.59	c GLOBAL bounds - >= -5985 @ 47.7499
49.60/50.00	c GLOBAL bounds - >= -5985 @ 48.1478
50.20/50.57	c GLOBAL bounds - >= -5985 @ 48.703
50.50/50.87	c GLOBAL bounds - >= -5985 @ 48.9981
51.49/51.85	c INPROCESSING
51.49/51.85	c GARBAGE COLLECT
51.49/51.85	c GLOBAL bounds - >= -5985 @ 49.9636
52.39/52.77	c GLOBAL bounds - >= -5985 @ 50.869
52.89/53.22	c GLOBAL bounds - >= -5985 @ 51.3098
53.09/53.48	c GLOBAL bounds - >= -5985 @ 51.569
53.71/54.07	c GLOBAL bounds - >= -5985 @ 52.1527
53.99/54.32	c GLOBAL bounds - >= -5985 @ 52.3902
54.89/55.28	c GLOBAL bounds - >= -5985 @ 53.326
55.38/55.77	c GLOBAL bounds - >= -5985 @ 53.7988
55.70/56.02	c GLOBAL bounds - >= -5985 @ 54.0444
55.98/56.32	c GLOBAL bounds - >= -5985 @ 54.3395
56.28/56.60	c GLOBAL bounds - >= -5985 @ 54.605
58.79/59.11	c #Conflicts:      10000 | #Constraints:      15754
58.79/59.11	c GLOBAL bounds - >= -5985 @ 57.0758
65.95/66.37	c #Conflicts:      11000 | #Constraints:      16756
65.95/66.37	c GLOBAL bounds - >= -5985 @ 64.1599
72.64/73.06	c #Conflicts:      12000 | #Constraints:      17758
72.64/73.06	c INPROCESSING
72.64/73.06	c GARBAGE COLLECT
72.64/73.06	c GLOBAL bounds - >= -5985 @ 70.6647
72.93/73.34	c GLOBAL bounds - >= -5985 @ 70.9402
74.73/75.13	c #Conflicts:      13000 | #Constraints:      16218
74.73/75.13	c GLOBAL bounds - >= -5985 @ 72.7032
76.33/76.72	c GLOBAL bounds - >= -5985 @ 74.2493
78.02/78.49	c GLOBAL bounds - >= -5985 @ 75.9777
78.81/79.29	c #Conflicts:      14000 | #Constraints:      17224
78.81/79.29	c GLOBAL bounds - >= -5985 @ 76.7641
79.63/80.06	c GLOBAL bounds - >= -5985 @ 77.5081
80.21/80.65	c GLOBAL bounds - >= -5985 @ 78.0757
80.72/81.12	c GLOBAL bounds - >= -5985 @ 78.5298
81.61/82.05	c GLOBAL bounds - >= -5985 @ 79.4355
83.40/83.86	c GLOBAL bounds - >= -5985 @ 81.2148
84.19/84.67	c GLOBAL bounds - >= -5985 @ 81.9944
87.70/88.19	c #Conflicts:      15000 | #Constraints:      18238
87.70/88.19	c INPROCESSING
87.70/88.19	c GARBAGE COLLECT
87.70/88.19	c GLOBAL bounds - >= -5985 @ 85.448
88.48/88.90	c GLOBAL bounds - >= -5985 @ 86.1341
89.59/90.03	c GLOBAL bounds - >= -5985 @ 87.2435
89.98/90.49	c GLOBAL bounds - >= -5985 @ 87.688
96.06/96.55	c #Conflicts:      16000 | #Constraints:      16475
96.06/96.55	c #Conflicts:      17000 | #Constraints:      17475
96.06/96.55	c GLOBAL bounds - >= -5985 @ 93.6249
106.83/107.39	c #Conflicts:      18000 | #Constraints:      18477
106.83/107.39	c INPROCESSING
106.83/107.39	c GARBAGE COLLECT
106.83/107.39	c #Conflicts:      19000 | #Constraints:      16495
106.83/107.39	c GLOBAL bounds - >= -5985 @ 104.245
107.43/107.99	c GLOBAL bounds - >= -5985 @ 104.835
108.32/108.85	c GLOBAL bounds - >= -5985 @ 105.673
109.12/109.63	c GLOBAL bounds - >= -5985 @ 106.432
110.63/111.13	c GLOBAL bounds - >= -5985 @ 107.897
111.81/112.35	c GLOBAL bounds - >= -5985 @ 109.097
115.40/115.94	c #Conflicts:      20000 | #Constraints:      17507
115.40/115.94	c GLOBAL bounds - >= -5985 @ 112.604
117.60/118.15	c GLOBAL bounds - >= -5985 @ 114.771
118.50/119.11	c GLOBAL bounds - >= -5985 @ 115.711
119.89/120.45	c #Conflicts:      21000 | #Constraints:      18513
119.89/120.45	c GLOBAL bounds - >= -5985 @ 117.021
120.39/120.98	c GLOBAL bounds - >= -5985 @ 117.536
120.98/121.58	c GLOBAL bounds - >= -5985 @ 118.084
121.98/122.53	c GLOBAL bounds - >= -5985 @ 118.995
122.67/123.26	c GLOBAL bounds - >= -5985 @ 119.715
123.38/123.99	c GLOBAL bounds - >= -5985 @ 120.414
131.95/132.51	c INPROCESSING
131.95/132.51	c GARBAGE COLLECT
131.95/132.51	c #Conflicts:      22000 | #Constraints:      16337
131.95/132.51	c GLOBAL bounds - >= -5985 @ 128.683
133.75/134.31	c #Conflicts:      23000 | #Constraints:      17339
133.75/134.31	c GLOBAL bounds - >= -5985 @ 130.44
134.64/135.24	c GLOBAL bounds - >= -5985 @ 131.359
135.14/135.75	c GLOBAL bounds - >= -5985 @ 131.86
137.63/138.25	c GLOBAL bounds - >= -5985 @ 134.293
144.43/145.02	c #Conflicts:      24000 | #Constraints:      18347
144.43/145.02	c GLOBAL bounds - >= -5985 @ 140.887
149.51/150.17	c #Conflicts:      25000 | #Constraints:      19349
149.51/150.17	c INPROCESSING
149.51/150.17	c GARBAGE COLLECT
149.51/150.17	c GLOBAL bounds - >= -5985 @ 145.926
150.20/150.82	c GLOBAL bounds - >= -5985 @ 146.563
150.90/151.50	c GLOBAL bounds - >= -5985 @ 147.232
160.26/160.96	c #Conflicts:      26000 | #Constraints:      16967
160.26/160.96	c #Conflicts:      27000 | #Constraints:      17967
160.26/160.96	c GLOBAL bounds - >= -5985 @ 156.476
161.86/162.54	c #Conflicts:      28000 | #Constraints:      18969
161.86/162.54	c GLOBAL bounds - >= -5985 @ 158.043
165.25/165.96	c GLOBAL bounds - >= -5985 @ 161.4
169.54/170.25	c #Conflicts:      29000 | #Constraints:      19973
169.54/170.25	c INPROCESSING
169.54/170.25	c GARBAGE COLLECT
169.54/170.25	c GLOBAL bounds - >= -5985 @ 165.607
174.02/174.71	c GLOBAL bounds - >= -5985 @ 169.951
175.12/175.83	c #Conflicts:      30000 | #Constraints:      17388
175.12/175.83	c GLOBAL bounds - >= -5985 @ 171.046
176.33/177.01	c GLOBAL bounds - >= -5985 @ 172.197
180.80/181.55	c GLOBAL bounds - >= -5985 @ 176.66
182.00/182.72	c #Conflicts:      31000 | #Constraints:      18394
182.00/182.72	c GLOBAL bounds - >= -5985 @ 177.818
184.30/185.04	c GLOBAL bounds - >= -5985 @ 180.099
185.98/186.72	c GLOBAL bounds - >= -5985 @ 181.736
188.19/189.00	c #Conflicts:      32000 | #Constraints:      19400
188.19/189.00	c GLOBAL bounds - >= -5985 @ 183.966
204.25/205.10	c #Conflicts:      33000 | #Constraints:      20402
204.25/205.10	c INPROCESSING
204.25/205.10	c GARBAGE COLLECT
204.25/205.10	c #Conflicts:      34000 | #Constraints:      17607
204.25/205.10	c GLOBAL bounds - >= -5985 @ 199.736
215.40/216.25	c #Conflicts:      35000 | #Constraints:      18609
215.40/216.25	c #Conflicts:      36000 | #Constraints:      19609
215.40/216.25	c GLOBAL bounds - >= -5985 @ 210.741
218.20/219.10	c #Conflicts:      37000 | #Constraints:      20611
218.20/219.10	c INPROCESSING
218.20/219.10	c GARBAGE COLLECT
218.20/219.10	c GLOBAL bounds - >= -5985 @ 213.558
222.48/223.39	c #Conflicts:      38000 | #Constraints:      17621
222.48/223.39	c GLOBAL bounds - >= -5985 @ 217.742
228.86/229.79	c #Conflicts:      39000 | #Constraints:      18623
228.86/229.79	c GLOBAL bounds - >= -5985 @ 223.956
237.53/238.49	c #Conflicts:      40000 | #Constraints:      19625
237.53/238.49	c #Conflicts:      41000 | #Constraints:      20625
237.53/238.49	c GLOBAL bounds - >= -5985 @ 232.466
240.23/241.12	c INPROCESSING
240.23/241.12	c GARBAGE COLLECT
240.23/241.12	c GLOBAL bounds - >= -5985 @ 235.067
245.01/245.99	c #Conflicts:      42000 | #Constraints:      17430
245.01/245.99	c GLOBAL bounds - >= -5985 @ 239.861
245.90/246.87	c GLOBAL bounds - >= -5985 @ 240.727
246.70/247.64	c #Conflicts:      43000 | #Constraints:      18434
246.70/247.64	c GLOBAL bounds - >= -5985 @ 241.484
247.50/248.44	c GLOBAL bounds - >= -5985 @ 242.263
248.39/249.33	c GLOBAL bounds - >= -5985 @ 243.14
249.49/250.45	c GLOBAL bounds - >= -5985 @ 244.25
265.94/266.91	c #Conflicts:      44000 | #Constraints:      19442
265.94/266.91	c #Conflicts:      45000 | #Constraints:      20442
265.94/266.91	c #Conflicts:      46000 | #Constraints:      21442
265.94/266.91	c INPROCESSING
265.94/266.91	c GARBAGE COLLECT
265.94/266.91	c GLOBAL bounds - >= -5985 @ 260.274
277.51/278.55	c #Conflicts:      47000 | #Constraints:      18053
277.51/278.55	c #Conflicts:      48000 | #Constraints:      19053
277.51/278.55	c GLOBAL bounds - >= -5985 @ 271.693
278.30/279.37	c GLOBAL bounds - >= -5985 @ 272.505
280.90/282.00	c GLOBAL bounds - >= -5985 @ 275.087
281.89/282.93	c GLOBAL bounds - >= -5985 @ 276.009
283.39/284.47	c #Conflicts:      49000 | #Constraints:      20061
283.39/284.47	c GLOBAL bounds - >= -5985 @ 277.531
284.29/285.33	c GLOBAL bounds - >= -5985 @ 278.386
285.68/286.78	c GLOBAL bounds - >= -5985 @ 279.811
288.87/290.00	c GLOBAL bounds - >= -5985 @ 282.986
291.36/292.45	c #Conflicts:      50000 | #Constraints:      21069
291.36/292.45	c GLOBAL bounds - >= -5985 @ 285.407
292.16/293.24	c GLOBAL bounds - >= -5985 @ 286.194
293.46/294.57	c GLOBAL bounds - >= -5985 @ 287.502
294.25/295.32	c GLOBAL bounds - >= -5985 @ 288.235
299.64/300.77	c #Conflicts:      51000 | #Constraints:      22077
299.64/300.77	c INPROCESSING
299.64/300.77	c GARBAGE COLLECT
299.64/300.77	c GLOBAL bounds - >= -5985 @ 293.603
300.64/301.78	c GLOBAL bounds - >= -5985 @ 294.59
301.23/302.34	c GLOBAL bounds - >= -5985 @ 295.144
302.24/303.33	c GLOBAL bounds - >= -5985 @ 296.121
302.83/303.98	c GLOBAL bounds - >= -5985 @ 296.757
303.53/304.60	c GLOBAL bounds - >= -5985 @ 297.368
304.13/305.27	c GLOBAL bounds - >= -5985 @ 298.022
306.03/307.11	c #Conflicts:      52000 | #Constraints:      18487
306.03/307.11	c GLOBAL bounds - >= -5985 @ 299.834
310.61/311.76	c GLOBAL bounds - >= -5985 @ 304.401
312.60/313.78	c #Conflicts:      53000 | #Constraints:      19491
312.60/313.78	c GLOBAL bounds - >= -5985 @ 306.388
315.00/316.14	c GLOBAL bounds - >= -5985 @ 308.71
320.08/321.23	c #Conflicts:      54000 | #Constraints:      20495
320.08/321.23	c GLOBAL bounds - >= -5985 @ 313.73
323.76/324.94	c GLOBAL bounds - >= -5985 @ 317.39
325.16/326.38	c GLOBAL bounds - >= -5985 @ 318.795
327.06/328.23	c GLOBAL bounds - >= -5985 @ 320.616
328.25/329.49	c #Conflicts:      55000 | #Constraints:      21503
328.25/329.49	c GLOBAL bounds - >= -5985 @ 321.865
330.04/331.25	c GLOBAL bounds - >= -5985 @ 323.565
331.74/332.98	c GLOBAL bounds - >= -5985 @ 325.273
332.64/333.86	c GLOBAL bounds - >= -5985 @ 326.133
333.74/335.00	c GLOBAL bounds - >= -5985 @ 327.255
334.53/335.79	c GLOBAL bounds - >= -5985 @ 328.024
335.62/336.80	c GLOBAL bounds - >= -5985 @ 329.019
340.41/341.65	c #Conflicts:      56000 | #Constraints:      22517
340.41/341.65	c INPROCESSING
340.41/341.65	c GARBAGE COLLECT
340.41/341.65	c GLOBAL bounds - >= -5985 @ 333.807
340.71/342.01	c GLOBAL bounds - >= -5985 @ 334.159
342.21/343.43	c GLOBAL bounds - >= -5985 @ 335.577
342.70/343.98	c GLOBAL bounds - >= -5985 @ 336.114
343.60/344.87	c GLOBAL bounds - >= -5985 @ 336.992
344.50/345.76	c GLOBAL bounds - >= -5985 @ 337.868
345.30/346.56	c GLOBAL bounds - >= -5985 @ 338.647
346.29/347.54	c #Conflicts:      57000 | #Constraints:      18724
346.29/347.54	c GLOBAL bounds - >= -5985 @ 339.613
346.81/348.07	c GLOBAL bounds - >= -5985 @ 340.145
347.69/348.90	c GLOBAL bounds - >= -5985 @ 340.953
348.39/349.67	c GLOBAL bounds - >= -5985 @ 341.718
349.49/350.77	c GLOBAL bounds - >= -5985 @ 342.797
350.08/351.32	c GLOBAL bounds - >= -5985 @ 343.346
351.08/352.30	c GLOBAL bounds - >= -5985 @ 344.325
351.58/352.84	c GLOBAL bounds - >= -5985 @ 344.856
353.98/355.22	c GLOBAL bounds - >= -5985 @ 347.202
355.07/356.33	c GLOBAL bounds - >= -5985 @ 348.289
357.56/358.84	c #Conflicts:      58000 | #Constraints:      19744
357.56/358.84	c GLOBAL bounds - >= -5985 @ 350.769
358.16/359.44	c GLOBAL bounds - >= -5985 @ 351.364
358.95/360.22	c GLOBAL bounds - >= -5985 @ 352.121
372.21/373.57	c #Conflicts:      59000 | #Constraints:      20750
372.21/373.57	c #Conflicts:      60000 | #Constraints:      21750
372.21/373.57	c #Conflicts:      61000 | #Constraints:      22750
372.21/373.57	c GLOBAL bounds - >= -5985 @ 365.103
373.02/374.32	c GLOBAL bounds - >= -5985 @ 365.843
376.11/377.48	c INPROCESSING
376.11/377.48	c GARBAGE COLLECT
376.11/377.48	c GLOBAL bounds - >= -5985 @ 368.95
379.70/381.01	c #Conflicts:      62000 | #Constraints:      18745
379.70/381.01	c GLOBAL bounds - >= -5985 @ 372.407
408.80/410.26	c #Conflicts:      63000 | #Constraints:      19747
408.80/410.26	c #Conflicts:      64000 | #Constraints:      20747
408.80/410.26	c #Conflicts:      65000 | #Constraints:      21747
408.80/410.26	c #Conflicts:      66000 | #Constraints:      22747
408.80/410.26	c INPROCESSING
408.80/410.26	c GARBAGE COLLECT
408.80/410.26	c GLOBAL bounds - >= -5985 @ 401.147
409.61/411.10	c GLOBAL bounds - >= -5985 @ 401.963
412.49/413.93	c #Conflicts:      67000 | #Constraints:      18554
412.49/413.93	c GLOBAL bounds - >= -5985 @ 404.756
416.60/418.10	c GLOBAL bounds - >= -5985 @ 408.837
417.97/419.48	c #Conflicts:      68000 | #Constraints:      19558
417.97/419.48	c GLOBAL bounds - >= -5985 @ 410.19
420.86/422.39	c GLOBAL bounds - >= -5985 @ 413.049
425.45/426.97	c #Conflicts:      69000 | #Constraints:      20562
425.45/426.97	c GLOBAL bounds - >= -5985 @ 417.562
426.85/428.36	c GLOBAL bounds - >= -5985 @ 418.939
428.04/429.56	c GLOBAL bounds - >= -5985 @ 420.124
429.94/431.46	c GLOBAL bounds - >= -5985 @ 422.007
436.82/438.30	c #Conflicts:      70000 | #Constraints:      21570
436.82/438.30	c GLOBAL bounds - >= -5985 @ 428.726
447.50/449.11	c #Conflicts:      71000 | #Constraints:      22572
447.50/449.11	c #Conflicts:      72000 | #Constraints:      23572
447.50/449.11	c INPROCESSING
447.50/449.11	c GARBAGE COLLECT
447.50/449.11	c GLOBAL bounds - >= -5985 @ 439.268
452.58/454.19	c #Conflicts:      73000 | #Constraints:      19183
452.58/454.19	c GLOBAL bounds - >= -5985 @ 444.245
456.06/457.67	c GLOBAL bounds - >= -5985 @ 447.679
457.65/459.29	c GLOBAL bounds - >= -5985 @ 449.268
459.74/461.36	c #Conflicts:      74000 | #Constraints:      20189
459.74/461.36	c GLOBAL bounds - >= -5985 @ 451.32
460.85/462.46	c GLOBAL bounds - >= -5985 @ 452.4
477.69/479.36	c #Conflicts:      75000 | #Constraints:      21193
477.69/479.36	c #Conflicts:      76000 | #Constraints:      22193
477.69/479.36	c GLOBAL bounds - >= -5985 @ 469
478.29/479.93	c GLOBAL bounds - >= -5985 @ 469.561
484.17/485.81	c #Conflicts:      77000 | #Constraints:      23197
484.17/485.81	c GLOBAL bounds - >= -5985 @ 475.357
492.64/494.32	c #Conflicts:      78000 | #Constraints:      24199
492.64/494.32	c INPROCESSING
492.64/494.32	c GARBAGE COLLECT
492.64/494.32	c GLOBAL bounds - >= -5985 @ 483.714
497.83/499.58	c #Conflicts:      79000 | #Constraints:      19602
497.83/499.58	c GLOBAL bounds - >= -5985 @ 488.901
512.18/513.97	c #Conflicts:      80000 | #Constraints:      20604
512.18/513.97	c #Conflicts:      81000 | #Constraints:      21604
512.18/513.97	c GLOBAL bounds - >= -5985 @ 503.11
515.97/517.76	c GLOBAL bounds - >= -5985 @ 506.839
531.23/533.05	c #Conflicts:      82000 | #Constraints:      22608
531.23/533.05	c #Conflicts:      83000 | #Constraints:      23608
531.23/533.05	c #Conflicts:      84000 | #Constraints:      24608
531.23/533.05	c INPROCESSING
531.23/533.05	c GARBAGE COLLECT
531.23/533.05	c GLOBAL bounds - >= -5985 @ 521.642
554.44/556.30	c #Conflicts:      85000 | #Constraints:      19816
554.44/556.30	c #Conflicts:      86000 | #Constraints:      20816
554.44/556.30	c #Conflicts:      87000 | #Constraints:      21816
554.44/556.30	c #Conflicts:      88000 | #Constraints:      22816
554.44/556.30	c GLOBAL bounds - >= -5985 @ 544.531
611.27/613.34	c #Conflicts:      89000 | #Constraints:      23818
611.27/613.34	c #Conflicts:      90000 | #Constraints:      24818
611.27/613.34	c INPROCESSING
611.27/613.34	c GARBAGE COLLECT
611.27/613.34	c #Conflicts:      91000 | #Constraints:      19830
611.27/613.34	c #Conflicts:      92000 | #Constraints:      20830
611.27/613.34	c #Conflicts:      93000 | #Constraints:      21830
611.27/613.34	c #Conflicts:      94000 | #Constraints:      22830
611.27/613.34	c #Conflicts:      95000 | #Constraints:      23830
611.27/613.34	c #Conflicts:      96000 | #Constraints:      24830
611.27/613.34	c INPROCESSING
611.27/613.34	c GARBAGE COLLECT
611.27/613.34	c #Conflicts:      97000 | #Constraints:      19632
611.27/613.34	c GLOBAL bounds - >= -5985 @ 600.624
631.11/633.28	c #Conflicts:      98000 | #Constraints:      20634
631.11/633.28	c #Conflicts:      99000 | #Constraints:      21634
631.11/633.28	c #Conflicts:     100000 | #Constraints:      22634
631.11/633.28	c GLOBAL bounds - >= -5985 @ 620.279
669.99/672.26	c #Conflicts:     101000 | #Constraints:      23636
669.99/672.26	c #Conflicts:     102000 | #Constraints:      24636
669.99/672.26	c #Conflicts:     103000 | #Constraints:      25636
669.99/672.26	c INPROCESSING
669.99/672.26	c GARBAGE COLLECT
669.99/672.26	c #Conflicts:     104000 | #Constraints:      20232
669.99/672.26	c #Conflicts:     105000 | #Constraints:      21232
669.99/672.26	c #Conflicts:     106000 | #Constraints:      22232
669.99/672.26	c GLOBAL bounds - >= -5985 @ 658.581
671.58/673.83	c GLOBAL bounds - >= -5985 @ 660.133
689.43/691.70	c #Conflicts:     107000 | #Constraints:      23236
689.43/691.70	c #Conflicts:     108000 | #Constraints:      24236
689.43/691.70	c GLOBAL bounds - >= -5985 @ 677.745
712.36/714.71	c #Conflicts:     109000 | #Constraints:      25238
712.36/714.71	c #Conflicts:     110000 | #Constraints:      26238
712.36/714.71	c INPROCESSING
712.36/714.71	c GARBAGE COLLECT
712.36/714.71	c #Conflicts:     111000 | #Constraints:      20634
712.36/714.71	c GLOBAL bounds - >= -5985 @ 700.44
724.82/727.28	c #Conflicts:     112000 | #Constraints:      21636
724.82/727.28	c GLOBAL bounds - >= -5985 @ 712.861
806.06/808.79	c #Conflicts:     113000 | #Constraints:      22638
806.06/808.79	c #Conflicts:     114000 | #Constraints:      23638
806.06/808.79	c #Conflicts:     115000 | #Constraints:      24638
806.06/808.79	c #Conflicts:     116000 | #Constraints:      25638
806.06/808.79	c #Conflicts:     117000 | #Constraints:      26638
806.06/808.79	c INPROCESSING
806.06/808.79	c GARBAGE COLLECT
806.06/808.79	c #Conflicts:     118000 | #Constraints:      20841
806.06/808.79	c #Conflicts:     119000 | #Constraints:      21841
806.06/808.79	c #Conflicts:     120000 | #Constraints:      22841
806.06/808.79	c #Conflicts:     121000 | #Constraints:      23841
806.06/808.79	c #Conflicts:     122000 | #Constraints:      24841
806.06/808.79	c GLOBAL bounds - >= -5985 @ 793.102
828.19/830.90	c #Conflicts:     123000 | #Constraints:      25843
828.19/830.90	c #Conflicts:     124000 | #Constraints:      26843
828.19/830.90	c INPROCESSING
828.19/830.90	c GARBAGE COLLECT
828.19/830.90	c GLOBAL bounds - >= -5985 @ 814.964
841.45/844.29	c #Conflicts:     125000 | #Constraints:      20846
841.45/844.29	c GLOBAL bounds - >= -5985 @ 828.19
875.05/877.96	c #Conflicts:     126000 | #Constraints:      21848
875.05/877.96	c #Conflicts:     127000 | #Constraints:      22848
875.05/877.96	c #Conflicts:     128000 | #Constraints:      23848
875.05/877.96	c #Conflicts:     129000 | #Constraints:      24848
875.05/877.96	c #Conflicts:     130000 | #Constraints:      25848
875.05/877.96	c GLOBAL bounds - >= -5985 @ 861.286
915.43/918.48	c #Conflicts:     131000 | #Constraints:      26850
915.43/918.48	c INPROCESSING
915.43/918.48	c GARBAGE COLLECT
915.43/918.48	c #Conflicts:     132000 | #Constraints:      20648
915.43/918.48	c #Conflicts:     133000 | #Constraints:      21648
915.43/918.48	c #Conflicts:     134000 | #Constraints:      22648
915.43/918.48	c GLOBAL bounds - >= -5985 @ 901.298
987.20/990.41	c #Conflicts:     135000 | #Constraints:      23650
987.20/990.41	c #Conflicts:     136000 | #Constraints:      24650
987.20/990.41	c #Conflicts:     137000 | #Constraints:      25650
987.20/990.41	c #Conflicts:     138000 | #Constraints:      26650
987.20/990.41	c #Conflicts:     139000 | #Constraints:      27650
987.20/990.41	c INPROCESSING
987.20/990.41	c GARBAGE COLLECT
987.20/990.41	c #Conflicts:     140000 | #Constraints:      21267
987.20/990.41	c #Conflicts:     141000 | #Constraints:      22267
987.20/990.41	c #Conflicts:     142000 | #Constraints:      23267
987.20/990.41	c #Conflicts:     143000 | #Constraints:      24267
987.20/990.41	c #Conflicts:     144000 | #Constraints:      25267
987.20/990.41	c #Conflicts:     145000 | #Constraints:      26267
987.20/990.41	c #Conflicts:     146000 | #Constraints:      27267
987.20/990.41	c #Conflicts:     147000 | #Constraints:      28267
987.20/990.41	c INPROCESSING
987.20/990.41	c GARBAGE COLLECT
987.20/990.41	c GLOBAL bounds - >= -5985 @ 971.886
1002.77/1006.03	c #Conflicts:     148000 | #Constraints:      21682
1002.77/1006.03	c #Conflicts:     149000 | #Constraints:      22682
1002.77/1006.03	c GLOBAL bounds - >= -5985 @ 987.328
1006.64/1009.95	c GLOBAL bounds - >= -5985 @ 991.212
1017.11/1020.48	c #Conflicts:     150000 | #Constraints:      23686
1017.11/1020.48	c #Conflicts:     151000 | #Constraints:      24686
1017.11/1020.48	c GLOBAL bounds - >= -5985 @ 1001.55
1031.07/1034.40	c #Conflicts:     152000 | #Constraints:      25688
1031.07/1034.40	c GLOBAL bounds - >= -5985 @ 1015.31
1067.86/1071.33	c #Conflicts:     153000 | #Constraints:      26690
1067.86/1071.33	c #Conflicts:     154000 | #Constraints:      27690
1067.86/1071.33	c #Conflicts:     155000 | #Constraints:      28690
1067.86/1071.33	c INPROCESSING
1067.86/1071.33	c GARBAGE COLLECT
1067.86/1071.33	c #Conflicts:     156000 | #Constraints:      21882
1067.86/1071.33	c #Conflicts:     157000 | #Constraints:      22882
1067.86/1071.33	c GLOBAL bounds - >= -5985 @ 1051.61
1074.73/1078.20	c GLOBAL bounds - >= -5985 @ 1058.39
1078.22/1081.70	c #Conflicts:     158000 | #Constraints:      23886
1078.22/1081.70	c GLOBAL bounds - >= -5985 @ 1061.86
1081.52/1085.08	c GLOBAL bounds - >= -5985 @ 1065.21
1083.21/1086.74	c GLOBAL bounds - >= -5985 @ 1066.86
1085.29/1088.80	c #Conflicts:     159000 | #Constraints:      24892
1085.29/1088.80	c GLOBAL bounds - >= -5985 @ 1068.89
1088.50/1092.10	c GLOBAL bounds - >= -5985 @ 1072.15
1096.48/1100.09	c #Conflicts:     160000 | #Constraints:      25896
1096.48/1100.09	c GLOBAL bounds - >= -5985 @ 1080.03
1106.04/1109.61	c GLOBAL bounds - >= -5985 @ 1089.42
1108.13/1111.75	c #Conflicts:     161000 | #Constraints:      26900
1108.13/1111.75	c GLOBAL bounds - >= -5985 @ 1091.55
1109.33/1112.95	c GLOBAL bounds - >= -5985 @ 1092.74
1110.54/1114.13	c GLOBAL bounds - >= -5985 @ 1093.9
1113.42/1117.02	c GLOBAL bounds - >= -5985 @ 1096.76
1114.61/1118.20	c GLOBAL bounds - >= -5985 @ 1097.93
1116.20/1119.82	c GLOBAL bounds - >= -5985 @ 1099.54
1128.38/1132.04	c #Conflicts:     162000 | #Constraints:      27912
1128.38/1132.04	c #Conflicts:     163000 | #Constraints:      28912
1128.38/1132.04	c INPROCESSING
1128.38/1132.04	c GARBAGE COLLECT
1128.38/1132.04	c GLOBAL bounds - >= -5985 @ 1111.55
1129.56/1133.20	c GLOBAL bounds - >= -5985 @ 1112.7
1130.86/1134.52	c GLOBAL bounds - >= -5985 @ 1114
1132.47/1136.19	c #Conflicts:     164000 | #Constraints:      21909
1132.47/1136.19	c GLOBAL bounds - >= -5985 @ 1115.63
1155.08/1158.81	c #Conflicts:     165000 | #Constraints:      22911
1155.08/1158.81	c #Conflicts:     166000 | #Constraints:      23911
1155.08/1158.81	c #Conflicts:     167000 | #Constraints:      24911
1155.08/1158.81	c GLOBAL bounds - >= -5985 @ 1137.84
1165.06/1168.83	c #Conflicts:     168000 | #Constraints:      25913
1165.06/1168.83	c GLOBAL bounds - >= -5985 @ 1147.75
1175.52/1179.31	c #Conflicts:     169000 | #Constraints:      26915
1175.52/1179.31	c GLOBAL bounds - >= -5985 @ 1158.11
1184.10/1187.98	c #Conflicts:     170000 | #Constraints:      27917
1184.10/1187.98	c GLOBAL bounds - >= -5985 @ 1166.68
1196.85/1200.76	c #Conflicts:     171000 | #Constraints:      28919
1196.85/1200.76	c INPROCESSING
1196.85/1200.76	c GARBAGE COLLECT
1196.85/1200.76	c GLOBAL bounds - >= -5985 @ 1179.33
1200.54/1204.41	c GLOBAL bounds - >= -5985 @ 1182.94
1207.43/1211.40	c #Conflicts:     172000 | #Constraints:      21726
1207.43/1211.40	c GLOBAL bounds - >= -5985 @ 1189.81
1209.13/1213.04	c #Conflicts:     173000 | #Constraints:      22728
1209.13/1213.04	c GLOBAL bounds - >= -5985 @ 1191.44
1212.12/1216.06	c GLOBAL bounds - >= -5985 @ 1194.41
1235.73/1239.76	c #Conflicts:     174000 | #Constraints:      23732
1235.73/1239.76	c #Conflicts:     175000 | #Constraints:      24732
1235.73/1239.76	c #Conflicts:     176000 | #Constraints:      25732
1235.73/1239.76	c GLOBAL bounds - >= -5985 @ 1217.73
1243.03/1247.08	c #Conflicts:     177000 | #Constraints:      26734
1243.03/1247.08	c GLOBAL bounds - >= -5985 @ 1224.96
1252.28/1256.38	c #Conflicts:     178000 | #Constraints:      27736
1252.28/1256.38	c GLOBAL bounds - >= -5985 @ 1234.12
1268.83/1272.98	c #Conflicts:     179000 | #Constraints:      28738
1268.83/1272.98	c GLOBAL bounds - >= -5985 @ 1250.48
1284.68/1288.87	c #Conflicts:     180000 | #Constraints:      29740
1284.68/1288.87	c INPROCESSING
1284.68/1288.87	c GARBAGE COLLECT
1284.68/1288.87	c #Conflicts:     181000 | #Constraints:      22332
1284.68/1288.87	c GLOBAL bounds - >= -5985 @ 1266.16
1288.57/1292.71	c #Conflicts:     182000 | #Constraints:      23334
1288.57/1292.71	c GLOBAL bounds - >= -5985 @ 1269.95
1291.16/1295.37	c GLOBAL bounds - >= -5985 @ 1272.58
1315.18/1319.49	c #Conflicts:     183000 | #Constraints:      24338
1315.18/1319.49	c #Conflicts:     184000 | #Constraints:      25338
1315.18/1319.49	c #Conflicts:     185000 | #Constraints:      26338
1315.18/1319.49	c #Conflicts:     186000 | #Constraints:      27338
1315.18/1319.49	c GLOBAL bounds - >= -5985 @ 1296.31
1331.53/1335.81	c #Conflicts:     187000 | #Constraints:      28340
1331.53/1335.81	c #Conflicts:     188000 | #Constraints:      29340
1331.53/1335.81	c #Conflicts:     189000 | #Constraints:      30340
1331.53/1335.81	c INPROCESSING
1331.53/1335.81	c GARBAGE COLLECT
1331.53/1335.81	c GLOBAL bounds - >= -5985 @ 1312.46
1333.22/1337.58	c GLOBAL bounds - >= -5985 @ 1314.21
1348.28/1352.61	c #Conflicts:     190000 | #Constraints:      22771
1348.28/1352.61	c #Conflicts:     191000 | #Constraints:      23771
1348.28/1352.61	c GLOBAL bounds - >= -5985 @ 1329.07
1363.74/1368.16	c #Conflicts:     192000 | #Constraints:      24773
1363.74/1368.16	c #Conflicts:     193000 | #Constraints:      25773
1363.74/1368.16	c #Conflicts:     194000 | #Constraints:      26773
1363.74/1368.16	c GLOBAL bounds - >= -5985 @ 1344.43
1386.76/1391.29	c #Conflicts:     195000 | #Constraints:      27775
1386.76/1391.29	c #Conflicts:     196000 | #Constraints:      28775
1386.76/1391.29	c #Conflicts:     197000 | #Constraints:      29775
1386.76/1391.29	c #Conflicts:     198000 | #Constraints:      30775
1386.76/1391.29	c INPROCESSING
1386.76/1391.29	c GARBAGE COLLECT
1386.76/1391.29	c GLOBAL bounds - >= -5985 @ 1367.24
1429.22/1433.89	c #Conflicts:     199000 | #Constraints:      22974
1429.22/1433.89	c #Conflicts:     200000 | #Constraints:      23974
1429.22/1433.89	c #Conflicts:     201000 | #Constraints:      24974
1429.22/1433.89	c #Conflicts:     202000 | #Constraints:      25974
1429.22/1433.89	c #Conflicts:     203000 | #Constraints:      26974
1429.22/1433.89	c #Conflicts:     204000 | #Constraints:      27974
1429.22/1433.89	c #Conflicts:     205000 | #Constraints:      28974
1429.22/1433.89	c #Conflicts:     206000 | #Constraints:      29974
1429.22/1433.89	c GLOBAL bounds - >= -5985 @ 1408.91
1451.95/1456.63	c #Conflicts:     207000 | #Constraints:      30976
1451.95/1456.63	c INPROCESSING
1451.95/1456.63	c GARBAGE COLLECT
1451.95/1456.63	c #Conflicts:     208000 | #Constraints:      22993
1451.95/1456.63	c #Conflicts:     209000 | #Constraints:      23993
1451.95/1456.63	c #Conflicts:     210000 | #Constraints:      24993
1451.95/1456.63	c GLOBAL bounds - >= -5985 @ 1431.25
1515.36/1520.22	c #Conflicts:     211000 | #Constraints:      25995
1515.36/1520.22	c #Conflicts:     212000 | #Constraints:      26995
1515.36/1520.22	c #Conflicts:     213000 | #Constraints:      27995
1515.36/1520.22	c #Conflicts:     214000 | #Constraints:      28995
1515.36/1520.22	c #Conflicts:     215000 | #Constraints:      29995
1515.36/1520.22	c #Conflicts:     216000 | #Constraints:      30995
1515.36/1520.22	c INPROCESSING
1515.36/1520.22	c GARBAGE COLLECT
1515.36/1520.22	c #Conflicts:     217000 | #Constraints:      22811
1515.36/1520.22	c #Conflicts:     218000 | #Constraints:      23811
1515.36/1520.22	c #Conflicts:     219000 | #Constraints:      24811
1515.36/1520.22	c #Conflicts:     220000 | #Constraints:      25811
1515.36/1520.22	c #Conflicts:     221000 | #Constraints:      26811
1515.36/1520.22	c #Conflicts:     222000 | #Constraints:      27811
1515.36/1520.22	c GLOBAL bounds - >= -5985 @ 1493.37
1531.70/1536.68	c #Conflicts:     223000 | #Constraints:      28813
1531.70/1536.68	c #Conflicts:     224000 | #Constraints:      29813
1531.70/1536.68	c GLOBAL bounds - >= -5985 @ 1509.63
1550.94/1555.98	c #Conflicts:     225000 | #Constraints:      30815
1550.94/1555.98	c #Conflicts:     226000 | #Constraints:      31815
1550.94/1555.98	c INPROCESSING
1550.94/1555.98	c GARBAGE COLLECT
1550.94/1555.98	c #Conflicts:     227000 | #Constraints:      23424
1550.94/1555.98	c GLOBAL bounds - >= -5985 @ 1528.67
1575.46/1580.59	c #Conflicts:     228000 | #Constraints:      24426
1575.46/1580.59	c #Conflicts:     229000 | #Constraints:      25426
1575.46/1580.59	c #Conflicts:     230000 | #Constraints:      26426
1575.46/1580.59	c #Conflicts:     231000 | #Constraints:      27426
1575.46/1580.59	c GLOBAL bounds - >= -5985 @ 1552.86
1594.91/1600.10	c #Conflicts:     232000 | #Constraints:      28428
1594.91/1600.10	c GLOBAL bounds - >= -5985 @ 1572.15
1617.13/1622.33	c #Conflicts:     233000 | #Constraints:      29430
1617.13/1622.33	c #Conflicts:     234000 | #Constraints:      30430
1617.13/1622.33	c #Conflicts:     235000 | #Constraints:      31430
1617.13/1622.33	c GLOBAL bounds - >= -5985 @ 1594.11
1624.82/1630.06	c GLOBAL bounds - >= -5985 @ 1601.78
1633.89/1639.18	c #Conflicts:     236000 | #Constraints:      32434
1633.89/1639.18	c INPROCESSING
1633.89/1639.18	c GARBAGE COLLECT
1633.89/1639.18	c GLOBAL bounds - >= -5985 @ 1610.81
1634.48/1639.80	c GLOBAL bounds - >= -5985 @ 1611.42
1658.11/1663.43	c #Conflicts:     237000 | #Constraints:      23825
1658.11/1663.43	c #Conflicts:     238000 | #Constraints:      24825
1658.11/1663.43	c #Conflicts:     239000 | #Constraints:      25825
1658.11/1663.43	c GLOBAL bounds - >= -5985 @ 1634.71
1675.15/1680.58	c #Conflicts:     240000 | #Constraints:      26827
1675.15/1680.58	c #Conflicts:     241000 | #Constraints:      27827
1675.15/1680.58	c GLOBAL bounds - >= -5985 @ 1651.62
1676.45/1681.84	c GLOBAL bounds - >= -5985 @ 1652.86
1687.12/1692.51	c #Conflicts:     242000 | #Constraints:      28831
1687.12/1692.51	c GLOBAL bounds - >= -5985 @ 1663.43
1691.71/1697.15	c #Conflicts:     243000 | #Constraints:      29833
1691.71/1697.15	c GLOBAL bounds - >= -5985 @ 1668.02
1697.18/1702.69	c GLOBAL bounds - >= -5985 @ 1673.5
1704.86/1710.32	c #Conflicts:     244000 | #Constraints:      30837
1704.86/1710.32	c GLOBAL bounds - >= -5985 @ 1681.06
1714.73/1720.23	c GLOBAL bounds - >= -5985 @ 1690.87
1732.78/1738.32	c #Conflicts:     245000 | #Constraints:      31841
1732.78/1738.32	c #Conflicts:     246000 | #Constraints:      32841
1732.78/1738.32	c INPROCESSING
1732.78/1738.32	c GARBAGE COLLECT
1732.78/1738.32	c GLOBAL bounds - >= -5985 @ 1708.75
1870.44/1876.49	c #Conflicts:     247000 | #Constraints:      24039
1870.44/1876.49	c #Conflicts:     248000 | #Constraints:      25039
1870.44/1876.49	c #Conflicts:     249000 | #Constraints:      26039
1870.44/1876.49	c #Conflicts:     250000 | #Constraints:      27039
1870.44/1876.49	c #Conflicts:     251000 | #Constraints:      28039
1870.44/1876.49	c #Conflicts:     252000 | #Constraints:      29039
1870.44/1876.49	c #Conflicts:     253000 | #Constraints:      30039
1870.44/1876.49	c #Conflicts:     254000 | #Constraints:      31039
1870.44/1876.49	c #Conflicts:     255000 | #Constraints:      32039
1870.44/1876.49	c #Conflicts:     256000 | #Constraints:      33039
1870.44/1876.49	c INPROCESSING
1870.44/1876.49	c GARBAGE COLLECT
1870.44/1876.49	c #Conflicts:     257000 | #Constraints:      24039
1870.44/1876.49	c #Conflicts:     258000 | #Constraints:      25039
1870.44/1876.49	c #Conflicts:     259000 | #Constraints:      26039
1870.44/1876.49	c #Conflicts:     260000 | #Constraints:      27039
1870.44/1876.49	c GLOBAL bounds - >= -5985 @ 1845.37
1899.86/1905.96	c #Conflicts:     261000 | #Constraints:      28041
1899.86/1905.96	c #Conflicts:     262000 | #Constraints:      29041
1899.86/1905.96	c #Conflicts:     263000 | #Constraints:      30041
1899.86/1905.96	c GLOBAL bounds - >= -5985 @ 1874.55
1910.93/1917.10	c GLOBAL bounds - >= -5985 @ 1885.61
1926.77/1932.91	c #Conflicts:     264000 | #Constraints:      31045
1926.77/1932.91	c #Conflicts:     265000 | #Constraints:      32045
1926.77/1932.91	c GLOBAL bounds - >= -5985 @ 1901.25
1935.64/1941.81	c #Conflicts:     266000 | #Constraints:      33047
1935.64/1941.81	c GLOBAL bounds - >= -5985 @ 1910.02
1959.18/1965.46	c INPROCESSING
1959.18/1965.46	c GARBAGE COLLECT
1959.18/1965.46	c #Conflicts:     267000 | #Constraints:      23846
1959.18/1965.46	c #Conflicts:     268000 | #Constraints:      24846
1959.18/1965.46	c #Conflicts:     269000 | #Constraints:      25846
1959.18/1965.46	c #Conflicts:     270000 | #Constraints:      26846
1959.18/1965.46	c GLOBAL bounds - >= -5985 @ 1933.31
1980.91/1987.27	c #Conflicts:     271000 | #Constraints:      27848
1980.91/1987.27	c #Conflicts:     272000 | #Constraints:      28848
1980.91/1987.27	c #Conflicts:     273000 | #Constraints:      29848
1980.91/1987.27	c GLOBAL bounds - >= -5985 @ 1954.9
2027.26/2033.77	c #Conflicts:     274000 | #Constraints:      30850
2027.26/2033.77	c #Conflicts:     275000 | #Constraints:      31850
2027.26/2033.77	c #Conflicts:     276000 | #Constraints:      32850
2027.26/2033.77	c #Conflicts:     277000 | #Constraints:      33850
2027.26/2033.77	c INPROCESSING
2027.26/2033.77	c GARBAGE COLLECT
2027.26/2033.77	c GLOBAL bounds - >= -5985 @ 2000.85
2033.84/2040.38	c #Conflicts:     278000 | #Constraints:      24475
2033.84/2040.38	c GLOBAL bounds - >= -5985 @ 2007.38
2108.50/2115.22	c #Conflicts:     279000 | #Constraints:      25477
2108.50/2115.22	c #Conflicts:     280000 | #Constraints:      26477
2108.50/2115.22	c #Conflicts:     281000 | #Constraints:      27477
2108.50/2115.22	c #Conflicts:     282000 | #Constraints:      28477
2108.50/2115.22	c #Conflicts:     283000 | #Constraints:      29477
2108.50/2115.22	c #Conflicts:     284000 | #Constraints:      30477
2108.50/2115.22	c GLOBAL bounds - >= -5985 @ 2081.53
2129.04/2135.86	c #Conflicts:     285000 | #Constraints:      31479
2129.04/2135.86	c #Conflicts:     286000 | #Constraints:      32479
2129.04/2135.86	c GLOBAL bounds - >= -5985 @ 2101.99
2135.52/2142.39	c #Conflicts:     287000 | #Constraints:      33481
2135.52/2142.39	c GLOBAL bounds - >= -5985 @ 2108.46
2161.54/2168.45	c #Conflicts:     288000 | #Constraints:      34483
2161.54/2168.45	c INPROCESSING
2161.54/2168.45	c GARBAGE COLLECT
2161.54/2168.45	c #Conflicts:     289000 | #Constraints:      24890
2161.54/2168.45	c GLOBAL bounds - >= -5985 @ 2134.14
2179.48/2186.40	c #Conflicts:     290000 | #Constraints:      25892
2179.48/2186.40	c #Conflicts:     291000 | #Constraints:      26892
2179.48/2186.40	c GLOBAL bounds - >= -5985 @ 2151.92
2192.53/2199.51	c #Conflicts:     292000 | #Constraints:      27894
2192.53/2199.51	c #Conflicts:     293000 | #Constraints:      28894
2192.53/2199.51	c GLOBAL bounds - >= -5985 @ 2164.87
2206.89/2213.92	c #Conflicts:     294000 | #Constraints:      29896
2206.89/2213.92	c #Conflicts:     295000 | #Constraints:      30896
2206.89/2213.92	c GLOBAL bounds - >= -5985 @ 2179.15
2271.58/2278.81	c #Conflicts:     296000 | #Constraints:      31898
2271.58/2278.81	c #Conflicts:     297000 | #Constraints:      32898
2271.58/2278.81	c #Conflicts:     298000 | #Constraints:      33898
2271.58/2278.81	c #Conflicts:     299000 | #Constraints:      34898
2271.58/2278.81	c INPROCESSING
2271.58/2278.81	c GARBAGE COLLECT
2271.58/2278.81	c #Conflicts:     300000 | #Constraints:      25107
2271.58/2278.81	c GLOBAL bounds - >= -5985 @ 2243.39
2291.12/2298.42	c #Conflicts:     301000 | #Constraints:      26109
2291.12/2298.42	c #Conflicts:     302000 | #Constraints:      27109
2291.12/2298.42	c #Conflicts:     303000 | #Constraints:      28109
2291.12/2298.42	c GLOBAL bounds - >= -5985 @ 2262.76
2300.70/2308.01	c #Conflicts:     304000 | #Constraints:      29111
2300.70/2308.01	c GLOBAL bounds - >= -5985 @ 2272.27
2364.69/2372.24	c #Conflicts:     305000 | #Constraints:      30113
2364.69/2372.24	c #Conflicts:     306000 | #Constraints:      31113
2364.69/2372.24	c #Conflicts:     307000 | #Constraints:      32113
2364.69/2372.24	c #Conflicts:     308000 | #Constraints:      33113
2364.69/2372.24	c GLOBAL bounds - >= -5985 @ 2335.99
2372.06/2379.66	c #Conflicts:     309000 | #Constraints:      34115
2372.06/2379.66	c GLOBAL bounds - >= -5985 @ 2343.33
2396.88/2404.55	c #Conflicts:     310000 | #Constraints:      35117
2396.88/2404.55	c INPROCESSING
2396.88/2404.55	c GARBAGE COLLECT
2396.88/2404.55	c #Conflicts:     311000 | #Constraints:      25118
2396.88/2404.55	c #Conflicts:     312000 | #Constraints:      26118
2396.88/2404.55	c GLOBAL bounds - >= -5985 @ 2367.94
2479.14/2487.06	c #Conflicts:     313000 | #Constraints:      27120
2479.14/2487.06	c #Conflicts:     314000 | #Constraints:      28120
2479.14/2487.06	c #Conflicts:     315000 | #Constraints:      29120
2479.14/2487.06	c #Conflicts:     316000 | #Constraints:      30120
2479.14/2487.06	c #Conflicts:     317000 | #Constraints:      31120
2479.14/2487.06	c #Conflicts:     318000 | #Constraints:      32120
2479.14/2487.06	c #Conflicts:     319000 | #Constraints:      33120
2479.14/2487.06	c #Conflicts:     320000 | #Constraints:      34120
2479.14/2487.06	c #Conflicts:     321000 | #Constraints:      35120
2479.14/2487.06	c INPROCESSING
2479.14/2487.06	c GARBAGE COLLECT
2479.14/2487.06	c #Conflicts:     322000 | #Constraints:      24928
2479.14/2487.06	c GLOBAL bounds - >= -5985 @ 2449.44
2556.77/2564.97	c #Conflicts:     323000 | #Constraints:      25930
2556.77/2564.97	c #Conflicts:     324000 | #Constraints:      26930
2556.77/2564.97	c #Conflicts:     325000 | #Constraints:      27930
2556.77/2564.97	c #Conflicts:     326000 | #Constraints:      28930
2556.77/2564.97	c #Conflicts:     327000 | #Constraints:      29930
2556.77/2564.97	c #Conflicts:     328000 | #Constraints:      30930
2556.77/2564.97	c #Conflicts:     329000 | #Constraints:      31930
2556.77/2564.97	c #Conflicts:     330000 | #Constraints:      32930
2556.77/2564.97	c #Conflicts:     331000 | #Constraints:      33930
2556.77/2564.97	c #Conflicts:     332000 | #Constraints:      34930
2556.77/2564.97	c #Conflicts:     333000 | #Constraints:      35930
2556.77/2564.97	c INPROCESSING
2556.77/2564.97	c GARBAGE COLLECT
2556.77/2564.97	c #Conflicts:     334000 | #Constraints:      25548
2556.77/2564.97	c GLOBAL bounds - >= -5985 @ 2526.09
2611.20/2619.51	c #Conflicts:     335000 | #Constraints:      26550
2611.20/2619.51	c #Conflicts:     336000 | #Constraints:      27550
2611.20/2619.51	c #Conflicts:     337000 | #Constraints:      28550
2611.20/2619.51	c #Conflicts:     338000 | #Constraints:      29550
2611.20/2619.51	c GLOBAL bounds - >= -5985 @ 2580.11
2627.15/2635.55	c #Conflicts:     339000 | #Constraints:      30552
2627.15/2635.55	c #Conflicts:     340000 | #Constraints:      31552
2627.15/2635.55	c GLOBAL bounds - >= -5985 @ 2596.02
2652.97/2661.46	c #Conflicts:     341000 | #Constraints:      32554
2652.97/2661.46	c #Conflicts:     342000 | #Constraints:      33554
2652.97/2661.46	c GLOBAL bounds - >= -5985 @ 2621.68
2703.10/2711.70	c #Conflicts:     343000 | #Constraints:      34556
2703.10/2711.70	c #Conflicts:     344000 | #Constraints:      35556
2703.10/2711.70	c #Conflicts:     345000 | #Constraints:      36556
2703.10/2711.70	c INPROCESSING
2703.10/2711.70	c GARBAGE COLLECT
2703.10/2711.70	c #Conflicts:     346000 | #Constraints:      25945
2703.10/2711.70	c GLOBAL bounds - >= -5985 @ 2671.42
2732.11/2740.82	c #Conflicts:     347000 | #Constraints:      26947
2732.11/2740.82	c #Conflicts:     348000 | #Constraints:      27947
2732.11/2740.82	c #Conflicts:     349000 | #Constraints:      28947
2732.11/2740.82	c #Conflicts:     350000 | #Constraints:      29947
2732.11/2740.82	c GLOBAL bounds - >= -5985 @ 2700.2
2749.46/2758.21	c #Conflicts:     351000 | #Constraints:      30949
2749.46/2758.21	c #Conflicts:     352000 | #Constraints:      31949
2749.46/2758.21	c GLOBAL bounds - >= -5985 @ 2717.37
2777.47/2786.38	c #Conflicts:     353000 | #Constraints:      32951
2777.47/2786.38	c #Conflicts:     354000 | #Constraints:      33951
2777.47/2786.38	c GLOBAL bounds - >= -5985 @ 2745.34
2858.41/2867.56	c #Conflicts:     355000 | #Constraints:      34953
2858.41/2867.56	c #Conflicts:     356000 | #Constraints:      35953
2858.41/2867.56	c #Conflicts:     357000 | #Constraints:      36953
2858.41/2867.56	c INPROCESSING
2858.41/2867.56	c GARBAGE COLLECT
2858.41/2867.56	c #Conflicts:     358000 | #Constraints:      26126
2858.41/2867.56	c #Conflicts:     359000 | #Constraints:      27126
2858.41/2867.56	c #Conflicts:     360000 | #Constraints:      28126
2858.41/2867.56	c #Conflicts:     361000 | #Constraints:      29126
2858.41/2867.56	c #Conflicts:     362000 | #Constraints:      30126
2858.41/2867.56	c GLOBAL bounds - >= -5985 @ 2825.9
2865.48/2874.61	c #Conflicts:     363000 | #Constraints:      31128
2865.48/2874.61	c GLOBAL bounds - >= -5985 @ 2832.9
2872.07/2881.26	c GLOBAL bounds - >= -5985 @ 2839.49
2887.22/2896.45	c #Conflicts:     364000 | #Constraints:      32132
2887.22/2896.45	c GLOBAL bounds - >= -5985 @ 2854.48
2905.66/2914.92	c #Conflicts:     365000 | #Constraints:      33134
2905.66/2914.92	c #Conflicts:     366000 | #Constraints:      34134
2905.66/2914.92	c GLOBAL bounds - >= -5985 @ 2872.79
2913.34/2922.63	c GLOBAL bounds - >= -5985 @ 2880.42
2917.83/2927.14	c GLOBAL bounds - >= -5985 @ 2884.9
2968.57/2978.02	c #Conflicts:     367000 | #Constraints:      35140
2968.57/2978.02	c #Conflicts:     368000 | #Constraints:      36140
2968.57/2978.02	c #Conflicts:     369000 | #Constraints:      37140
2968.57/2978.02	c INPROCESSING
2968.57/2978.02	c GARBAGE COLLECT
2968.57/2978.02	c #Conflicts:     370000 | #Constraints:      26130
2968.57/2978.02	c #Conflicts:     371000 | #Constraints:      27130
2968.57/2978.02	c #Conflicts:     372000 | #Constraints:      28130
2968.57/2978.02	c GLOBAL bounds - >= -5985 @ 2935
3044.51/3054.26	c #Conflicts:     373000 | #Constraints:      29132
3044.51/3054.26	c #Conflicts:     374000 | #Constraints:      30132
3044.51/3054.26	c #Conflicts:     375000 | #Constraints:      31132
3044.51/3054.26	c #Conflicts:     376000 | #Constraints:      32132
3044.51/3054.26	c #Conflicts:     377000 | #Constraints:      33132
3044.51/3054.26	c #Conflicts:     378000 | #Constraints:      34132
3044.51/3054.26	c #Conflicts:     379000 | #Constraints:      35132
3044.51/3054.26	c #Conflicts:     380000 | #Constraints:      36132
3044.51/3054.26	c #Conflicts:     381000 | #Constraints:      37132
3044.51/3054.26	c GLOBAL bounds - >= -5985 @ 3010.36
3100.14/3110.01	c INPROCESSING
3100.14/3110.01	c GARBAGE COLLECT
3100.14/3110.01	c #Conflicts:     382000 | #Constraints:      25876
3100.14/3110.01	c #Conflicts:     383000 | #Constraints:      26876
3100.14/3110.01	c #Conflicts:     384000 | #Constraints:      27876
3100.14/3110.01	c #Conflicts:     385000 | #Constraints:      28876
3100.14/3110.01	c GLOBAL bounds - >= -5985 @ 3065.58
3127.16/3137.16	c #Conflicts:     386000 | #Constraints:      29878
3127.16/3137.16	c #Conflicts:     387000 | #Constraints:      30878
3127.16/3137.16	c #Conflicts:     388000 | #Constraints:      31878
3127.16/3137.16	c GLOBAL bounds - >= -5985 @ 3092.45
3153.26/3163.31	c #Conflicts:     389000 | #Constraints:      32880
3153.26/3163.31	c #Conflicts:     390000 | #Constraints:      33880
3153.26/3163.31	c GLOBAL bounds - >= -5985 @ 3118.32
3177.68/3187.88	c #Conflicts:     391000 | #Constraints:      34882
3177.68/3187.88	c GLOBAL bounds - >= -5985 @ 3142.68
3191.43/3201.69	c #Conflicts:     392000 | #Constraints:      35884
3191.43/3201.69	c GLOBAL bounds - >= -5985 @ 3156.38
3193.94/3204.11	c #Conflicts:     393000 | #Constraints:      36886
3193.94/3204.11	c GLOBAL bounds - >= -5985 @ 3158.77
3196.22/3206.47	c GLOBAL bounds - >= -5985 @ 3161.1
3199.82/3210.09	c GLOBAL bounds - >= -5985 @ 3164.61
3219.25/3229.58	c #Conflicts:     394000 | #Constraints:      37892
3219.25/3229.58	c INPROCESSING
3219.25/3229.58	c GARBAGE COLLECT
3219.25/3229.58	c #Conflicts:     395000 | #Constraints:      26516
3219.25/3229.58	c GLOBAL bounds - >= -5985 @ 3183.85
3264.20/3274.60	c #Conflicts:     396000 | #Constraints:      27518
3264.20/3274.60	c #Conflicts:     397000 | #Constraints:      28518
3264.20/3274.60	c #Conflicts:     398000 | #Constraints:      29518
3264.20/3274.60	c #Conflicts:     399000 | #Constraints:      30518
3264.20/3274.60	c #Conflicts:     400000 | #Constraints:      31518
3264.20/3274.60	c GLOBAL bounds - >= -5985 @ 3228.19
3311.46/3322.11	c #Conflicts:     401000 | #Constraints:      32520
3311.46/3322.11	c #Conflicts:     402000 | #Constraints:      33520
3311.46/3322.11	c #Conflicts:     403000 | #Constraints:      34520
3311.46/3322.11	c #Conflicts:     404000 | #Constraints:      35520
3311.46/3322.11	c GLOBAL bounds - >= -5985 @ 3275.14
3388.61/3399.45	c #Conflicts:     405000 | #Constraints:      36522
3388.61/3399.45	c #Conflicts:     406000 | #Constraints:      37522
3388.61/3399.45	c #Conflicts:     407000 | #Constraints:      38522
3388.61/3399.45	c INPROCESSING
3388.61/3399.45	c GARBAGE COLLECT
3388.61/3399.45	c #Conflicts:     408000 | #Constraints:      26931
3388.61/3399.45	c #Conflicts:     409000 | #Constraints:      27931
3388.61/3399.45	c #Conflicts:     410000 | #Constraints:      28931
3388.61/3399.45	c #Conflicts:     411000 | #Constraints:      29931
3388.61/3399.45	c GLOBAL bounds - >= -5985 @ 3351.59
3498.80/3509.98	c #Conflicts:     412000 | #Constraints:      30933
3498.80/3509.98	c #Conflicts:     413000 | #Constraints:      31933
3498.80/3509.98	c #Conflicts:     414000 | #Constraints:      32933
3498.80/3509.98	c #Conflicts:     415000 | #Constraints:      33933
3498.80/3509.98	c #Conflicts:     416000 | #Constraints:      34933
3498.80/3509.98	c #Conflicts:     417000 | #Constraints:      35933
3498.80/3509.98	c #Conflicts:     418000 | #Constraints:      36933
3498.80/3509.98	c #Conflicts:     419000 | #Constraints:      37933
3498.80/3509.98	c #Conflicts:     420000 | #Constraints:      38933
3498.80/3509.98	c INPROCESSING
3498.80/3509.98	c GARBAGE COLLECT
3498.80/3509.98	c #Conflicts:     421000 | #Constraints:      27149
3498.80/3509.98	c #Conflicts:     422000 | #Constraints:      28149
3498.80/3509.98	c #Conflicts:     423000 | #Constraints:      29149
3498.80/3509.98	c #Conflicts:     424000 | #Constraints:      30149
3498.80/3509.98	c #Conflicts:     425000 | #Constraints:      31149
3498.80/3509.98	c GLOBAL bounds - >= -5985 @ 3460.61
3600.00/3611.40	c #Conflicts:     426000 | #Constraints:      32151
3600.00/3611.40	c #Conflicts:     427000 | #Constraints:      33151
3600.00/3611.40	c #Conflicts:     428000 | #Constraints:      34151
3600.00/3611.40	c #Conflicts:     429000 | #Constraints:      35151
3600.00/3611.40	c #Conflicts:     430000 | #Constraints:      36151
3600.00/3611.40	c #Conflicts:     431000 | #Constraints:      37151
3600.00/3611.40	c #Conflicts:     432000 | #Constraints:      38151
3600.00/3611.40	c #Conflicts:     433000 | #Constraints:      39151
3600.00/3611.40	c INPROCESSING
3600.00/3611.40	c GARBAGE COLLECT
3600.00/3611.40	c #Conflicts:     434000 | #Constraints:      27173
3600.00/3611.40	c #Conflicts:     435000 | #Constraints:      28173
3600.00/3611.40	c #Conflicts:     436000 | #Constraints:      29173
3600.00/3611.40	c cpu time 3560.98 s
3600.00/3611.40	c deterministic time 2 2.00e+00
3600.00/3611.40	c optimization time 3560.83 s
3600.00/3611.40	c total solve time 0 s
3600.00/3611.40	c core-guided solve time 0 s
3600.00/3611.40	c propagation time 0.011238 s
3600.00/3611.40	c conflict analysis time 0 s
3600.00/3611.40	c propagations 1
3600.00/3611.40	c resolve steps 0
3600.00/3611.40	c decisions 0
3600.00/3611.40	c conflicts 0
3600.00/3611.40	c restarts 0
3600.00/3611.40	c inprocessing phases 0
3600.00/3611.40	c garbage collections 0 ,( -nan )
3600.00/3611.40	c input clauses 10470 ,( 83.95 )
3600.00/3611.40	c input cardinalities 2002 ,( 16.05 )
3600.00/3611.40	c input general constraints 0 ,( 0.00 )
3600.00/3611.40	c input average constraint length 3.72
3600.00/3611.40	c input average constraint degree 1.32
3600.00/3611.40	c learned clauses 0 ,( 0.00 )
3600.00/3611.40	c learned cardinalities 0 ,( 0.00 )
3600.00/3611.40	c learned general constraints 0 ,( 0.00 )
3600.00/3611.40	c learned average constraint length 0.00
3600.00/3611.40	c learned average constraint degree 0.00
3600.00/3611.40	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.00/3611.40	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.00/3611.40	c watched   constraints 0 ,( -nan ) 
3600.00/3611.40	c counting  constraints 0 ,( -nan ) 
3600.00/3611.40	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.00/3611.40	c gcd simplifications 0
3600.00/3611.40	c detected cardinalities 0
3600.00/3611.40	c weakened non-implied lits 0
3600.00/3611.40	c weakened non-implying lits 0
3600.00/3611.40	c original variables 10989
3600.00/3611.40	c clausal propagations 0
3600.00/3611.40	c cardinality propagations 0
3600.00/3611.40	c watched propagations 0
3600.00/3611.40	c counting propagations 0
3600.00/3611.40	c watch lookups 0
3600.00/3611.40	c watch backjump lookups 0
3600.00/3611.40	c watch checks 0
3600.00/3611.40	c propagation checks 0
3600.00/3611.40	c constraint additions 0
3600.00/3611.40	c trail pops 0
3600.00/3611.40	c formula constraints 12472
3600.00/3611.40	c learned constraints 0
3600.00/3611.40	c bound constraints 0
3600.00/3611.40	c core-guided constraints 0
3600.00/3611.40	c encountered formula constraints 0
3600.00/3611.40	c encountered learned constraints 0
3600.00/3611.40	c encountered bound constraints 0
3600.00/3611.40	c encountered core-guided constraints 0
3600.00/3611.40	c LP total time 0 s
3600.00/3611.40	c LP solve time 0 s
3600.00/3611.40	c LP constraints added 0
3600.00/3611.40	c LP constraints removed 0
3600.00/3611.40	c LP pivots internal 0
3600.00/3611.40	c LP pivots root 0
3600.00/3611.40	c LP calls 0
3600.00/3611.40	c LP optimalities 0
3600.00/3611.40	c LP no pivot count 0
3600.00/3611.40	c LP infeasibilities 0
3600.00/3611.40	c LP valid Farkas constraints 0
3600.00/3611.40	c LP learned Farkas constraints 0
3600.00/3611.40	c LP basis resets 0
3600.00/3611.40	c LP cycling count 0
3600.00/3611.40	c LP singular count 0
3600.00/3611.40	c LP no primal count 0
3600.00/3611.40	c LP no farkas count 0
3600.00/3611.40	c LP other issue count 0
3600.00/3611.40	c LP Gomory cuts 0
3600.00/3611.40	c LP learned cuts 0
3600.00/3611.40	c LP deleted cuts 0
3600.00/3611.40	c LP encountered Gomory constraints 0
3600.00/3611.40	c LP encountered Farkas constraints 0
3600.00/3611.40	c LP encountered learned Farkas constraints 0
3600.00/3611.40	c CG auxiliary variables introduced 0
3600.00/3611.40	c CG solutions found 0
3600.00/3611.40	c CG cores constructed 0
3600.00/3611.40	c CG core cardinality constraints returned 0
3600.00/3611.40	c CG unit cores 0
3600.00/3611.40	c CG single cores 0
3600.00/3611.40	c CG blocks removed during cardinality reduction 0
3600.00/3611.40	c CG first core best 0
3600.00/3611.40	c CG decision core best 0
3600.00/3611.40	c CG core reduction tie 0
3600.00/3611.40	c CG core degree average 0.00
3600.00/3611.40	c CG core slack average 0.00
3600.00/3611.40	c CG core upper bound improvements 0
3600.00/3611.40	c STR number of successful calls 0
3600.00/3611.40	c STR number of unsuccessful calls 0
3600.00/3611.40	c STR number of inconclusive calls 0
3600.00/3611.40	c STR number of successful attempts 0
3600.00/3611.40	c STR number of unsuccessful attempts 0
3600.00/3611.40	c STR number of inconclusive attempts 0
3600.00/3611.40	c STR average degree increase per successful call inf
3600.00/3611.40	c STR average degree increase per successful attempt inf
3600.00/3611.40	c STR total number of conflicts for successful attempts 0
3600.00/3611.40	c STR total number of conflicts for unsuccessful attempts 0
3600.00/3611.40	c STR total number of conflicts for inconclusive attempts 0
3600.00/3611.40	c STR average number of conflicts per successful attempt inf
3600.00/3611.40	c STR average number of conflicts per unsuccessful attempt inf
3600.00/3611.40	c STR average number of conflicts per inconclusive attempt inf
3600.00/3611.40	c AVG.sumWPerc -nan 
3600.00/3611.40	c bigint constraints 0 
3600.00/3611.40	s UNKNOWN
3600.00/3611.40	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 (63244 MiB free)
  memory of node 1: 64465 MiB (63331 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100101 s]*
/proc/loadavg: 2.32 3.61 3.98 2/254 39217
/proc/meminfo: memFree=129603048/131382116 swapFree=33010684/33010684
[pid=39204] ppid=39195 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39204/stat : 39204 (run-opt-log.sh) S 39195 39204 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 93983761731584 93983762626117 140731539612432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93983762865168 93983762912912 93983776780288 140731539613985 140731539614180 140731539614180 140731539619782 0
/proc/39204/statm: 1048 736 672 219 0 110 0
[pid=39215] ppid=39204 vsize=48720 memory=1024 CPUtime=0 cores=4,6
/proc/39215/stat : 39215 (roundingsat) D 39204 39204 39143 0 -1 4194304 95 0 4 0 0 0 0 0 20 0 1 0 44902789 49889280 256 18446744073709551615 4227072 8923433 140726971734080 0 0 0 0 0 0 1 0 0 17 4 0 0 0 0 0 9823104 9832592 41783296 140726971742546 140726971742760 140726971742760 140726971748330 0
/proc/39215/statm: 12180 256 224 1147 0 132 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 52912 KiB
Current children cumulated memory: 3968 KiB

[startup+0.213296 s]*
/proc/loadavg: 2.32 3.61 3.98 6/254 39217
/proc/meminfo: memFree=129587200/131382116 swapFree=33010684/33010684
[pid=39204] ppid=39195 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39204/stat : 39204 (run-opt-log.sh) S 39195 39204 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 93983761731584 93983762626117 140731539612432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93983762865168 93983762912912 93983776780288 140731539613985 140731539614180 140731539614180 140731539619782 0
/proc/39204/statm: 1048 736 672 219 0 110 0
[pid=39215] ppid=39204 vsize=58372 memory=13996 CPUtime=0.08 cores=4,6
/proc/39215/stat : 39215 (roundingsat) R 39204 39204 39143 0 -1 4194304 1582 0 9 0 5 3 0 0 20 0 1 0 44902789 59772928 3499 18446744073709551615 4227072 8923433 140726971734080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41783296 140726971742546 140726971742760 140726971742760 140726971748330 0
/proc/39215/statm: 14593 3499 2016 1147 0 2020 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62564 KiB
Current children cumulated memory: 16940 KiB

[startup+0.31328 s]*
/proc/loadavg: 2.32 3.61 3.98 6/254 39217
/proc/meminfo: memFree=129564960/131382116 swapFree=33010684/33010684
[pid=39204] ppid=39195 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39204/stat : 39204 (run-opt-log.sh) S 39195 39204 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 93983761731584 93983762626117 140731539612432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93983762865168 93983762912912 93983776780288 140731539613985 140731539614180 140731539614180 140731539619782 0
/proc/39204/statm: 1048 736 672 219 0 110 0
[pid=39215] ppid=39204 vsize=75960 memory=24056 CPUtime=0.18 cores=4,6
/proc/39215/stat : 39215 (roundingsat) R 39204 39204 39143 0 -1 4194304 4193 0 9 0 13 5 0 0 20 0 1 0 44902789 77783040 6014 18446744073709551615 4227072 8923433 140726971734080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41783296 140726971742546 140726971742760 140726971742760 140726971748330 0
/proc/39215/statm: 18990 6014 2304 1147 0 6417 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 80152 KiB
Current children cumulated memory: 27000 KiB

[startup+0.70036 s]
/proc/loadavg: 2.32 3.61 3.98 6/254 39217
/proc/meminfo: memFree=129549084/131382116 swapFree=33010684/33010684
[pid=39204] ppid=39195 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39204/stat : 39204 (run-opt-log.sh) S 39195 39204 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 93983761731584 93983762626117 140731539612432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93983762865168 93983762912912 93983776780288 140731539613985 140731539614180 140731539614180 140731539619782 0
/proc/39204/statm: 1048 736 672 219 0 110 0
[pid=39215] ppid=39204 vsize=85032 memory=38292 CPUtime=0.56 cores=4,6
/proc/39215/stat : 39215 (roundingsat) R 39204 39204 39143 0 -1 4194304 6766 0 9 0 45 11 0 0 20 0 1 0 44902789 87072768 9573 18446744073709551615 4227072 8923433 140726971734080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41783296 140726971742546 140726971742760 140726971742760 140726971748330 0
/proc/39215/statm: 21258 9573 2368 1147 0 8685 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 89224 KiB
Current children cumulated memory: 41236 KiB

[startup+1.50036 s]
/proc/loadavg: 2.32 3.61 3.98 6/254 39217
/proc/meminfo: memFree=129504732/131382116 swapFree=33010684/33010684
[pid=39204] ppid=39195 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39204/stat : 39204 (run-opt-log.sh) S 39195 39204 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 93983761731584 93983762626117 140731539612432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93983762865168 93983762912912 93983776780288 140731539613985 140731539614180 140731539614180 140731539619782 0
/proc/39204/statm: 1048 736 672 219 0 110 0
[pid=39215] ppid=39204 vsize=88584 memory=42900 CPUtime=1.35 cores=4,6
/proc/39215/stat : 39215 (roundingsat) R 39204 39204 39143 0 -1 4194304 7913 0 9 0 123 12 0 0 20 0 1 0 44902789 90710016 10725 18446744073709551615 4227072 8923433 140726971734080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41783296 140726971742546 140726971742760 140726971742760 140726971748330 0
/proc/39215/statm: 22146 10725 2368 1147 0 9573 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 92776 KiB
Current children cumulated memory: 45844 KiB

[startup+3.11292 s]
/proc/loadavg: 2.46 3.62 3.98 6/254 39217
/proc/meminfo: memFree=129244184/131382116 swapFree=33010684/33010684
[pid=39204] ppid=39195 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39204/stat : 39204 (run-opt-log.sh) S 39195 39204 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 93983761731584 93983762626117 140731539612432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93983762865168 93983762912912 93983776780288 140731539613985 140731539614180 140731539614180 140731539619782 0
/proc/39204/statm: 1048 736 672 219 0 110 0
[pid=39215] ppid=39204 vsize=124580 memory=73604 CPUtime=2.96 cores=4,6
/proc/39215/stat : 39215 (roundingsat) R 39204 39204 39143 0 -1 4194304 15090 0 9 0 276 20 0 0 20 0 1 0 44902789 127569920 18401 18446744073709551615 4227072 8923433 140726971734080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41783296 140726971742546 140726971742760 140726971742760 140726971748330 0
/proc/39215/statm: 31145 18401 2368 1147 0 18572 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 128772 KiB
Current children cumulated memory: 76548 KiB

[startup+6.30034 s]
/proc/loadavg: 2.46 3.62 3.98 6/256 39219
/proc/meminfo: memFree=128861372/131382116 swapFree=33010684/33010684
[pid=39204] ppid=39195 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39204/stat : 39204 (run-opt-log.sh) S 39195 39204 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 93983761731584 93983762626117 140731539612432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93983762865168 93983762912912 93983776780288 140731539613985 140731539614180 140731539614180 140731539619782 0
/proc/39204/statm: 1048 736 672 219 0 110 0
[pid=39215] ppid=39204 vsize=245608 memory=185616 CPUtime=6.14 cores=4,6
/proc/39215/stat : 39215 (roundingsat) R 39204 39204 39143 0 -1 4194304 36956 0 9 0 573 41 0 0 20 0 1 0 44902789 251502592 46404 18446744073709551615 4227072 8923433 140726971734080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41783296 140726971742546 140726971742760 140726971742760 140726971748330 0
/proc/39215/statm: 61402 46404 2368 1147 0 48829 0
Current children cumulated CPU time: 6.14 s
Current children cumulated vsize: 249800 KiB
Current children cumulated memory: 188560 KiB

[startup+12.7003 s]
/proc/loadavg: 2.70 3.63 3.98 6/256 39219
/proc/meminfo: memFree=128298720/131382116 swapFree=33010684/33010684
[pid=39204] ppid=39195 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39204/stat : 39204 (run-opt-log.sh) S 39195 39204 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 93983761731584 93983762626117 140731539612432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93983762865168 93983762912912 93983776780288 140731539613985 140731539614180 140731539614180 140731539619782 0
/proc/39204/statm: 1048 736 672 219 0 110 0
[pid=39215] ppid=39204 vsize=450500 memory=344784 CPUtime=12.52 cores=4,6
/proc/39215/stat : 39215 (roundingsat) R 39204 39204 39143 0 -1 4194304 65500 0 9 0 1184 68 0 0 20 0 1 0 44902789 461312000 86196 18446744073709551615 4227072 8923433 140726971734080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41783296 140726971742546 140726971742760 140726971742760 140726971748330 0
/proc/39215/statm: 112625 86196 2368 1147 0 100052 0
Current children cumulated CPU time: 12.52 s
Current children cumulated vsize: 454692 KiB
Current children cumulated memory: 347728 KiB

[startup+25.5004 s]
/proc/loadavg: 2.98 3.66 3.99 6/251 39246
/proc/meminfo: memFree=127461656/131382116 swapFree=33010684/33010684
[pid=39204] ppid=39195 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39204/stat : 39204 (run-opt-log.sh) S 39195 39204 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 93983761731584 93983762626117 140731539612432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93983762865168 93983762912912 93983776780288 140731539613985 140731539614180 140731539614180 140731539619782 0
/proc/39204/statm: 1048 736 672 219 0 110 0
[pid=39215] ppid=39204 vsize=784600 memory=585744 CPUtime=25.28 cores=4,6
/proc/39215/stat : 39215 (roundingsat) R 39204 39204 39143 0 -1 4194304 112478 0 9 0 2428 100 0 0 20 0 1 0 44902789 803430400 146436 18446744073709551615 4227072 8923433 140726971734080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41783296 140726971742546 140726971742760 140726971742760 140726971748330 0
/proc/39215/statm: 196150 146436 2368 1147 0 183577 0
Current children cumulated CPU time: 25.28 s
Current children cumulated vsize: 788792 KiB
Current children cumulated memory: 588688 KiB

[startup+51.1127 s]
/proc/loadavg: 3.33 3.69 3.99 6/258 39268
/proc/meminfo: memFree=126342732/131382116 swapFree=33010684/33010684
[pid=39204] ppid=39195 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39204/stat : 39204 (run-opt-log.sh) S 39195 39204 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 93983761731584 93983762626117 140731539612432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93983762865168 93983762912912 93983776780288 140731539613985 140731539614180 140731539614180 140731539619782 0
/proc/39204/statm: 1048 736 672 219 0 110 0
[pid=39215] ppid=39204 vsize=791168 memory=659164 CPUtime=50.81 cores=4,6
/proc/39215/stat : 39215 (roundingsat) R 39204 39204 39143 0 -1 4194304 121610 0 9 0 4923 158 0 0 20 0 1 0 44902789 810156032 164791 18446744073709551615 4227072 8923433 140726971734080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41783296 140726971742546 140726971742760 140726971742760 140726971748330 0
/proc/39215/statm: 197792 164791 2368 1147 0 185219 0
Current children cumulated CPU time: 50.81 s
Current children cumulated vsize: 795360 KiB
Current children cumulated memory: 662108 KiB

[startup+102.3 s]
/proc/loadavg: 4.37 3.90 4.05 6/258 39270
/proc/meminfo: memFree=124177788/131382116 swapFree=33010684/33010684
[pid=39204] ppid=39195 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39204/stat : 39204 (run-opt-log.sh) S 39195 39204 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 93983761731584 93983762626117 140731539612432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93983762865168 93983762912912 93983776780288 140731539613985 140731539614180 140731539614180 140731539619782 0
/proc/39204/statm: 1048 736 672 219 0 110 0
[pid=39215] ppid=39204 vsize=998492 memory=807084 CPUtime=101.84 cores=4,6
/proc/39215/stat : 39215 (roundingsat) R 39204 39204 39143 0 -1 4194304 144870 0 9 0 9928 256 0 0 20 0 1 0 44902789 1022455808 201771 18446744073709551615 4227072 8923433 140726971734080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41783296 140726971742546 140726971742760 140726971742760 140726971748330 0
/proc/39215/statm: 249623 201771 2368 1147 0 237050 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 1002684 KiB
Current children cumulated memory: 810028 KiB

[startup+162.3 s]
/proc/loadavg: 5.51 4.34 4.19 6/259 39366
/proc/meminfo: memFree=122450904/131382116 swapFree=33010684/33010684
[pid=39204] ppid=39195 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39204/stat : 39204 (run-opt-log.sh) S 39195 39204 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 93983761731584 93983762626117 140731539612432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93983762865168 93983762912912 93983776780288 140731539613985 140731539614180 140731539614180 140731539619782 0
/proc/39204/statm: 1048 736 672 219 0 110 0
[pid=39215] ppid=39204 vsize=1433376 memory=1163656 CPUtime=161.66 cores=4,6
/proc/39215/stat : 39215 (roundingsat) R 39204 39204 39143 0 -1 4194304 217698 0 9 0 15780 386 0 0 20 0 1 0 44902789 1467777024 290914 18446744073709551615 4227072 8923433 140726971734080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41783296 140726971742546 140726971742760 140726971742760 140726971748330 0
/proc/39215/statm: 358344 290914 2368 1147 0 345771 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 1437568 KiB
Current children cumulated memory: 1166600 KiB

[startup+222.3 s]
/proc/loadavg: 4.71 4.33 4.20 6/259 39368
/proc/meminfo: memFree=120670748/131382116 swapFree=33010684/33010684
[pid=39204] ppid=39195 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39204/stat : 39204 (run-opt-log.sh) S 39195 39204 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 93983761731584 93983762626117 140731539612432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93983762865168 93983762912912 93983776780288 140731539613985 140731539614180 140731539614180 140731539619782 0
/proc/39204/statm: 1048 736 672 219 0 110 0
[pid=39215] ppid=39204 vsize=1669240 memory=1275664 CPUtime=221.48 cores=4,6
/proc/39215/stat : 39215 (roundingsat) R 39204 39204 39143 0 -1 4194304 233431 0 9 0 21668 480 0 0 20 0 1 0 44902789 1709301760 318916 18446744073709551615 4227072 8923433 140726971734080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41783296 140726971742546 140726971742760 140726971742760 140726971748330 0
/proc/39215/statm: 417310 318916 2368 1147 0 404737 0

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

[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.11 6/260 39528
/proc/meminfo: memFree=63273692/131382116 swapFree=33010684/33010684
[pid=39204] ppid=39195 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39204/stat : 39204 (run-opt-log.sh) S 39195 39204 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 93983761731584 93983762626117 140731539612432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93983762865168 93983762912912 93983776780288 140731539613985 140731539614180 140731539614180 140731539619782 0
/proc/39204/statm: 1048 736 672 219 0 110 0
[pid=39215] ppid=39204 vsize=6160084 memory=5146820 CPUtime=3271.87 cores=4,6
/proc/39215/stat : 39215 (roundingsat) R 39204 39204 39143 0 -1 4194304 982964 0 9 0 323579 3608 0 0 20 0 1 0 44902789 6307926016 1286705 18446744073709551615 4227072 8923433 140726971734080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41783296 140726971742546 140726971742760 140726971742760 140726971748330 0
/proc/39215/statm: 1540021 1286705 2368 1147 0 1527448 0
Current children cumulated CPU time: 3271.87 s
Current children cumulated vsize: 6164276 KiB
Current children cumulated memory: 5149764 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.11 6/260 39530
/proc/meminfo: memFree=62286648/131382116 swapFree=33010684/33010684
[pid=39204] ppid=39195 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39204/stat : 39204 (run-opt-log.sh) S 39195 39204 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 93983761731584 93983762626117 140731539612432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93983762865168 93983762912912 93983776780288 140731539613985 140731539614180 140731539614180 140731539619782 0
/proc/39204/statm: 1048 736 672 219 0 110 0
[pid=39215] ppid=39204 vsize=6160084 memory=5146948 CPUtime=3331.68 cores=4,6
/proc/39215/stat : 39215 (roundingsat) R 39204 39204 39143 0 -1 4194304 983110 0 9 0 329507 3661 0 0 20 0 1 0 44902789 6307926016 1286737 18446744073709551615 4227072 8923433 140726971734080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41783296 140726971742546 140726971742760 140726971742760 140726971748330 0
/proc/39215/statm: 1540021 1286737 2368 1147 0 1527448 0
Current children cumulated CPU time: 3331.68 s
Current children cumulated vsize: 6164276 KiB
Current children cumulated memory: 5149892 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.09 4.09 6/261 39534
/proc/meminfo: memFree=61390824/131382116 swapFree=33010684/33010684
[pid=39204] ppid=39195 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39204/stat : 39204 (run-opt-log.sh) S 39195 39204 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 93983761731584 93983762626117 140731539612432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93983762865168 93983762912912 93983776780288 140731539613985 140731539614180 140731539614180 140731539619782 0
/proc/39204/statm: 1048 736 672 219 0 110 0
[pid=39215] ppid=39204 vsize=6160084 memory=5147332 CPUtime=3391.5 cores=4,6
/proc/39215/stat : 39215 (roundingsat) R 39204 39204 39143 0 -1 4194304 983146 0 9 0 335441 3709 0 0 20 0 1 0 44902789 6307926016 1286833 18446744073709551615 4227072 8923433 140726971734080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41783296 140726971742546 140726971742760 140726971742760 140726971748330 0
/proc/39215/statm: 1540021 1286833 2368 1147 0 1527448 0
Current children cumulated CPU time: 3391.5 s
Current children cumulated vsize: 6164276 KiB
Current children cumulated memory: 5150276 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.09 4.09 6/261 39553
/proc/meminfo: memFree=60563864/131382116 swapFree=33010684/33010684
[pid=39204] ppid=39195 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39204/stat : 39204 (run-opt-log.sh) S 39195 39204 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 93983761731584 93983762626117 140731539612432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93983762865168 93983762912912 93983776780288 140731539613985 140731539614180 140731539614180 140731539619782 0
/proc/39204/statm: 1048 736 672 219 0 110 0
[pid=39215] ppid=39204 vsize=6160084 memory=5147460 CPUtime=3451.33 cores=4,6
/proc/39215/stat : 39215 (roundingsat) R 39204 39204 39143 0 -1 4194304 983323 0 9 0 341349 3784 0 0 20 0 1 0 44902789 6307926016 1286865 18446744073709551615 4227072 8923433 140726971734080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41783296 140726971742546 140726971742760 140726971742760 140726971748330 0
/proc/39215/statm: 1540021 1286865 2368 1147 0 1527448 0
Current children cumulated CPU time: 3451.33 s
Current children cumulated vsize: 6164276 KiB
Current children cumulated memory: 5150404 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/260 39555
/proc/meminfo: memFree=59455172/131382116 swapFree=33010684/33010684
[pid=39204] ppid=39195 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39204/stat : 39204 (run-opt-log.sh) S 39195 39204 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 93983761731584 93983762626117 140731539612432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93983762865168 93983762912912 93983776780288 140731539613985 140731539614180 140731539614180 140731539619782 0
/proc/39204/statm: 1048 736 672 219 0 110 0
[pid=39215] ppid=39204 vsize=6160084 memory=5147588 CPUtime=3511.16 cores=4,6
/proc/39215/stat : 39215 (roundingsat) R 39204 39204 39143 0 -1 4194304 983409 0 9 0 347275 3841 0 0 20 0 1 0 44902789 6307926016 1286897 18446744073709551615 4227072 8923433 140726971734080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41783296 140726971742546 140726971742760 140726971742760 140726971748330 0
/proc/39215/statm: 1540021 1286897 2368 1147 0 1527448 0
Current children cumulated CPU time: 3511.16 s
Current children cumulated vsize: 6164276 KiB
Current children cumulated memory: 5150532 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/260 39558
/proc/meminfo: memFree=58699812/131382116 swapFree=33010684/33010684
[pid=39204] ppid=39195 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39204/stat : 39204 (run-opt-log.sh) S 39195 39204 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 93983761731584 93983762626117 140731539612432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93983762865168 93983762912912 93983776780288 140731539613985 140731539614180 140731539614180 140731539619782 0
/proc/39204/statm: 1048 736 672 219 0 110 0
[pid=39215] ppid=39204 vsize=6178004 memory=5164996 CPUtime=3570.98 cores=4,6
/proc/39215/stat : 39215 (roundingsat) R 39204 39204 39143 0 -1 4194304 988105 0 9 0 353216 3882 0 0 20 0 1 0 44902789 6326276096 1291249 18446744073709551615 4227072 8923433 140726971734080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41783296 140726971742546 140726971742760 140726971742760 140726971748330 0
/proc/39215/statm: 1544501 1291249 2368 1147 0 1531928 0
Current children cumulated CPU time: 3570.98 s
Current children cumulated vsize: 6182196 KiB
Current children cumulated memory: 5167940 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 4.12 4.10 4.09 4/259 39558
/proc/meminfo: memFree=58249776/131382116 swapFree=33010684/33010684
[pid=39204] ppid=39195 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39204/stat : 39204 (run-opt-log.sh) S 39195 39204 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 93983761731584 93983762626117 140731539612432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93983762865168 93983762912912 93983776780288 140731539613985 140731539614180 140731539614180 140731539619782 0
/proc/39204/statm: 1048 736 672 219 0 110 0
[pid=39215] ppid=39204 vsize=6178004 memory=5164996 CPUtime=3600 cores=4,6
/proc/39215/stat : 39215 (roundingsat) R 39204 39204 39143 0 -1 4194304 988108 0 9 0 356098 3902 0 0 20 0 1 0 44902789 6326276096 1291249 18446744073709551615 4227072 8923433 140726971734080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41783296 140726971742546 140726971742760 140726971742760 140726971748330 0
/proc/39215/statm: 1544501 1291249 2368 1147 0 1531928 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 6182196 KiB
Current children cumulated memory: 5167940 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3561.03 s, system=39.6786 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+3612 s]*
/proc/loadavg: 4.12 4.10 4.09 4/254 39566
/proc/meminfo: memFree=60413260/131382116 swapFree=33010684/33010684
[pid=39215] ppid=39195 vsize=6178004 memory=5165252 CPUtime=3600.16 cores=4,6
/proc/39215/stat : 39215 (roundingsat) R 39195 39204 39143 0 -1 4194304 988112 0 9 0 356099 3917 0 0 20 0 1 0 44902789 6326276096 1291313 18446744073709551615 4227072 8923433 140726971734080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41783296 140726971742546 140726971742760 140726971742760 140726971748330 0
/proc/39215/statm: 1544501 1291313 2432 1147 0 1531928 0
Current cumulated CPU time of completed processes: 0.0056 s
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 6178004 KiB
Current children cumulated memory: 5165252 KiB

[startup+3612.4 s]
/proc/loadavg: 4.12 4.10 4.09 4/254 39566
/proc/meminfo: memFree=60413260/131382116 swapFree=33010684/33010684
[pid=39215] ppid=39195 vsize=6178004 memory=5165252 CPUtime=3600.23 cores=4,6
/proc/39215/stat : 39215 (roundingsat) D 39195 39204 39143 0 -1 4194304 988112 0 9 0 356101 3922 0 0 20 0 1 0 44902789 6326276096 1291313 18446744073709551615 4227072 8923433 140726971734080 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 41783296 140726971742546 140726971742760 140726971742760 140726971748330 0
/proc/39215/statm: 1544501 1291313 2432 1147 0 1531928 0
Current cumulated CPU time of completed processes: 0.0056 s
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 6178004 KiB
Current children cumulated memory: 5165252 KiB

[startup+3612.8 s]
/proc/loadavg: 4.12 4.10 4.09 4/254 39566
/proc/meminfo: memFree=60413260/131382116 swapFree=33010684/33010684
[pid=39215] ppid=39195 vsize=2453156 memory=2047596 CPUtime=3600.49 cores=4,6
/proc/39215/stat : 39215 (roundingsat) R 39195 39204 39143 0 -1 4194304 988116 0 9 0 356102 3947 0 0 20 0 1 0 44902789 2512031744 511899 18446744073709551615 4227072 8923433 140726971734080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41783296 140726971742546 140726971742760 140726971742760 140726971748330 0
/proc/39215/statm: 613289 511899 2464 1147 0 600716 0
Current cumulated CPU time of completed processes: 0.0056 s
Current children cumulated CPU time: 3600.49 s
Current children cumulated vsize: 2453156 KiB
Current children cumulated memory: 2047596 KiB

[startup+3612.9 s]
/proc/loadavg: 4.12 4.10 4.09 4/254 39566
/proc/meminfo: memFree=60413260/131382116 swapFree=33010684/33010684
[pid=39215] ppid=39195 vsize=2453156 memory=1271756 CPUtime=3600.59 cores=4,6
/proc/39215/stat : 39215 (roundingsat) R 39195 39204 39143 0 -1 4194304 988116 0 9 0 356102 3957 0 0 20 0 1 0 44902789 2512031744 317939 18446744073709551615 4227072 8923433 140726971734080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41783296 140726971742546 140726971742760 140726971742760 140726971748330 0
/proc/39215/statm: 613289 317939 2464 1147 0 600716 0
Current cumulated CPU time of completed processes: 0.0056 s
Current children cumulated CPU time: 3600.59 s
Current children cumulated vsize: 2453156 KiB
Current children cumulated memory: 1271756 KiB

Child status: 2

Real time (s): 3613
CPU time (s): 3600.71
CPU user time (s): 3561.03
CPU system time (s): 39.6786
CPU usage (%): 99.6598
Max. virtual memory (cumulated for all children) (KiB): 6182196
Max. memory (cumulated for all children) (KiB): 5167940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.03
system time used= 39.6786
maximum resident set size= 5165252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 988338
page faults= 9
swaps= 0
block input operations= 12672
block output operations= 38331168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23736
involuntary context switches= 6187


# summary of solver processes directly reported to runsolver:
#   pid: 39204,39215
#   total CPU time (s): 3600.71
#   total CPU user time (s): 3561.03
#   total CPU system time (s): 39.6786

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.034 second user time and 35.1929 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-06-30 16:03:54
IDJOB=4484585
IDBENCH=146662
IDSOLVER=3351
FILE ID=nodeC010/4484585-1751292234
RUNJOBID= nodeC010-1751292234-39154
SLURM_JOB_ID= 9594261
Free space on /tmp= 432692 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:98.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484585-1751292234/watcher-4484585-1751292234 -o /tmp/evaluation-result-4484585-1751292234/solver-4484585-1751292234 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751292234-39154 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4484585-1751292234.opb PROOFDIR/proof-4484585-1751292234

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

MD5SUM BENCH= 3dc780a187102f53f7868f024506933f
RANDOM SEED=349211541

nodeC010 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.160
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.36
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.151
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.36
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.101
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.36
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.427
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.36
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.147
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.36
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.133
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.36
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.232
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.36
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.129
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        129589828 kB
MemAvailable:   129898936 kB
Buffers:            3280 kB
Cached:          1117420 kB
SwapCached:            0 kB
Active:           356628 kB
Inactive:         824932 kB
Active(anon):      78820 kB
Inactive(anon):        0 kB
Active(file):     277808 kB
Inactive(file):   824932 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             30008 kB
Writeback:            12 kB
AnonPages:         63888 kB
Mapped:           102940 kB
Shmem:             17960 kB
KReclaimable:      91992 kB
Slab:             173948 kB
SReclaimable:      91992 kB
SUnreclaim:        81956 kB
KernelStack:        3716 kB
PageTables:         2388 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     330960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149208 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 432660 MiB
End job on nodeC010 at 2025-06-30 17:04:07