0.00/0.13 c RoundingSat 2
0.00/0.13 c branch pb25
0.00/0.13 c commit 63f22ad
0.19/0.34 c #variables 10772 #constraints 12051
0.19/0.34 c objective is ce32
0.28/0.44 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.28/0.44 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.28/0.44 c GLOBAL bounds - >= -5356 @ 0.229378
0.28/0.47 c GLOBAL bounds - >= -5356 @ 0.251852
0.56/0.72 c GLOBAL bounds - >= -5356 @ 0.491332
0.66/0.81 c GLOBAL bounds - >= -5356 @ 0.56815
0.76/0.93 c GLOBAL bounds - >= -5356 @ 0.670255
1.16/1.30 c GLOBAL bounds - >= -5356 @ 1.02093
1.26/1.41 c GLOBAL bounds - >= -5356 @ 1.11993
1.35/1.54 c GLOBAL bounds - >= -5356 @ 1.24255
1.35/1.59 c GLOBAL bounds - >= -5356 @ 1.28308
1.56/1.71 c GLOBAL bounds - >= -5356 @ 1.38559
1.65/1.84 c GLOBAL bounds - >= -5356 @ 1.49954
1.75/1.98 c GLOBAL bounds - >= -5356 @ 1.62877
2.45/2.65 c GLOBAL bounds - >= -5356 @ 2.27265
2.75/2.94 c GLOBAL bounds - >= -5356 @ 2.54466
2.86/3.09 c GLOBAL bounds - >= -5356 @ 2.69105
3.05/3.29 c GLOBAL bounds - >= -5356 @ 2.86773
3.14/3.38 c GLOBAL bounds - >= -5356 @ 2.95756
3.25/3.45 c GLOBAL bounds - >= -5356 @ 3.01926
3.74/3.91 c GLOBAL bounds - >= -5356 @ 3.47018
3.74/3.99 c GLOBAL bounds - >= -5356 @ 3.53666
3.85/4.10 c GLOBAL bounds - >= -5356 @ 3.64235
4.05/4.24 c GLOBAL bounds - >= -5356 @ 3.76677
4.14/4.31 c GLOBAL bounds - >= -5356 @ 3.83224
4.24/4.41 c GLOBAL bounds - >= -5356 @ 3.91573
4.34/4.51 c GLOBAL bounds - >= -5356 @ 4.00144
4.44/4.60 c GLOBAL bounds - >= -5356 @ 4.08758
7.04/7.26 c #Conflicts: 1000 | #Constraints: 13099
7.04/7.26 c GLOBAL bounds - >= -5356 @ 6.69015
7.53/7.77 c GLOBAL bounds - >= -5356 @ 7.16778
7.94/8.20 c GLOBAL bounds - >= -5356 @ 7.57462
8.73/8.94 c GLOBAL bounds - >= -5356 @ 8.29378
10.83/11.01 c #Conflicts: 2000 | #Constraints: 14107
10.83/11.01 c INPROCESSING
10.83/11.01 c GARBAGE COLLECT
10.83/11.01 c GLOBAL bounds - >= -5356 @ 10.3061
10.93/11.14 c GLOBAL bounds - >= -5356 @ 10.43
13.11/13.40 c GLOBAL bounds - >= -5356 @ 12.6414
13.31/13.52 c GLOBAL bounds - >= -5356 @ 12.7635
16.30/16.53 c #Conflicts: 3000 | #Constraints: 14126
16.30/16.53 c GLOBAL bounds - >= -5356 @ 15.6959
16.50/16.78 c GLOBAL bounds - >= -5356 @ 15.9311
17.21/17.47 c GLOBAL bounds - >= -5356 @ 16.6009
20.19/20.40 c #Conflicts: 4000 | #Constraints: 15132
20.19/20.40 c GLOBAL bounds - >= -5356 @ 19.3945
20.99/21.28 c INPROCESSING
20.99/21.28 c GARBAGE COLLECT
20.99/21.28 c GLOBAL bounds - >= -5356 @ 20.2493
21.18/21.41 c GLOBAL bounds - >= -5356 @ 20.3733
22.18/22.49 c GLOBAL bounds - >= -5356 @ 21.4023
22.47/22.70 c GLOBAL bounds - >= -5356 @ 21.6041
23.67/23.96 c GLOBAL bounds - >= -5356 @ 22.8202
24.96/25.23 c GLOBAL bounds - >= -5356 @ 24.0705
25.36/25.61 c #Conflicts: 5000 | #Constraints: 14549
25.36/25.61 c GLOBAL bounds - >= -5356 @ 24.4339
27.06/27.37 c GLOBAL bounds - >= -5356 @ 26.1573
32.54/32.88 c #Conflicts: 6000 | #Constraints: 15553
32.54/32.88 c GLOBAL bounds - >= -5356 @ 31.5344
45.00/45.39 c INPROCESSING
45.00/45.39 c GARBAGE COLLECT
45.00/45.39 c #Conflicts: 7000 | #Constraints: 14560
45.00/45.39 c #Conflicts: 8000 | #Constraints: 15560
45.00/45.39 c #Conflicts: 9000 | #Constraints: 16560
45.00/45.39 c GLOBAL bounds - >= -5356 @ 43.7082
47.89/48.23 c INPROCESSING
47.89/48.23 c GARBAGE COLLECT
47.89/48.23 c GLOBAL bounds - >= -5356 @ 46.4825
48.09/48.47 c GLOBAL bounds - >= -5356 @ 46.7121
49.59/49.99 c #Conflicts: 10000 | #Constraints: 15268
49.59/49.99 c GLOBAL bounds - >= -5356 @ 48.1871
49.80/50.16 c GLOBAL bounds - >= -5356 @ 48.3489
49.99/50.33 c GLOBAL bounds - >= -5356 @ 48.5085
57.57/57.91 c #Conflicts: 11000 | #Constraints: 16274
57.57/57.91 c GLOBAL bounds - >= -5356 @ 55.915
58.46/58.85 c GLOBAL bounds - >= -5356 @ 56.8185
59.26/59.60 c GLOBAL bounds - >= -5356 @ 57.5499
59.67/60.05 c GLOBAL bounds - >= -5356 @ 57.9685
59.96/60.37 c GLOBAL bounds - >= -5356 @ 58.2834
60.25/60.64 c GLOBAL bounds - >= -5356 @ 58.5394
60.56/60.99 c GLOBAL bounds - >= -5356 @ 58.8716
62.55/62.98 c #Conflicts: 12000 | #Constraints: 17288
62.55/62.98 c INPROCESSING
62.55/62.98 c GARBAGE COLLECT
62.55/62.98 c GLOBAL bounds - >= -5356 @ 60.815
62.84/63.28 c GLOBAL bounds - >= -5356 @ 61.1075
63.55/63.92 c GLOBAL bounds - >= -5356 @ 61.7267
64.05/64.45 c GLOBAL bounds - >= -5356 @ 62.2546
64.54/64.94 c GLOBAL bounds - >= -5356 @ 62.7278
66.53/66.97 c GLOBAL bounds - >= -5356 @ 64.7043
67.13/67.58 c GLOBAL bounds - >= -5356 @ 65.2923
67.43/67.87 c #Conflicts: 13000 | #Constraints: 15757
67.43/67.87 c GLOBAL bounds - >= -5356 @ 65.5758
67.83/68.23 c GLOBAL bounds - >= -5356 @ 65.9235
68.13/68.52 c GLOBAL bounds - >= -5356 @ 66.2075
68.64/69.07 c GLOBAL bounds - >= -5356 @ 66.7384
68.93/69.35 c GLOBAL bounds - >= -5356 @ 67.0122
69.33/69.72 c GLOBAL bounds - >= -5356 @ 67.3737
69.63/70.06 c GLOBAL bounds - >= -5356 @ 67.7076
70.42/70.86 c GLOBAL bounds - >= -5356 @ 68.4825
72.21/72.67 c GLOBAL bounds - >= -5356 @ 70.242
73.12/73.58 c #Conflicts: 14000 | #Constraints: 16775
73.12/73.58 c GLOBAL bounds - >= -5356 @ 71.1314
78.62/79.04 c #Conflicts: 15000 | #Constraints: 17777
78.62/79.04 c INPROCESSING
78.62/79.04 c GARBAGE COLLECT
78.62/79.04 c GLOBAL bounds - >= -5356 @ 76.3744
79.99/80.40 c GLOBAL bounds - >= -5356 @ 77.6999
81.38/81.86 c GLOBAL bounds - >= -5356 @ 79.1272
101.52/102.09 c #Conflicts: 16000 | #Constraints: 16019
101.52/102.09 c #Conflicts: 17000 | #Constraints: 17019
101.52/102.09 c #Conflicts: 18000 | #Constraints: 18019
101.52/102.09 c INPROCESSING
101.52/102.09 c GARBAGE COLLECT
101.52/102.09 c #Conflicts: 19000 | #Constraints: 16037
101.52/102.09 c GLOBAL bounds - >= -5356 @ 99.0087
111.28/111.80 c #Conflicts: 20000 | #Constraints: 17039
111.28/111.80 c GLOBAL bounds - >= -5356 @ 108.576
117.16/117.76 c #Conflicts: 21000 | #Constraints: 18041
117.16/117.76 c INPROCESSING
117.16/117.76 c GARBAGE COLLECT
117.16/117.76 c GLOBAL bounds - >= -5356 @ 114.393
123.63/124.27 c #Conflicts: 22000 | #Constraints: 15857
123.63/124.27 c #Conflicts: 23000 | #Constraints: 16857
123.63/124.27 c GLOBAL bounds - >= -5356 @ 120.739
125.72/126.38 c GLOBAL bounds - >= -5356 @ 122.813
128.91/129.53 c GLOBAL bounds - >= -5356 @ 125.914
130.81/131.48 c #Conflicts: 24000 | #Constraints: 17863
130.81/131.48 c GLOBAL bounds - >= -5356 @ 127.824
135.19/135.88 c #Conflicts: 25000 | #Constraints: 18865
135.19/135.88 c GLOBAL bounds - >= -5356 @ 132.136
139.96/140.64 c INPROCESSING
139.96/140.64 c GARBAGE COLLECT
139.96/140.64 c GLOBAL bounds - >= -5356 @ 136.808
145.74/146.42 c #Conflicts: 26000 | #Constraints: 16477
145.74/146.42 c #Conflicts: 27000 | #Constraints: 17477
145.74/146.42 c GLOBAL bounds - >= -5356 @ 142.496
169.76/170.53 c #Conflicts: 28000 | #Constraints: 18479
169.76/170.53 c #Conflicts: 29000 | #Constraints: 19479
169.76/170.53 c INPROCESSING
169.76/170.53 c GARBAGE COLLECT
169.76/170.53 c #Conflicts: 30000 | #Constraints: 16882
169.76/170.53 c GLOBAL bounds - >= -5356 @ 166.113
195.06/195.92 c #Conflicts: 31000 | #Constraints: 17884
195.06/195.92 c #Conflicts: 32000 | #Constraints: 18884
195.06/195.92 c #Conflicts: 33000 | #Constraints: 19884
195.06/195.92 c INPROCESSING
195.06/195.92 c GARBAGE COLLECT
195.06/195.92 c #Conflicts: 34000 | #Constraints: 17083
195.06/195.92 c GLOBAL bounds - >= -5356 @ 191.092
215.11/216.06 c #Conflicts: 35000 | #Constraints: 18085
215.11/216.06 c #Conflicts: 36000 | #Constraints: 19085
215.11/216.06 c #Conflicts: 37000 | #Constraints: 20085
215.11/216.06 c INPROCESSING
215.11/216.06 c GARBAGE COLLECT
215.11/216.06 c #Conflicts: 38000 | #Constraints: 17098
215.11/216.06 c GLOBAL bounds - >= -5356 @ 210.771
215.40/216.33 c GLOBAL bounds - >= -5356 @ 211.028
221.67/222.64 c #Conflicts: 39000 | #Constraints: 18102
221.67/222.64 c GLOBAL bounds - >= -5356 @ 217.245
246.79/247.85 c #Conflicts: 40000 | #Constraints: 19104
246.79/247.85 c #Conflicts: 41000 | #Constraints: 20104
246.79/247.85 c INPROCESSING
246.79/247.85 c GARBAGE COLLECT
246.79/247.85 c #Conflicts: 42000 | #Constraints: 16908
246.79/247.85 c #Conflicts: 43000 | #Constraints: 17908
246.79/247.85 c #Conflicts: 44000 | #Constraints: 18908
246.79/247.85 c #Conflicts: 45000 | #Constraints: 19908
246.79/247.85 c GLOBAL bounds - >= -5356 @ 241.931
248.78/249.88 c GLOBAL bounds - >= -5356 @ 243.939
253.97/255.04 c #Conflicts: 46000 | #Constraints: 20912
253.97/255.04 c GLOBAL bounds - >= -5356 @ 249.035
267.22/268.39 c INPROCESSING
267.22/268.39 c GARBAGE COLLECT
267.22/268.39 c #Conflicts: 47000 | #Constraints: 17500
267.22/268.39 c #Conflicts: 48000 | #Constraints: 18500
267.22/268.39 c GLOBAL bounds - >= -5356 @ 262.136
270.81/271.99 c GLOBAL bounds - >= -5356 @ 265.688
280.47/281.66 c #Conflicts: 49000 | #Constraints: 19504
280.47/281.66 c GLOBAL bounds - >= -5356 @ 275.124
283.65/284.82 c #Conflicts: 50000 | #Constraints: 20506
283.65/284.82 c GLOBAL bounds - >= -5356 @ 278.188
286.23/287.49 c GLOBAL bounds - >= -5356 @ 280.812
293.93/295.15 c #Conflicts: 51000 | #Constraints: 21510
293.93/295.15 c INPROCESSING
293.93/295.15 c GARBAGE COLLECT
293.93/295.15 c #Conflicts: 52000 | #Constraints: 17915
293.93/295.15 c GLOBAL bounds - >= -5356 @ 288.317
303.09/304.35 c #Conflicts: 53000 | #Constraints: 18917
303.09/304.35 c GLOBAL bounds - >= -5356 @ 297.364
303.48/304.75 c GLOBAL bounds - >= -5356 @ 297.757
311.66/312.90 c #Conflicts: 54000 | #Constraints: 19921
311.66/312.90 c GLOBAL bounds - >= -5356 @ 305.769
317.34/318.65 c #Conflicts: 55000 | #Constraints: 20923
317.34/318.65 c GLOBAL bounds - >= -5356 @ 311.44
325.00/326.31 c #Conflicts: 56000 | #Constraints: 21925
325.00/326.31 c INPROCESSING
325.00/326.31 c GARBAGE COLLECT
325.00/326.31 c GLOBAL bounds - >= -5356 @ 318.961
330.88/332.22 c #Conflicts: 57000 | #Constraints: 18127
330.88/332.22 c GLOBAL bounds - >= -5356 @ 324.789
334.28/335.60 c GLOBAL bounds - >= -5356 @ 328.114
350.63/352.07 c #Conflicts: 58000 | #Constraints: 19131
350.63/352.07 c #Conflicts: 59000 | #Constraints: 20131
350.63/352.07 c #Conflicts: 60000 | #Constraints: 21131
350.63/352.07 c #Conflicts: 61000 | #Constraints: 22131
350.63/352.07 c GLOBAL bounds - >= -5356 @ 344.247
351.31/352.79 c GLOBAL bounds - >= -5356 @ 344.958
368.76/370.27 c INPROCESSING
368.76/370.27 c GARBAGE COLLECT
368.76/370.27 c #Conflicts: 62000 | #Constraints: 18133
368.76/370.27 c #Conflicts: 63000 | #Constraints: 19133
368.76/370.27 c #Conflicts: 64000 | #Constraints: 20133
368.76/370.27 c GLOBAL bounds - >= -5356 @ 362.076
369.95/371.44 c GLOBAL bounds - >= -5356 @ 363.232
371.75/373.24 c GLOBAL bounds - >= -5356 @ 365.005
373.34/374.87 c GLOBAL bounds - >= -5356 @ 366.601
379.13/380.62 c #Conflicts: 65000 | #Constraints: 21141
379.13/380.62 c GLOBAL bounds - >= -5356 @ 372.212
388.10/389.69 c #Conflicts: 66000 | #Constraints: 22143
388.10/389.69 c INPROCESSING
388.10/389.69 c GARBAGE COLLECT
388.10/389.69 c GLOBAL bounds - >= -5356 @ 381.112
401.95/403.56 c #Conflicts: 67000 | #Constraints: 17951
401.95/403.56 c #Conflicts: 68000 | #Constraints: 18951
401.95/403.56 c #Conflicts: 69000 | #Constraints: 19951
401.95/403.56 c GLOBAL bounds - >= -5356 @ 394.717
405.44/407.03 c GLOBAL bounds - >= -5356 @ 398.134
406.63/408.29 c GLOBAL bounds - >= -5356 @ 399.366
409.32/410.95 c #Conflicts: 70000 | #Constraints: 20957
409.32/410.95 c GLOBAL bounds - >= -5356 @ 401.983
424.67/426.39 c #Conflicts: 71000 | #Constraints: 21959
424.67/426.39 c #Conflicts: 72000 | #Constraints: 22959
424.67/426.39 c INPROCESSING
424.67/426.39 c GARBAGE COLLECT
424.67/426.39 c GLOBAL bounds - >= -5356 @ 417.092
432.24/433.94 c #Conflicts: 73000 | #Constraints: 18570
432.24/433.94 c GLOBAL bounds - >= -5356 @ 424.441
441.42/443.15 c #Conflicts: 74000 | #Constraints: 19572
441.42/443.15 c #Conflicts: 75000 | #Constraints: 20572
441.42/443.15 c GLOBAL bounds - >= -5356 @ 433.461
448.08/449.87 c #Conflicts: 76000 | #Constraints: 21574
448.08/449.87 c GLOBAL bounds - >= -5356 @ 440.086
448.78/450.51 c GLOBAL bounds - >= -5356 @ 440.721
454.28/456.03 c #Conflicts: 77000 | #Constraints: 22578
454.28/456.03 c GLOBAL bounds - >= -5356 @ 446.161
455.76/457.56 c GLOBAL bounds - >= -5356 @ 447.665
459.44/461.28 c GLOBAL bounds - >= -5356 @ 451.302
461.44/463.21 c GLOBAL bounds - >= -5356 @ 453.199
482.76/484.68 c #Conflicts: 78000 | #Constraints: 23586
482.76/484.68 c INPROCESSING
482.76/484.68 c GARBAGE COLLECT
482.76/484.68 c #Conflicts: 79000 | #Constraints: 18972
482.76/484.68 c #Conflicts: 80000 | #Constraints: 19972
482.76/484.68 c #Conflicts: 81000 | #Constraints: 20972
482.76/484.68 c GLOBAL bounds - >= -5356 @ 474.287
487.04/488.96 c #Conflicts: 82000 | #Constraints: 21974
487.04/488.96 c GLOBAL bounds - >= -5356 @ 478.496
511.18/513.13 c #Conflicts: 83000 | #Constraints: 22976
511.18/513.13 c #Conflicts: 84000 | #Constraints: 23976
511.18/513.13 c INPROCESSING
511.18/513.13 c GARBAGE COLLECT
511.18/513.13 c #Conflicts: 85000 | #Constraints: 19190
511.18/513.13 c #Conflicts: 86000 | #Constraints: 20190
511.18/513.13 c #Conflicts: 87000 | #Constraints: 21190
511.18/513.13 c GLOBAL bounds - >= -5356 @ 502.069
602.05/604.39 c #Conflicts: 88000 | #Constraints: 22192
602.05/604.39 c #Conflicts: 89000 | #Constraints: 23192
602.05/604.39 c #Conflicts: 90000 | #Constraints: 24192
602.05/604.39 c INPROCESSING
602.05/604.39 c GARBAGE COLLECT
602.05/604.39 c #Conflicts: 91000 | #Constraints: 19195
602.05/604.39 c #Conflicts: 92000 | #Constraints: 20195
602.05/604.39 c #Conflicts: 93000 | #Constraints: 21195
602.05/604.39 c #Conflicts: 94000 | #Constraints: 22195
602.05/604.39 c #Conflicts: 95000 | #Constraints: 23195
602.05/604.39 c #Conflicts: 96000 | #Constraints: 24195
602.05/604.39 c INPROCESSING
602.05/604.39 c GARBAGE COLLECT
602.05/604.39 c #Conflicts: 97000 | #Constraints: 18999
602.05/604.39 c #Conflicts: 98000 | #Constraints: 19999
602.05/604.39 c #Conflicts: 99000 | #Constraints: 20999
602.05/604.39 c #Conflicts: 100000 | #Constraints: 21999
602.05/604.39 c #Conflicts: 101000 | #Constraints: 22999
602.05/604.39 c #Conflicts: 102000 | #Constraints: 23999
602.05/604.39 c #Conflicts: 103000 | #Constraints: 24999
602.05/604.39 c INPROCESSING
602.05/604.39 c GARBAGE COLLECT
602.05/604.39 c GLOBAL bounds - >= -5356 @ 591.301
635.82/638.29 c #Conflicts: 104000 | #Constraints: 19592
635.82/638.29 c #Conflicts: 105000 | #Constraints: 20592
635.82/638.29 c #Conflicts: 106000 | #Constraints: 21592
635.82/638.29 c #Conflicts: 107000 | #Constraints: 22592
635.82/638.29 c GLOBAL bounds - >= -5356 @ 624.805
681.54/684.17 c #Conflicts: 108000 | #Constraints: 23594
681.54/684.17 c #Conflicts: 109000 | #Constraints: 24594
681.54/684.17 c #Conflicts: 110000 | #Constraints: 25594
681.54/684.17 c INPROCESSING
681.54/684.17 c GARBAGE COLLECT
681.54/684.17 c #Conflicts: 111000 | #Constraints: 20009
681.54/684.17 c #Conflicts: 112000 | #Constraints: 21009
681.54/684.17 c #Conflicts: 113000 | #Constraints: 22009
681.54/684.17 c #Conflicts: 114000 | #Constraints: 23009
681.54/684.17 c GLOBAL bounds - >= -5356 @ 669.571
726.88/729.60 c #Conflicts: 115000 | #Constraints: 24011
726.88/729.60 c #Conflicts: 116000 | #Constraints: 25011
726.88/729.60 c #Conflicts: 117000 | #Constraints: 26011
726.88/729.60 c INPROCESSING
726.88/729.60 c GARBAGE COLLECT
726.88/729.60 c #Conflicts: 118000 | #Constraints: 20214
726.88/729.60 c #Conflicts: 119000 | #Constraints: 21214
726.88/729.60 c #Conflicts: 120000 | #Constraints: 22214
726.88/729.60 c #Conflicts: 121000 | #Constraints: 23214
726.88/729.60 c #Conflicts: 122000 | #Constraints: 24214
726.88/729.60 c GLOBAL bounds - >= -5356 @ 714.198
731.67/734.47 c GLOBAL bounds - >= -5356 @ 718.992
732.96/735.77 c GLOBAL bounds - >= -5356 @ 720.274
736.65/739.49 c #Conflicts: 123000 | #Constraints: 25220
736.65/739.49 c GLOBAL bounds - >= -5356 @ 723.922
738.44/741.29 c GLOBAL bounds - >= -5356 @ 725.702
741.93/744.77 c GLOBAL bounds - >= -5356 @ 729.144
742.83/745.65 c #Conflicts: 124000 | #Constraints: 26226
742.83/745.65 c GLOBAL bounds - >= -5356 @ 730.009
743.82/746.68 c GLOBAL bounds - >= -5356 @ 731.023
746.02/748.87 c INPROCESSING
746.02/748.87 c GARBAGE COLLECT
746.02/748.87 c GLOBAL bounds - >= -5356 @ 733.198
747.01/749.83 c GLOBAL bounds - >= -5356 @ 734.143
747.51/750.36 c GLOBAL bounds - >= -5356 @ 734.674
750.50/753.37 c #Conflicts: 125000 | #Constraints: 20208
750.50/753.37 c GLOBAL bounds - >= -5356 @ 737.606
753.08/755.98 c GLOBAL bounds - >= -5356 @ 740.139
754.38/757.26 c GLOBAL bounds - >= -5356 @ 741.401
754.98/757.82 c GLOBAL bounds - >= -5356 @ 741.956
755.87/758.77 c GLOBAL bounds - >= -5356 @ 742.884
756.98/759.82 c GLOBAL bounds - >= -5356 @ 743.921
757.87/760.77 c GLOBAL bounds - >= -5356 @ 744.85
762.75/765.60 c #Conflicts: 126000 | #Constraints: 21222
762.75/765.60 c GLOBAL bounds - >= -5356 @ 749.588
767.74/770.63 c #Conflicts: 127000 | #Constraints: 22224
767.74/770.63 c GLOBAL bounds - >= -5356 @ 754.518
798.74/801.72 c #Conflicts: 128000 | #Constraints: 23226
798.74/801.72 c #Conflicts: 129000 | #Constraints: 24226
798.74/801.72 c #Conflicts: 130000 | #Constraints: 25226
798.74/801.72 c #Conflicts: 131000 | #Constraints: 26226
798.74/801.72 c INPROCESSING
798.74/801.72 c GARBAGE COLLECT
798.74/801.72 c #Conflicts: 132000 | #Constraints: 20034
798.74/801.72 c GLOBAL bounds - >= -5356 @ 784.95
809.30/812.31 c #Conflicts: 133000 | #Constraints: 21036
809.30/812.31 c GLOBAL bounds - >= -5356 @ 795.327
817.58/820.62 c #Conflicts: 134000 | #Constraints: 22038
817.58/820.62 c GLOBAL bounds - >= -5356 @ 803.535
819.57/822.63 c #Conflicts: 135000 | #Constraints: 23040
819.57/822.63 c GLOBAL bounds - >= -5356 @ 805.528
820.37/823.44 c GLOBAL bounds - >= -5356 @ 806.325
822.36/825.42 c GLOBAL bounds - >= -5356 @ 808.269
826.15/829.21 c GLOBAL bounds - >= -5356 @ 812
827.54/830.60 c #Conflicts: 136000 | #Constraints: 24048
827.54/830.60 c GLOBAL bounds - >= -5356 @ 813.37
836.42/839.56 c #Conflicts: 137000 | #Constraints: 25050
836.42/839.56 c GLOBAL bounds - >= -5356 @ 822.191
857.74/860.91 c #Conflicts: 138000 | #Constraints: 26052
857.74/860.91 c #Conflicts: 139000 | #Constraints: 27052
857.74/860.91 c INPROCESSING
857.74/860.91 c GARBAGE COLLECT
857.74/860.91 c #Conflicts: 140000 | #Constraints: 20665
857.74/860.91 c #Conflicts: 141000 | #Constraints: 21665
857.74/860.91 c GLOBAL bounds - >= -5356 @ 843.145
858.74/862.00 c GLOBAL bounds - >= -5356 @ 844.215
876.28/879.56 c #Conflicts: 142000 | #Constraints: 22669
876.28/879.56 c #Conflicts: 143000 | #Constraints: 23669
876.28/879.56 c #Conflicts: 144000 | #Constraints: 24669
876.28/879.56 c GLOBAL bounds - >= -5356 @ 861.321
893.21/896.50 c #Conflicts: 145000 | #Constraints: 25671
893.21/896.50 c #Conflicts: 146000 | #Constraints: 26671
893.21/896.50 c #Conflicts: 147000 | #Constraints: 27671
893.21/896.50 c INPROCESSING
893.21/896.50 c GARBAGE COLLECT
893.21/896.50 c GLOBAL bounds - >= -5356 @ 877.922
901.48/904.90 c #Conflicts: 148000 | #Constraints: 21085
901.48/904.90 c GLOBAL bounds - >= -5356 @ 886.12
904.68/908.02 c #Conflicts: 149000 | #Constraints: 22087
904.68/908.02 c GLOBAL bounds - >= -5356 @ 889.205
908.15/911.57 c GLOBAL bounds - >= -5356 @ 892.687
914.93/918.32 c #Conflicts: 150000 | #Constraints: 23091
914.93/918.32 c GLOBAL bounds - >= -5356 @ 899.34
923.50/926.98 c #Conflicts: 151000 | #Constraints: 24093
923.50/926.98 c GLOBAL bounds - >= -5356 @ 907.854
930.47/934.01 c #Conflicts: 152000 | #Constraints: 25095
930.47/934.01 c GLOBAL bounds - >= -5356 @ 914.802
933.86/937.38 c GLOBAL bounds - >= -5356 @ 918.137
946.32/949.83 c #Conflicts: 153000 | #Constraints: 26099
946.32/949.83 c #Conflicts: 154000 | #Constraints: 27099
946.32/949.83 c GLOBAL bounds - >= -5356 @ 930.33
955.88/959.43 c #Conflicts: 155000 | #Constraints: 28101
955.88/959.43 c INPROCESSING
955.88/959.43 c GARBAGE COLLECT
955.88/959.43 c GLOBAL bounds - >= -5356 @ 939.76
962.77/966.38 c #Conflicts: 156000 | #Constraints: 21309
962.77/966.38 c GLOBAL bounds - >= -5356 @ 946.575
969.56/973.14 c #Conflicts: 157000 | #Constraints: 22311
969.56/973.14 c GLOBAL bounds - >= -5356 @ 953.226
971.45/975.03 c GLOBAL bounds - >= -5356 @ 955.094
972.34/975.97 c GLOBAL bounds - >= -5356 @ 956.02
986.40/990.06 c #Conflicts: 158000 | #Constraints: 23317
986.40/990.06 c #Conflicts: 159000 | #Constraints: 24317
986.40/990.06 c GLOBAL bounds - >= -5356 @ 969.885
991.57/995.29 c #Conflicts: 160000 | #Constraints: 25319
991.57/995.29 c GLOBAL bounds - >= -5356 @ 975.042
997.25/1000.92 c #Conflicts: 161000 | #Constraints: 26321
997.25/1000.92 c GLOBAL bounds - >= -5356 @ 980.591
1001.54/1005.27 c GLOBAL bounds - >= -5356 @ 984.856
1002.73/1006.46 c GLOBAL bounds - >= -5356 @ 986.028
1014.49/1018.22 c #Conflicts: 162000 | #Constraints: 27327
1014.49/1018.22 c #Conflicts: 163000 | #Constraints: 28327
1014.49/1018.22 c INPROCESSING
1014.49/1018.22 c GARBAGE COLLECT
1014.49/1018.22 c GLOBAL bounds - >= -5356 @ 997.578
1045.38/1049.24 c #Conflicts: 164000 | #Constraints: 21335
1045.38/1049.24 c #Conflicts: 165000 | #Constraints: 22335
1045.38/1049.24 c #Conflicts: 166000 | #Constraints: 23335
1045.38/1049.24 c #Conflicts: 167000 | #Constraints: 24335
1045.38/1049.24 c #Conflicts: 168000 | #Constraints: 25335
1045.38/1049.24 c GLOBAL bounds - >= -5356 @ 1028.07
1080.15/1084.15 c #Conflicts: 169000 | #Constraints: 26337
1080.15/1084.15 c #Conflicts: 170000 | #Constraints: 27337
1080.15/1084.15 c #Conflicts: 171000 | #Constraints: 28337
1080.15/1084.15 c INPROCESSING
1080.15/1084.15 c GARBAGE COLLECT
1080.15/1084.15 c #Conflicts: 172000 | #Constraints: 21135
1080.15/1084.15 c GLOBAL bounds - >= -5356 @ 1062.43
1089.71/1093.77 c #Conflicts: 173000 | #Constraints: 22137
1089.71/1093.77 c GLOBAL bounds - >= -5356 @ 1071.93
1127.37/1131.54 c #Conflicts: 174000 | #Constraints: 23139
1127.37/1131.54 c #Conflicts: 175000 | #Constraints: 24139
1127.37/1131.54 c #Conflicts: 176000 | #Constraints: 25139
1127.37/1131.54 c #Conflicts: 177000 | #Constraints: 26139
1127.37/1131.54 c #Conflicts: 178000 | #Constraints: 27139
1127.37/1131.54 c GLOBAL bounds - >= -5356 @ 1109.07
1144.12/1148.34 c #Conflicts: 179000 | #Constraints: 28141
1144.12/1148.34 c GLOBAL bounds - >= -5356 @ 1125.66
1153.89/1158.17 c #Conflicts: 180000 | #Constraints: 29143
1153.89/1158.17 c INPROCESSING
1153.89/1158.17 c GARBAGE COLLECT
1153.89/1158.17 c #Conflicts: 181000 | #Constraints: 21728
1153.89/1158.17 c GLOBAL bounds - >= -5356 @ 1135.33
1156.78/1161.05 c GLOBAL bounds - >= -5356 @ 1138.17
1160.05/1164.36 c #Conflicts: 182000 | #Constraints: 22732
1160.05/1164.36 c GLOBAL bounds - >= -5356 @ 1141.42
1185.67/1190.03 c #Conflicts: 183000 | #Constraints: 23734
1185.67/1190.03 c #Conflicts: 184000 | #Constraints: 24734
1185.67/1190.03 c #Conflicts: 185000 | #Constraints: 25734
1185.67/1190.03 c #Conflicts: 186000 | #Constraints: 26734
1185.67/1190.03 c GLOBAL bounds - >= -5356 @ 1166.66
1190.34/1194.71 c #Conflicts: 187000 | #Constraints: 27736
1190.34/1194.71 c GLOBAL bounds - >= -5356 @ 1171.3
1217.95/1222.43 c #Conflicts: 188000 | #Constraints: 28738
1217.95/1222.43 c #Conflicts: 189000 | #Constraints: 29738
1217.95/1222.43 c INPROCESSING
1217.95/1222.43 c GARBAGE COLLECT
1217.95/1222.43 c #Conflicts: 190000 | #Constraints: 22170
1217.95/1222.43 c #Conflicts: 191000 | #Constraints: 23170
1217.95/1222.43 c #Conflicts: 192000 | #Constraints: 24170
1217.95/1222.43 c GLOBAL bounds - >= -5356 @ 1198.45
1220.14/1224.66 c #Conflicts: 193000 | #Constraints: 25172
1220.14/1224.66 c GLOBAL bounds - >= -5356 @ 1200.64
1226.53/1231.03 c #Conflicts: 194000 | #Constraints: 26174
1226.53/1231.03 c GLOBAL bounds - >= -5356 @ 1206.86
1277.03/1281.78 c #Conflicts: 195000 | #Constraints: 27176
1277.03/1281.78 c #Conflicts: 196000 | #Constraints: 28176
1277.03/1281.78 c #Conflicts: 197000 | #Constraints: 29176
1277.03/1281.78 c #Conflicts: 198000 | #Constraints: 30176
1277.03/1281.78 c INPROCESSING
1277.03/1281.78 c GARBAGE COLLECT
1277.03/1281.78 c #Conflicts: 199000 | #Constraints: 22385
1277.03/1281.78 c #Conflicts: 200000 | #Constraints: 23385
1277.03/1281.78 c #Conflicts: 201000 | #Constraints: 24385
1277.03/1281.78 c GLOBAL bounds - >= -5356 @ 1256.84
1497.04/1502.54 c #Conflicts: 202000 | #Constraints: 25387
1497.04/1502.54 c #Conflicts: 203000 | #Constraints: 26387
1497.04/1502.54 c #Conflicts: 204000 | #Constraints: 27387
1497.04/1502.54 c #Conflicts: 205000 | #Constraints: 28387
1497.04/1502.54 c #Conflicts: 206000 | #Constraints: 29387
1497.04/1502.54 c #Conflicts: 207000 | #Constraints: 30387
1497.04/1502.54 c INPROCESSING
1497.04/1502.54 c GARBAGE COLLECT
1497.04/1502.54 c #Conflicts: 208000 | #Constraints: 22403
1497.04/1502.54 c #Conflicts: 209000 | #Constraints: 23403
1497.04/1502.54 c #Conflicts: 210000 | #Constraints: 24403
1497.04/1502.54 c #Conflicts: 211000 | #Constraints: 25403
1497.04/1502.54 c #Conflicts: 212000 | #Constraints: 26403
1497.04/1502.54 c #Conflicts: 213000 | #Constraints: 27403
1497.04/1502.54 c #Conflicts: 214000 | #Constraints: 28403
1497.04/1502.54 c #Conflicts: 215000 | #Constraints: 29403
1497.04/1502.54 c #Conflicts: 216000 | #Constraints: 30403
1497.04/1502.54 c INPROCESSING
1497.04/1502.54 c GARBAGE COLLECT
1497.04/1502.54 c #Conflicts: 217000 | #Constraints: 22207
1497.04/1502.54 c #Conflicts: 218000 | #Constraints: 23207
1497.04/1502.54 c #Conflicts: 219000 | #Constraints: 24207
1497.04/1502.54 c #Conflicts: 220000 | #Constraints: 25207
1497.04/1502.54 c #Conflicts: 221000 | #Constraints: 26207
1497.04/1502.54 c #Conflicts: 222000 | #Constraints: 27207
1497.04/1502.54 c #Conflicts: 223000 | #Constraints: 28207
1497.04/1502.54 c #Conflicts: 224000 | #Constraints: 29207
1497.04/1502.54 c #Conflicts: 225000 | #Constraints: 30207
1497.04/1502.54 c #Conflicts: 226000 | #Constraints: 31207
1497.04/1502.54 c INPROCESSING
1497.04/1502.54 c GARBAGE COLLECT
1497.04/1502.54 c #Conflicts: 227000 | #Constraints: 22815
1497.04/1502.54 c #Conflicts: 228000 | #Constraints: 23815
1497.04/1502.54 c #Conflicts: 229000 | #Constraints: 24815
1497.04/1502.54 c #Conflicts: 230000 | #Constraints: 25815
1497.04/1502.54 c #Conflicts: 231000 | #Constraints: 26815
1497.04/1502.54 c #Conflicts: 232000 | #Constraints: 27815
1497.04/1502.54 c #Conflicts: 233000 | #Constraints: 28815
1497.04/1502.54 c GLOBAL bounds - >= -5356 @ 1474.23
1570.98/1576.75 c #Conflicts: 234000 | #Constraints: 29817
1570.98/1576.75 c #Conflicts: 235000 | #Constraints: 30817
1570.98/1576.75 c #Conflicts: 236000 | #Constraints: 31817
1570.98/1576.75 c INPROCESSING
1570.98/1576.75 c GARBAGE COLLECT
1570.98/1576.75 c #Conflicts: 237000 | #Constraints: 23224
1570.98/1576.75 c #Conflicts: 238000 | #Constraints: 24224
1570.98/1576.75 c #Conflicts: 239000 | #Constraints: 25224
1570.98/1576.75 c #Conflicts: 240000 | #Constraints: 26224
1570.98/1576.75 c GLOBAL bounds - >= -5356 @ 1547.53
1594.10/1599.99 c #Conflicts: 241000 | #Constraints: 27226
1594.10/1599.99 c #Conflicts: 242000 | #Constraints: 28226
1594.10/1599.99 c GLOBAL bounds - >= -5356 @ 1570.51
1608.64/1614.56 c #Conflicts: 243000 | #Constraints: 29228
1608.64/1614.56 c #Conflicts: 244000 | #Constraints: 30228
1608.64/1614.56 c GLOBAL bounds - >= -5356 @ 1584.86
1609.73/1615.65 c GLOBAL bounds - >= -5356 @ 1585.94
1628.57/1634.53 c #Conflicts: 245000 | #Constraints: 31232
1628.57/1634.53 c #Conflicts: 246000 | #Constraints: 32232
1628.57/1634.53 c INPROCESSING
1628.57/1634.53 c GARBAGE COLLECT
1628.57/1634.53 c GLOBAL bounds - >= -5356 @ 1604.54
1647.86/1653.93 c #Conflicts: 247000 | #Constraints: 23421
1647.86/1653.93 c #Conflicts: 248000 | #Constraints: 24421
1647.86/1653.93 c #Conflicts: 249000 | #Constraints: 25421
1647.86/1653.93 c #Conflicts: 250000 | #Constraints: 26421
1647.86/1653.93 c GLOBAL bounds - >= -5356 @ 1623.54
1659.63/1665.71 c #Conflicts: 251000 | #Constraints: 27423
1659.63/1665.71 c GLOBAL bounds - >= -5356 @ 1635.15
1678.86/1685.10 c #Conflicts: 252000 | #Constraints: 28425
1678.86/1685.10 c #Conflicts: 253000 | #Constraints: 29425
1678.86/1685.10 c #Conflicts: 254000 | #Constraints: 30425
1678.86/1685.10 c GLOBAL bounds - >= -5356 @ 1654.26
1682.44/1688.67 c GLOBAL bounds - >= -5356 @ 1657.78
1691.10/1697.34 c #Conflicts: 255000 | #Constraints: 31429
1691.10/1697.34 c GLOBAL bounds - >= -5356 @ 1666.37
1696.59/1702.90 c #Conflicts: 256000 | #Constraints: 32431
1696.59/1702.90 c GLOBAL bounds - >= -5356 @ 1671.88
1700.07/1706.31 c INPROCESSING
1700.07/1706.31 c GARBAGE COLLECT
1700.07/1706.31 c GLOBAL bounds - >= -5356 @ 1675.26
1703.36/1709.60 c GLOBAL bounds - >= -5356 @ 1678.52
1704.96/1711.26 c #Conflicts: 257000 | #Constraints: 23417
1704.96/1711.26 c GLOBAL bounds - >= -5356 @ 1680.15
1707.05/1713.31 c GLOBAL bounds - >= -5356 @ 1682.18
1711.84/1718.12 c #Conflicts: 258000 | #Constraints: 24421
1711.84/1718.12 c GLOBAL bounds - >= -5356 @ 1686.86
1715.01/1721.36 c GLOBAL bounds - >= -5356 @ 1690.06
1716.91/1723.24 c #Conflicts: 259000 | #Constraints: 25425
1716.91/1723.24 c GLOBAL bounds - >= -5356 @ 1691.91
1718.90/1725.23 c GLOBAL bounds - >= -5356 @ 1693.87
1727.58/1733.99 c #Conflicts: 260000 | #Constraints: 26429
1727.58/1733.99 c GLOBAL bounds - >= -5356 @ 1702.52
1730.47/1736.88 c #Conflicts: 261000 | #Constraints: 27431
1730.47/1736.88 c GLOBAL bounds - >= -5356 @ 1705.36
1749.80/1756.21 c #Conflicts: 262000 | #Constraints: 28433
1749.80/1756.21 c #Conflicts: 263000 | #Constraints: 29433
1749.80/1756.21 c GLOBAL bounds - >= -5356 @ 1724.43
1781.28/1787.80 c #Conflicts: 264000 | #Constraints: 30435
1781.28/1787.80 c #Conflicts: 265000 | #Constraints: 31435
1781.28/1787.80 c #Conflicts: 266000 | #Constraints: 32435
1781.28/1787.80 c INPROCESSING
1781.28/1787.80 c GARBAGE COLLECT
1781.28/1787.80 c #Conflicts: 267000 | #Constraints: 23251
1781.28/1787.80 c GLOBAL bounds - >= -5356 @ 1755.49
1829.92/1836.65 c #Conflicts: 268000 | #Constraints: 24253
1829.92/1836.65 c #Conflicts: 269000 | #Constraints: 25253
1829.92/1836.65 c #Conflicts: 270000 | #Constraints: 26253
1829.92/1836.65 c #Conflicts: 271000 | #Constraints: 27253
1829.92/1836.65 c #Conflicts: 272000 | #Constraints: 28253
1829.92/1836.65 c #Conflicts: 273000 | #Constraints: 29253
1829.92/1836.65 c #Conflicts: 274000 | #Constraints: 30253
1829.92/1836.65 c #Conflicts: 275000 | #Constraints: 31253
1829.92/1836.65 c #Conflicts: 276000 | #Constraints: 32253
1829.92/1836.65 c GLOBAL bounds - >= -5356 @ 1803.58
1841.98/1848.72 c #Conflicts: 277000 | #Constraints: 33255
1841.98/1848.72 c INPROCESSING
1841.98/1848.72 c GARBAGE COLLECT
1841.98/1848.72 c GLOBAL bounds - >= -5356 @ 1815.51
1854.03/1860.84 c #Conflicts: 278000 | #Constraints: 23867
1854.03/1860.84 c #Conflicts: 279000 | #Constraints: 24867
1854.03/1860.84 c GLOBAL bounds - >= -5356 @ 1827.5
1859.42/1866.26 c GLOBAL bounds - >= -5356 @ 1832.87
1861.32/1868.13 c #Conflicts: 280000 | #Constraints: 25871
1861.32/1868.13 c GLOBAL bounds - >= -5356 @ 1834.71
1865.89/1872.73 c GLOBAL bounds - >= -5356 @ 1839.23
1867.49/1874.37 c GLOBAL bounds - >= -5356 @ 1840.85
1870.39/1877.27 c #Conflicts: 281000 | #Constraints: 26877
1870.39/1877.27 c GLOBAL bounds - >= -5356 @ 1843.71
1872.08/1878.99 c GLOBAL bounds - >= -5356 @ 1845.41
1874.57/1881.40 c GLOBAL bounds - >= -5356 @ 1847.79
1875.67/1882.58 c #Conflicts: 282000 | #Constraints: 27883
1875.67/1882.58 c GLOBAL bounds - >= -5356 @ 1848.96
1966.37/1973.55 c #Conflicts: 283000 | #Constraints: 28885
1966.37/1973.55 c #Conflicts: 284000 | #Constraints: 29885
1966.37/1973.55 c #Conflicts: 285000 | #Constraints: 30885
1966.37/1973.55 c #Conflicts: 286000 | #Constraints: 31885
1966.37/1973.55 c #Conflicts: 287000 | #Constraints: 32885
1966.37/1973.55 c #Conflicts: 288000 | #Constraints: 33885
1966.37/1973.55 c INPROCESSING
1966.37/1973.55 c GARBAGE COLLECT
1966.37/1973.55 c #Conflicts: 289000 | #Constraints: 24293
1966.37/1973.55 c #Conflicts: 290000 | #Constraints: 25293
1966.37/1973.55 c #Conflicts: 291000 | #Constraints: 26293
1966.37/1973.55 c #Conflicts: 292000 | #Constraints: 27293
1966.37/1973.55 c #Conflicts: 293000 | #Constraints: 28293
1966.37/1973.55 c #Conflicts: 294000 | #Constraints: 29293
1966.37/1973.55 c #Conflicts: 295000 | #Constraints: 30293
1966.37/1973.55 c GLOBAL bounds - >= -5356 @ 1938.35
2038.65/2046.10 c #Conflicts: 296000 | #Constraints: 31295
2038.65/2046.10 c #Conflicts: 297000 | #Constraints: 32295
2038.65/2046.10 c #Conflicts: 298000 | #Constraints: 33295
2038.65/2046.10 c #Conflicts: 299000 | #Constraints: 34295
2038.65/2046.10 c INPROCESSING
2038.65/2046.10 c GARBAGE COLLECT
2038.65/2046.10 c #Conflicts: 300000 | #Constraints: 24498
2038.65/2046.10 c #Conflicts: 301000 | #Constraints: 25498
2038.65/2046.10 c #Conflicts: 302000 | #Constraints: 26498
2038.65/2046.10 c #Conflicts: 303000 | #Constraints: 27498
2038.65/2046.10 c #Conflicts: 304000 | #Constraints: 28498
2038.65/2046.10 c GLOBAL bounds - >= -5356 @ 2009.96
2074.92/2082.44 c #Conflicts: 305000 | #Constraints: 29500
2074.92/2082.44 c #Conflicts: 306000 | #Constraints: 30500
2074.92/2082.44 c #Conflicts: 307000 | #Constraints: 31500
2074.92/2082.44 c #Conflicts: 308000 | #Constraints: 32500
2074.92/2082.44 c GLOBAL bounds - >= -5356 @ 2045.96
2362.00/2370.57 c #Conflicts: 309000 | #Constraints: 33502
2362.00/2370.57 c #Conflicts: 310000 | #Constraints: 34502
2362.00/2370.57 c INPROCESSING
2362.00/2370.57 c GARBAGE COLLECT
2362.00/2370.57 c #Conflicts: 311000 | #Constraints: 24519
2362.00/2370.57 c #Conflicts: 312000 | #Constraints: 25519
2362.00/2370.57 c #Conflicts: 313000 | #Constraints: 26519
2362.00/2370.57 c #Conflicts: 314000 | #Constraints: 27519
2362.00/2370.57 c #Conflicts: 315000 | #Constraints: 28519
2362.00/2370.57 c #Conflicts: 316000 | #Constraints: 29519
2362.00/2370.57 c #Conflicts: 317000 | #Constraints: 30519
2362.00/2370.57 c #Conflicts: 318000 | #Constraints: 31519
2362.00/2370.57 c #Conflicts: 319000 | #Constraints: 32519
2362.00/2370.57 c #Conflicts: 320000 | #Constraints: 33519
2362.00/2370.57 c #Conflicts: 321000 | #Constraints: 34519
2362.00/2370.57 c INPROCESSING
2362.00/2370.57 c GARBAGE COLLECT
2362.00/2370.57 c #Conflicts: 322000 | #Constraints: 24332
2362.00/2370.57 c #Conflicts: 323000 | #Constraints: 25332
2362.00/2370.57 c #Conflicts: 324000 | #Constraints: 26332
2362.00/2370.57 c #Conflicts: 325000 | #Constraints: 27332
2362.00/2370.57 c #Conflicts: 326000 | #Constraints: 28332
2362.00/2370.57 c #Conflicts: 327000 | #Constraints: 29332
2362.00/2370.57 c #Conflicts: 328000 | #Constraints: 30332
2362.00/2370.57 c #Conflicts: 329000 | #Constraints: 31332
2362.00/2370.57 c #Conflicts: 330000 | #Constraints: 32332
2362.00/2370.57 c #Conflicts: 331000 | #Constraints: 33332
2362.00/2370.57 c #Conflicts: 332000 | #Constraints: 34332
2362.00/2370.57 c #Conflicts: 333000 | #Constraints: 35332
2362.00/2370.57 c INPROCESSING
2362.00/2370.57 c GARBAGE COLLECT
2362.00/2370.57 c #Conflicts: 334000 | #Constraints: 24940
2362.00/2370.57 c #Conflicts: 335000 | #Constraints: 25940
2362.00/2370.57 c #Conflicts: 336000 | #Constraints: 26940
2362.00/2370.57 c #Conflicts: 337000 | #Constraints: 27940
2362.00/2370.57 c GLOBAL bounds - >= -5356 @ 2330.74
2630.29/2639.72 c #Conflicts: 338000 | #Constraints: 28942
2630.29/2639.72 c #Conflicts: 339000 | #Constraints: 29942
2630.29/2639.72 c #Conflicts: 340000 | #Constraints: 30942
2630.29/2639.72 c #Conflicts: 341000 | #Constraints: 31942
2630.29/2639.72 c #Conflicts: 342000 | #Constraints: 32942
2630.29/2639.72 c #Conflicts: 343000 | #Constraints: 33942
2630.29/2639.72 c #Conflicts: 344000 | #Constraints: 34942
2630.29/2639.72 c #Conflicts: 345000 | #Constraints: 35942
2630.29/2639.72 c INPROCESSING
2630.29/2639.72 c GARBAGE COLLECT
2630.29/2639.72 c #Conflicts: 346000 | #Constraints: 25345
2630.29/2639.72 c #Conflicts: 347000 | #Constraints: 26345
2630.29/2639.72 c #Conflicts: 348000 | #Constraints: 27345
2630.29/2639.72 c #Conflicts: 349000 | #Constraints: 28345
2630.29/2639.72 c #Conflicts: 350000 | #Constraints: 29345
2630.29/2639.72 c #Conflicts: 351000 | #Constraints: 30345
2630.29/2639.72 c #Conflicts: 352000 | #Constraints: 31345
2630.29/2639.72 c #Conflicts: 353000 | #Constraints: 32345
2630.29/2639.72 c #Conflicts: 354000 | #Constraints: 33345
2630.29/2639.72 c #Conflicts: 355000 | #Constraints: 34345
2630.29/2639.72 c #Conflicts: 356000 | #Constraints: 35345
2630.29/2639.72 c #Conflicts: 357000 | #Constraints: 36345
2630.29/2639.72 c INPROCESSING
2630.29/2639.72 c GARBAGE COLLECT
2630.29/2639.72 c #Conflicts: 358000 | #Constraints: 25533
2630.29/2639.72 c #Conflicts: 359000 | #Constraints: 26533
2630.29/2639.72 c #Conflicts: 360000 | #Constraints: 27533
2630.29/2639.72 c #Conflicts: 361000 | #Constraints: 28533
2630.29/2639.72 c GLOBAL bounds - >= -5356 @ 2597.01
2702.94/2712.66 c #Conflicts: 362000 | #Constraints: 29535
2702.94/2712.66 c #Conflicts: 363000 | #Constraints: 30535
2702.94/2712.66 c #Conflicts: 364000 | #Constraints: 31535
2702.94/2712.66 c #Conflicts: 365000 | #Constraints: 32535
2702.94/2712.66 c #Conflicts: 366000 | #Constraints: 33535
2702.94/2712.66 c #Conflicts: 367000 | #Constraints: 34535
2702.94/2712.66 c #Conflicts: 368000 | #Constraints: 35535
2702.94/2712.66 c #Conflicts: 369000 | #Constraints: 36535
2702.94/2712.66 c INPROCESSING
2702.94/2712.66 c GARBAGE COLLECT
2702.94/2712.66 c GLOBAL bounds - >= -5356 @ 2669.28
2721.98/2731.73 c #Conflicts: 370000 | #Constraints: 25527
2721.98/2731.73 c #Conflicts: 371000 | #Constraints: 26527
2721.98/2731.73 c #Conflicts: 372000 | #Constraints: 27527
2721.98/2731.73 c GLOBAL bounds - >= -5356 @ 2687.97
2763.15/2773.08 c #Conflicts: 373000 | #Constraints: 28529
2763.15/2773.08 c #Conflicts: 374000 | #Constraints: 29529
2763.15/2773.08 c #Conflicts: 375000 | #Constraints: 30529
2763.15/2773.08 c #Conflicts: 376000 | #Constraints: 31529
2763.15/2773.08 c #Conflicts: 377000 | #Constraints: 32529
2763.15/2773.08 c #Conflicts: 378000 | #Constraints: 33529
2763.15/2773.08 c #Conflicts: 379000 | #Constraints: 34529
2763.15/2773.08 c GLOBAL bounds - >= -5356 @ 2728.56
2779.78/2789.75 c #Conflicts: 380000 | #Constraints: 35531
2779.78/2789.75 c GLOBAL bounds - >= -5356 @ 2745.06
2786.55/2796.52 c #Conflicts: 381000 | #Constraints: 36533
2786.55/2796.52 c GLOBAL bounds - >= -5356 @ 2751.76
2796.42/2806.42 c INPROCESSING
2796.42/2806.42 c GARBAGE COLLECT
2796.42/2806.42 c #Conflicts: 382000 | #Constraints: 25326
2796.42/2806.42 c GLOBAL bounds - >= -5356 @ 2761.58
2804.69/2814.73 c #Conflicts: 383000 | #Constraints: 26328
2804.69/2814.73 c GLOBAL bounds - >= -5356 @ 2769.77
2808.18/2818.29 c GLOBAL bounds - >= -5356 @ 2773.29
2834.69/2844.89 c #Conflicts: 384000 | #Constraints: 27332
2834.69/2844.89 c #Conflicts: 385000 | #Constraints: 28332
2834.69/2844.89 c #Conflicts: 386000 | #Constraints: 29332
2834.69/2844.89 c #Conflicts: 387000 | #Constraints: 30332
2834.69/2844.89 c GLOBAL bounds - >= -5356 @ 2799.48
2852.13/2862.30 c #Conflicts: 388000 | #Constraints: 31334
2852.13/2862.30 c GLOBAL bounds - >= -5356 @ 2816.66
2857.11/2867.30 c #Conflicts: 389000 | #Constraints: 32336
2857.11/2867.30 c GLOBAL bounds - >= -5356 @ 2821.61
2873.07/2883.36 c #Conflicts: 390000 | #Constraints: 33338
2873.07/2883.36 c GLOBAL bounds - >= -5356 @ 2837.48
2880.85/2891.18 c #Conflicts: 391000 | #Constraints: 34340
2880.85/2891.18 c GLOBAL bounds - >= -5356 @ 2845.21
2889.01/2899.35 c GLOBAL bounds - >= -5356 @ 2853.32
2892.10/2902.47 c #Conflicts: 392000 | #Constraints: 35344
2892.10/2902.47 c GLOBAL bounds - >= -5356 @ 2856.42
2899.18/2909.57 c GLOBAL bounds - >= -5356 @ 2863.45
2901.87/2912.23 c #Conflicts: 393000 | #Constraints: 36348
2901.87/2912.23 c GLOBAL bounds - >= -5356 @ 2866.09
2921.29/2931.73 c #Conflicts: 394000 | #Constraints: 37350
2921.29/2931.73 c INPROCESSING
2921.29/2931.73 c GARBAGE COLLECT
2921.29/2931.73 c #Conflicts: 395000 | #Constraints: 25963
2921.29/2931.73 c GLOBAL bounds - >= -5356 @ 2885.35
2924.78/2935.27 c GLOBAL bounds - >= -5356 @ 2888.84
2941.42/2951.96 c #Conflicts: 396000 | #Constraints: 26967
2941.42/2951.96 c #Conflicts: 397000 | #Constraints: 27967
2941.42/2951.96 c #Conflicts: 398000 | #Constraints: 28967
2941.42/2951.96 c GLOBAL bounds - >= -5356 @ 2905.12
2946.40/2956.96 c GLOBAL bounds - >= -5356 @ 2910.06
2951.78/2962.30 c #Conflicts: 399000 | #Constraints: 29971
2951.78/2962.30 c GLOBAL bounds - >= -5356 @ 2915.34
2964.14/2974.78 c #Conflicts: 400000 | #Constraints: 30973
2964.14/2974.78 c GLOBAL bounds - >= -5356 @ 2927.67
2976.30/2986.91 c #Conflicts: 401000 | #Constraints: 31975
2976.30/2986.91 c GLOBAL bounds - >= -5356 @ 2939.7
2981.19/2991.84 c #Conflicts: 402000 | #Constraints: 32977
2981.19/2991.84 c GLOBAL bounds - >= -5356 @ 2944.58
2987.97/2998.65 c GLOBAL bounds - >= -5356 @ 2951.32
3031.52/3042.33 c #Conflicts: 403000 | #Constraints: 33981
3031.52/3042.33 c #Conflicts: 404000 | #Constraints: 34981
3031.52/3042.33 c #Conflicts: 405000 | #Constraints: 35981
3031.52/3042.33 c #Conflicts: 406000 | #Constraints: 36981
3031.52/3042.33 c GLOBAL bounds - >= -5356 @ 2994.32
3041.49/3052.32 c #Conflicts: 407000 | #Constraints: 37983
3041.49/3052.32 c INPROCESSING
3041.49/3052.32 c GARBAGE COLLECT
3041.49/3052.32 c GLOBAL bounds - >= -5356 @ 3004.21
3070.49/3081.40 c #Conflicts: 408000 | #Constraints: 26318
3070.49/3081.40 c #Conflicts: 409000 | #Constraints: 27318
3070.49/3081.40 c #Conflicts: 410000 | #Constraints: 28318
3070.49/3081.40 c GLOBAL bounds - >= -5356 @ 3032.8
3081.26/3092.25 c #Conflicts: 411000 | #Constraints: 29320
3081.26/3092.25 c GLOBAL bounds - >= -5356 @ 3043.48
3364.55/3376.58 c #Conflicts: 412000 | #Constraints: 30322
3364.55/3376.58 c #Conflicts: 413000 | #Constraints: 31322
3364.55/3376.58 c #Conflicts: 414000 | #Constraints: 32322
3364.55/3376.58 c #Conflicts: 415000 | #Constraints: 33322
3364.55/3376.58 c #Conflicts: 416000 | #Constraints: 34322
3364.55/3376.58 c #Conflicts: 417000 | #Constraints: 35322
3364.55/3376.58 c #Conflicts: 418000 | #Constraints: 36322
3364.55/3376.58 c #Conflicts: 419000 | #Constraints: 37322
3364.55/3376.58 c #Conflicts: 420000 | #Constraints: 38322
3364.55/3376.58 c INPROCESSING
3364.55/3376.58 c GARBAGE COLLECT
3364.55/3376.58 c #Conflicts: 421000 | #Constraints: 26531
3364.55/3376.58 c #Conflicts: 422000 | #Constraints: 27531
3364.55/3376.58 c #Conflicts: 423000 | #Constraints: 28531
3364.55/3376.58 c #Conflicts: 424000 | #Constraints: 29531
3364.55/3376.58 c #Conflicts: 425000 | #Constraints: 30531
3364.55/3376.58 c #Conflicts: 426000 | #Constraints: 31531
3364.55/3376.58 c #Conflicts: 427000 | #Constraints: 32531
3364.55/3376.58 c #Conflicts: 428000 | #Constraints: 33531
3364.55/3376.58 c #Conflicts: 429000 | #Constraints: 34531
3364.55/3376.58 c #Conflicts: 430000 | #Constraints: 35531
3364.55/3376.58 c #Conflicts: 431000 | #Constraints: 36531
3364.55/3376.58 c #Conflicts: 432000 | #Constraints: 37531
3364.55/3376.58 c #Conflicts: 433000 | #Constraints: 38531
3364.55/3376.58 c INPROCESSING
3364.55/3376.58 c GARBAGE COLLECT
3364.55/3376.58 c #Conflicts: 434000 | #Constraints: 26539
3364.55/3376.58 c #Conflicts: 435000 | #Constraints: 27539
3364.55/3376.58 c #Conflicts: 436000 | #Constraints: 28539
3364.55/3376.58 c #Conflicts: 437000 | #Constraints: 29539
3364.55/3376.58 c #Conflicts: 438000 | #Constraints: 30539
3364.55/3376.58 c #Conflicts: 439000 | #Constraints: 31539
3364.55/3376.58 c #Conflicts: 440000 | #Constraints: 32539
3364.55/3376.58 c #Conflicts: 441000 | #Constraints: 33539
3364.55/3376.58 c #Conflicts: 442000 | #Constraints: 34539
3364.55/3376.58 c #Conflicts: 443000 | #Constraints: 35539
3364.55/3376.58 c #Conflicts: 444000 | #Constraints: 36539
3364.55/3376.58 c #Conflicts: 445000 | #Constraints: 37539
3364.55/3376.58 c #Conflicts: 446000 | #Constraints: 38539
3364.55/3376.58 c INPROCESSING
3364.55/3376.58 c GARBAGE COLLECT
3364.55/3376.58 c #Conflicts: 447000 | #Constraints: 26351
3364.55/3376.58 c #Conflicts: 448000 | #Constraints: 27351
3364.55/3376.58 c #Conflicts: 449000 | #Constraints: 28351
3364.55/3376.58 c #Conflicts: 450000 | #Constraints: 29351
3364.55/3376.58 c GLOBAL bounds - >= -5356 @ 3323.64
3600.06/3612.90 c #Conflicts: 451000 | #Constraints: 30353
3600.06/3612.90 c #Conflicts: 452000 | #Constraints: 31353
3600.06/3612.90 c #Conflicts: 453000 | #Constraints: 32353
3600.06/3612.90 c #Conflicts: 454000 | #Constraints: 33353
3600.06/3612.90 c #Conflicts: 455000 | #Constraints: 34353
3600.06/3612.90 c #Conflicts: 456000 | #Constraints: 35353
3600.06/3612.90 c #Conflicts: 457000 | #Constraints: 36353
3600.06/3612.90 c #Conflicts: 458000 | #Constraints: 37353
3600.06/3612.90 c #Conflicts: 459000 | #Constraints: 38353
3600.06/3612.90 c #Conflicts: 460000 | #Constraints: 39353
3600.06/3612.90 c INPROCESSING
3600.06/3612.90 c GARBAGE COLLECT
3600.06/3612.90 c #Conflicts: 461000 | #Constraints: 26958
3600.06/3612.90 c #Conflicts: 462000 | #Constraints: 27958
3600.06/3612.90 c #Conflicts: 463000 | #Constraints: 28958
3600.06/3612.90 c #Conflicts: 464000 | #Constraints: 29958
3600.06/3612.90 c #Conflicts: 465000 | #Constraints: 30958
3600.06/3612.90 c #Conflicts: 466000 | #Constraints: 31958
3600.06/3612.90 c #Conflicts: 467000 | #Constraints: 32958
3600.06/3612.90 c #Conflicts: 468000 | #Constraints: 33958
3600.06/3612.90 c #Conflicts: 469000 | #Constraints: 34958
3600.06/3612.90 c #Conflicts: 470000 | #Constraints: 35958
3600.06/3612.90 c #Conflicts: 471000 | #Constraints: 36958
3600.06/3612.90 c #Conflicts: 472000 | #Constraints: 37958
3600.06/3612.90 c cpu time 3557.44 s
3600.06/3612.90 c deterministic time 2 2.00e+00
3600.06/3612.90 c optimization time 3557.29 s
3600.06/3612.90 c total solve time 0 s
3600.06/3612.90 c core-guided solve time 0 s
3600.06/3612.90 c propagation time 0.012193 s
3600.06/3612.90 c conflict analysis time 0 s
3600.06/3612.90 c propagations 1
3600.06/3612.90 c resolve steps 0
3600.06/3612.90 c decisions 0
3600.06/3612.90 c conflicts 0
3600.06/3612.90 c restarts 0
3600.06/3612.90 c inprocessing phases 0
3600.06/3612.90 c garbage collections 0 ,( -nan )
3600.06/3612.90 c input clauses 10248 ,( 85.04 )
3600.06/3612.90 c input cardinalities 1803 ,( 14.96 )
3600.06/3612.90 c input general constraints 0 ,( 0.00 )
3600.06/3612.90 c input average constraint length 3.81
3600.06/3612.90 c input average constraint degree 1.29
3600.06/3612.90 c learned clauses 0 ,( 0.00 )
3600.06/3612.90 c learned cardinalities 0 ,( 0.00 )
3600.06/3612.90 c learned general constraints 0 ,( 0.00 )
3600.06/3612.90 c learned average constraint length 0.00
3600.06/3612.90 c learned average constraint degree 0.00
3600.06/3612.90 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.06/3612.90 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.06/3612.90 c watched constraints 0 ,( -nan )
3600.06/3612.90 c counting constraints 0 ,( -nan )
3600.06/3612.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.06/3612.90 c gcd simplifications 0
3600.06/3612.90 c detected cardinalities 0
3600.06/3612.90 c weakened non-implied lits 0
3600.06/3612.90 c weakened non-implying lits 0
3600.06/3612.90 c original variables 10772
3600.06/3612.90 c clausal propagations 0
3600.06/3612.90 c cardinality propagations 0
3600.06/3612.90 c watched propagations 0
3600.06/3612.90 c counting propagations 0
3600.06/3612.90 c watch lookups 0
3600.06/3612.90 c watch backjump lookups 0
3600.06/3612.90 c watch checks 0
3600.06/3612.90 c propagation checks 0
3600.06/3612.90 c constraint additions 0
3600.06/3612.90 c trail pops 0
3600.06/3612.90 c formula constraints 12051
3600.06/3612.90 c learned constraints 0
3600.06/3612.90 c bound constraints 0
3600.06/3612.90 c core-guided constraints 0
3600.06/3612.90 c encountered formula constraints 0
3600.06/3612.90 c encountered learned constraints 0
3600.06/3612.90 c encountered bound constraints 0
3600.06/3612.90 c encountered core-guided constraints 0
3600.06/3612.90 c LP total time 0 s
3600.06/3612.90 c LP solve time 0 s
3600.06/3612.90 c LP constraints added 0
3600.06/3612.90 c LP constraints removed 0
3600.06/3612.90 c LP pivots internal 0
3600.06/3612.90 c LP pivots root 0
3600.06/3612.90 c LP calls 0
3600.06/3612.90 c LP optimalities 0
3600.06/3612.90 c LP no pivot count 0
3600.06/3612.90 c LP infeasibilities 0
3600.06/3612.90 c LP valid Farkas constraints 0
3600.06/3612.90 c LP learned Farkas constraints 0
3600.06/3612.90 c LP basis resets 0
3600.06/3612.90 c LP cycling count 0
3600.06/3612.90 c LP singular count 0
3600.06/3612.90 c LP no primal count 0
3600.06/3612.90 c LP no farkas count 0
3600.06/3612.90 c LP other issue count 0
3600.06/3612.90 c LP Gomory cuts 0
3600.06/3612.90 c LP learned cuts 0
3600.06/3612.90 c LP deleted cuts 0
3600.06/3612.90 c LP encountered Gomory constraints 0
3600.06/3612.90 c LP encountered Farkas constraints 0
3600.06/3612.90 c LP encountered learned Farkas constraints 0
3600.06/3612.90 c CG auxiliary variables introduced 0
3600.06/3612.90 c CG solutions found 0
3600.06/3612.90 c CG cores constructed 0
3600.06/3612.90 c CG core cardinality constraints returned 0
3600.06/3612.90 c CG unit cores 0
3600.06/3612.90 c CG single cores 0
3600.06/3612.90 c CG blocks removed during cardinality reduction 0
3600.06/3612.90 c CG first core best 0
3600.06/3612.90 c CG decision core best 0
3600.06/3612.90 c CG core reduction tie 0
3600.06/3612.90 c CG core degree average 0.00
3600.06/3612.90 c CG core slack average 0.00
3600.06/3612.90 c CG core upper bound improvements 0
3600.06/3612.90 c STR number of successful calls 0
3600.06/3612.90 c STR number of unsuccessful calls 0
3600.06/3612.90 c STR number of inconclusive calls 0
3600.06/3612.90 c STR number of successful attempts 0
3600.06/3612.90 c STR number of unsuccessful attempts 0
3600.06/3612.90 c STR number of inconclusive attempts 0
3600.06/3612.90 c STR average degree increase per successful call inf
3600.06/3612.90 c STR average degree increase per successful attempt inf
3600.06/3612.90 c STR total number of conflicts for successful attempts 0
3600.06/3612.90 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3612.90 c STR total number of conflicts for inconclusive attempts 0
3600.06/3612.90 c STR average number of conflicts per successful attempt inf
3600.06/3612.90 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3612.90 c STR average number of conflicts per inconclusive attempt inf
3600.06/3612.90 c AVG.sumWPerc -nan
3600.06/3612.90 c bigint constraints 0
3600.06/3612.90 s UNKNOWN
3600.06/3612.90 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (63244 MiB free)
memory of node 1: 64465 MiB (63331 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484447-1751292234/watcher-4484447-1751292234 -o /tmp/evaluation-result-4484447-1751292234/solver-4484447-1751292234 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751292234-39155 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4484447-1751292234.opb PROOFDIR/proof-4484447-1751292234
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=39210, runsolver pid=39197
Current StackSize limit: 8192 KiB
[startup+0.100105 s]*
/proc/loadavg: 2.32 3.61 3.98 4/254 39217
/proc/meminfo: memFree=129603048/131382116 swapFree=33010684/33010684
[pid=39210] ppid=39197 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/39210/stat : 39210 (run-opt-log.sh) S 39197 39210 39143 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 94127437578240 94127438472773 140730656985216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94127438711824 94127438759568 94127444602880 140730656987425 140730656987620 140730656987620 140730656993222 0
/proc/39210/statm: 1048 736 672 219 0 110 0
[pid=39216] ppid=39210 vsize=48720 memory=1024 CPUtime=0 cores=1,3
/proc/39216/stat : 39216 (roundingsat) D 39210 39210 39143 0 -1 4194304 94 0 5 0 0 0 0 0 20 0 1 0 44902790 49889280 256 18446744073709551615 4227072 8923433 140733026619488 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 9823104 9832592 37552128 140733026625874 140733026626088 140733026626088 140733026631658 0
/proc/39216/statm: 12180 256 224 1147 0 132 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 52912 KiB
Current children cumulated memory: 3968 KiB
[startup+0.21401 s]*
/proc/loadavg: 2.32 3.61 3.98 8/254 39217
/proc/meminfo: memFree=129585184/131382116 swapFree=33010684/33010684
[pid=39210] ppid=39197 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/39210/stat : 39210 (run-opt-log.sh) S 39197 39210 39143 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 94127437578240 94127438472773 140730656985216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94127438711824 94127438759568 94127444602880 140730656987425 140730656987620 140730656987620 140730656993222 0
/proc/39210/statm: 1048 736 672 219 0 110 0
[pid=39216] ppid=39210 vsize=58600 memory=13732 CPUtime=0.08 cores=1,3
/proc/39216/stat : 39216 (roundingsat) R 39210 39210 39143 0 -1 4194304 1611 0 6 0 6 2 0 0 20 0 1 0 44902790 60006400 3433 18446744073709551615 4227072 8923433 140733026619488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37552128 140733026625874 140733026626088 140733026626088 140733026631658 0
/proc/39216/statm: 14650 3433 1952 1147 0 2077 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62792 KiB
Current children cumulated memory: 16676 KiB
[startup+0.31396 s]*
/proc/loadavg: 2.32 3.61 3.98 8/254 39217
/proc/meminfo: memFree=129562944/131382116 swapFree=33010684/33010684
[pid=39210] ppid=39197 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/39210/stat : 39210 (run-opt-log.sh) S 39197 39210 39143 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 94127437578240 94127438472773 140730656985216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94127438711824 94127438759568 94127444602880 140730656987425 140730656987620 140730656987620 140730656993222 0
/proc/39210/statm: 1048 736 672 219 0 110 0
[pid=39216] ppid=39210 vsize=71636 memory=24936 CPUtime=0.19 cores=1,3
/proc/39216/stat : 39216 (roundingsat) R 39210 39210 39143 0 -1 4194304 4513 0 6 0 14 5 0 0 20 0 1 0 44902790 73355264 6234 18446744073709551615 4227072 8923433 140733026619488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37552128 140733026625874 140733026626088 140733026626088 140733026631658 0
/proc/39216/statm: 17909 6234 2240 1147 0 5336 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 75828 KiB
Current children cumulated memory: 27880 KiB
[startup+0.700373 s]
/proc/loadavg: 2.32 3.61 3.98 8/254 39217
/proc/meminfo: memFree=129549084/131382116 swapFree=33010684/33010684
[pid=39210] ppid=39197 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/39210/stat : 39210 (run-opt-log.sh) S 39197 39210 39143 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 94127437578240 94127438472773 140730656985216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94127438711824 94127438759568 94127444602880 140730656987425 140730656987620 140730656987620 140730656993222 0
/proc/39210/statm: 1048 736 672 219 0 110 0
[pid=39216] ppid=39210 vsize=84564 memory=36840 CPUtime=0.56 cores=1,3
/proc/39216/stat : 39216 (roundingsat) R 39210 39210 39143 0 -1 4194304 6962 0 6 0 47 9 0 0 20 0 1 0 44902790 86593536 9210 18446744073709551615 4227072 8923433 140733026619488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37552128 140733026625874 140733026626088 140733026626088 140733026631658 0
/proc/39216/statm: 21141 9210 2304 1147 0 8568 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 88756 KiB
Current children cumulated memory: 39784 KiB
[startup+1.50041 s]
/proc/loadavg: 2.32 3.61 3.98 7/254 39217
/proc/meminfo: memFree=129504732/131382116 swapFree=33010684/33010684
[pid=39210] ppid=39197 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/39210/stat : 39210 (run-opt-log.sh) S 39197 39210 39143 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 94127437578240 94127438472773 140730656985216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94127438711824 94127438759568 94127444602880 140730656987425 140730656987620 140730656987620 140730656993222 0
/proc/39210/statm: 1048 736 672 219 0 110 0
[pid=39216] ppid=39210 vsize=88164 memory=42872 CPUtime=1.35 cores=1,3
/proc/39216/stat : 39216 (roundingsat) R 39210 39210 39143 0 -1 4194304 7974 0 6 0 120 15 0 0 20 0 1 0 44902790 90279936 10718 18446744073709551615 4227072 8923433 140733026619488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37552128 140733026625874 140733026626088 140733026626088 140733026631658 0
/proc/39216/statm: 22041 10718 2304 1147 0 9468 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 92356 KiB
Current children cumulated memory: 45816 KiB
[startup+3.11339 s]
/proc/loadavg: 2.46 3.62 3.98 8/254 39217
/proc/meminfo: memFree=129244184/131382116 swapFree=33010684/33010684
[pid=39210] ppid=39197 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/39210/stat : 39210 (run-opt-log.sh) S 39197 39210 39143 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 94127437578240 94127438472773 140730656985216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94127438711824 94127438759568 94127444602880 140730656987425 140730656987620 140730656987620 140730656993222 0
/proc/39210/statm: 1048 736 672 219 0 110 0
[pid=39216] ppid=39210 vsize=152828 memory=108020 CPUtime=2.96 cores=1,3
/proc/39216/stat : 39216 (roundingsat) R 39210 39210 39143 0 -1 4194304 22185 0 6 0 270 26 0 0 20 0 1 0 44902790 156495872 27005 18446744073709551615 4227072 8923433 140733026619488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37552128 140733026625874 140733026626088 140733026626088 140733026631658 0
/proc/39216/statm: 38207 27005 2336 1147 0 25634 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 157020 KiB
Current children cumulated memory: 110964 KiB
[startup+6.30037 s]
/proc/loadavg: 2.46 3.62 3.98 7/256 39219
/proc/meminfo: memFree=128861372/131382116 swapFree=33010684/33010684
[pid=39210] ppid=39197 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/39210/stat : 39210 (run-opt-log.sh) S 39197 39210 39143 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 94127437578240 94127438472773 140730656985216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94127438711824 94127438759568 94127444602880 140730656987425 140730656987620 140730656987620 140730656993222 0
/proc/39210/statm: 1048 736 672 219 0 110 0
[pid=39216] ppid=39210 vsize=298416 memory=223396 CPUtime=6.14 cores=1,3
/proc/39216/stat : 39216 (roundingsat) R 39210 39210 39143 0 -1 4194304 43872 0 6 0 574 40 0 0 20 0 1 0 44902790 305577984 55849 18446744073709551615 4227072 8923433 140733026619488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37552128 140733026625874 140733026626088 140733026626088 140733026631658 0
/proc/39216/statm: 74604 55849 2336 1147 0 62031 0
Current children cumulated CPU time: 6.14 s
Current children cumulated vsize: 302608 KiB
Current children cumulated memory: 226340 KiB
[startup+12.7004 s]
/proc/loadavg: 2.70 3.63 3.98 7/256 39219
/proc/meminfo: memFree=128294624/131382116 swapFree=33010684/33010684
[pid=39210] ppid=39197 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/39210/stat : 39210 (run-opt-log.sh) S 39197 39210 39143 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 94127437578240 94127438472773 140730656985216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94127438711824 94127438759568 94127444602880 140730656987425 140730656987620 140730656987620 140730656993222 0
/proc/39210/statm: 1048 736 672 219 0 110 0
[pid=39216] ppid=39210 vsize=438856 memory=335656 CPUtime=12.52 cores=1,3
/proc/39216/stat : 39216 (roundingsat) R 39210 39210 39143 0 -1 4194304 63768 0 6 0 1196 56 0 0 20 0 1 0 44902790 449388544 83914 18446744073709551615 4227072 8923433 140733026619488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37552128 140733026625874 140733026626088 140733026626088 140733026631658 0
/proc/39216/statm: 109714 83914 2336 1147 0 97141 0
Current children cumulated CPU time: 12.52 s
Current children cumulated vsize: 443048 KiB
Current children cumulated memory: 338600 KiB
[startup+25.5004 s]
/proc/loadavg: 2.98 3.66 3.99 7/251 39246
/proc/meminfo: memFree=127461656/131382116 swapFree=33010684/33010684
[pid=39210] ppid=39197 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/39210/stat : 39210 (run-opt-log.sh) S 39197 39210 39143 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 94127437578240 94127438472773 140730656985216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94127438711824 94127438759568 94127444602880 140730656987425 140730656987620 140730656987620 140730656993222 0
/proc/39210/statm: 1048 736 672 219 0 110 0
[pid=39216] ppid=39210 vsize=743456 memory=541904 CPUtime=25.27 cores=1,3
/proc/39216/stat : 39216 (roundingsat) R 39210 39210 39143 0 -1 4194304 104119 0 6 0 2433 94 0 0 20 0 1 0 44902790 761298944 135476 18446744073709551615 4227072 8923433 140733026619488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37552128 140733026625874 140733026626088 140733026626088 140733026631658 0
/proc/39216/statm: 185864 135476 2336 1147 0 173291 0
Current children cumulated CPU time: 25.27 s
Current children cumulated vsize: 747648 KiB
Current children cumulated memory: 544848 KiB
[startup+51.1132 s]
/proc/loadavg: 3.33 3.69 3.99 7/258 39268
/proc/meminfo: memFree=126342732/131382116 swapFree=33010684/33010684
[pid=39210] ppid=39197 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/39210/stat : 39210 (run-opt-log.sh) S 39197 39210 39143 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 94127437578240 94127438472773 140730656985216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94127438711824 94127438759568 94127444602880 140730656987425 140730656987620 140730656987620 140730656993222 0
/proc/39210/statm: 1048 736 672 219 0 110 0
[pid=39216] ppid=39210 vsize=749432 memory=612756 CPUtime=50.79 cores=1,3
/proc/39216/stat : 39216 (roundingsat) R 39210 39210 39143 0 -1 4194304 113115 0 6 0 4927 152 0 0 20 0 1 0 44902790 767418368 153189 18446744073709551615 4227072 8923433 140733026619488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37552128 140733026625874 140733026626088 140733026626088 140733026631658 0
/proc/39216/statm: 187358 153189 2336 1147 0 174785 0
Current children cumulated CPU time: 50.79 s
Current children cumulated vsize: 753624 KiB
Current children cumulated memory: 615700 KiB
[startup+102.3 s]
/proc/loadavg: 4.37 3.90 4.05 7/258 39270
/proc/meminfo: memFree=124177788/131382116 swapFree=33010684/33010684
[pid=39210] ppid=39197 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/39210/stat : 39210 (run-opt-log.sh) S 39197 39210 39143 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 94127437578240 94127438472773 140730656985216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94127438711824 94127438759568 94127444602880 140730656987425 140730656987620 140730656987620 140730656993222 0
/proc/39210/statm: 1048 736 672 219 0 110 0
[pid=39216] ppid=39210 vsize=1376852 memory=1049160 CPUtime=101.81 cores=1,3
/proc/39216/stat : 39216 (roundingsat) R 39210 39210 39143 0 -1 4194304 200304 0 6 0 9921 260 0 0 20 0 1 0 44902790 1409896448 262290 18446744073709551615 4227072 8923433 140733026619488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37552128 140733026625874 140733026626088 140733026626088 140733026631658 0
/proc/39216/statm: 344213 262290 2336 1147 0 331640 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 1381044 KiB
Current children cumulated memory: 1052104 KiB
[startup+162.3 s]
/proc/loadavg: 5.51 4.34 4.19 7/259 39366
/proc/meminfo: memFree=122450904/131382116 swapFree=33010684/33010684
[pid=39210] ppid=39197 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/39210/stat : 39210 (run-opt-log.sh) S 39197 39210 39143 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 94127437578240 94127438472773 140730656985216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94127438711824 94127438759568 94127444602880 140730656987425 140730656987620 140730656987620 140730656993222 0
/proc/39210/statm: 1048 736 672 219 0 110 0
[pid=39216] ppid=39210 vsize=1390004 memory=1172172 CPUtime=161.58 cores=1,3
/proc/39216/stat : 39216 (roundingsat) R 39210 39210 39143 0 -1 4194304 217782 0 6 0 15805 353 0 0 20 0 1 0 44902790 1423364096 293043 18446744073709551615 4227072 8923433 140733026619488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37552128 140733026625874 140733026626088 140733026626088 140733026631658 0
/proc/39216/statm: 347501 293043 2336 1147 0 334928 0
Current children cumulated CPU time: 161.58 s
Current children cumulated vsize: 1394196 KiB
Current children cumulated memory: 1175116 KiB
[startup+222.3 s]
/proc/loadavg: 4.71 4.33 4.20 7/259 39368
/proc/meminfo: memFree=120670748/131382116 swapFree=33010684/33010684
[pid=39210] ppid=39197 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/39210/stat : 39210 (run-opt-log.sh) S 39197 39210 39143 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 94127437578240 94127438472773 140730656985216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94127438711824 94127438759568 94127444602880 140730656987425 140730656987620 140730656987620 140730656993222 0
/proc/39210/statm: 1048 736 672 219 0 110 0
[pid=39216] ppid=39210 vsize=1396140 memory=1223064 CPUtime=221.38 cores=1,3
/proc/39216/stat : 39216 (roundingsat) R 39210 39210 39143 0 -1 4194304 224443 0 6 0 21691 447 0 0 20 0 1 0 44902790 1429647360 305766 18446744073709551615 4227072 8923433 140733026619488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37552128 140733026625874 140733026626088 140733026626088 140733026631658 0
################
# More data... #
################
Current children cumulated memory: 4234684 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.11 7/260 39530
/proc/meminfo: memFree=62286648/131382116 swapFree=33010684/33010684
[pid=39210] ppid=39197 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/39210/stat : 39210 (run-opt-log.sh) S 39197 39210 39143 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 94127437578240 94127438472773 140730656985216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94127438711824 94127438759568 94127444602880 140730656987425 140730656987620 140730656987620 140730656993222 0
/proc/39210/statm: 1048 736 672 219 0 110 0
[pid=39216] ppid=39210 vsize=5263256 memory=4231740 CPUtime=3330.47 cores=1,3
/proc/39216/stat : 39216 (roundingsat) R 39210 39210 39143 0 -1 4194304 695145 0 6 0 328982 4065 0 0 20 0 1 0 44902790 5389574144 1057935 18446744073709551615 4227072 8923433 140733026619488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37552128 140733026625874 140733026626088 140733026626088 140733026631658 0
/proc/39216/statm: 1315814 1057935 2336 1147 0 1303241 0
Current children cumulated CPU time: 3330.47 s
Current children cumulated vsize: 5267448 KiB
Current children cumulated memory: 4234684 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.09 4.09 7/261 39534
/proc/meminfo: memFree=61390824/131382116 swapFree=33010684/33010684
[pid=39210] ppid=39197 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/39210/stat : 39210 (run-opt-log.sh) S 39197 39210 39143 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 94127437578240 94127438472773 140730656985216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94127438711824 94127438759568 94127444602880 140730656987425 140730656987620 140730656987620 140730656993222 0
/proc/39210/statm: 1048 736 672 219 0 110 0
[pid=39216] ppid=39210 vsize=5263256 memory=4231740 CPUtime=3390.27 cores=1,3
/proc/39216/stat : 39216 (roundingsat) R 39210 39210 39143 0 -1 4194304 695146 0 6 0 334908 4119 0 0 20 0 1 0 44902790 5389574144 1057935 18446744073709551615 4227072 8923433 140733026619488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37552128 140733026625874 140733026626088 140733026626088 140733026631658 0
/proc/39216/statm: 1315814 1057935 2336 1147 0 1303241 0
Current children cumulated CPU time: 3390.27 s
Current children cumulated vsize: 5267448 KiB
Current children cumulated memory: 4234684 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.09 4.09 7/261 39553
/proc/meminfo: memFree=60563864/131382116 swapFree=33010684/33010684
[pid=39210] ppid=39197 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/39210/stat : 39210 (run-opt-log.sh) S 39197 39210 39143 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 94127437578240 94127438472773 140730656985216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94127438711824 94127438759568 94127444602880 140730656987425 140730656987620 140730656987620 140730656993222 0
/proc/39210/statm: 1048 736 672 219 0 110 0
[pid=39216] ppid=39210 vsize=5263256 memory=4232124 CPUtime=3450.02 cores=1,3
/proc/39216/stat : 39216 (roundingsat) R 39210 39210 39143 0 -1 4194304 695305 0 6 0 340845 4157 0 0 20 0 1 0 44902790 5389574144 1058031 18446744073709551615 4227072 8923433 140733026619488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37552128 140733026625874 140733026626088 140733026626088 140733026631658 0
/proc/39216/statm: 1315814 1058031 2336 1147 0 1303241 0
Current children cumulated CPU time: 3450.02 s
Current children cumulated vsize: 5267448 KiB
Current children cumulated memory: 4235068 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 7/260 39555
/proc/meminfo: memFree=59455172/131382116 swapFree=33010684/33010684
[pid=39210] ppid=39197 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/39210/stat : 39210 (run-opt-log.sh) S 39197 39210 39143 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 94127437578240 94127438472773 140730656985216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94127438711824 94127438759568 94127444602880 140730656987425 140730656987620 140730656987620 140730656993222 0
/proc/39210/statm: 1048 736 672 219 0 110 0
[pid=39216] ppid=39210 vsize=5292440 memory=4262588 CPUtime=3509.82 cores=1,3
/proc/39216/stat : 39216 (roundingsat) R 39210 39210 39143 0 -1 4194304 702924 0 6 0 346777 4205 0 0 20 0 1 0 44902790 5419458560 1065647 18446744073709551615 4227072 8923433 140733026619488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37552128 140733026625874 140733026626088 140733026626088 140733026631658 0
/proc/39216/statm: 1323110 1065647 2336 1147 0 1310537 0
Current children cumulated CPU time: 3509.82 s
Current children cumulated vsize: 5296632 KiB
Current children cumulated memory: 4265532 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 7/260 39558
/proc/meminfo: memFree=58699812/131382116 swapFree=33010684/33010684
[pid=39210] ppid=39197 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/39210/stat : 39210 (run-opt-log.sh) S 39197 39210 39143 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 94127437578240 94127438472773 140730656985216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94127438711824 94127438759568 94127444602880 140730656987425 140730656987620 140730656987620 140730656993222 0
/proc/39210/statm: 1048 736 672 219 0 110 0
[pid=39216] ppid=39210 vsize=5292440 memory=4262588 CPUtime=3569.61 cores=1,3
/proc/39216/stat : 39216 (roundingsat) R 39210 39210 39143 0 -1 4194304 702953 0 6 0 352724 4237 0 0 20 0 1 0 44902790 5419458560 1065647 18446744073709551615 4227072 8923433 140733026619488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37552128 140733026625874 140733026626088 140733026626088 140733026631658 0
/proc/39216/statm: 1323110 1065647 2336 1147 0 1310537 0
Current children cumulated CPU time: 3569.61 s
Current children cumulated vsize: 5296632 KiB
Current children cumulated memory: 4265532 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.9 s]
/proc/loadavg: 4.12 4.10 4.09 7/254 39566
/proc/meminfo: memFree=60412556/131382116 swapFree=33010684/33010684
[pid=39210] ppid=39197 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/39210/stat : 39210 (run-opt-log.sh) S 39197 39210 39143 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44902788 4292608 736 18446744073709551615 94127437578240 94127438472773 140730656985216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94127438711824 94127438759568 94127444602880 140730656987425 140730656987620 140730656987620 140730656993222 0
/proc/39210/statm: 1048 736 672 219 0 110 0
[pid=39216] ppid=39210 vsize=5292952 memory=4264764 CPUtime=3600.06 cores=1,3
/proc/39216/stat : 39216 (roundingsat) R 39210 39210 39143 0 -1 4194304 703547 0 6 0 355744 4262 0 0 20 0 1 0 44902790 5419982848 1066191 18446744073709551615 4227072 8923433 140733026619488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37552128 140733026625874 140733026626088 140733026626088 140733026631658 0
/proc/39216/statm: 1323238 1066191 2336 1147 0 1310665 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 5297144 KiB
Current children cumulated memory: 4267708 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3612.91 s]
# the end of solver process 39210 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001223 s, system=0.00478 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.11 4.10 4.09 3/247 39610
/proc/meminfo: memFree=65843672/131382116 swapFree=33010684/33010684
[pid=39216] ppid=39197 vsize=5292952 memory=4265148 CPUtime=3600.58 cores=1,3
/proc/39216/stat : 39216 (roundingsat) D 39197 39210 39143 0 -1 4194304 703554 0 6 0 355747 4311 0 0 20 0 1 0 44902790 5419982848 1066287 18446744073709551615 4227072 8923433 140733026619488 0 0 256 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 37552128 140733026625874 140733026626088 140733026626088 140733026631658 9
/proc/39216/statm: 1323238 1066287 2432 1147 0 1310665 0
??? kill 39216 sig 9
??? end of watcher thread
[startup+3617.53 s]
# the end of solver process 39216 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3557.5 s, system=43.4309 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3613.6 s]
/proc/loadavg: 4.11 4.10 4.09 5/253 39572
/proc/meminfo: memFree=65570268/131382116 swapFree=33010684/33010684
[pid=39216] ppid=39197 vsize=5292952 memory=4265148 CPUtime=3600.51 cores=1,3
/proc/39216/stat : 39216 (roundingsat) D 39197 39210 39143 0 -1 4194304 703554 0 6 0 355745 4306 0 0 20 0 1 0 44902790 5419982848 1066287 18446744073709551615 4227072 8923433 140733026619488 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 37552128 140733026625874 140733026626088 140733026626088 140733026631658 0
/proc/39216/statm: 1323238 1066287 2432 1147 0 1310665 0
Current cumulated CPU time of completed processes: 0.006003 s
Current children cumulated CPU time: 3600.51 s
Current children cumulated vsize: 5292952 KiB
Current children cumulated memory: 4265148 KiB
[startup+3614.4 s]
/proc/loadavg: 4.11 4.10 4.09 2/250 39596
/proc/meminfo: memFree=65579072/131382116 swapFree=33010684/33010684
[pid=39216] ppid=39197 vsize=5292952 memory=4265148 CPUtime=3600.56 cores=1,3
/proc/39216/stat : 39216 (roundingsat) D 39197 39210 39143 0 -1 4194304 703554 0 6 0 355746 4310 0 0 20 0 1 0 44902790 5419982848 1066287 18446744073709551615 4227072 8923433 140733026619488 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 37552128 140733026625874 140733026626088 140733026626088 140733026631658 0
/proc/39216/statm: 1323238 1066287 2432 1147 0 1310665 0
Current cumulated CPU time of completed processes: 0.006003 s
Current children cumulated CPU time: 3600.56 s
Current children cumulated vsize: 5292952 KiB
Current children cumulated memory: 4265148 KiB
[startup+3614.8 s]
/proc/loadavg: 4.11 4.10 4.09 2/250 39596
/proc/meminfo: memFree=65579072/131382116 swapFree=33010684/33010684
[pid=39216] ppid=39197 vsize=5292952 memory=4265148 CPUtime=3600.58 cores=1,3
/proc/39216/stat : 39216 (roundingsat) D 39197 39210 39143 0 -1 4194304 703554 0 6 0 355747 4311 0 0 20 0 1 0 44902790 5419982848 1066287 18446744073709551615 4227072 8923433 140733026619488 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 37552128 140733026625874 140733026626088 140733026626088 140733026631658 0
/proc/39216/statm: 1323238 1066287 2432 1147 0 1310665 0
Current cumulated CPU time of completed processes: 0.006003 s
Current children cumulated CPU time: 3600.58 s
Current children cumulated vsize: 5292952 KiB
Current children cumulated memory: 4265148 KiB
[startup+3614.9 s]
/proc/loadavg: 4.11 4.10 4.09 2/250 39596
/proc/meminfo: memFree=65579072/131382116 swapFree=33010684/33010684
[pid=39216] ppid=39197 vsize=5292952 memory=4265148 CPUtime=3600.58 cores=1,3
/proc/39216/stat : 39216 (roundingsat) D 39197 39210 39143 0 -1 4194304 703554 0 6 0 355747 4311 0 0 20 0 1 0 44902790 5419982848 1066287 18446744073709551615 4227072 8923433 140733026619488 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 37552128 140733026625874 140733026626088 140733026626088 140733026631658 0
/proc/39216/statm: 1323238 1066287 2432 1147 0 1310665 0
Current cumulated CPU time of completed processes: 0.006003 s
Current children cumulated CPU time: 3600.58 s
Current children cumulated vsize: 5292952 KiB
Current children cumulated memory: 4265148 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3617.53
CPU time (s): 3600.93
CPU user time (s): 3557.5
CPU system time (s): 43.4309
CPU usage (%): 99.5411
Max. virtual memory (cumulated for all children) (KiB): 5297144
Max. memory (cumulated for all children) (KiB): 4267708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3557.5
system time used= 43.4309
maximum resident set size= 4265148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 703759
page faults= 6
swaps= 0
block input operations= 2936
block output operations= 45084488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120061
involuntary context switches= 23576
# summary of solver processes directly reported to runsolver:
# pid: 39210,39216
# total CPU time (s): 3600.93
# total CPU user time (s): 3557.5
# total CPU system time (s): 43.4309
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2269 second user time and 37.582 second system time
The end
Begin job on nodeC010 at 2025-06-30 16:03:54
IDJOB=4484447
IDBENCH=146657
IDSOLVER=3351
FILE ID=nodeC010/4484447-1751292234
RUNJOBID= nodeC010-1751292234-39155
SLURM_JOB_ID= 9594261
Free space on /tmp= 432692 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484447-1751292234/watcher-4484447-1751292234 -o /tmp/evaluation-result-4484447-1751292234/solver-4484447-1751292234 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751292234-39155 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4484447-1751292234.opb PROOFDIR/proof-4484447-1751292234
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a964700945576a67d3d8d9c44c1c5e5c
RANDOM SEED=349211541
nodeC010 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.160
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.151
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.101
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.427
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.147
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.133
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.232
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.129
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 129589828 kB
MemAvailable: 129898936 kB
Buffers: 3280 kB
Cached: 1117420 kB
SwapCached: 0 kB
Active: 356628 kB
Inactive: 824932 kB
Active(anon): 78820 kB
Inactive(anon): 0 kB
Active(file): 277808 kB
Inactive(file): 824932 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30008 kB
Writeback: 12 kB
AnonPages: 63888 kB
Mapped: 102940 kB
Shmem: 17960 kB
KReclaimable: 91992 kB
Slab: 173948 kB
SReclaimable: 91992 kB
SUnreclaim: 81956 kB
KernelStack: 3716 kB
PageTables: 2388 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 330996 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149208 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 432656 MiB
End job on nodeC010 at 2025-06-30 17:04:12