Trace number 4487758

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs 63f22ad? (TO) 3600.15 3612

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g100x100.opb
MD5SUM908a9c4c32d975b4e5850834449958a7
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2076
Best CPU time to get the best result obtained on this benchmark3600.06
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints10000
Number of constraints which are clauses10000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 10000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 10000
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 10000
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.08/0.18	c #variables 10000 #constraints 10000
0.08/0.18	c objective is ce32 
0.19/0.24	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.19/0.24	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.19/0.24	c GLOBAL bounds - >= 0 @ 0.153382
0.19/0.27	c GLOBAL bounds - >= 0 @ 0.165772
0.19/0.32	c GLOBAL bounds - >= 0 @ 0.199029
0.49/0.55	c GLOBAL bounds - >= 0 @ 0.407403
0.66/0.73	c GLOBAL bounds - >= 0 @ 0.565696
0.86/0.95	c GLOBAL bounds - >= 0 @ 0.766728
1.16/1.21	c GLOBAL bounds - >= 0 @ 0.997288
1.36/1.43	c GLOBAL bounds - >= 0 @ 1.21893
1.85/1.93	c GLOBAL bounds - >= 0 @ 1.67765
2.15/2.22	c GLOBAL bounds - >= 0 @ 1.95927
2.26/2.30	c GLOBAL bounds - >= 0 @ 2.02738
2.26/2.38	c GLOBAL bounds - >= 0 @ 2.10328
2.36/2.47	c GLOBAL bounds - >= 0 @ 2.18834
2.45/2.59	c GLOBAL bounds - >= 0 @ 2.30182
2.55/2.66	c GLOBAL bounds - >= 0 @ 2.37038
2.76/2.80	c GLOBAL bounds - >= 0 @ 2.47238
2.85/2.92	c GLOBAL bounds - >= 0 @ 2.58431
2.97/3.05	c GLOBAL bounds - >= 0 @ 2.70476
3.07/3.19	c GLOBAL bounds - >= 0 @ 2.83212
3.35/3.40	c GLOBAL bounds - >= 0 @ 3.03338
3.85/3.91	c GLOBAL bounds - >= 0 @ 3.53036
4.06/4.17	c GLOBAL bounds - >= 0 @ 3.77406
4.25/4.30	c GLOBAL bounds - >= 0 @ 3.89974
4.35/4.46	c #Conflicts:       1000 | #Constraints:      11042
4.35/4.46	c GLOBAL bounds - >= 0 @ 4.06207
4.55/4.63	c GLOBAL bounds - >= 0 @ 4.22387
4.75/4.89	c GLOBAL bounds - >= 0 @ 4.47319
4.96/5.08	c GLOBAL bounds - >= 0 @ 4.63099
5.15/5.23	c GLOBAL bounds - >= 0 @ 4.77543
5.35/5.47	c GLOBAL bounds - >= 0 @ 5.00511
5.54/5.62	c GLOBAL bounds - >= 0 @ 5.13938
5.64/5.78	c GLOBAL bounds - >= 0 @ 5.2977
5.84/5.93	c GLOBAL bounds - >= 0 @ 5.45067
6.15/6.21	c GLOBAL bounds - >= 0 @ 5.71206
6.44/6.54	c GLOBAL bounds - >= 0 @ 6.03868
6.85/6.91	c GLOBAL bounds - >= 0 @ 6.3944
7.06/7.14	c GLOBAL bounds - >= 0 @ 6.61167
7.44/7.50	c GLOBAL bounds - >= 0 @ 6.95713
7.84/7.94	c GLOBAL bounds - >= 0 @ 7.38043
8.05/8.19	c GLOBAL bounds - >= 0 @ 7.6197
8.34/8.43	c GLOBAL bounds - >= 0 @ 7.85108
8.54/8.69	c GLOBAL bounds - >= 0 @ 8.10228
8.95/9.07	c GLOBAL bounds - >= 0 @ 8.46609
9.84/9.99	c #Conflicts:       2000 | #Constraints:      12080
9.84/9.99	c INPROCESSING
9.84/9.99	c GARBAGE COLLECT
9.84/9.99	c GLOBAL bounds - >= 0 @ 9.37409
11.13/11.26	c GLOBAL bounds - >= 0 @ 10.6316
11.43/11.52	c GLOBAL bounds - >= 0 @ 10.8872
12.04/12.16	c GLOBAL bounds - >= 0 @ 11.52
14.42/14.55	c #Conflicts:       3000 | #Constraints:      12101
14.42/14.55	c GLOBAL bounds - >= 0 @ 13.8551
14.72/14.88	c GLOBAL bounds - >= 0 @ 14.1847
15.12/15.23	c GLOBAL bounds - >= 0 @ 14.5225
15.81/15.95	c GLOBAL bounds - >= 0 @ 15.1445
16.31/16.44	c GLOBAL bounds - >= 0 @ 15.6244
16.81/16.91	c GLOBAL bounds - >= 0 @ 16.0747
17.03/17.19	c GLOBAL bounds - >= 0 @ 16.3434
17.51/17.64	c GLOBAL bounds - >= 0 @ 16.7806
17.71/17.88	c GLOBAL bounds - >= 0 @ 17.0075
18.21/18.30	c GLOBAL bounds - >= 0 @ 17.4217
18.40/18.57	c #Conflicts:       4000 | #Constraints:      13121
18.40/18.57	c GLOBAL bounds - >= 0 @ 17.6766
19.02/19.16	c GLOBAL bounds - >= 0 @ 18.2446
20.80/20.99	c INPROCESSING
20.80/20.99	c GARBAGE COLLECT
20.80/20.99	c GLOBAL bounds - >= 0 @ 20.0523
21.30/21.40	c GLOBAL bounds - >= 0 @ 20.4447
24.19/24.33	c #Conflicts:       5000 | #Constraints:      12543
24.19/24.33	c GLOBAL bounds - >= 0 @ 23.291
24.59/24.74	c GLOBAL bounds - >= 0 @ 23.7005
25.00/25.11	c GLOBAL bounds - >= 0 @ 24.0542
26.00/26.16	c GLOBAL bounds - >= 0 @ 25.0914
29.48/29.66	c #Conflicts:       6000 | #Constraints:      13551
29.48/29.66	c GLOBAL bounds - >= 0 @ 28.5153
38.65/38.83	c INPROCESSING
38.65/38.83	c GARBAGE COLLECT
38.65/38.83	c #Conflicts:       7000 | #Constraints:      12572
38.65/38.83	c #Conflicts:       8000 | #Constraints:      13572
38.65/38.83	c GLOBAL bounds - >= 0 @ 37.5874
44.44/44.67	c #Conflicts:       9000 | #Constraints:      14574
44.44/44.67	c INPROCESSING
44.44/44.67	c GARBAGE COLLECT
44.44/44.67	c GLOBAL bounds - >= 0 @ 43.2882
50.72/50.91	c #Conflicts:      10000 | #Constraints:      13288
50.72/50.91	c GLOBAL bounds - >= 0 @ 49.4704
53.71/53.95	c #Conflicts:      11000 | #Constraints:      14290
53.71/53.95	c GLOBAL bounds - >= 0 @ 52.4642
54.71/54.97	c GLOBAL bounds - >= 0 @ 53.4499
55.51/55.75	c GLOBAL bounds - >= 0 @ 54.2068
56.51/56.71	c GLOBAL bounds - >= 0 @ 55.1403
57.30/57.51	c GLOBAL bounds - >= 0 @ 55.9358
57.70/57.98	c GLOBAL bounds - >= 0 @ 56.3964
58.50/58.70	c GLOBAL bounds - >= 0 @ 56.9755
60.09/60.37	c #Conflicts:      12000 | #Constraints:      15304
60.09/60.37	c INPROCESSING
60.09/60.37	c GARBAGE COLLECT
60.09/60.37	c GLOBAL bounds - >= 0 @ 58.6231
60.49/60.72	c GLOBAL bounds - >= 0 @ 58.9609
60.99/61.28	c GLOBAL bounds - >= 0 @ 59.5185
61.48/61.77	c GLOBAL bounds - >= 0 @ 59.9952
62.19/62.43	c GLOBAL bounds - >= 0 @ 60.636
62.59/62.87	c GLOBAL bounds - >= 0 @ 61.0742
67.57/67.83	c #Conflicts:      13000 | #Constraints:      13754
67.57/67.83	c GLOBAL bounds - >= 0 @ 65.8929
68.67/68.98	c GLOBAL bounds - >= 0 @ 67.0163
69.78/70.07	c GLOBAL bounds - >= 0 @ 68.0943
72.36/72.61	c #Conflicts:      14000 | #Constraints:      14760
72.36/72.61	c GLOBAL bounds - >= 0 @ 70.6069
73.15/73.45	c GLOBAL bounds - >= 0 @ 71.4136
74.15/74.49	c GLOBAL bounds - >= 0 @ 72.4332
76.15/76.41	c #Conflicts:      15000 | #Constraints:      15766
76.15/76.41	c INPROCESSING
76.15/76.41	c GARBAGE COLLECT
76.15/76.41	c GLOBAL bounds - >= 0 @ 74.3283
81.13/81.49	c #Conflicts:      16000 | #Constraints:      14011
81.13/81.49	c GLOBAL bounds - >= 0 @ 79.3851
96.00/96.36	c #Conflicts:      17000 | #Constraints:      15013
96.00/96.36	c #Conflicts:      18000 | #Constraints:      16013
96.00/96.36	c INPROCESSING
96.00/96.36	c GARBAGE COLLECT
96.00/96.36	c #Conflicts:      19000 | #Constraints:      14049
96.00/96.36	c GLOBAL bounds - >= 0 @ 94.166
103.17/103.55	c #Conflicts:      20000 | #Constraints:      15051
103.17/103.55	c GLOBAL bounds - >= 0 @ 101.235
104.27/104.64	c GLOBAL bounds - >= 0 @ 102.302
105.16/105.51	c GLOBAL bounds - >= 0 @ 103.155
105.68/106.02	c GLOBAL bounds - >= 0 @ 103.655
106.26/106.65	c GLOBAL bounds - >= 0 @ 104.269
108.77/109.12	c #Conflicts:      21000 | #Constraints:      16061
108.77/109.12	c GLOBAL bounds - >= 0 @ 106.7
109.85/110.21	c GLOBAL bounds - >= 0 @ 107.76
110.45/110.84	c GLOBAL bounds - >= 0 @ 108.38
112.45/112.82	c INPROCESSING
112.45/112.82	c GARBAGE COLLECT
112.45/112.82	c GLOBAL bounds - >= 0 @ 110.328
112.85/113.22	c GLOBAL bounds - >= 0 @ 110.715
113.66/114.01	c GLOBAL bounds - >= 0 @ 111.501
114.04/114.45	c GLOBAL bounds - >= 0 @ 111.933
114.44/114.88	c #Conflicts:      22000 | #Constraints:      13874
114.44/114.88	c GLOBAL bounds - >= 0 @ 112.355
115.34/115.72	c GLOBAL bounds - >= 0 @ 113.196
115.75/116.15	c GLOBAL bounds - >= 0 @ 113.623
116.14/116.59	c GLOBAL bounds - >= 0 @ 114.049
117.43/117.86	c GLOBAL bounds - >= 0 @ 115.311
118.33/118.75	c GLOBAL bounds - >= 0 @ 116.175
119.32/119.75	c GLOBAL bounds - >= 0 @ 117.159
120.22/120.68	c #Conflicts:      23000 | #Constraints:      14888
120.22/120.68	c GLOBAL bounds - >= 0 @ 118.063
122.63/123.04	c GLOBAL bounds - >= 0 @ 120.388
123.42/123.87	c GLOBAL bounds - >= 0 @ 121.212
124.02/124.44	c GLOBAL bounds - >= 0 @ 121.774
140.77/141.21	c #Conflicts:      24000 | #Constraints:      15896
140.77/141.21	c #Conflicts:      25000 | #Constraints:      16896
140.77/141.21	c INPROCESSING
140.77/141.21	c GARBAGE COLLECT
140.77/141.21	c #Conflicts:      26000 | #Constraints:      14518
140.77/141.21	c #Conflicts:      27000 | #Constraints:      15518
140.77/141.21	c GLOBAL bounds - >= 0 @ 138.348
145.45/146.00	c #Conflicts:      28000 | #Constraints:      16520
145.45/146.00	c GLOBAL bounds - >= 0 @ 143.054
147.15/147.61	c GLOBAL bounds - >= 0 @ 144.643
149.34/149.81	c GLOBAL bounds - >= 0 @ 146.809
151.93/152.48	c #Conflicts:      29000 | #Constraints:      17526
151.93/152.48	c INPROCESSING
151.93/152.48	c GARBAGE COLLECT
151.93/152.48	c GLOBAL bounds - >= 0 @ 149.452
153.65/154.19	c GLOBAL bounds - >= 0 @ 151.137
155.12/155.68	c GLOBAL bounds - >= 0 @ 152.611
155.73/156.28	c GLOBAL bounds - >= 0 @ 153.203
156.92/157.42	c #Conflicts:      30000 | #Constraints:      14932
156.92/157.42	c GLOBAL bounds - >= 0 @ 154.33
157.82/158.32	c GLOBAL bounds - >= 0 @ 155.224
159.31/159.81	c GLOBAL bounds - >= 0 @ 156.694
161.81/162.34	c #Conflicts:      31000 | #Constraints:      15938
161.81/162.34	c GLOBAL bounds - >= 0 @ 159.185
168.50/169.11	c #Conflicts:      32000 | #Constraints:      16940
168.50/169.11	c GLOBAL bounds - >= 0 @ 165.864
189.83/190.44	c #Conflicts:      33000 | #Constraints:      17942
189.83/190.44	c INPROCESSING
189.83/190.44	c GARBAGE COLLECT
189.83/190.44	c #Conflicts:      34000 | #Constraints:      15139
189.83/190.44	c #Conflicts:      35000 | #Constraints:      16139
189.83/190.44	c #Conflicts:      36000 | #Constraints:      17139
189.83/190.44	c GLOBAL bounds - >= 0 @ 186.894
196.31/196.96	c #Conflicts:      37000 | #Constraints:      18141
196.31/196.96	c INPROCESSING
196.31/196.96	c GARBAGE COLLECT
196.31/196.96	c GLOBAL bounds - >= 0 @ 193.364
197.01/197.65	c GLOBAL bounds - >= 0 @ 194.039
200.89/201.56	c #Conflicts:      38000 | #Constraints:      15157
200.89/201.56	c GLOBAL bounds - >= 0 @ 197.905
210.26/210.99	c #Conflicts:      39000 | #Constraints:      16159
210.26/210.99	c #Conflicts:      40000 | #Constraints:      17159
210.26/210.99	c GLOBAL bounds - >= 0 @ 207.258
219.53/220.28	c #Conflicts:      41000 | #Constraints:      18161
219.53/220.28	c INPROCESSING
219.53/220.28	c GARBAGE COLLECT
219.53/220.28	c #Conflicts:      42000 | #Constraints:      14991
219.53/220.28	c GLOBAL bounds - >= 0 @ 216.488
220.53/221.26	c GLOBAL bounds - >= 0 @ 217.457
221.52/222.20	c GLOBAL bounds - >= 0 @ 218.379
222.13/222.86	c #Conflicts:      43000 | #Constraints:      15997
222.13/222.86	c GLOBAL bounds - >= 0 @ 219.021
223.72/224.40	c GLOBAL bounds - >= 0 @ 220.548
231.80/232.54	c #Conflicts:      44000 | #Constraints:      17001
231.80/232.54	c #Conflicts:      45000 | #Constraints:      18001
231.80/232.54	c GLOBAL bounds - >= 0 @ 228.629
235.58/236.32	c GLOBAL bounds - >= 0 @ 232.349
245.36/246.11	c #Conflicts:      46000 | #Constraints:      19005
245.36/246.11	c INPROCESSING
245.36/246.11	c GARBAGE COLLECT
245.36/246.11	c #Conflicts:      47000 | #Constraints:      15593
245.36/246.11	c GLOBAL bounds - >= 0 @ 241.988
247.36/248.11	c GLOBAL bounds - >= 0 @ 243.931
257.51/258.39	c #Conflicts:      48000 | #Constraints:      16597
257.51/258.39	c #Conflicts:      49000 | #Constraints:      17597
257.51/258.39	c GLOBAL bounds - >= 0 @ 254.061
259.01/259.83	c GLOBAL bounds - >= 0 @ 255.492
260.21/261.07	c GLOBAL bounds - >= 0 @ 256.719
261.49/262.39	c #Conflicts:      50000 | #Constraints:      18603
261.49/262.39	c GLOBAL bounds - >= 0 @ 258.018
262.79/263.64	c GLOBAL bounds - >= 0 @ 259.245
264.99/265.81	c GLOBAL bounds - >= 0 @ 261.384
266.29/267.12	c GLOBAL bounds - >= 0 @ 262.66
267.48/268.30	c GLOBAL bounds - >= 0 @ 263.813
271.96/272.84	c #Conflicts:      51000 | #Constraints:      19613
271.96/272.84	c INPROCESSING
271.96/272.84	c GARBAGE COLLECT
271.96/272.84	c GLOBAL bounds - >= 0 @ 268.319
277.35/278.26	c #Conflicts:      52000 | #Constraints:      16005
277.35/278.26	c #Conflicts:      53000 | #Constraints:      17005
277.35/278.26	c GLOBAL bounds - >= 0 @ 273.692
281.93/282.88	c GLOBAL bounds - >= 0 @ 278.253
284.32/285.26	c #Conflicts:      54000 | #Constraints:      18009
284.32/285.26	c GLOBAL bounds - >= 0 @ 280.607
286.41/287.34	c GLOBAL bounds - >= 0 @ 282.657
291.69/292.60	c #Conflicts:      55000 | #Constraints:      19013
291.69/292.60	c GLOBAL bounds - >= 0 @ 287.855
293.10/294.09	c GLOBAL bounds - >= 0 @ 289.321
294.10/295.04	c GLOBAL bounds - >= 0 @ 290.245
295.68/296.60	c GLOBAL bounds - >= 0 @ 291.782
296.58/297.57	c GLOBAL bounds - >= 0 @ 292.735
297.57/298.54	c GLOBAL bounds - >= 0 @ 293.69
300.77/301.79	c #Conflicts:      56000 | #Constraints:      20025
300.77/301.79	c INPROCESSING
300.77/301.79	c GARBAGE COLLECT
300.77/301.79	c GLOBAL bounds - >= 0 @ 296.894
301.46/302.45	c GLOBAL bounds - >= 0 @ 297.547
302.36/303.34	c GLOBAL bounds - >= 0 @ 298.424
303.76/304.71	c GLOBAL bounds - >= 0 @ 299.78
323.89/324.96	c #Conflicts:      57000 | #Constraints:      16219
323.89/324.96	c #Conflicts:      58000 | #Constraints:      17219
323.89/324.96	c #Conflicts:      59000 | #Constraints:      18219
323.89/324.96	c #Conflicts:      60000 | #Constraints:      19219
323.89/324.96	c GLOBAL bounds - >= 0 @ 319.773
351.80/352.94	c #Conflicts:      61000 | #Constraints:      20221
351.80/352.94	c INPROCESSING
351.80/352.94	c GARBAGE COLLECT
351.80/352.94	c #Conflicts:      62000 | #Constraints:      16246
351.80/352.94	c #Conflicts:      63000 | #Constraints:      17246
351.80/352.94	c #Conflicts:      64000 | #Constraints:      18246
351.80/352.94	c GLOBAL bounds - >= 0 @ 347.584
353.50/354.67	c #Conflicts:      65000 | #Constraints:      19248
353.50/354.67	c GLOBAL bounds - >= 0 @ 349.303
361.47/362.68	c #Conflicts:      66000 | #Constraints:      20250
361.47/362.68	c GLOBAL bounds - >= 0 @ 357.186
374.72/375.90	c INPROCESSING
374.72/375.90	c GARBAGE COLLECT
374.72/375.90	c #Conflicts:      67000 | #Constraints:      16038
374.72/375.90	c #Conflicts:      68000 | #Constraints:      17038
374.72/375.90	c GLOBAL bounds - >= 0 @ 370.271
385.90/387.13	c #Conflicts:      69000 | #Constraints:      18040
385.90/387.13	c #Conflicts:      70000 | #Constraints:      19040
385.90/387.13	c GLOBAL bounds - >= 0 @ 381.346
388.28/389.57	c GLOBAL bounds - >= 0 @ 383.765
390.18/391.46	c GLOBAL bounds - >= 0 @ 385.623
391.07/392.38	c GLOBAL bounds - >= 0 @ 386.526
392.06/393.33	c GLOBAL bounds - >= 0 @ 387.472
394.45/395.73	c #Conflicts:      71000 | #Constraints:      20050
394.45/395.73	c GLOBAL bounds - >= 0 @ 389.585
397.94/399.25	c GLOBAL bounds - >= 0 @ 392.994
407.62/408.95	c #Conflicts:      72000 | #Constraints:      21054
407.62/408.95	c INPROCESSING
407.62/408.95	c GARBAGE COLLECT
407.62/408.95	c #Conflicts:      73000 | #Constraints:      16657
407.62/408.95	c GLOBAL bounds - >= 0 @ 402.611
409.31/410.69	c GLOBAL bounds - >= 0 @ 404.319
417.38/418.78	c #Conflicts:      74000 | #Constraints:      17661
417.38/418.78	c GLOBAL bounds - >= 0 @ 412.289
422.87/424.20	c #Conflicts:      75000 | #Constraints:      18663
422.87/424.20	c GLOBAL bounds - >= 0 @ 417.642
431.94/433.32	c #Conflicts:      76000 | #Constraints:      19665
431.94/433.32	c #Conflicts:      77000 | #Constraints:      20665
431.94/433.32	c GLOBAL bounds - >= 0 @ 426.645
441.82/443.24	c #Conflicts:      78000 | #Constraints:      21667
441.82/443.24	c INPROCESSING
441.82/443.24	c GARBAGE COLLECT
441.82/443.24	c GLOBAL bounds - >= 0 @ 436.481
455.96/457.40	c #Conflicts:      79000 | #Constraints:      17081
455.96/457.40	c #Conflicts:      80000 | #Constraints:      18081
455.96/457.40	c GLOBAL bounds - >= 0 @ 450.508
464.14/465.64	c #Conflicts:      81000 | #Constraints:      19083
464.14/465.64	c #Conflicts:      82000 | #Constraints:      20083
464.14/465.64	c GLOBAL bounds - >= 0 @ 458.695
465.43/466.93	c GLOBAL bounds - >= 0 @ 459.968
467.22/468.79	c GLOBAL bounds - >= 0 @ 461.812
473.90/475.40	c #Conflicts:      83000 | #Constraints:      21089
473.90/475.40	c #Conflicts:      84000 | #Constraints:      22089
473.90/475.40	c INPROCESSING
473.90/475.40	c GARBAGE COLLECT
473.90/475.40	c GLOBAL bounds - >= 0 @ 468.376
487.36/488.94	c #Conflicts:      85000 | #Constraints:      17299
487.36/488.94	c #Conflicts:      86000 | #Constraints:      18299
487.36/488.94	c GLOBAL bounds - >= 0 @ 481.813
506.69/508.31	c #Conflicts:      87000 | #Constraints:      19301
506.69/508.31	c #Conflicts:      88000 | #Constraints:      20301
506.69/508.31	c #Conflicts:      89000 | #Constraints:      21301
506.69/508.31	c #Conflicts:      90000 | #Constraints:      22301
506.69/508.31	c INPROCESSING
506.69/508.31	c GARBAGE COLLECT
506.69/508.31	c GLOBAL bounds - >= 0 @ 501.048
507.58/509.21	c GLOBAL bounds - >= 0 @ 501.933
511.68/513.32	c #Conflicts:      91000 | #Constraints:      17310
511.68/513.32	c GLOBAL bounds - >= 0 @ 506.009
513.87/515.56	c #Conflicts:      92000 | #Constraints:      18312
513.87/515.56	c GLOBAL bounds - >= 0 @ 508.229
547.06/548.86	c #Conflicts:      93000 | #Constraints:      19314
547.06/548.86	c #Conflicts:      94000 | #Constraints:      20314
547.06/548.86	c #Conflicts:      95000 | #Constraints:      21314
547.06/548.86	c #Conflicts:      96000 | #Constraints:      22314
547.06/548.86	c INPROCESSING
547.06/548.86	c GARBAGE COLLECT
547.06/548.86	c #Conflicts:      97000 | #Constraints:      17111
547.06/548.86	c #Conflicts:      98000 | #Constraints:      18111
547.06/548.86	c GLOBAL bounds - >= 0 @ 541.33
551.25/553.07	c #Conflicts:      99000 | #Constraints:      19113
551.25/553.07	c GLOBAL bounds - >= 0 @ 545.503
561.81/563.62	c #Conflicts:     100000 | #Constraints:      20115
561.81/563.62	c #Conflicts:     101000 | #Constraints:      21115
561.81/563.62	c GLOBAL bounds - >= 0 @ 555.955
567.39/569.28	c #Conflicts:     102000 | #Constraints:      22117
567.39/569.28	c GLOBAL bounds - >= 0 @ 561.57
572.67/574.58	c #Conflicts:     103000 | #Constraints:      23119
572.67/574.58	c INPROCESSING
572.67/574.58	c GARBAGE COLLECT
572.67/574.58	c GLOBAL bounds - >= 0 @ 566.833
575.76/577.61	c #Conflicts:     104000 | #Constraints:      17719
575.76/577.61	c GLOBAL bounds - >= 0 @ 569.835
580.85/582.74	c GLOBAL bounds - >= 0 @ 574.879
582.35/584.29	c GLOBAL bounds - >= 0 @ 576.405
583.34/585.23	c #Conflicts:     105000 | #Constraints:      18725
583.34/585.23	c GLOBAL bounds - >= 0 @ 577.335
585.94/587.83	c GLOBAL bounds - >= 0 @ 579.904
587.82/589.79	c GLOBAL bounds - >= 0 @ 581.832
589.51/591.40	c GLOBAL bounds - >= 0 @ 583.411
596.90/598.83	c #Conflicts:     106000 | #Constraints:      19733
596.90/598.83	c GLOBAL bounds - >= 0 @ 590.785
600.68/602.61	c #Conflicts:     107000 | #Constraints:      20735
600.68/602.61	c GLOBAL bounds - >= 0 @ 594.52
605.76/607.70	c #Conflicts:     108000 | #Constraints:      21737
605.76/607.70	c GLOBAL bounds - >= 0 @ 599.537
613.24/615.30	c GLOBAL bounds - >= 0 @ 607.006
615.43/617.44	c #Conflicts:     109000 | #Constraints:      22741
615.43/617.44	c GLOBAL bounds - >= 0 @ 609.118
617.32/619.35	c GLOBAL bounds - >= 0 @ 611.006
619.42/621.45	c GLOBAL bounds - >= 0 @ 613.076
621.61/623.69	c GLOBAL bounds - >= 0 @ 615.283
626.80/628.85	c #Conflicts:     110000 | #Constraints:      23749
626.80/628.85	c INPROCESSING
626.80/628.85	c GARBAGE COLLECT
626.80/628.85	c GLOBAL bounds - >= 0 @ 620.38
628.01/630.10	c GLOBAL bounds - >= 0 @ 621.618
632.28/634.32	c #Conflicts:     111000 | #Constraints:      18144
632.28/634.32	c GLOBAL bounds - >= 0 @ 625.813
653.93/656.05	c #Conflicts:     112000 | #Constraints:      19146
653.93/656.05	c #Conflicts:     113000 | #Constraints:      20146
653.93/656.05	c #Conflicts:     114000 | #Constraints:      21146
653.93/656.05	c GLOBAL bounds - >= 0 @ 647.258
660.91/663.02	c #Conflicts:     115000 | #Constraints:      22148
660.91/663.02	c GLOBAL bounds - >= 0 @ 654.147
661.90/664.03	c GLOBAL bounds - >= 0 @ 655.144
662.90/665.03	c GLOBAL bounds - >= 0 @ 656.128
672.26/674.43	c #Conflicts:     116000 | #Constraints:      23154
672.26/674.43	c GLOBAL bounds - >= 0 @ 665.442
678.15/680.31	c #Conflicts:     117000 | #Constraints:      24156
678.15/680.31	c INPROCESSING
678.15/680.31	c GARBAGE COLLECT
678.15/680.31	c GLOBAL bounds - >= 0 @ 671.285
679.44/681.69	c GLOBAL bounds - >= 0 @ 672.64
681.13/683.37	c GLOBAL bounds - >= 0 @ 674.294
683.33/685.54	c GLOBAL bounds - >= 0 @ 676.428
696.19/698.44	c #Conflicts:     118000 | #Constraints:      18376
696.19/698.44	c #Conflicts:     119000 | #Constraints:      19376
696.19/698.44	c #Conflicts:     120000 | #Constraints:      20376
696.19/698.44	c GLOBAL bounds - >= 0 @ 689.183
716.83/719.17	c #Conflicts:     121000 | #Constraints:      21378
716.83/719.17	c #Conflicts:     122000 | #Constraints:      22378
716.83/719.17	c #Conflicts:     123000 | #Constraints:      23378
716.83/719.17	c GLOBAL bounds - >= 0 @ 709.787
746.32/748.77	c #Conflicts:     124000 | #Constraints:      24380
746.32/748.77	c INPROCESSING
746.32/748.77	c GARBAGE COLLECT
746.32/748.77	c #Conflicts:     125000 | #Constraints:      18382
746.32/748.77	c #Conflicts:     126000 | #Constraints:      19382
746.32/748.77	c #Conflicts:     127000 | #Constraints:      20382
746.32/748.77	c GLOBAL bounds - >= 0 @ 739.084
754.30/756.78	c #Conflicts:     128000 | #Constraints:      21384
754.30/756.78	c GLOBAL bounds - >= 0 @ 747.009
769.57/772.04	c #Conflicts:     129000 | #Constraints:      22386
769.57/772.04	c #Conflicts:     130000 | #Constraints:      23386
769.57/772.04	c GLOBAL bounds - >= 0 @ 762.125
772.24/774.76	c GLOBAL bounds - >= 0 @ 764.815
778.72/781.23	c #Conflicts:     131000 | #Constraints:      24390
778.72/781.23	c INPROCESSING
778.72/781.23	c GARBAGE COLLECT
778.72/781.23	c GLOBAL bounds - >= 0 @ 771.227
788.69/791.29	c #Conflicts:     132000 | #Constraints:      18181
788.69/791.29	c #Conflicts:     133000 | #Constraints:      19181
788.69/791.29	c GLOBAL bounds - >= 0 @ 781.177
791.39/793.99	c GLOBAL bounds - >= 0 @ 783.845
793.19/795.77	c GLOBAL bounds - >= 0 @ 785.597
795.78/798.36	c #Conflicts:     134000 | #Constraints:      20187
795.78/798.36	c GLOBAL bounds - >= 0 @ 788.156
797.77/800.34	c GLOBAL bounds - >= 0 @ 790.111
798.97/801.55	c GLOBAL bounds - >= 0 @ 791.305
807.64/810.28	c #Conflicts:     135000 | #Constraints:      21193
807.64/810.28	c #Conflicts:     136000 | #Constraints:      22193
807.64/810.28	c GLOBAL bounds - >= 0 @ 799.952
839.55/842.30	c #Conflicts:     137000 | #Constraints:      23195
839.55/842.30	c #Conflicts:     138000 | #Constraints:      24195
839.55/842.30	c #Conflicts:     139000 | #Constraints:      25195
839.55/842.30	c INPROCESSING
839.55/842.30	c GARBAGE COLLECT
839.55/842.30	c GLOBAL bounds - >= 0 @ 831.593
879.11/881.94	c #Conflicts:     140000 | #Constraints:      18814
879.11/881.94	c #Conflicts:     141000 | #Constraints:      19814
879.11/881.94	c #Conflicts:     142000 | #Constraints:      20814
879.11/881.94	c #Conflicts:     143000 | #Constraints:      21814
879.11/881.94	c #Conflicts:     144000 | #Constraints:      22814
879.11/881.94	c #Conflicts:     145000 | #Constraints:      23814
879.11/881.94	c #Conflicts:     146000 | #Constraints:      24814
879.11/881.94	c #Conflicts:     147000 | #Constraints:      25814
879.11/881.94	c INPROCESSING
879.11/881.94	c GARBAGE COLLECT
879.11/881.94	c GLOBAL bounds - >= 0 @ 870.966
889.68/892.54	c #Conflicts:     148000 | #Constraints:      19220
889.68/892.54	c #Conflicts:     149000 | #Constraints:      20220
889.68/892.54	c #Conflicts:     150000 | #Constraints:      21220
889.68/892.54	c GLOBAL bounds - >= 0 @ 881.496
892.47/895.40	c GLOBAL bounds - >= 0 @ 884.317
894.46/897.34	c GLOBAL bounds - >= 0 @ 886.223
897.17/900.09	c GLOBAL bounds - >= 0 @ 888.949
899.45/902.35	c #Conflicts:     151000 | #Constraints:      22228
899.45/902.35	c GLOBAL bounds - >= 0 @ 891.196
900.85/903.77	c GLOBAL bounds - >= 0 @ 892.598
903.83/906.71	c GLOBAL bounds - >= 0 @ 895.501
905.94/908.89	c GLOBAL bounds - >= 0 @ 897.661
912.01/914.99	c #Conflicts:     152000 | #Constraints:      23236
912.01/914.99	c GLOBAL bounds - >= 0 @ 903.701
914.00/916.92	c GLOBAL bounds - >= 0 @ 905.607
942.22/945.29	c #Conflicts:     153000 | #Constraints:      24240
942.22/945.29	c #Conflicts:     154000 | #Constraints:      25240
942.22/945.29	c #Conflicts:     155000 | #Constraints:      26240
942.22/945.29	c INPROCESSING
942.22/945.29	c GARBAGE COLLECT
942.22/945.29	c GLOBAL bounds - >= 0 @ 933.732
1034.33/1037.64	c #Conflicts:     156000 | #Constraints:      19450
1034.33/1037.64	c #Conflicts:     157000 | #Constraints:      20450
1034.33/1037.64	c #Conflicts:     158000 | #Constraints:      21450
1034.33/1037.64	c #Conflicts:     159000 | #Constraints:      22450
1034.33/1037.64	c #Conflicts:     160000 | #Constraints:      23450
1034.33/1037.64	c #Conflicts:     161000 | #Constraints:      24450
1034.33/1037.64	c #Conflicts:     162000 | #Constraints:      25450
1034.33/1037.64	c #Conflicts:     163000 | #Constraints:      26450
1034.33/1037.64	c INPROCESSING
1034.33/1037.64	c GARBAGE COLLECT
1034.33/1037.64	c #Conflicts:     164000 | #Constraints:      19440
1034.33/1037.64	c #Conflicts:     165000 | #Constraints:      20440
1034.33/1037.64	c GLOBAL bounds - >= 0 @ 1025.28
1109.28/1112.87	c #Conflicts:     166000 | #Constraints:      21442
1109.28/1112.87	c #Conflicts:     167000 | #Constraints:      22442
1109.28/1112.87	c #Conflicts:     168000 | #Constraints:      23442
1109.28/1112.87	c #Conflicts:     169000 | #Constraints:      24442
1109.28/1112.87	c #Conflicts:     170000 | #Constraints:      25442
1109.28/1112.87	c #Conflicts:     171000 | #Constraints:      26442
1109.28/1112.87	c INPROCESSING
1109.28/1112.87	c GARBAGE COLLECT
1109.28/1112.87	c #Conflicts:     172000 | #Constraints:      19237
1109.28/1112.87	c #Conflicts:     173000 | #Constraints:      20237
1109.28/1112.87	c #Conflicts:     174000 | #Constraints:      21237
1109.28/1112.87	c GLOBAL bounds - >= 0 @ 1099.77
1134.90/1138.53	c #Conflicts:     175000 | #Constraints:      22239
1134.90/1138.53	c #Conflicts:     176000 | #Constraints:      23239
1134.90/1138.53	c #Conflicts:     177000 | #Constraints:      24239
1134.90/1138.53	c #Conflicts:     178000 | #Constraints:      25239
1134.90/1138.53	c GLOBAL bounds - >= 0 @ 1125.14
1138.39/1142.04	c GLOBAL bounds - >= 0 @ 1128.61
1139.68/1143.36	c GLOBAL bounds - >= 0 @ 1129.93
1141.98/1145.69	c GLOBAL bounds - >= 0 @ 1132.24
1145.26/1148.95	c #Conflicts:     179000 | #Constraints:      26247
1145.26/1148.95	c GLOBAL bounds - >= 0 @ 1135.46
1153.35/1157.04	c GLOBAL bounds - >= 0 @ 1143.46
1173.38/1177.19	c #Conflicts:     180000 | #Constraints:      27251
1173.38/1177.19	c INPROCESSING
1173.38/1177.19	c GARBAGE COLLECT
1173.38/1177.19	c #Conflicts:     181000 | #Constraints:      19864
1173.38/1177.19	c #Conflicts:     182000 | #Constraints:      20864
1173.38/1177.19	c GLOBAL bounds - >= 0 @ 1163.41
1179.26/1183.06	c GLOBAL bounds - >= 0 @ 1169.21
1181.36/1185.13	c #Conflicts:     183000 | #Constraints:      21868
1181.36/1185.13	c GLOBAL bounds - >= 0 @ 1171.27
1183.35/1187.15	c GLOBAL bounds - >= 0 @ 1173.26
1185.53/1189.32	c GLOBAL bounds - >= 0 @ 1175.41
1202.07/1205.99	c #Conflicts:     184000 | #Constraints:      22874
1202.07/1205.99	c #Conflicts:     185000 | #Constraints:      23874
1202.07/1205.99	c #Conflicts:     186000 | #Constraints:      24874
1202.07/1205.99	c GLOBAL bounds - >= 0 @ 1191.94
1219.02/1222.94	c #Conflicts:     187000 | #Constraints:      25876
1219.02/1222.94	c #Conflicts:     188000 | #Constraints:      26876
1219.02/1222.94	c GLOBAL bounds - >= 0 @ 1208.75
1273.05/1277.12	c #Conflicts:     189000 | #Constraints:      27878
1273.05/1277.12	c INPROCESSING
1273.05/1277.12	c GARBAGE COLLECT
1273.05/1277.12	c #Conflicts:     190000 | #Constraints:      20252
1273.05/1277.12	c #Conflicts:     191000 | #Constraints:      21252
1273.05/1277.12	c #Conflicts:     192000 | #Constraints:      22252
1273.05/1277.12	c #Conflicts:     193000 | #Constraints:      23252
1273.05/1277.12	c #Conflicts:     194000 | #Constraints:      24252
1273.05/1277.12	c #Conflicts:     195000 | #Constraints:      25252
1273.05/1277.12	c GLOBAL bounds - >= 0 @ 1262.63
1308.03/1312.23	c #Conflicts:     196000 | #Constraints:      26254
1308.03/1312.23	c #Conflicts:     197000 | #Constraints:      27254
1308.03/1312.23	c #Conflicts:     198000 | #Constraints:      28254
1308.03/1312.23	c INPROCESSING
1308.03/1312.23	c GARBAGE COLLECT
1308.03/1312.23	c #Conflicts:     199000 | #Constraints:      20456
1308.03/1312.23	c #Conflicts:     200000 | #Constraints:      21456
1308.03/1312.23	c GLOBAL bounds - >= 0 @ 1297.51
1424.94/1429.57	c #Conflicts:     201000 | #Constraints:      22458
1424.94/1429.57	c #Conflicts:     202000 | #Constraints:      23458
1424.94/1429.57	c #Conflicts:     203000 | #Constraints:      24458
1424.94/1429.57	c #Conflicts:     204000 | #Constraints:      25458
1424.94/1429.57	c #Conflicts:     205000 | #Constraints:      26458
1424.94/1429.57	c #Conflicts:     206000 | #Constraints:      27458
1424.94/1429.57	c #Conflicts:     207000 | #Constraints:      28458
1424.94/1429.57	c INPROCESSING
1424.94/1429.57	c GARBAGE COLLECT
1424.94/1429.57	c #Conflicts:     208000 | #Constraints:      20494
1424.94/1429.57	c #Conflicts:     209000 | #Constraints:      21494
1424.94/1429.57	c #Conflicts:     210000 | #Constraints:      22494
1424.94/1429.57	c #Conflicts:     211000 | #Constraints:      23494
1424.94/1429.57	c #Conflicts:     212000 | #Constraints:      24494
1424.94/1429.57	c #Conflicts:     213000 | #Constraints:      25494
1424.94/1429.57	c #Conflicts:     214000 | #Constraints:      26494
1424.94/1429.57	c #Conflicts:     215000 | #Constraints:      27494
1424.94/1429.57	c #Conflicts:     216000 | #Constraints:      28494
1424.94/1429.57	c INPROCESSING
1424.94/1429.57	c GARBAGE COLLECT
1424.94/1429.57	c #Conflicts:     217000 | #Constraints:      20284
1424.94/1429.57	c #Conflicts:     218000 | #Constraints:      21284
1424.94/1429.57	c #Conflicts:     219000 | #Constraints:      22284
1424.94/1429.57	c GLOBAL bounds - >= 0 @ 1414.08
1442.40/1447.08	c #Conflicts:     220000 | #Constraints:      23286
1442.40/1447.08	c #Conflicts:     221000 | #Constraints:      24286
1442.40/1447.08	c #Conflicts:     222000 | #Constraints:      25286
1442.40/1447.08	c GLOBAL bounds - >= 0 @ 1431.5
1443.88/1448.55	c GLOBAL bounds - >= 0 @ 1432.95
1445.38/1450.09	c GLOBAL bounds - >= 0 @ 1434.47
1447.86/1452.57	c GLOBAL bounds - >= 0 @ 1436.93
1449.25/1453.99	c #Conflicts:     223000 | #Constraints:      26294
1449.25/1453.99	c GLOBAL bounds - >= 0 @ 1438.34
1452.05/1456.76	c GLOBAL bounds - >= 0 @ 1441.09
1542.07/1547.10	c #Conflicts:     224000 | #Constraints:      27298
1542.07/1547.10	c #Conflicts:     225000 | #Constraints:      28298
1542.07/1547.10	c #Conflicts:     226000 | #Constraints:      29298
1542.07/1547.10	c INPROCESSING
1542.07/1547.10	c GARBAGE COLLECT
1542.07/1547.10	c #Conflicts:     227000 | #Constraints:      20911
1542.07/1547.10	c #Conflicts:     228000 | #Constraints:      21911
1542.07/1547.10	c #Conflicts:     229000 | #Constraints:      22911
1542.07/1547.10	c #Conflicts:     230000 | #Constraints:      23911
1542.07/1547.10	c #Conflicts:     231000 | #Constraints:      24911
1542.07/1547.10	c #Conflicts:     232000 | #Constraints:      25911
1542.07/1547.10	c #Conflicts:     233000 | #Constraints:      26911
1542.07/1547.10	c #Conflicts:     234000 | #Constraints:      27911
1542.07/1547.10	c #Conflicts:     235000 | #Constraints:      28911
1542.07/1547.10	c GLOBAL bounds - >= 0 @ 1530.88
1564.57/1569.64	c #Conflicts:     236000 | #Constraints:      29913
1564.57/1569.64	c INPROCESSING
1564.57/1569.64	c GARBAGE COLLECT
1564.57/1569.64	c #Conflicts:     237000 | #Constraints:      21293
1564.57/1569.64	c GLOBAL bounds - >= 0 @ 1553.22
1571.85/1576.97	c #Conflicts:     238000 | #Constraints:      22295
1571.85/1576.97	c GLOBAL bounds - >= 0 @ 1560.48
1580.52/1585.66	c #Conflicts:     239000 | #Constraints:      23297
1580.52/1585.66	c GLOBAL bounds - >= 0 @ 1569.08
1587.80/1592.92	c #Conflicts:     240000 | #Constraints:      24299
1587.80/1592.92	c GLOBAL bounds - >= 0 @ 1576.29
1591.49/1596.67	c #Conflicts:     241000 | #Constraints:      25301
1591.49/1596.67	c GLOBAL bounds - >= 0 @ 1580.01
1594.38/1599.59	c GLOBAL bounds - >= 0 @ 1582.91
1596.07/1601.21	c GLOBAL bounds - >= 0 @ 1584.52
1597.78/1602.97	c #Conflicts:     242000 | #Constraints:      26307
1597.78/1602.97	c GLOBAL bounds - >= 0 @ 1586.26
1605.75/1610.96	c GLOBAL bounds - >= 0 @ 1594.18
1637.04/1642.39	c #Conflicts:     243000 | #Constraints:      27311
1637.04/1642.39	c #Conflicts:     244000 | #Constraints:      28311
1637.04/1642.39	c #Conflicts:     245000 | #Constraints:      29311
1637.04/1642.39	c GLOBAL bounds - >= 0 @ 1625.3
1753.49/1759.12	c #Conflicts:     246000 | #Constraints:      30313
1753.49/1759.12	c INPROCESSING
1753.49/1759.12	c GARBAGE COLLECT
1753.49/1759.12	c #Conflicts:     247000 | #Constraints:      21484
1753.49/1759.12	c #Conflicts:     248000 | #Constraints:      22484
1753.49/1759.12	c #Conflicts:     249000 | #Constraints:      23484
1753.49/1759.12	c #Conflicts:     250000 | #Constraints:      24484
1753.49/1759.12	c #Conflicts:     251000 | #Constraints:      25484
1753.49/1759.12	c #Conflicts:     252000 | #Constraints:      26484
1753.49/1759.12	c #Conflicts:     253000 | #Constraints:      27484
1753.49/1759.12	c #Conflicts:     254000 | #Constraints:      28484
1753.49/1759.12	c #Conflicts:     255000 | #Constraints:      29484
1753.49/1759.12	c #Conflicts:     256000 | #Constraints:      30484
1753.49/1759.12	c INPROCESSING
1753.49/1759.12	c GARBAGE COLLECT
1753.49/1759.12	c #Conflicts:     257000 | #Constraints:      21491
1753.49/1759.12	c #Conflicts:     258000 | #Constraints:      22491
1753.49/1759.12	c #Conflicts:     259000 | #Constraints:      23491
1753.49/1759.12	c GLOBAL bounds - >= 0 @ 1741.07
1761.66/1767.30	c #Conflicts:     260000 | #Constraints:      24493
1761.66/1767.30	c GLOBAL bounds - >= 0 @ 1749.14
1832.83/1838.78	c #Conflicts:     261000 | #Constraints:      25495
1832.83/1838.78	c #Conflicts:     262000 | #Constraints:      26495
1832.83/1838.78	c #Conflicts:     263000 | #Constraints:      27495
1832.83/1838.78	c #Conflicts:     264000 | #Constraints:      28495
1832.83/1838.78	c #Conflicts:     265000 | #Constraints:      29495
1832.83/1838.78	c #Conflicts:     266000 | #Constraints:      30495
1832.83/1838.78	c INPROCESSING
1832.83/1838.78	c GARBAGE COLLECT
1832.83/1838.78	c #Conflicts:     267000 | #Constraints:      21313
1832.83/1838.78	c GLOBAL bounds - >= 0 @ 1819.95
1835.42/1841.39	c GLOBAL bounds - >= 0 @ 1822.53
1859.53/1865.57	c #Conflicts:     268000 | #Constraints:      22317
1859.53/1865.57	c #Conflicts:     269000 | #Constraints:      23317
1859.53/1865.57	c #Conflicts:     270000 | #Constraints:      24317
1859.53/1865.57	c #Conflicts:     271000 | #Constraints:      25317
1859.53/1865.57	c GLOBAL bounds - >= 0 @ 1846.57
1910.48/1916.67	c #Conflicts:     272000 | #Constraints:      26319
1910.48/1916.67	c #Conflicts:     273000 | #Constraints:      27319
1910.48/1916.67	c #Conflicts:     274000 | #Constraints:      28319
1910.48/1916.67	c #Conflicts:     275000 | #Constraints:      29319
1910.48/1916.67	c #Conflicts:     276000 | #Constraints:      30319
1910.48/1916.67	c #Conflicts:     277000 | #Constraints:      31319
1910.48/1916.67	c INPROCESSING
1910.48/1916.67	c GARBAGE COLLECT
1910.48/1916.67	c #Conflicts:     278000 | #Constraints:      21929
1910.48/1916.67	c GLOBAL bounds - >= 0 @ 1897.25
1914.27/1920.47	c #Conflicts:     279000 | #Constraints:      22931
1914.27/1920.47	c GLOBAL bounds - >= 0 @ 1901.01
1934.82/1941.08	c #Conflicts:     280000 | #Constraints:      23933
1934.82/1941.08	c #Conflicts:     281000 | #Constraints:      24933
1934.82/1941.08	c GLOBAL bounds - >= 0 @ 1921.33
1976.47/1982.83	c #Conflicts:     282000 | #Constraints:      25935
1976.47/1982.83	c #Conflicts:     283000 | #Constraints:      26935
1976.47/1982.83	c #Conflicts:     284000 | #Constraints:      27935
1976.47/1982.83	c #Conflicts:     285000 | #Constraints:      28935
1976.47/1982.83	c #Conflicts:     286000 | #Constraints:      29935
1976.47/1982.83	c GLOBAL bounds - >= 0 @ 1962.72
2019.73/2026.28	c #Conflicts:     287000 | #Constraints:      30937
2019.73/2026.28	c #Conflicts:     288000 | #Constraints:      31937
2019.73/2026.28	c INPROCESSING
2019.73/2026.28	c GARBAGE COLLECT
2019.73/2026.28	c #Conflicts:     289000 | #Constraints:      22339
2019.73/2026.28	c #Conflicts:     290000 | #Constraints:      23339
2019.73/2026.28	c #Conflicts:     291000 | #Constraints:      24339
2019.73/2026.28	c GLOBAL bounds - >= 0 @ 2005.3
2032.69/2039.20	c #Conflicts:     292000 | #Constraints:      25341
2032.69/2039.20	c GLOBAL bounds - >= 0 @ 2018.09
2042.36/2048.98	c #Conflicts:     293000 | #Constraints:      26343
2042.36/2048.98	c GLOBAL bounds - >= 0 @ 2027.79
2044.56/2051.15	c GLOBAL bounds - >= 0 @ 2029.93
2058.43/2065.07	c #Conflicts:     294000 | #Constraints:      27347
2058.43/2065.07	c #Conflicts:     295000 | #Constraints:      28347
2058.43/2065.07	c GLOBAL bounds - >= 0 @ 2043.75
2067.68/2074.37	c #Conflicts:     296000 | #Constraints:      29349
2067.68/2074.37	c #Conflicts:     297000 | #Constraints:      30349
2067.68/2074.37	c GLOBAL bounds - >= 0 @ 2053
2151.60/2158.59	c #Conflicts:     298000 | #Constraints:      31351
2151.60/2158.59	c #Conflicts:     299000 | #Constraints:      32351
2151.60/2158.59	c INPROCESSING
2151.60/2158.59	c GARBAGE COLLECT
2151.60/2158.59	c #Conflicts:     300000 | #Constraints:      22548
2151.60/2158.59	c #Conflicts:     301000 | #Constraints:      23548
2151.60/2158.59	c #Conflicts:     302000 | #Constraints:      24548
2151.60/2158.59	c #Conflicts:     303000 | #Constraints:      25548
2151.60/2158.59	c #Conflicts:     304000 | #Constraints:      26548
2151.60/2158.59	c #Conflicts:     305000 | #Constraints:      27548
2151.60/2158.59	c #Conflicts:     306000 | #Constraints:      28548
2151.60/2158.59	c GLOBAL bounds - >= 0 @ 2136.24
2153.79/2160.71	c GLOBAL bounds - >= 0 @ 2138.34
2160.87/2167.82	c #Conflicts:     307000 | #Constraints:      29552
2160.87/2167.82	c GLOBAL bounds - >= 0 @ 2145.39
2239.22/2246.48	c #Conflicts:     308000 | #Constraints:      30554
2239.22/2246.48	c #Conflicts:     309000 | #Constraints:      31554
2239.22/2246.48	c #Conflicts:     310000 | #Constraints:      32554
2239.22/2246.48	c INPROCESSING
2239.22/2246.48	c GARBAGE COLLECT
2239.22/2246.48	c #Conflicts:     311000 | #Constraints:      22547
2239.22/2246.48	c #Conflicts:     312000 | #Constraints:      23547
2239.22/2246.48	c #Conflicts:     313000 | #Constraints:      24547
2239.22/2246.48	c #Conflicts:     314000 | #Constraints:      25547
2239.22/2246.48	c #Conflicts:     315000 | #Constraints:      26547
2239.22/2246.48	c GLOBAL bounds - >= 0 @ 2223.4
2246.00/2253.24	c #Conflicts:     316000 | #Constraints:      27549
2246.00/2253.24	c GLOBAL bounds - >= 0 @ 2230.09
2291.46/2298.86	c #Conflicts:     317000 | #Constraints:      28551
2291.46/2298.86	c #Conflicts:     318000 | #Constraints:      29551
2291.46/2298.86	c #Conflicts:     319000 | #Constraints:      30551
2291.46/2298.86	c #Conflicts:     320000 | #Constraints:      31551
2291.46/2298.86	c #Conflicts:     321000 | #Constraints:      32551
2291.46/2298.86	c INPROCESSING
2291.46/2298.86	c GARBAGE COLLECT
2291.46/2298.86	c #Conflicts:     322000 | #Constraints:      22354
2291.46/2298.86	c #Conflicts:     323000 | #Constraints:      23354
2291.46/2298.86	c GLOBAL bounds - >= 0 @ 2275.46
2586.11/2594.47	c #Conflicts:     324000 | #Constraints:      24356
2586.11/2594.47	c #Conflicts:     325000 | #Constraints:      25356
2586.11/2594.47	c #Conflicts:     326000 | #Constraints:      26356
2586.11/2594.47	c #Conflicts:     327000 | #Constraints:      27356
2586.11/2594.47	c #Conflicts:     328000 | #Constraints:      28356
2586.11/2594.47	c #Conflicts:     329000 | #Constraints:      29356
2586.11/2594.47	c #Conflicts:     330000 | #Constraints:      30356
2586.11/2594.47	c #Conflicts:     331000 | #Constraints:      31356
2586.11/2594.47	c #Conflicts:     332000 | #Constraints:      32356
2586.11/2594.47	c #Conflicts:     333000 | #Constraints:      33356
2586.11/2594.47	c INPROCESSING
2586.11/2594.47	c GARBAGE COLLECT
2586.11/2594.47	c #Conflicts:     334000 | #Constraints:      22944
2586.11/2594.47	c #Conflicts:     335000 | #Constraints:      23944
2586.11/2594.47	c #Conflicts:     336000 | #Constraints:      24944
2586.11/2594.47	c #Conflicts:     337000 | #Constraints:      25944
2586.11/2594.47	c #Conflicts:     338000 | #Constraints:      26944
2586.11/2594.47	c #Conflicts:     339000 | #Constraints:      27944
2586.11/2594.47	c #Conflicts:     340000 | #Constraints:      28944
2586.11/2594.47	c #Conflicts:     341000 | #Constraints:      29944
2586.11/2594.47	c #Conflicts:     342000 | #Constraints:      30944
2586.11/2594.47	c #Conflicts:     343000 | #Constraints:      31944
2586.11/2594.47	c #Conflicts:     344000 | #Constraints:      32944
2586.11/2594.47	c #Conflicts:     345000 | #Constraints:      33944
2586.11/2594.47	c INPROCESSING
2586.11/2594.47	c GARBAGE COLLECT
2586.11/2594.47	c #Conflicts:     346000 | #Constraints:      23378
2586.11/2594.47	c #Conflicts:     347000 | #Constraints:      24378
2586.11/2594.47	c #Conflicts:     348000 | #Constraints:      25378
2586.11/2594.47	c #Conflicts:     349000 | #Constraints:      26378
2586.11/2594.47	c #Conflicts:     350000 | #Constraints:      27378
2586.11/2594.47	c #Conflicts:     351000 | #Constraints:      28378
2586.11/2594.47	c #Conflicts:     352000 | #Constraints:      29378
2586.11/2594.47	c #Conflicts:     353000 | #Constraints:      30378
2586.11/2594.47	c #Conflicts:     354000 | #Constraints:      31378
2586.11/2594.47	c GLOBAL bounds - >= 0 @ 2568.89
2608.65/2617.03	c #Conflicts:     355000 | #Constraints:      32380
2608.65/2617.03	c #Conflicts:     356000 | #Constraints:      33380
2608.65/2617.03	c #Conflicts:     357000 | #Constraints:      34380
2608.65/2617.03	c INPROCESSING
2608.65/2617.03	c GARBAGE COLLECT
2608.65/2617.03	c GLOBAL bounds - >= 0 @ 2591.27
2615.42/2623.85	c GLOBAL bounds - >= 0 @ 2598.02
2620.30/2628.77	c #Conflicts:     358000 | #Constraints:      23584
2620.30/2628.77	c GLOBAL bounds - >= 0 @ 2602.88
2626.69/2635.15	c #Conflicts:     359000 | #Constraints:      24586
2626.69/2635.15	c GLOBAL bounds - >= 0 @ 2609.2
2630.47/2639.01	c GLOBAL bounds - >= 0 @ 2613.02
2647.62/2656.14	c #Conflicts:     360000 | #Constraints:      25590
2647.62/2656.14	c #Conflicts:     361000 | #Constraints:      26590
2647.62/2656.14	c GLOBAL bounds - >= 0 @ 2629.99
2649.40/2657.91	c GLOBAL bounds - >= 0 @ 2631.75
2666.23/2674.89	c #Conflicts:     362000 | #Constraints:      27594
2666.23/2674.89	c GLOBAL bounds - >= 0 @ 2648.59
2674.60/2683.23	c #Conflicts:     363000 | #Constraints:      28596
2674.60/2683.23	c #Conflicts:     364000 | #Constraints:      29596
2674.60/2683.23	c GLOBAL bounds - >= 0 @ 2656.86
2691.94/2700.65	c #Conflicts:     365000 | #Constraints:      30598
2691.94/2700.65	c GLOBAL bounds - >= 0 @ 2674.11
2711.67/2720.47	c #Conflicts:     366000 | #Constraints:      31600
2711.67/2720.47	c #Conflicts:     367000 | #Constraints:      32600
2711.67/2720.47	c GLOBAL bounds - >= 0 @ 2693.71
2830.23/2839.49	c #Conflicts:     368000 | #Constraints:      33602
2830.23/2839.49	c #Conflicts:     369000 | #Constraints:      34602
2830.23/2839.49	c INPROCESSING
2830.23/2839.49	c GARBAGE COLLECT
2830.23/2839.49	c #Conflicts:     370000 | #Constraints:      23595
2830.23/2839.49	c #Conflicts:     371000 | #Constraints:      24595
2830.23/2839.49	c #Conflicts:     372000 | #Constraints:      25595
2830.23/2839.49	c #Conflicts:     373000 | #Constraints:      26595
2830.23/2839.49	c #Conflicts:     374000 | #Constraints:      27595
2830.23/2839.49	c #Conflicts:     375000 | #Constraints:      28595
2830.23/2839.49	c #Conflicts:     376000 | #Constraints:      29595
2830.23/2839.49	c #Conflicts:     377000 | #Constraints:      30595
2830.23/2839.49	c #Conflicts:     378000 | #Constraints:      31595
2830.23/2839.49	c #Conflicts:     379000 | #Constraints:      32595
2830.23/2839.49	c #Conflicts:     380000 | #Constraints:      33595
2830.23/2839.49	c GLOBAL bounds - >= 0 @ 2811.64
2857.84/2867.15	c #Conflicts:     381000 | #Constraints:      34597
2857.84/2867.15	c INPROCESSING
2857.84/2867.15	c GARBAGE COLLECT
2857.84/2867.15	c #Conflicts:     382000 | #Constraints:      23380
2857.84/2867.15	c #Conflicts:     383000 | #Constraints:      24380
2857.84/2867.15	c GLOBAL bounds - >= 0 @ 2839.06
2879.76/2889.19	c #Conflicts:     384000 | #Constraints:      25382
2879.76/2889.19	c #Conflicts:     385000 | #Constraints:      26382
2879.76/2889.19	c #Conflicts:     386000 | #Constraints:      27382
2879.76/2889.19	c GLOBAL bounds - >= 0 @ 2860.88
2882.44/2891.89	c GLOBAL bounds - >= 0 @ 2863.56
2886.53/2895.99	c GLOBAL bounds - >= 0 @ 2867.61
2890.91/2900.35	c GLOBAL bounds - >= 0 @ 2871.93
2892.62/2902.05	c #Conflicts:     387000 | #Constraints:      28390
2892.62/2902.05	c GLOBAL bounds - >= 0 @ 2873.62
2895.29/2904.76	c GLOBAL bounds - >= 0 @ 2876.3
2897.99/2907.47	c GLOBAL bounds - >= 0 @ 2878.98
2901.07/2910.50	c GLOBAL bounds - >= 0 @ 2881.97
2945.71/2955.39	c #Conflicts:     388000 | #Constraints:      29398
2945.71/2955.39	c #Conflicts:     389000 | #Constraints:      30398
2945.71/2955.39	c #Conflicts:     390000 | #Constraints:      31398
2945.71/2955.39	c #Conflicts:     391000 | #Constraints:      32398
2945.71/2955.39	c #Conflicts:     392000 | #Constraints:      33398
2945.71/2955.39	c GLOBAL bounds - >= 0 @ 2926.5
2974.21/2983.92	c #Conflicts:     393000 | #Constraints:      34400
2974.21/2983.92	c #Conflicts:     394000 | #Constraints:      35400
2974.21/2983.92	c INPROCESSING
2974.21/2983.92	c GARBAGE COLLECT
2974.21/2983.92	c GLOBAL bounds - >= 0 @ 2954.68
3020.85/3030.77	c #Conflicts:     395000 | #Constraints:      24006
3020.85/3030.77	c #Conflicts:     396000 | #Constraints:      25006
3020.85/3030.77	c #Conflicts:     397000 | #Constraints:      26006
3020.85/3030.77	c #Conflicts:     398000 | #Constraints:      27006
3020.85/3030.77	c #Conflicts:     399000 | #Constraints:      28006
3020.85/3030.77	c #Conflicts:     400000 | #Constraints:      29006
3020.85/3030.77	c GLOBAL bounds - >= 0 @ 3001.07
3038.58/3048.52	c #Conflicts:     401000 | #Constraints:      30008
3038.58/3048.52	c #Conflicts:     402000 | #Constraints:      31008
3038.58/3048.52	c GLOBAL bounds - >= 0 @ 3018.72
3041.48/3051.42	c #Conflicts:     403000 | #Constraints:      32010
3041.48/3051.42	c GLOBAL bounds - >= 0 @ 3021.59
3043.09/3053.04	c GLOBAL bounds - >= 0 @ 3023.2
3049.45/3059.43	c GLOBAL bounds - >= 0 @ 3029.53
3067.68/3077.77	c #Conflicts:     404000 | #Constraints:      33016
3067.68/3077.77	c #Conflicts:     405000 | #Constraints:      34016
3067.68/3077.77	c GLOBAL bounds - >= 0 @ 3047.7
3071.37/3081.46	c GLOBAL bounds - >= 0 @ 3051.36
3107.45/3117.60	c #Conflicts:     406000 | #Constraints:      35020
3107.45/3117.60	c #Conflicts:     407000 | #Constraints:      36020
3107.45/3117.60	c INPROCESSING
3107.45/3117.60	c GARBAGE COLLECT
3107.45/3117.60	c #Conflicts:     408000 | #Constraints:      24438
3107.45/3117.60	c GLOBAL bounds - >= 0 @ 3087.23
3112.03/3122.20	c GLOBAL bounds - >= 0 @ 3091.78
3115.31/3125.56	c #Conflicts:     409000 | #Constraints:      25442
3115.31/3125.56	c GLOBAL bounds - >= 0 @ 3095.11
3142.22/3152.59	c #Conflicts:     410000 | #Constraints:      26444
3142.22/3152.59	c #Conflicts:     411000 | #Constraints:      27444
3142.22/3152.59	c #Conflicts:     412000 | #Constraints:      28444
3142.22/3152.59	c GLOBAL bounds - >= 0 @ 3121.86
3148.40/3158.75	c GLOBAL bounds - >= 0 @ 3127.96
3151.19/3161.59	c #Conflicts:     413000 | #Constraints:      29448
3151.19/3161.59	c GLOBAL bounds - >= 0 @ 3130.77
3157.87/3168.22	c GLOBAL bounds - >= 0 @ 3137.34
3179.40/3189.82	c #Conflicts:     414000 | #Constraints:      30452
3179.40/3189.82	c #Conflicts:     415000 | #Constraints:      31452
3179.40/3189.82	c GLOBAL bounds - >= 0 @ 3158.8
3199.53/3210.07	c #Conflicts:     416000 | #Constraints:      32454
3199.53/3210.07	c #Conflicts:     417000 | #Constraints:      33454
3199.53/3210.07	c GLOBAL bounds - >= 0 @ 3178.91
3205.40/3215.91	c #Conflicts:     418000 | #Constraints:      34456
3205.40/3215.91	c GLOBAL bounds - >= 0 @ 3184.71
3223.84/3234.46	c #Conflicts:     419000 | #Constraints:      35458
3223.84/3234.46	c #Conflicts:     420000 | #Constraints:      36458
3223.84/3234.46	c INPROCESSING
3223.84/3234.46	c GARBAGE COLLECT
3223.84/3234.46	c GLOBAL bounds - >= 0 @ 3203.13
3228.54/3239.19	c #Conflicts:     421000 | #Constraints:      24691
3228.54/3239.19	c GLOBAL bounds - >= 0 @ 3207.8
3236.59/3247.26	c #Conflicts:     422000 | #Constraints:      25693
3236.59/3247.26	c GLOBAL bounds - >= 0 @ 3215.8
3251.84/3262.56	c #Conflicts:     423000 | #Constraints:      26695
3251.84/3262.56	c #Conflicts:     424000 | #Constraints:      27695
3251.84/3262.56	c #Conflicts:     425000 | #Constraints:      28695
3251.84/3262.56	c GLOBAL bounds - >= 0 @ 3230.96
3268.19/3278.96	c #Conflicts:     426000 | #Constraints:      29697
3268.19/3278.96	c #Conflicts:     427000 | #Constraints:      30697
3268.19/3278.96	c GLOBAL bounds - >= 0 @ 3247.25
3283.03/3293.89	c #Conflicts:     428000 | #Constraints:      31699
3283.03/3293.89	c #Conflicts:     429000 | #Constraints:      32699
3283.03/3293.89	c #Conflicts:     430000 | #Constraints:      33699
3283.03/3293.89	c GLOBAL bounds - >= 0 @ 3262.1
3351.11/3362.14	c #Conflicts:     431000 | #Constraints:      34701
3351.11/3362.14	c #Conflicts:     432000 | #Constraints:      35701
3351.11/3362.14	c #Conflicts:     433000 | #Constraints:      36701
3351.11/3362.14	c INPROCESSING
3351.11/3362.14	c GARBAGE COLLECT
3351.11/3362.14	c #Conflicts:     434000 | #Constraints:      24687
3351.11/3362.14	c #Conflicts:     435000 | #Constraints:      25687
3351.11/3362.14	c #Conflicts:     436000 | #Constraints:      26687
3351.11/3362.14	c #Conflicts:     437000 | #Constraints:      27687
3351.11/3362.14	c #Conflicts:     438000 | #Constraints:      28687
3351.11/3362.14	c GLOBAL bounds - >= 0 @ 3329.91
3366.64/3377.70	c #Conflicts:     439000 | #Constraints:      29689
3366.64/3377.70	c #Conflicts:     440000 | #Constraints:      30689
3366.64/3377.70	c #Conflicts:     441000 | #Constraints:      31689
3366.64/3377.70	c GLOBAL bounds - >= 0 @ 3345.37
3372.94/3384.08	c #Conflicts:     442000 | #Constraints:      32691
3372.94/3384.08	c #Conflicts:     443000 | #Constraints:      33691
3372.94/3384.08	c GLOBAL bounds - >= 0 @ 3351.71
3399.95/3411.15	c #Conflicts:     444000 | #Constraints:      34693
3399.95/3411.15	c #Conflicts:     445000 | #Constraints:      35693
3399.95/3411.15	c #Conflicts:     446000 | #Constraints:      36693
3399.95/3411.15	c INPROCESSING
3399.95/3411.15	c GARBAGE COLLECT
3399.95/3411.15	c GLOBAL bounds - >= 0 @ 3378.62
3600.05/3611.90	c #Conflicts:     447000 | #Constraints:      24536
3600.05/3611.90	c #Conflicts:     448000 | #Constraints:      25536
3600.05/3611.90	c #Conflicts:     449000 | #Constraints:      26536
3600.05/3611.90	c #Conflicts:     450000 | #Constraints:      27536
3600.05/3611.90	c #Conflicts:     451000 | #Constraints:      28536
3600.05/3611.90	c #Conflicts:     452000 | #Constraints:      29536
3600.05/3611.90	c #Conflicts:     453000 | #Constraints:      30536
3600.05/3611.90	c #Conflicts:     454000 | #Constraints:      31536
3600.05/3611.90	c #Conflicts:     455000 | #Constraints:      32536
3600.05/3611.90	c #Conflicts:     456000 | #Constraints:      33536
3600.05/3611.90	c #Conflicts:     457000 | #Constraints:      34536
3600.05/3611.90	c #Conflicts:     458000 | #Constraints:      35536
3600.05/3611.90	c #Conflicts:     459000 | #Constraints:      36536
3600.05/3611.90	c #Conflicts:     460000 | #Constraints:      37536
3600.05/3611.90	c INPROCESSING
3600.05/3611.90	c GARBAGE COLLECT
3600.05/3611.90	c #Conflicts:     461000 | #Constraints:      25127
3600.05/3611.90	c #Conflicts:     462000 | #Constraints:      26127
3600.05/3611.90	c #Conflicts:     463000 | #Constraints:      27127
3600.05/3611.90	c #Conflicts:     464000 | #Constraints:      28127
3600.05/3611.90	c #Conflicts:     465000 | #Constraints:      29127
3600.05/3611.90	c #Conflicts:     466000 | #Constraints:      30127
3600.05/3611.90	c #Conflicts:     467000 | #Constraints:      31127
3600.05/3611.90	c #Conflicts:     468000 | #Constraints:      32127
3600.05/3611.90	c #Conflicts:     469000 | #Constraints:      33127
3600.05/3611.90	c #Conflicts:     470000 | #Constraints:      34127
3600.05/3611.90	c #Conflicts:     471000 | #Constraints:      35127
3600.05/3611.90	c #Conflicts:     472000 | #Constraints:      36127
3600.05/3611.90	c cpu time 3578.33 s
3600.05/3611.90	c deterministic time 1 1.00e+00
3600.05/3611.90	c optimization time 3578.21 s
3600.05/3611.90	c total solve time 0 s
3600.05/3611.90	c core-guided solve time 0 s
3600.05/3611.90	c propagation time 0.010072 s
3600.05/3611.90	c conflict analysis time 0 s
3600.05/3611.90	c propagations 0
3600.05/3611.90	c resolve steps 0
3600.05/3611.90	c decisions 0
3600.05/3611.90	c conflicts 0
3600.05/3611.90	c restarts 0
3600.05/3611.90	c inprocessing phases 0
3600.05/3611.90	c garbage collections 0 ,( -nan )
3600.05/3611.90	c input clauses 10000 ,( 100.00 )
3600.05/3611.90	c input cardinalities 0 ,( 0.00 )
3600.05/3611.90	c input general constraints 0 ,( 0.00 )
3600.05/3611.90	c input average constraint length 4.96
3600.05/3611.90	c input average constraint degree 1.00
3600.05/3611.90	c learned clauses 0 ,( 0.00 )
3600.05/3611.90	c learned cardinalities 0 ,( 0.00 )
3600.05/3611.90	c learned general constraints 0 ,( 0.00 )
3600.05/3611.90	c learned average constraint length 0.00
3600.05/3611.90	c learned average constraint degree 0.00
3600.05/3611.90	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.05/3611.90	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.05/3611.90	c watched   constraints 0 ,( -nan ) 
3600.05/3611.90	c counting  constraints 0 ,( -nan ) 
3600.05/3611.90	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.05/3611.90	c gcd simplifications 0
3600.05/3611.90	c detected cardinalities 0
3600.05/3611.90	c weakened non-implied lits 0
3600.05/3611.90	c weakened non-implying lits 0
3600.05/3611.90	c original variables 10000
3600.05/3611.90	c clausal propagations 0
3600.05/3611.90	c cardinality propagations 0
3600.05/3611.90	c watched propagations 0
3600.05/3611.90	c counting propagations 0
3600.05/3611.90	c watch lookups 0
3600.05/3611.90	c watch backjump lookups 0
3600.05/3611.90	c watch checks 0
3600.05/3611.90	c propagation checks 0
3600.05/3611.90	c constraint additions 0
3600.05/3611.90	c trail pops 0
3600.05/3611.90	c formula constraints 10000
3600.05/3611.90	c learned constraints 0
3600.05/3611.90	c bound constraints 0
3600.05/3611.90	c core-guided constraints 0
3600.05/3611.90	c encountered formula constraints 0
3600.05/3611.90	c encountered learned constraints 0
3600.05/3611.90	c encountered bound constraints 0
3600.05/3611.90	c encountered core-guided constraints 0
3600.05/3611.90	c LP total time 0 s
3600.05/3611.90	c LP solve time 0 s
3600.05/3611.90	c LP constraints added 0
3600.05/3611.90	c LP constraints removed 0
3600.05/3611.90	c LP pivots internal 0
3600.05/3611.90	c LP pivots root 0
3600.05/3611.90	c LP calls 0
3600.05/3611.90	c LP optimalities 0
3600.05/3611.90	c LP no pivot count 0
3600.05/3611.90	c LP infeasibilities 0
3600.05/3611.90	c LP valid Farkas constraints 0
3600.05/3611.90	c LP learned Farkas constraints 0
3600.05/3611.90	c LP basis resets 0
3600.05/3611.90	c LP cycling count 0
3600.05/3611.90	c LP singular count 0
3600.05/3611.90	c LP no primal count 0
3600.05/3611.90	c LP no farkas count 0
3600.05/3611.90	c LP other issue count 0
3600.05/3611.90	c LP Gomory cuts 0
3600.05/3611.90	c LP learned cuts 0
3600.05/3611.90	c LP deleted cuts 0
3600.05/3611.90	c LP encountered Gomory constraints 0
3600.05/3611.90	c LP encountered Farkas constraints 0
3600.05/3611.90	c LP encountered learned Farkas constraints 0
3600.05/3611.90	c CG auxiliary variables introduced 0
3600.05/3611.90	c CG solutions found 0
3600.05/3611.90	c CG cores constructed 0
3600.05/3611.90	c CG core cardinality constraints returned 0
3600.05/3611.90	c CG unit cores 0
3600.05/3611.90	c CG single cores 0
3600.05/3611.90	c CG blocks removed during cardinality reduction 0
3600.05/3611.90	c CG first core best 0
3600.05/3611.90	c CG decision core best 0
3600.05/3611.90	c CG core reduction tie 0
3600.05/3611.90	c CG core degree average 0.00
3600.05/3611.90	c CG core slack average 0.00
3600.05/3611.90	c CG core upper bound improvements 0
3600.05/3611.90	c STR number of successful calls 0
3600.05/3611.90	c STR number of unsuccessful calls 0
3600.05/3611.90	c STR number of inconclusive calls 0
3600.05/3611.90	c STR number of successful attempts 0
3600.05/3611.90	c STR number of unsuccessful attempts 0
3600.05/3611.90	c STR number of inconclusive attempts 0
3600.05/3611.90	c STR average degree increase per successful call inf
3600.05/3611.90	c STR average degree increase per successful attempt inf
3600.05/3611.90	c STR total number of conflicts for successful attempts 0
3600.05/3611.90	c STR total number of conflicts for unsuccessful attempts 0
3600.05/3611.90	c STR total number of conflicts for inconclusive attempts 0
3600.05/3611.90	c STR average number of conflicts per successful attempt inf
3600.05/3611.90	c STR average number of conflicts per unsuccessful attempt inf
3600.05/3611.90	c STR average number of conflicts per inconclusive attempt inf
3600.05/3611.90	c AVG.sumWPerc -nan 
3600.05/3611.90	c bigint constraints 0 
3600.05/3611.90	s UNKNOWN
3600.05/3611.90	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: 63794 MiB (63107 MiB free)
  memory of node 1: 64507 MiB (63150 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100065 s]*
/proc/loadavg: 4.08 4.14 4.14 4/251 44470
/proc/meminfo: memFree=129285788/131382112 swapFree=33010684/33010684
[pid=44468] ppid=44465 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44468/stat : 44468 (run-opt.sh) S 44465 44468 43184 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 48919095 4292608 736 18446744073709551615 93962942513152 93962943407685 140734950918336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93962943646736 93962943694480 93962955448320 140734950926701 140734950926824 140734950926824 140734950932426 0
/proc/44468/statm: 1048 736 672 219 0 110 0
[pid=44470] ppid=44468 vsize=57808 memory=10968 CPUtime=0.08 cores=0,2
/proc/44470/stat : 44470 (roundingsat) R 44468 44468 43184 0 -1 4194304 1453 0 0 0 6 2 0 0 20 0 1 0 48919096 59195392 2742 18446744073709551615 4227072 8923433 140724285098640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140724285106594 140724285106728 140724285106728 140724285112298 0
/proc/44470/statm: 14452 2742 1920 1147 0 1879 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62000 KiB
Current children cumulated memory: 13912 KiB

[startup+0.213623 s]*
/proc/loadavg: 4.08 4.14 4.14 5/251 44472
/proc/meminfo: memFree=129277976/131382112 swapFree=33010684/33010684
[pid=44468] ppid=44465 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44468/stat : 44468 (run-opt.sh) S 44465 44468 43184 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 48919095 4292608 736 18446744073709551615 93962942513152 93962943407685 140734950918336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93962943646736 93962943694480 93962955448320 140734950926701 140734950926824 140734950926824 140734950932426 0
/proc/44468/statm: 1048 736 672 219 0 110 0
[pid=44470] ppid=44468 vsize=81360 memory=28832 CPUtime=0.19 cores=0,2
/proc/44470/stat : 44470 (roundingsat) R 44468 44468 43184 0 -1 4194304 5952 0 0 0 14 5 0 0 20 0 1 0 48919096 83312640 7208 18446744073709551615 4227072 8923433 140724285098640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140724285106594 140724285106728 140724285106728 140724285112298 0
/proc/44470/statm: 20340 7208 2304 1147 0 7767 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 85552 KiB
Current children cumulated memory: 31776 KiB

[startup+0.313841 s]*
/proc/loadavg: 4.08 4.14 4.14 5/253 44476
/proc/meminfo: memFree=129273736/131382112 swapFree=33010684/33010684
[pid=44468] ppid=44465 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44468/stat : 44468 (run-opt.sh) S 44465 44468 43184 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 48919095 4292608 736 18446744073709551615 93962942513152 93962943407685 140734950918336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93962943646736 93962943694480 93962955448320 140734950926701 140734950926824 140734950926824 140734950932426 0
/proc/44468/statm: 1048 736 672 219 0 110 0
[pid=44470] ppid=44468 vsize=81692 memory=30112 CPUtime=0.29 cores=0,2
/proc/44470/stat : 44470 (roundingsat) R 44468 44468 43184 0 -1 4194304 6255 0 0 0 20 9 0 0 20 0 1 0 48919096 83652608 7528 18446744073709551615 4227072 8923433 140724285098640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140724285106594 140724285106728 140724285106728 140724285112298 0
/proc/44470/statm: 20423 7528 2336 1147 0 7850 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 85884 KiB
Current children cumulated memory: 33056 KiB

[startup+0.700349 s]
/proc/loadavg: 4.08 4.14 4.14 5/252 44488
/proc/meminfo: memFree=129265480/131382112 swapFree=33010684/33010684
[pid=44468] ppid=44465 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44468/stat : 44468 (run-opt.sh) S 44465 44468 43184 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 48919095 4292608 736 18446744073709551615 93962942513152 93962943407685 140734950918336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93962943646736 93962943694480 93962955448320 140734950926701 140734950926824 140734950926824 140734950932426 0
/proc/44468/statm: 1048 736 672 219 0 110 0
[pid=44470] ppid=44468 vsize=103564 memory=54120 CPUtime=0.66 cores=0,2
/proc/44470/stat : 44470 (roundingsat) R 44468 44468 43184 0 -1 4194304 11735 0 0 0 53 13 0 0 20 0 1 0 48919096 106049536 13530 18446744073709551615 4227072 8923433 140724285098640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140724285106594 140724285106728 140724285106728 140724285112298 0
/proc/44470/statm: 25891 13530 2336 1147 0 13318 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 107756 KiB
Current children cumulated memory: 57064 KiB

[startup+1.50033 s]
/proc/loadavg: 4.08 4.14 4.14 5/256 44508
/proc/meminfo: memFree=129247996/131382112 swapFree=33010684/33010684
[pid=44468] ppid=44465 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44468/stat : 44468 (run-opt.sh) S 44465 44468 43184 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 48919095 4292608 736 18446744073709551615 93962942513152 93962943407685 140734950918336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93962943646736 93962943694480 93962955448320 140734950926701 140734950926824 140734950926824 140734950932426 0
/proc/44468/statm: 1048 736 672 219 0 110 0
[pid=44470] ppid=44468 vsize=148408 memory=92168 CPUtime=1.46 cores=0,2
/proc/44470/stat : 44470 (roundingsat) R 44468 44468 43184 0 -1 4194304 18645 0 0 0 128 18 0 0 20 0 1 0 48919096 151969792 23042 18446744073709551615 4227072 8923433 140724285098640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140724285106594 140724285106728 140724285106728 140724285112298 0
/proc/44470/statm: 37102 23042 2368 1147 0 24529 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 152600 KiB
Current children cumulated memory: 95112 KiB

[startup+3.113 s]
/proc/loadavg: 4.15 4.16 4.15 5/256 44508
/proc/meminfo: memFree=129080164/131382112 swapFree=33010684/33010684
[pid=44468] ppid=44465 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44468/stat : 44468 (run-opt.sh) S 44465 44468 43184 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 48919095 4292608 736 18446744073709551615 93962942513152 93962943407685 140734950918336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93962943646736 93962943694480 93962955448320 140734950926701 140734950926824 140734950926824 140734950932426 0
/proc/44468/statm: 1048 736 672 219 0 110 0
[pid=44470] ppid=44468 vsize=296108 memory=233028 CPUtime=3.07 cores=0,2
/proc/44470/stat : 44470 (roundingsat) R 44468 44468 43184 0 -1 4194304 47229 0 0 0 276 31 0 0 20 0 1 0 48919096 303214592 58257 18446744073709551615 4227072 8923433 140724285098640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140724285106594 140724285106728 140724285106728 140724285112298 0
/proc/44470/statm: 74027 58257 2368 1147 0 61454 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 300300 KiB
Current children cumulated memory: 235972 KiB

[startup+6.30033 s]
/proc/loadavg: 4.15 4.16 4.15 5/253 44522
/proc/meminfo: memFree=128859476/131382112 swapFree=33010684/33010684
[pid=44468] ppid=44465 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44468/stat : 44468 (run-opt.sh) S 44465 44468 43184 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 48919095 4292608 736 18446744073709551615 93962942513152 93962943407685 140734950918336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93962943646736 93962943694480 93962955448320 140734950926701 140734950926824 140734950926824 140734950932426 0
/proc/44468/statm: 1048 736 672 219 0 110 0
[pid=44470] ppid=44468 vsize=548244 memory=428036 CPUtime=6.25 cores=0,2
/proc/44470/stat : 44470 (roundingsat) R 44468 44468 43184 0 -1 4194304 83738 0 0 0 580 45 0 0 20 0 1 0 48919096 561401856 107009 18446744073709551615 4227072 8923433 140724285098640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140724285106594 140724285106728 140724285106728 140724285112298 0
/proc/44470/statm: 137061 107009 2368 1147 0 124488 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 552436 KiB
Current children cumulated memory: 430980 KiB

[startup+12.7003 s]
/proc/loadavg: 4.21 4.17 4.15 5/256 44738
/proc/meminfo: memFree=128763964/131382112 swapFree=33010684/33010684
[pid=44468] ppid=44465 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44468/stat : 44468 (run-opt.sh) S 44465 44468 43184 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 48919095 4292608 736 18446744073709551615 93962942513152 93962943407685 140734950918336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93962943646736 93962943694480 93962955448320 140734950926701 140734950926824 140734950926824 140734950932426 0
/proc/44468/statm: 1048 736 672 219 0 110 0
[pid=44470] ppid=44468 vsize=630928 memory=519636 CPUtime=12.62 cores=0,2
/proc/44470/stat : 44470 (roundingsat) R 44468 44468 43184 0 -1 4194304 95398 0 0 0 1205 57 0 0 20 0 1 0 48919096 646070272 129909 18446744073709551615 4227072 8923433 140724285098640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140724285106594 140724285106728 140724285106728 140724285112298 0
/proc/44470/statm: 157732 129909 2368 1147 0 145159 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 635120 KiB
Current children cumulated memory: 522580 KiB

[startup+25.5004 s]
/proc/loadavg: 4.18 4.16 4.15 5/256 44738
/proc/meminfo: memFree=128429208/131382112 swapFree=33010684/33010684
[pid=44468] ppid=44465 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44468/stat : 44468 (run-opt.sh) S 44465 44468 43184 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 48919095 4292608 736 18446744073709551615 93962942513152 93962943407685 140734950918336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93962943646736 93962943694480 93962955448320 140734950926701 140734950926824 140734950926824 140734950932426 0
/proc/44468/statm: 1048 736 672 219 0 110 0
[pid=44470] ppid=44468 vsize=1109036 memory=832224 CPUtime=25.39 cores=0,2
/proc/44470/stat : 44470 (roundingsat) R 44468 44468 43184 0 -1 4194304 157712 0 0 0 2443 96 0 0 20 0 1 0 48919096 1135652864 208056 18446744073709551615 4227072 8923433 140724285098640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140724285106594 140724285106728 140724285106728 140724285112298 0
/proc/44470/statm: 277259 208056 2368 1147 0 264686 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1113228 KiB
Current children cumulated memory: 835168 KiB

[startup+51.1132 s]
/proc/loadavg: 4.12 4.15 4.14 5/256 44739
/proc/meminfo: memFree=128281544/131382112 swapFree=33010684/33010684
[pid=44468] ppid=44465 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44468/stat : 44468 (run-opt.sh) S 44465 44468 43184 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 48919095 4292608 736 18446744073709551615 93962942513152 93962943407685 140734950918336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93962943646736 93962943694480 93962955448320 140734950926701 140734950926824 140734950926824 140734950932426 0
/proc/44468/statm: 1048 736 672 219 0 110 0
[pid=44470] ppid=44468 vsize=1112068 memory=951248 CPUtime=50.94 cores=0,2
/proc/44470/stat : 44470 (roundingsat) R 44468 44468 43184 0 -1 4194304 172644 0 0 0 4967 127 0 0 20 0 1 0 48919096 1138757632 237812 18446744073709551615 4227072 8923433 140724285098640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140724285106594 140724285106728 140724285106728 140724285112298 0
/proc/44470/statm: 278017 237812 2368 1147 0 265444 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1116260 KiB
Current children cumulated memory: 954192 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.14 4.14 5/257 44742
/proc/meminfo: memFree=127731528/131382112 swapFree=33010684/33010684
[pid=44468] ppid=44465 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44468/stat : 44468 (run-opt.sh) S 44465 44468 43184 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 48919095 4292608 736 18446744073709551615 93962942513152 93962943407685 140734950918336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93962943646736 93962943694480 93962955448320 140734950926701 140734950926824 140734950926824 140734950932426 0
/proc/44468/statm: 1048 736 672 219 0 110 0
[pid=44470] ppid=44468 vsize=2006652 memory=1486576 CPUtime=101.98 cores=0,2
/proc/44470/stat : 44470 (roundingsat) R 44468 44468 43184 0 -1 4194304 284074 0 0 0 10000 198 0 0 20 0 1 0 48919096 2054811648 371644 18446744073709551615 4227072 8923433 140724285098640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140724285106594 140724285106728 140724285106728 140724285112298 0
/proc/44470/statm: 501663 371644 2368 1147 0 489090 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2010844 KiB
Current children cumulated memory: 1489520 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.13 4.13 5/256 44744
/proc/meminfo: memFree=127495144/131382112 swapFree=33010684/33010684
[pid=44468] ppid=44465 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44468/stat : 44468 (run-opt.sh) S 44465 44468 43184 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 48919095 4292608 736 18446744073709551615 93962942513152 93962943407685 140734950918336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93962943646736 93962943694480 93962955448320 140734950926701 140734950926824 140734950926824 140734950932426 0
/proc/44468/statm: 1048 736 672 219 0 110 0
[pid=44470] ppid=44468 vsize=2022268 memory=1705640 CPUtime=161.81 cores=0,2
/proc/44470/stat : 44470 (roundingsat) R 44468 44468 43184 0 -1 4194304 314297 0 0 0 15914 267 0 0 20 0 1 0 48919096 2070802432 426410 18446744073709551615 4227072 8923433 140724285098640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140724285106594 140724285106728 140724285106728 140724285112298 0
/proc/44470/statm: 505567 426410 2368 1147 0 492994 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 2026460 KiB
Current children cumulated memory: 1708584 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.13 4.13 5/256 44746
/proc/meminfo: memFree=127323992/131382112 swapFree=33010684/33010684
[pid=44468] ppid=44465 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44468/stat : 44468 (run-opt.sh) S 44465 44468 43184 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 48919095 4292608 736 18446744073709551615 93962942513152 93962943407685 140734950918336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93962943646736 93962943694480 93962955448320 140734950926701 140734950926824 140734950926824 140734950932426 0
/proc/44468/statm: 1048 736 672 219 0 110 0
[pid=44470] ppid=44468 vsize=2025244 memory=1808744 CPUtime=221.63 cores=0,2
/proc/44470/stat : 44470 (roundingsat) R 44468 44468 43184 0 -1 4194304 327941 0 0 0 21847 316 0 0 20 0 1 0 48919096 2073849856 452186 18446744073709551615 4227072 8923433 140724285098640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140724285106594 140724285106728 140724285106728 140724285112298 0
/proc/44470/statm: 506311 452186 2368 1147 0 493738 0
Current children cumulated CPU time: 221.63 s

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

/proc/44470/statm: 1995514 1590990 2368 1147 0 1982941 0
Current children cumulated CPU time: 3092.2 s
Current children cumulated vsize: 7986248 KiB
Current children cumulated memory: 6366904 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/256 45405
/proc/meminfo: memFree=122051700/131382112 swapFree=33010684/33010684
[pid=44468] ppid=44465 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44468/stat : 44468 (run-opt.sh) S 44465 44468 43184 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 48919095 4292608 736 18446744073709551615 93962942513152 93962943407685 140734950918336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93962943646736 93962943694480 93962955448320 140734950926701 140734950926824 140734950926824 140734950932426 0
/proc/44468/statm: 1048 736 672 219 0 110 0
[pid=44470] ppid=44468 vsize=7982056 memory=6363960 CPUtime=3151.99 cores=0,2
/proc/44470/stat : 44470 (roundingsat) R 44468 44468 43184 0 -1 4194304 1096708 0 0 0 313147 2052 0 0 20 0 1 0 48919096 8173625344 1590990 18446744073709551615 4227072 8923433 140724285098640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140724285106594 140724285106728 140724285106728 140724285112298 0
/proc/44470/statm: 1995514 1590990 2368 1147 0 1982941 0
Current children cumulated CPU time: 3151.99 s
Current children cumulated vsize: 7986248 KiB
Current children cumulated memory: 6366904 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.12 5/254 45406
/proc/meminfo: memFree=122016364/131382112 swapFree=33010684/33010684
[pid=44468] ppid=44465 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44468/stat : 44468 (run-opt.sh) S 44465 44468 43184 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 48919095 4292608 736 18446744073709551615 93962942513152 93962943407685 140734950918336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93962943646736 93962943694480 93962955448320 140734950926701 140734950926824 140734950926824 140734950932426 0
/proc/44468/statm: 1048 736 672 219 0 110 0
[pid=44470] ppid=44468 vsize=7991784 memory=6372280 CPUtime=3211.78 cores=0,2
/proc/44470/stat : 44470 (roundingsat) R 44468 44468 43184 0 -1 4194304 1099031 0 0 0 319105 2073 0 0 20 0 1 0 48919096 8183586816 1593070 18446744073709551615 4227072 8923433 140724285098640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140724285106594 140724285106728 140724285106728 140724285112298 0
/proc/44470/statm: 1997946 1593070 2368 1147 0 1985373 0
Current children cumulated CPU time: 3211.78 s
Current children cumulated vsize: 7995976 KiB
Current children cumulated memory: 6375224 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/254 45408
/proc/meminfo: memFree=121954880/131382112 swapFree=33010684/33010684
[pid=44468] ppid=44465 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44468/stat : 44468 (run-opt.sh) S 44465 44468 43184 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 48919095 4292608 736 18446744073709551615 93962942513152 93962943407685 140734950918336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93962943646736 93962943694480 93962955448320 140734950926701 140734950926824 140734950926824 140734950932426 0
/proc/44468/statm: 1048 736 672 219 0 110 0
[pid=44470] ppid=44468 vsize=7997416 memory=6393724 CPUtime=3271.57 cores=0,2
/proc/44470/stat : 44470 (roundingsat) R 44468 44468 43184 0 -1 4194304 1103629 0 0 0 325056 2101 0 0 20 0 1 0 48919096 8189353984 1598431 18446744073709551615 4227072 8923433 140724285098640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140724285106594 140724285106728 140724285106728 140724285112298 0
/proc/44470/statm: 1999354 1598431 2368 1147 0 1986781 0
Current children cumulated CPU time: 3271.57 s
Current children cumulated vsize: 8001608 KiB
Current children cumulated memory: 6396668 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/254 45412
/proc/meminfo: memFree=121948416/131382112 swapFree=33010684/33010684
[pid=44468] ppid=44465 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44468/stat : 44468 (run-opt.sh) S 44465 44468 43184 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 48919095 4292608 736 18446744073709551615 93962942513152 93962943407685 140734950918336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93962943646736 93962943694480 93962955448320 140734950926701 140734950926824 140734950926824 140734950932426 0
/proc/44468/statm: 1048 736 672 219 0 110 0
[pid=44470] ppid=44468 vsize=7998952 memory=6394620 CPUtime=3331.37 cores=0,2
/proc/44470/stat : 44470 (roundingsat) R 44468 44468 43184 0 -1 4194304 1105621 0 0 0 331016 2121 0 0 20 0 1 0 48919096 8190926848 1598655 18446744073709551615 4227072 8923433 140724285098640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140724285106594 140724285106728 140724285106728 140724285112298 0
/proc/44470/statm: 1999738 1598655 2368 1147 0 1987165 0
Current children cumulated CPU time: 3331.37 s
Current children cumulated vsize: 8003144 KiB
Current children cumulated memory: 6397564 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/253 45414
/proc/meminfo: memFree=121944120/131382112 swapFree=33010684/33010684
[pid=44468] ppid=44465 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44468/stat : 44468 (run-opt.sh) S 44465 44468 43184 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 48919095 4292608 736 18446744073709551615 93962942513152 93962943407685 140734950918336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93962943646736 93962943694480 93962955448320 140734950926701 140734950926824 140734950926824 140734950932426 0
/proc/44468/statm: 1048 736 672 219 0 110 0
[pid=44470] ppid=44468 vsize=7998952 memory=6394748 CPUtime=3391.16 cores=0,2
/proc/44470/stat : 44470 (roundingsat) R 44468 44468 43184 0 -1 4194304 1106117 0 0 0 336980 2136 0 0 20 0 1 0 48919096 8190926848 1598687 18446744073709551615 4227072 8923433 140724285098640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140724285106594 140724285106728 140724285106728 140724285112298 0
/proc/44470/statm: 1999738 1598687 2368 1147 0 1987165 0
Current children cumulated CPU time: 3391.16 s
Current children cumulated vsize: 8003144 KiB
Current children cumulated memory: 6397692 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/254 45422
/proc/meminfo: memFree=121935120/131382112 swapFree=33010684/33010684
[pid=44468] ppid=44465 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44468/stat : 44468 (run-opt.sh) S 44465 44468 43184 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 48919095 4292608 736 18446744073709551615 93962942513152 93962943407685 140734950918336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93962943646736 93962943694480 93962955448320 140734950926701 140734950926824 140734950926824 140734950932426 0
/proc/44468/statm: 1048 736 672 219 0 110 0
[pid=44470] ppid=44468 vsize=7999976 memory=6395516 CPUtime=3450.96 cores=0,2
/proc/44470/stat : 44470 (roundingsat) R 44468 44468 43184 0 -1 4194304 1106417 0 0 0 342953 2143 0 0 20 0 1 0 48919096 8191975424 1598879 18446744073709551615 4227072 8923433 140724285098640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140724285106594 140724285106728 140724285106728 140724285112298 0
/proc/44470/statm: 1999994 1598879 2368 1147 0 1987421 0
Current children cumulated CPU time: 3450.96 s
Current children cumulated vsize: 8004168 KiB
Current children cumulated memory: 6398460 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/254 45424
/proc/meminfo: memFree=121926976/131382112 swapFree=33010684/33010684
[pid=44468] ppid=44465 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44468/stat : 44468 (run-opt.sh) S 44465 44468 43184 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 48919095 4292608 736 18446744073709551615 93962942513152 93962943407685 140734950918336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93962943646736 93962943694480 93962955448320 140734950926701 140734950926824 140734950926824 140734950932426 0
/proc/44468/statm: 1048 736 672 219 0 110 0
[pid=44470] ppid=44468 vsize=7999976 memory=6395516 CPUtime=3510.75 cores=0,2
/proc/44470/stat : 44470 (roundingsat) R 44468 44468 43184 0 -1 4194304 1108409 0 0 0 348927 2148 0 0 20 0 1 0 48919096 8191975424 1598879 18446744073709551615 4227072 8923433 140724285098640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140724285106594 140724285106728 140724285106728 140724285112298 0
/proc/44470/statm: 1999994 1598879 2368 1147 0 1987421 0
Current children cumulated CPU time: 3510.75 s
Current children cumulated vsize: 8004168 KiB
Current children cumulated memory: 6398460 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/254 45426
/proc/meminfo: memFree=121905716/131382112 swapFree=33010684/33010684
[pid=44468] ppid=44465 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44468/stat : 44468 (run-opt.sh) S 44465 44468 43184 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 48919095 4292608 736 18446744073709551615 93962942513152 93962943407685 140734950918336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93962943646736 93962943694480 93962955448320 140734950926701 140734950926824 140734950926824 140734950932426 0
/proc/44468/statm: 1048 736 672 219 0 110 0
[pid=44470] ppid=44468 vsize=7999976 memory=6395516 CPUtime=3570.54 cores=0,2
/proc/44470/stat : 44470 (roundingsat) R 44468 44468 43184 0 -1 4194304 1108926 0 0 0 354891 2163 0 0 20 0 1 0 48919096 8191975424 1598879 18446744073709551615 4227072 8923433 140724285098640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140724285106594 140724285106728 140724285106728 140724285112298 0
/proc/44470/statm: 1999994 1598879 2368 1147 0 1987421 0
Current children cumulated CPU time: 3570.54 s
Current children cumulated vsize: 8004168 KiB
Current children cumulated memory: 6398460 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.9 s]
/proc/loadavg: 4.06 4.09 4.09 4/248 45458
/proc/meminfo: memFree=122205192/131382112 swapFree=33010684/33010684
[pid=44468] ppid=44465 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44468/stat : 44468 (run-opt.sh) S 44465 44468 43184 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 48919095 4292608 736 18446744073709551615 93962942513152 93962943407685 140734950918336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93962943646736 93962943694480 93962955448320 140734950926701 140734950926824 140734950926824 140734950932426 0
/proc/44468/statm: 1048 736 672 219 0 110 0
[pid=44470] ppid=44468 vsize=7999976 memory=6395516 CPUtime=3600.05 cores=0,2
/proc/44470/stat : 44470 (roundingsat) R 44468 44468 43184 0 -1 4194304 1110233 0 0 0 357833 2172 0 0 20 0 1 0 48919096 8191975424 1598879 18446744073709551615 4227072 8923433 140724285098640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140724285106594 140724285106728 140724285106728 140724285112298 0
/proc/44470/statm: 1999994 1598879 2368 1147 0 1987421 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 8004168 KiB
Current children cumulated memory: 6398460 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000831 s, system=0.004242 s

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

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

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

[startup+3611.9 s]
/proc/loadavg: 4.06 4.09 4.09 4/248 45458
/proc/meminfo: memFree=122205192/131382112 swapFree=33010684/33010684
[pid=44468] ppid=44465 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44468/stat : 44468 (run-opt.sh) S 44465 44468 43184 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 48919095 4292608 736 18446744073709551615 93962942513152 93962943407685 140734950918336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93962943646736 93962943694480 93962955448320 140734950926701 140734950926824 140734950926824 140734950932426 0
/proc/44468/statm: 1048 736 672 219 0 110 0
[pid=44470] ppid=44468 vsize=7999976 memory=6395516 CPUtime=3600.05 cores=0,2
/proc/44470/stat : 44470 (roundingsat) R 44468 44468 43184 0 -1 4194304 1110233 0 0 0 357833 2172 0 0 20 0 1 0 48919096 8191975424 1598879 18446744073709551615 4227072 8923433 140724285098640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12472320 140724285106594 140724285106728 140724285106728 140724285112298 0
/proc/44470/statm: 1999994 1598879 2368 1147 0 1987421 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 8004168 KiB
Current children cumulated memory: 6398460 KiB

Child status: 2

Real time (s): 3612
CPU time (s): 3600.15
CPU user time (s): 3578.34
CPU system time (s): 21.8152
CPU usage (%): 99.6721
Max. virtual memory (cumulated for all children) (KiB): 8004168
Max. memory (cumulated for all children) (KiB): 6398460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.34
system time used= 21.8152
maximum resident set size= 6395644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1110459
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 668
involuntary context switches= 8151


# summary of solver processes directly reported to runsolver:
#   pid: 44468,44470
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3578.34
#   total CPU system time (s): 21.8152

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2069 second user time and 36.6513 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-01 03:13:14
IDJOB=4487758
IDBENCH=147222
IDSOLVER=3350
FILE ID=nodeC012/4487758-1751332394
RUNJOBID= nodeC012-1751328774-43194
SLURM_JOB_ID= 9594375
Free space on /tmp= 433036 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/sorensson/garden/normalized-g100x100.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4487758-1751332394/watcher-4487758-1751332394 -o /tmp/evaluation-result-4487758-1751332394/solver-4487758-1751332394 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751328774-43194 --watchdog 3760  run-opt.sh HOME/instance-4487758-1751332394.opb

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

MD5SUM BENCH= 908a9c4c32d975b4e5850834449958a7
RANDOM SEED=1546512844

nodeC012 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.062
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.39
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		: 3618.610
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.39
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.231
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.39
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.291
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.39
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		: 3700.000
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.39
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		: 2394.310
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.39
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.142
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129290492 kB
MemAvailable:   129282108 kB
Buffers:            3280 kB
Cached:           799956 kB
SwapCached:            0 kB
Active:          1054144 kB
Inactive:         489548 kB
Active(anon):     758420 kB
Inactive(anon):        0 kB
Active(file):     295724 kB
Inactive(file):   489548 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             22932 kB
Writeback:             0 kB
AnonPages:        743588 kB
Mapped:           112244 kB
Shmem:             17960 kB
KReclaimable:      91560 kB
Slab:             174612 kB
SReclaimable:      91560 kB
SUnreclaim:        83052 kB
KernelStack:        4032 kB
PageTables:         4548 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    1146996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149400 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    636928 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433028 MiB
End job on nodeC012 at 2025-07-01 04:13:26