0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.18/0.26 c #variables 70755 #constraints 4027
0.18/0.26 c objective is ce96
0.29/0.35 c initial watched CF 32, 64, 128, Arb: 17 , 0 , 0 , 0
0.29/0.35 c initial counting CF 32, 64, 128, Arb: 3699 , 0 , 2 , 0
0.29/0.35 c GLOBAL bounds - >= 0 @ 0.298213
0.39/0.46 c GLOBAL bounds - >= 0 @ 0.368139
0.58/0.66 c GLOBAL bounds - >= 0 @ 0.554554
6.16/6.21 c GLOBAL bounds - >= 0 @ 6.06668
7.75/7.82 c GLOBAL bounds - >= 0 @ 7.6641
7.86/7.93 c GLOBAL bounds - >= 0 @ 7.76493
7.96/8.03 c GLOBAL bounds - >= 0 @ 7.85992
8.25/8.35 c GLOBAL bounds - >= 0 @ 8.17489
8.56/8.61 c GLOBAL bounds - >= 0 @ 8.43078
10.35/10.49 c GLOBAL bounds - >= 0 @ 10.3099
10.64/10.79 c GLOBAL bounds - >= 0 @ 10.5951
10.75/10.85 c GLOBAL bounds - >= 0 @ 10.6515
12.24/12.31 c GLOBAL bounds - >= 0 @ 12.1013
12.64/12.76 c GLOBAL bounds - >= 0 @ 12.541
17.93/18.00 c GLOBAL bounds - >= 0 @ 17.7491
19.33/19.49 c GLOBAL bounds - >= 0 @ 19.2197
22.12/22.28 c GLOBAL bounds - >= 0 @ 21.9953
22.71/22.84 c GLOBAL bounds - >= 0 @ 22.5504
22.81/22.97 c GLOBAL bounds - >= 0 @ 22.6816
22.92/23.07 c GLOBAL bounds - >= 0 @ 22.7726
23.02/23.17 c GLOBAL bounds - >= 0 @ 22.8735
23.11/23.25 c GLOBAL bounds - >= 0 @ 22.9449
27.11/27.26 c #Conflicts: 1000 | #Constraints: 11787
27.11/27.26 c GLOBAL bounds - >= 0 @ 26.9152
44.86/45.09 c #Conflicts: 2000 | #Constraints: 13109
44.86/45.09 c INPROCESSING
44.86/45.09 c GARBAGE COLLECT
44.86/45.09 c GLOBAL bounds - >= 0 @ 44.603
50.74/50.99 c GLOBAL bounds - >= 0 @ 50.4572
51.03/51.28 c GLOBAL bounds - >= 0 @ 50.7423
59.82/60.10 c GLOBAL bounds - >= 0 @ 59.5198
63.70/63.98 c #Conflicts: 3000 | #Constraints: 14409
63.70/63.98 c GLOBAL bounds - >= 0 @ 63.3777
64.20/64.43 c GLOBAL bounds - >= 0 @ 63.8154
64.70/65.00 c GLOBAL bounds - >= 0 @ 64.3776
67.19/67.49 c GLOBAL bounds - >= 0 @ 66.8394
78.06/78.33 c GLOBAL bounds - >= 0 @ 77.5725
96.01/96.31 c #Conflicts: 4000 | #Constraints: 17019
96.01/96.31 c INPROCESSING
96.01/96.31 c GARBAGE COLLECT
96.01/96.31 c GLOBAL bounds - >= 0 @ 95.4327
104.88/105.27 c GLOBAL bounds - >= 0 @ 104.332
105.07/105.42 c GLOBAL bounds - >= 0 @ 104.478
105.38/105.72 c GLOBAL bounds - >= 0 @ 104.779
106.37/106.70 c GLOBAL bounds - >= 0 @ 105.753
110.77/111.15 c GLOBAL bounds - >= 0 @ 110.175
121.74/122.14 c #Conflicts: 5000 | #Constraints: 18373
121.74/122.14 c GLOBAL bounds - >= 0 @ 121.119
121.93/122.31 c GLOBAL bounds - >= 0 @ 121.282
123.03/123.48 c GLOBAL bounds - >= 0 @ 122.45
123.32/123.71 c GLOBAL bounds - >= 0 @ 122.676
127.32/127.79 c GLOBAL bounds - >= 0 @ 126.727
127.52/127.97 c GLOBAL bounds - >= 0 @ 126.895
128.11/128.57 c GLOBAL bounds - >= 0 @ 127.487
129.61/130.09 c GLOBAL bounds - >= 0 @ 128.989
137.18/137.61 c GLOBAL bounds - >= 0 @ 136.46
149.56/150.04 c #Conflicts: 6000 | #Constraints: 22271
149.56/150.04 c GLOBAL bounds - >= 0 @ 148.808
155.54/156.07 c GLOBAL bounds - >= 0 @ 154.8
170.10/170.68 c INPROCESSING
170.10/170.68 c GARBAGE COLLECT
170.10/170.68 c #Conflicts: 7000 | #Constraints: 21930
170.10/170.68 c GLOBAL bounds - >= 0 @ 169.33
184.96/185.53 c #Conflicts: 8000 | #Constraints: 23252
184.96/185.53 c GLOBAL bounds - >= 0 @ 184.092
217.06/217.71 c #Conflicts: 9000 | #Constraints: 24574
217.06/217.71 c GLOBAL bounds - >= 0 @ 216.065
217.46/218.17 c GLOBAL bounds - >= 0 @ 216.508
224.24/224.93 c INPROCESSING
224.24/224.93 c GARBAGE COLLECT
224.24/224.93 c GLOBAL bounds - >= 0 @ 223.22
229.82/230.51 c GLOBAL bounds - >= 0 @ 228.763
236.60/237.32 c GLOBAL bounds - >= 0 @ 235.545
239.99/240.78 c GLOBAL bounds - >= 0 @ 238.991
240.30/241.04 c GLOBAL bounds - >= 0 @ 239.24
240.49/241.26 c GLOBAL bounds - >= 0 @ 239.458
240.69/241.49 c GLOBAL bounds - >= 0 @ 239.685
245.58/246.36 c GLOBAL bounds - >= 0 @ 244.532
258.05/258.81 c #Conflicts: 10000 | #Constraints: 26485
258.05/258.81 c GLOBAL bounds - >= 0 @ 256.891
262.04/262.86 c GLOBAL bounds - >= 0 @ 260.923
264.03/264.82 c GLOBAL bounds - >= 0 @ 262.873
271.01/271.88 c GLOBAL bounds - >= 0 @ 269.878
271.31/272.12 c GLOBAL bounds - >= 0 @ 270.106
285.06/285.94 c #Conflicts: 11000 | #Constraints: 29095
285.06/285.94 c GLOBAL bounds - >= 0 @ 283.871
287.26/288.13 c GLOBAL bounds - >= 0 @ 286.052
292.24/293.19 c GLOBAL bounds - >= 0 @ 291.064
292.53/293.48 c GLOBAL bounds - >= 0 @ 291.351
310.39/311.34 c GLOBAL bounds - >= 0 @ 309.098
334.32/335.36 c #Conflicts: 12000 | #Constraints: 31705
334.32/335.36 c INPROCESSING
334.32/335.36 c GARBAGE COLLECT
334.32/335.36 c GLOBAL bounds - >= 0 @ 332.995
334.82/335.86 c GLOBAL bounds - >= 0 @ 333.484
339.30/340.39 c #Conflicts: 13000 | #Constraints: 30827
339.30/340.39 c GLOBAL bounds - >= 0 @ 337.992
339.60/340.69 c GLOBAL bounds - >= 0 @ 338.29
341.00/342.04 c GLOBAL bounds - >= 0 @ 339.629
367.52/368.66 c #Conflicts: 14000 | #Constraints: 32793
367.52/368.66 c GLOBAL bounds - >= 0 @ 366.13
376.29/377.44 c GLOBAL bounds - >= 0 @ 374.865
378.00/379.14 c GLOBAL bounds - >= 0 @ 376.543
392.96/394.15 c GLOBAL bounds - >= 0 @ 391.468
393.34/394.54 c GLOBAL bounds - >= 0 @ 391.846
393.75/394.94 c GLOBAL bounds - >= 0 @ 392.242
410.09/411.32 c #Conflicts: 15000 | #Constraints: 35725
410.09/411.32 c INPROCESSING
410.09/411.32 c GARBAGE COLLECT
410.09/411.32 c GLOBAL bounds - >= 0 @ 408.46
411.10/412.35 c GLOBAL bounds - >= 0 @ 409.485
411.39/412.66 c GLOBAL bounds - >= 0 @ 409.784
412.49/413.77 c #Conflicts: 16000 | #Constraints: 34928
412.49/413.77 c GLOBAL bounds - >= 0 @ 410.889
418.67/419.90 c GLOBAL bounds - >= 0 @ 416.963
418.88/420.10 c GLOBAL bounds - >= 0 @ 417.162
422.86/424.11 c GLOBAL bounds - >= 0 @ 421.148
423.25/424.51 c GLOBAL bounds - >= 0 @ 421.548
423.46/424.79 c GLOBAL bounds - >= 0 @ 421.822
428.85/430.12 c GLOBAL bounds - >= 0 @ 427.13
466.43/467.89 c #Conflicts: 17000 | #Constraints: 38182
466.43/467.89 c #Conflicts: 18000 | #Constraints: 39182
466.43/467.89 c INPROCESSING
466.43/467.89 c GARBAGE COLLECT
466.43/467.89 c GLOBAL bounds - >= 0 @ 464.72
488.07/489.58 c #Conflicts: 19000 | #Constraints: 37505
488.07/489.58 c GLOBAL bounds - >= 0 @ 486.302
488.67/490.13 c GLOBAL bounds - >= 0 @ 486.849
491.46/492.98 c GLOBAL bounds - >= 0 @ 489.68
494.75/496.25 c GLOBAL bounds - >= 0 @ 492.932
495.05/496.54 c GLOBAL bounds - >= 0 @ 493.21
495.25/496.78 c GLOBAL bounds - >= 0 @ 493.449
495.56/497.02 c GLOBAL bounds - >= 0 @ 493.682
495.75/497.26 c GLOBAL bounds - >= 0 @ 493.908
507.32/508.88 c GLOBAL bounds - >= 0 @ 505.451
529.64/531.20 c #Conflicts: 20000 | #Constraints: 41403
529.64/531.20 c GLOBAL bounds - >= 0 @ 527.676
532.04/533.62 c GLOBAL bounds - >= 0 @ 530.075
533.84/535.43 c GLOBAL bounds - >= 0 @ 531.878
536.54/538.11 c GLOBAL bounds - >= 0 @ 534.533
538.82/540.41 c GLOBAL bounds - >= 0 @ 536.827
544.70/546.31 c GLOBAL bounds - >= 0 @ 542.692
560.06/561.72 c GLOBAL bounds - >= 0 @ 558.036
563.14/564.82 c GLOBAL bounds - >= 0 @ 561.124
563.55/565.23 c GLOBAL bounds - >= 0 @ 561.524
563.84/565.59 c GLOBAL bounds - >= 0 @ 561.871
565.44/567.17 c GLOBAL bounds - >= 0 @ 563.447
575.12/576.85 c #Conflicts: 21000 | #Constraints: 45945
575.12/576.85 c GLOBAL bounds - >= 0 @ 573.079
579.50/581.22 c GLOBAL bounds - >= 0 @ 577.428
579.89/581.68 c GLOBAL bounds - >= 0 @ 577.882
592.27/594.03 c GLOBAL bounds - >= 0 @ 590.175
595.06/596.83 c GLOBAL bounds - >= 0 @ 592.958
605.03/606.82 c INPROCESSING
605.03/606.82 c GARBAGE COLLECT
605.03/606.82 c GLOBAL bounds - >= 0 @ 602.901
606.82/608.68 c GLOBAL bounds - >= 0 @ 604.748
608.02/609.88 c GLOBAL bounds - >= 0 @ 605.941
608.52/610.33 c GLOBAL bounds - >= 0 @ 606.389
608.71/610.53 c GLOBAL bounds - >= 0 @ 606.592
608.91/610.73 c GLOBAL bounds - >= 0 @ 606.795
609.11/610.90 c GLOBAL bounds - >= 0 @ 606.957
609.21/611.07 c GLOBAL bounds - >= 0 @ 607.121
625.97/627.82 c #Conflicts: 22000 | #Constraints: 47942
625.97/627.82 c GLOBAL bounds - >= 0 @ 623.798
629.16/631.05 c GLOBAL bounds - >= 0 @ 627.006
632.85/634.77 c GLOBAL bounds - >= 0 @ 630.692
634.54/636.49 c GLOBAL bounds - >= 0 @ 632.393
640.92/642.86 c GLOBAL bounds - >= 0 @ 638.695
644.91/646.84 c #Conflicts: 23000 | #Constraints: 50552
644.91/646.84 c GLOBAL bounds - >= 0 @ 642.654
647.11/649.04 c GLOBAL bounds - >= 0 @ 644.841
651.00/652.97 c GLOBAL bounds - >= 0 @ 648.736
651.30/653.24 c GLOBAL bounds - >= 0 @ 648.993
651.60/653.52 c GLOBAL bounds - >= 0 @ 649.266
652.29/654.24 c GLOBAL bounds - >= 0 @ 649.969
652.98/655.00 c GLOBAL bounds - >= 0 @ 650.719
653.29/655.22 c GLOBAL bounds - >= 0 @ 650.936
653.49/655.45 c GLOBAL bounds - >= 0 @ 651.152
653.69/655.67 c GLOBAL bounds - >= 0 @ 651.368
654.68/656.61 c GLOBAL bounds - >= 0 @ 652.299
654.89/656.87 c GLOBAL bounds - >= 0 @ 652.559
656.38/658.39 c GLOBAL bounds - >= 0 @ 654.064
661.07/663.03 c GLOBAL bounds - >= 0 @ 658.678
662.56/664.55 c GLOBAL bounds - >= 0 @ 660.188
664.95/666.94 c GLOBAL bounds - >= 0 @ 662.559
665.35/667.30 c GLOBAL bounds - >= 0 @ 662.916
672.83/674.83 c GLOBAL bounds - >= 0 @ 670.401
673.04/675.09 c GLOBAL bounds - >= 0 @ 670.662
675.82/677.81 c GLOBAL bounds - >= 0 @ 673.361
676.22/678.27 c GLOBAL bounds - >= 0 @ 673.822
679.12/681.19 c GLOBAL bounds - >= 0 @ 676.723
679.41/681.48 c GLOBAL bounds - >= 0 @ 676.998
683.01/685.02 c GLOBAL bounds - >= 0 @ 680.507
687.99/690.01 c #Conflicts: 24000 | #Constraints: 59280
687.99/690.01 c GLOBAL bounds - >= 0 @ 685.462
690.09/692.18 c GLOBAL bounds - >= 0 @ 687.615
690.98/693.04 c GLOBAL bounds - >= 0 @ 688.468
701.64/703.73 c GLOBAL bounds - >= 0 @ 699.098
721.90/724.07 c GLOBAL bounds - >= 0 @ 719.324
730.56/732.74 c #Conflicts: 25000 | #Constraints: 61890
730.56/732.74 c GLOBAL bounds - >= 0 @ 727.957
734.75/736.91 c INPROCESSING
734.75/736.91 c GARBAGE COLLECT
734.75/736.91 c GLOBAL bounds - >= 0 @ 732.093
737.74/740.00 c GLOBAL bounds - >= 0 @ 735.143
738.33/740.58 c GLOBAL bounds - >= 0 @ 735.718
744.42/746.61 c GLOBAL bounds - >= 0 @ 741.71
744.62/746.85 c GLOBAL bounds - >= 0 @ 741.942
756.19/758.47 c GLOBAL bounds - >= 0 @ 753.496
793.57/795.93 c #Conflicts: 26000 | #Constraints: 61750
793.57/795.93 c #Conflicts: 27000 | #Constraints: 62750
793.57/795.93 c GLOBAL bounds - >= 0 @ 790.761
811.63/814.01 c GLOBAL bounds - >= 0 @ 808.743
820.49/822.94 c #Conflicts: 28000 | #Constraints: 64394
820.49/822.94 c GLOBAL bounds - >= 0 @ 817.597
832.86/835.31 c GLOBAL bounds - >= 0 @ 829.889
863.67/866.27 c #Conflicts: 29000 | #Constraints: 66038
863.67/866.27 c INPROCESSING
863.67/866.27 c GARBAGE COLLECT
863.67/866.27 c GLOBAL bounds - >= 0 @ 860.69
897.57/900.27 c #Conflicts: 30000 | #Constraints: 63752
897.57/900.27 c GLOBAL bounds - >= 0 @ 894.516
897.87/900.54 c GLOBAL bounds - >= 0 @ 894.786
909.35/912.00 c GLOBAL bounds - >= 0 @ 906.185
911.73/914.42 c GLOBAL bounds - >= 0 @ 908.581
912.33/915.02 c GLOBAL bounds - >= 0 @ 909.173
912.63/915.36 c GLOBAL bounds - >= 0 @ 909.505
912.93/915.62 c GLOBAL bounds - >= 0 @ 909.77
913.23/915.92 c GLOBAL bounds - >= 0 @ 910.063
913.44/916.19 c GLOBAL bounds - >= 0 @ 910.328
913.73/916.46 c GLOBAL bounds - >= 0 @ 910.596
914.02/916.71 c GLOBAL bounds - >= 0 @ 910.837
914.82/917.52 c GLOBAL bounds - >= 0 @ 911.638
915.12/917.81 c GLOBAL bounds - >= 0 @ 911.916
915.32/918.06 c GLOBAL bounds - >= 0 @ 912.162
915.62/918.31 c GLOBAL bounds - >= 0 @ 912.404
920.11/922.85 c GLOBAL bounds - >= 0 @ 916.914
934.17/936.95 c #Conflicts: 31000 | #Constraints: 69904
934.17/936.95 c GLOBAL bounds - >= 0 @ 930.939
955.61/958.45 c #Conflicts: 32000 | #Constraints: 71226
955.61/958.45 c GLOBAL bounds - >= 0 @ 952.334
955.90/958.75 c GLOBAL bounds - >= 0 @ 952.624
958.39/961.23 c GLOBAL bounds - >= 0 @ 955.096
959.09/961.91 c GLOBAL bounds - >= 0 @ 955.763
959.40/962.25 c GLOBAL bounds - >= 0 @ 956.091
959.69/962.59 c GLOBAL bounds - >= 0 @ 956.417
960.09/962.97 c GLOBAL bounds - >= 0 @ 956.783
960.78/963.60 c GLOBAL bounds - >= 0 @ 957.395
961.09/963.94 c GLOBAL bounds - >= 0 @ 957.726
964.19/967.08 c GLOBAL bounds - >= 0 @ 960.843
983.33/986.22 c GLOBAL bounds - >= 0 @ 979.898
993.09/996.06 c GLOBAL bounds - >= 0 @ 989.672
993.79/996.70 c GLOBAL bounds - >= 0 @ 990.309
994.10/997.07 c GLOBAL bounds - >= 0 @ 990.679
994.39/997.38 c GLOBAL bounds - >= 0 @ 990.98
1000.28/1003.26 c GLOBAL bounds - >= 0 @ 996.83
1032.09/1035.19 c #Conflicts: 33000 | #Constraints: 77378
1032.09/1035.19 c INPROCESSING
1032.09/1035.19 c GARBAGE COLLECT
1032.09/1035.19 c GLOBAL bounds - >= 0 @ 1028.65
1059.21/1062.30 c GLOBAL bounds - >= 0 @ 1055.66
1060.11/1063.21 c GLOBAL bounds - >= 0 @ 1056.57
1061.91/1065.09 c GLOBAL bounds - >= 0 @ 1058.44
1062.10/1065.29 c GLOBAL bounds - >= 0 @ 1058.62
1080.65/1083.84 c #Conflicts: 34000 | #Constraints: 76246
1080.65/1083.84 c GLOBAL bounds - >= 0 @ 1077.1
1142.08/1145.46 c #Conflicts: 35000 | #Constraints: 77568
1142.08/1145.46 c GLOBAL bounds - >= 0 @ 1138.53
1142.69/1146.06 c GLOBAL bounds - >= 0 @ 1139.12
1142.98/1146.32 c GLOBAL bounds - >= 0 @ 1139.37
1153.65/1157.07 c GLOBAL bounds - >= 0 @ 1150.04
1154.25/1157.66 c GLOBAL bounds - >= 0 @ 1150.63
1154.75/1158.11 c GLOBAL bounds - >= 0 @ 1151.07
1155.04/1158.41 c GLOBAL bounds - >= 0 @ 1151.37
1159.53/1162.94 c GLOBAL bounds - >= 0 @ 1155.86
1190.94/1194.41 c #Conflicts: 36000 | #Constraints: 81144
1190.94/1194.41 c GLOBAL bounds - >= 0 @ 1187.22
1211.29/1214.84 c #Conflicts: 37000 | #Constraints: 82466
1211.29/1214.84 c INPROCESSING
1211.29/1214.84 c GARBAGE COLLECT
1211.29/1214.84 c GLOBAL bounds - >= 0 @ 1207.53
1285.29/1289.03 c #Conflicts: 38000 | #Constraints: 79785
1285.29/1289.03 c GLOBAL bounds - >= 0 @ 1281.45
1302.13/1305.96 c #Conflicts: 39000 | #Constraints: 81107
1302.13/1305.96 c GLOBAL bounds - >= 0 @ 1298.3
1303.53/1307.34 c GLOBAL bounds - >= 0 @ 1299.68
1316.99/1320.86 c GLOBAL bounds - >= 0 @ 1313.14
1331.84/1335.71 c #Conflicts: 40000 | #Constraints: 83073
1331.84/1335.71 c GLOBAL bounds - >= 0 @ 1327.93
1341.02/1344.99 c GLOBAL bounds - >= 0 @ 1337.17
1342.32/1346.21 c GLOBAL bounds - >= 0 @ 1338.37
1342.72/1346.61 c GLOBAL bounds - >= 0 @ 1338.76
1343.01/1346.92 c GLOBAL bounds - >= 0 @ 1339.05
1343.31/1347.21 c GLOBAL bounds - >= 0 @ 1339.33
1352.89/1356.88 c GLOBAL bounds - >= 0 @ 1348.96
1355.48/1359.49 c GLOBAL bounds - >= 0 @ 1351.55
1355.88/1359.80 c GLOBAL bounds - >= 0 @ 1351.86
1356.98/1360.98 c GLOBAL bounds - >= 0 @ 1353.03
1357.38/1361.33 c GLOBAL bounds - >= 0 @ 1353.38
1357.67/1361.66 c GLOBAL bounds - >= 0 @ 1353.7
1357.98/1361.98 c GLOBAL bounds - >= 0 @ 1354.02
1359.08/1363.06 c GLOBAL bounds - >= 0 @ 1355.09
1362.56/1366.54 c #Conflicts: 41000 | #Constraints: 88581
1362.56/1366.54 c GLOBAL bounds - >= 0 @ 1358.55
1362.86/1366.88 c GLOBAL bounds - >= 0 @ 1358.88
1363.26/1367.24 c GLOBAL bounds - >= 0 @ 1359.23
1364.17/1368.12 c GLOBAL bounds - >= 0 @ 1360.11
1383.11/1387.17 c INPROCESSING
1383.11/1387.17 c GARBAGE COLLECT
1383.11/1387.17 c GLOBAL bounds - >= 0 @ 1379.08
1384.11/1388.13 c GLOBAL bounds - >= 0 @ 1380.03
1402.75/1406.84 c #Conflicts: 42000 | #Constraints: 87352
1402.75/1406.84 c GLOBAL bounds - >= 0 @ 1398.67
1402.95/1407.06 c GLOBAL bounds - >= 0 @ 1398.89
1403.15/1407.26 c GLOBAL bounds - >= 0 @ 1399.08
1406.44/1410.58 c GLOBAL bounds - >= 0 @ 1402.38
1406.64/1410.76 c GLOBAL bounds - >= 0 @ 1402.56
1432.87/1437.02 c #Conflicts: 43000 | #Constraints: 89962
1432.87/1437.02 c GLOBAL bounds - >= 0 @ 1428.54
1433.16/1437.32 c GLOBAL bounds - >= 0 @ 1428.84
1448.32/1452.53 c GLOBAL bounds - >= 0 @ 1443.98
1458.20/1462.44 c GLOBAL bounds - >= 0 @ 1453.85
1464.88/1469.10 c #Conflicts: 44000 | #Constraints: 92250
1464.88/1469.10 c GLOBAL bounds - >= 0 @ 1460.45
1465.17/1469.49 c GLOBAL bounds - >= 0 @ 1460.79
1465.47/1469.78 c GLOBAL bounds - >= 0 @ 1461.07
1465.88/1470.12 c GLOBAL bounds - >= 0 @ 1461.4
1466.17/1470.41 c GLOBAL bounds - >= 0 @ 1461.67
1466.38/1470.69 c GLOBAL bounds - >= 0 @ 1461.95
1467.27/1471.53 c GLOBAL bounds - >= 0 @ 1462.77
1467.77/1472.02 c GLOBAL bounds - >= 0 @ 1463.25
1468.26/1472.58 c GLOBAL bounds - >= 0 @ 1463.81
1470.16/1474.40 c GLOBAL bounds - >= 0 @ 1465.62
1470.56/1474.87 c GLOBAL bounds - >= 0 @ 1466.08
1473.36/1477.67 c GLOBAL bounds - >= 0 @ 1468.86
1474.15/1478.42 c GLOBAL bounds - >= 0 @ 1469.61
1474.45/1478.72 c GLOBAL bounds - >= 0 @ 1469.9
1474.65/1478.99 c GLOBAL bounds - >= 0 @ 1470.15
1475.14/1479.44 c GLOBAL bounds - >= 0 @ 1470.6
1475.34/1479.68 c GLOBAL bounds - >= 0 @ 1470.83
1475.85/1480.14 c GLOBAL bounds - >= 0 @ 1471.28
1476.15/1480.45 c GLOBAL bounds - >= 0 @ 1471.58
1483.92/1488.26 c GLOBAL bounds - >= 0 @ 1479.36
1490.50/1494.80 c GLOBAL bounds - >= 0 @ 1485.87
1490.90/1495.27 c GLOBAL bounds - >= 0 @ 1486.32
1491.30/1495.61 c GLOBAL bounds - >= 0 @ 1486.66
1496.59/1500.95 c GLOBAL bounds - >= 0 @ 1491.98
1497.28/1501.64 c GLOBAL bounds - >= 0 @ 1492.66
1497.68/1502.02 c GLOBAL bounds - >= 0 @ 1493.04
1499.57/1503.97 c GLOBAL bounds - >= 0 @ 1494.97
1504.36/1508.78 c GLOBAL bounds - >= 0 @ 1499.75
1511.34/1515.73 c #Conflicts: 45000 | #Constraints: 102914
1511.34/1515.73 c GLOBAL bounds - >= 0 @ 1506.68
1511.65/1516.03 c GLOBAL bounds - >= 0 @ 1506.97
1511.94/1516.33 c GLOBAL bounds - >= 0 @ 1507.27
1514.83/1519.23 c GLOBAL bounds - >= 0 @ 1510.16
1516.43/1520.81 c GLOBAL bounds - >= 0 @ 1511.73
1518.52/1522.96 c GLOBAL bounds - >= 0 @ 1513.86
1518.83/1523.28 c GLOBAL bounds - >= 0 @ 1514.18
1520.12/1524.54 c GLOBAL bounds - >= 0 @ 1515.43
1529.79/1534.20 c GLOBAL bounds - >= 0 @ 1525.02
1530.19/1534.64 c GLOBAL bounds - >= 0 @ 1525.45
1531.08/1535.59 c GLOBAL bounds - >= 0 @ 1526.39
1531.48/1535.90 c GLOBAL bounds - >= 0 @ 1526.69
1531.89/1536.32 c GLOBAL bounds - >= 0 @ 1527.1
1532.98/1537.41 c GLOBAL bounds - >= 0 @ 1528.18
1533.28/1537.72 c GLOBAL bounds - >= 0 @ 1528.49
1545.05/1549.54 c GLOBAL bounds - >= 0 @ 1540.26
1548.94/1553.49 c GLOBAL bounds - >= 0 @ 1544.2
1556.91/1561.44 c GLOBAL bounds - >= 0 @ 1552.11
1558.52/1563.03 c GLOBAL bounds - >= 0 @ 1553.69
1593.42/1598.08 c #Conflicts: 46000 | #Constraints: 110716
1593.42/1598.08 c INPROCESSING
1593.42/1598.08 c GARBAGE COLLECT
1593.42/1598.08 c GLOBAL bounds - >= 0 @ 1588.61
1593.71/1598.38 c GLOBAL bounds - >= 0 @ 1588.89
1606.08/1610.76 c GLOBAL bounds - >= 0 @ 1601.22
1608.07/1612.71 c GLOBAL bounds - >= 0 @ 1603.16
1608.67/1613.34 c GLOBAL bounds - >= 0 @ 1603.78
1617.46/1622.16 c GLOBAL bounds - >= 0 @ 1612.57
1670.80/1675.69 c #Conflicts: 47000 | #Constraints: 109453
1670.80/1675.69 c GLOBAL bounds - >= 0 @ 1665.92
1680.29/1685.11 c GLOBAL bounds - >= 0 @ 1675.31
1699.42/1704.39 c #Conflicts: 48000 | #Constraints: 111169
1699.42/1704.39 c GLOBAL bounds - >= 0 @ 1694.51
1706.50/1711.42 c GLOBAL bounds - >= 0 @ 1701.5
1710.50/1715.40 c GLOBAL bounds - >= 0 @ 1705.45
1710.99/1715.99 c GLOBAL bounds - >= 0 @ 1706.04
1711.89/1716.84 c GLOBAL bounds - >= 0 @ 1706.88
1712.29/1717.25 c GLOBAL bounds - >= 0 @ 1707.29
1713.68/1718.69 c GLOBAL bounds - >= 0 @ 1708.71
1731.63/1736.67 c GLOBAL bounds - >= 0 @ 1726.61
1757.97/1763.01 c #Conflicts: 49000 | #Constraints: 115217
1757.97/1763.01 c GLOBAL bounds - >= 0 @ 1752.86
1777.21/1782.34 c GLOBAL bounds - >= 0 @ 1772.12
1784.39/1789.54 c GLOBAL bounds - >= 0 @ 1779.3
1796.16/1801.38 c GLOBAL bounds - >= 0 @ 1791.08
1799.74/1804.90 c GLOBAL bounds - >= 0 @ 1794.58
1800.25/1805.47 c GLOBAL bounds - >= 0 @ 1795.14
1816.70/1821.96 c #Conflicts: 50000 | #Constraints: 118503
1816.70/1821.96 c GLOBAL bounds - >= 0 @ 1811.57
1938.76/1944.33 c #Conflicts: 51000 | #Constraints: 119884
1938.76/1944.33 c INPROCESSING
1938.76/1944.33 c GARBAGE COLLECT
1938.76/1944.33 c #Conflicts: 52000 | #Constraints: 116289
1938.76/1944.33 c GLOBAL bounds - >= 0 @ 1933.48
2043.77/2049.69 c #Conflicts: 53000 | #Constraints: 117670
2043.77/2049.69 c #Conflicts: 54000 | #Constraints: 118670
2043.77/2049.69 c GLOBAL bounds - >= 0 @ 2038.47
2115.17/2121.24 c #Conflicts: 55000 | #Constraints: 120051
2115.17/2121.24 c GLOBAL bounds - >= 0 @ 2109.7
2116.17/2122.23 c GLOBAL bounds - >= 0 @ 2110.69
2238.03/2244.43 c #Conflicts: 56000 | #Constraints: 121813
2238.03/2244.43 c INPROCESSING
2238.03/2244.43 c GARBAGE COLLECT
2238.03/2244.43 c #Conflicts: 57000 | #Constraints: 118033
2238.03/2244.43 c GLOBAL bounds - >= 0 @ 2232.41
2238.33/2244.73 c GLOBAL bounds - >= 0 @ 2232.69
2282.31/2288.85 c #Conflicts: 58000 | #Constraints: 119795
2282.31/2288.85 c GLOBAL bounds - >= 0 @ 2276.63
2516.85/2524.08 c #Conflicts: 59000 | #Constraints: 121176
2516.85/2524.08 c #Conflicts: 60000 | #Constraints: 122176
2516.85/2524.08 c #Conflicts: 61000 | #Constraints: 123176
2516.85/2524.08 c INPROCESSING
2516.85/2524.08 c GARBAGE COLLECT
2516.85/2524.08 c #Conflicts: 62000 | #Constraints: 119238
2516.85/2524.08 c #Conflicts: 63000 | #Constraints: 120238
2516.85/2524.08 c GLOBAL bounds - >= 0 @ 2511.03
2948.42/2956.80 c #Conflicts: 64000 | #Constraints: 121619
2948.42/2956.80 c #Conflicts: 65000 | #Constraints: 122619
2948.42/2956.80 c #Conflicts: 66000 | #Constraints: 123619
2948.42/2956.80 c INPROCESSING
2948.42/2956.80 c GARBAGE COLLECT
2948.42/2956.80 c #Conflicts: 67000 | #Constraints: 119468
2948.42/2956.80 c #Conflicts: 68000 | #Constraints: 120468
2948.42/2956.80 c #Conflicts: 69000 | #Constraints: 121468
2948.42/2956.80 c #Conflicts: 70000 | #Constraints: 122468
2948.42/2956.80 c GLOBAL bounds - >= 0 @ 2942.19
2966.17/2974.64 c #Conflicts: 71000 | #Constraints: 123849
2966.17/2974.64 c GLOBAL bounds - >= 0 @ 2959.97
3087.72/3096.57 c #Conflicts: 72000 | #Constraints: 125230
3087.72/3096.57 c INPROCESSING
3087.72/3096.57 c GARBAGE COLLECT
3087.72/3096.57 c GLOBAL bounds - >= 0 @ 3081.41
3129.01/3138.00 c #Conflicts: 73000 | #Constraints: 121245
3129.01/3138.00 c GLOBAL bounds - >= 0 @ 3122.62
3129.50/3138.45 c GLOBAL bounds - >= 0 @ 3123.06
3130.10/3139.03 c GLOBAL bounds - >= 0 @ 3123.63
3155.53/3164.60 c #Conflicts: 74000 | #Constraints: 123388
3155.53/3164.60 c GLOBAL bounds - >= 0 @ 3149.07
3254.75/3264.03 c #Conflicts: 75000 | #Constraints: 124769
3254.75/3264.03 c GLOBAL bounds - >= 0 @ 3248.12
3302.80/3312.22 c #Conflicts: 76000 | #Constraints: 126150
3302.80/3312.22 c GLOBAL bounds - >= 0 @ 3296.13
3306.89/3316.34 c GLOBAL bounds - >= 0 @ 3300.23
3492.17/3502.15 c #Conflicts: 77000 | #Constraints: 127912
3492.17/3502.15 c #Conflicts: 78000 | #Constraints: 128912
3492.17/3502.15 c INPROCESSING
3492.17/3502.15 c GARBAGE COLLECT
3492.17/3502.15 c #Conflicts: 79000 | #Constraints: 124243
3492.17/3502.15 c GLOBAL bounds - >= 0 @ 3485.3
3531.74/3541.88 c #Conflicts: 80000 | #Constraints: 125624
3531.74/3541.88 c GLOBAL bounds - >= 0 @ 3524.89
3532.14/3542.21 c GLOBAL bounds - >= 0 @ 3525.21
3538.53/3548.65 c GLOBAL bounds - >= 0 @ 3531.61
3539.03/3549.14 c GLOBAL bounds - >= 0 @ 3532.1
3600.05/3610.30 c #Conflicts: 81000 | #Constraints: 128148
3600.05/3610.30 c cpu time 3593.06 s
3600.05/3610.30 c deterministic time 25885 2.59e+04
3600.05/3610.30 c optimization time 3592.83 s
3600.05/3610.30 c total solve time 0 s
3600.05/3610.30 c core-guided solve time 0 s
3600.05/3610.30 c propagation time 0.002253 s
3600.05/3610.30 c conflict analysis time 0 s
3600.05/3610.30 c propagations 25357
3600.05/3610.30 c resolve steps 0
3600.05/3610.30 c decisions 0
3600.05/3610.30 c conflicts 0
3600.05/3610.30 c restarts 0
3600.05/3610.30 c inprocessing phases 0
3600.05/3610.30 c garbage collections 0 ,( -nan )
3600.05/3610.30 c input clauses 310 ,( 7.70 )
3600.05/3610.30 c input cardinalities 0 ,( 0.00 )
3600.05/3610.30 c input general constraints 3717 ,( 92.30 )
3600.05/3610.30 c input average constraint length 126.26
3600.05/3610.30 c input average constraint degree 7008574680123586560.00
3600.05/3610.30 c learned clauses 0 ,( 0.00 )
3600.05/3610.30 c learned cardinalities 0 ,( 0.00 )
3600.05/3610.30 c learned general constraints 0 ,( 0.00 )
3600.05/3610.30 c learned average constraint length 0.00
3600.05/3610.30 c learned average constraint degree 0.00
3600.05/3610.30 c watched CF 32, 64, 128, Arb: 17 , 0 , 0 , 0
3600.05/3610.30 c counting CF 32, 64, 128, Arb: 3699 , 0 , 2 , 0
3600.05/3610.30 c watched constraints 17 ,( 0.46 )
3600.05/3610.30 c counting constraints 3700 ,( 99.54 )
3600.05/3610.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 14 ,( 0 , 14 )
3600.05/3610.30 c gcd simplifications 0
3600.05/3610.30 c detected cardinalities 0
3600.05/3610.30 c weakened non-implied lits 0
3600.05/3610.30 c weakened non-implying lits 0
3600.05/3610.30 c original variables 70755
3600.05/3610.30 c clausal propagations 0
3600.05/3610.30 c cardinality propagations 0
3600.05/3610.30 c watched propagations 0
3600.05/3610.30 c counting propagations 0
3600.05/3610.30 c watch lookups 467
3600.05/3610.30 c watch backjump lookups 0
3600.05/3610.30 c watch checks 0
3600.05/3610.30 c propagation checks 60
3600.05/3610.30 c constraint additions 0
3600.05/3610.30 c trail pops 0
3600.05/3610.30 c formula constraints 4027
3600.05/3610.30 c learned constraints 0
3600.05/3610.30 c bound constraints 0
3600.05/3610.30 c core-guided constraints 0
3600.05/3610.30 c encountered formula constraints 0
3600.05/3610.30 c encountered learned constraints 0
3600.05/3610.30 c encountered bound constraints 0
3600.05/3610.30 c encountered core-guided constraints 0
3600.05/3610.30 c LP total time 0 s
3600.05/3610.30 c LP solve time 0 s
3600.05/3610.30 c LP constraints added 0
3600.05/3610.30 c LP constraints removed 0
3600.05/3610.30 c LP pivots internal 0
3600.05/3610.30 c LP pivots root 0
3600.05/3610.30 c LP calls 0
3600.05/3610.30 c LP optimalities 0
3600.05/3610.30 c LP no pivot count 0
3600.05/3610.30 c LP infeasibilities 0
3600.05/3610.30 c LP valid Farkas constraints 0
3600.05/3610.30 c LP learned Farkas constraints 0
3600.05/3610.30 c LP basis resets 0
3600.05/3610.30 c LP cycling count 0
3600.05/3610.30 c LP singular count 0
3600.05/3610.30 c LP no primal count 0
3600.05/3610.30 c LP no farkas count 0
3600.05/3610.30 c LP other issue count 0
3600.05/3610.30 c LP Gomory cuts 0
3600.05/3610.30 c LP learned cuts 0
3600.05/3610.30 c LP deleted cuts 0
3600.05/3610.30 c LP encountered Gomory constraints 0
3600.05/3610.30 c LP encountered Farkas constraints 0
3600.05/3610.30 c LP encountered learned Farkas constraints 0
3600.05/3610.30 c CG auxiliary variables introduced 0
3600.05/3610.30 c CG solutions found 0
3600.05/3610.30 c CG cores constructed 0
3600.05/3610.30 c CG core cardinality constraints returned 0
3600.05/3610.30 c CG unit cores 0
3600.05/3610.30 c CG single cores 0
3600.05/3610.30 c CG blocks removed during cardinality reduction 0
3600.05/3610.30 c CG first core best 0
3600.05/3610.30 c CG decision core best 0
3600.05/3610.30 c CG core reduction tie 0
3600.05/3610.30 c CG core degree average 0.00
3600.05/3610.30 c CG core slack average 0.00
3600.05/3610.30 c CG core upper bound improvements 0
3600.05/3610.30 c STR number of successful calls 0
3600.05/3610.30 c STR number of unsuccessful calls 0
3600.05/3610.30 c STR number of inconclusive calls 0
3600.05/3610.30 c STR number of successful attempts 0
3600.05/3610.30 c STR number of unsuccessful attempts 0
3600.05/3610.30 c STR number of inconclusive attempts 0
3600.05/3610.30 c STR average degree increase per successful call inf
3600.05/3610.30 c STR average degree increase per successful attempt inf
3600.05/3610.30 c STR total number of conflicts for successful attempts 0
3600.05/3610.30 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3610.30 c STR total number of conflicts for inconclusive attempts 0
3600.05/3610.30 c STR average number of conflicts per successful attempt inf
3600.05/3610.30 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3610.30 c STR average number of conflicts per inconclusive attempt inf
3600.05/3610.30 c AVG.sumWPerc 94.97
3600.05/3610.30 c bigint constraints 2
3600.05/3610.30 s UNKNOWN
3600.05/3610.30 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: 63708 MiB (37146 MiB free)
memory of node 1: 64465 MiB (63691 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485366-1751307726/watcher-4485366-1751307726 -o /tmp/evaluation-result-4485366-1751307726/solver-4485366-1751307726 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751304114-41607 --watchdog 3760 run-opt.sh HOME/instance-4485366-1751307726.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=41960, runsolver pid=41957
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.05 4.08 4.05 5/268 41962
/proc/meminfo: memFree=105459712/131249996 swapFree=33010684/33010684
[pid=41960] ppid=41957 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41960/stat : 41960 (run-opt.sh) S 41957 41960 41594 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46451256 4292608 736 18446744073709551615 94615703748608 94615704643141 140726532798800 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94615704882192 94615704929936 94615734173696 140726532807021 140726532807144 140726532807144 140726532812746 0
/proc/41960/statm: 1048 736 672 219 0 110 0
[pid=41962] ppid=41960 vsize=76116 memory=31128 CPUtime=0.08 cores=5,7
/proc/41962/stat : 41962 (roundingsat) R 41960 41960 41594 0 -1 4194304 7219 0 0 0 7 1 0 0 20 0 1 0 46451256 77942784 7782 18446744073709551615 4227072 8923433 140726775215584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12820480 140726775220642 140726775220776 140726775220776 140726775226346 0
/proc/41962/statm: 19029 7782 1920 1147 0 6456 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 80308 KiB
Current children cumulated memory: 34072 KiB
[startup+0.205756 s]*
/proc/loadavg: 4.05 4.08 4.05 5/268 41962
/proc/meminfo: memFree=109753808/131249996 swapFree=33010684/33010684
[pid=41960] ppid=41957 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41960/stat : 41960 (run-opt.sh) S 41957 41960 41594 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46451256 4292608 736 18446744073709551615 94615703748608 94615704643141 140726532798800 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94615704882192 94615704929936 94615734173696 140726532807021 140726532807144 140726532807144 140726532812746 0
/proc/41960/statm: 1048 736 672 219 0 110 0
[pid=41962] ppid=41960 vsize=103272 memory=57288 CPUtime=0.18 cores=5,7
/proc/41962/stat : 41962 (roundingsat) R 41960 41960 41594 0 -1 4194304 11704 0 0 0 17 1 0 0 20 0 1 0 46451256 105750528 14322 18446744073709551615 4227072 8923433 140726775215584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12820480 140726775220642 140726775220776 140726775220776 140726775226346 0
/proc/41962/statm: 25818 14322 1920 1147 0 13245 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 107464 KiB
Current children cumulated memory: 60232 KiB
[startup+0.305765 s]*
/proc/loadavg: 4.05 4.08 4.05 5/268 41962
/proc/meminfo: memFree=112074240/131249996 swapFree=33010684/33010684
[pid=41960] ppid=41957 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41960/stat : 41960 (run-opt.sh) S 41957 41960 41594 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46451256 4292608 736 18446744073709551615 94615703748608 94615704643141 140726532798800 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94615704882192 94615704929936 94615734173696 140726532807021 140726532807144 140726532807144 140726532812746 0
/proc/41960/statm: 1048 736 672 219 0 110 0
[pid=41962] ppid=41960 vsize=138024 memory=96140 CPUtime=0.29 cores=5,7
/proc/41962/stat : 41962 (roundingsat) R 41960 41960 41594 0 -1 4194304 19044 0 0 0 26 3 0 0 20 0 1 0 46451256 141336576 24035 18446744073709551615 4227072 8923433 140726775215584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12820480 140726775220642 140726775220776 140726775220776 140726775226346 0
/proc/41962/statm: 34506 24035 2304 1147 0 21933 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 142216 KiB
Current children cumulated memory: 99084 KiB
[startup+0.700203 s]
/proc/loadavg: 4.04 4.08 4.05 5/268 41962
/proc/meminfo: memFree=116959720/131249996 swapFree=33010684/33010684
[pid=41960] ppid=41957 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41960/stat : 41960 (run-opt.sh) S 41957 41960 41594 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46451256 4292608 736 18446744073709551615 94615703748608 94615704643141 140726532798800 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94615704882192 94615704929936 94615734173696 140726532807021 140726532807144 140726532807144 140726532812746 0
/proc/41960/statm: 1048 736 672 219 0 110 0
[pid=41962] ppid=41960 vsize=172180 memory=121996 CPUtime=0.68 cores=5,7
/proc/41962/stat : 41962 (roundingsat) R 41960 41960 41594 0 -1 4194304 25428 0 0 0 59 9 0 0 20 0 1 0 46451256 176312320 30499 18446744073709551615 4227072 8923433 140726775215584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12820480 140726775220642 140726775220776 140726775220776 140726775226346 0
/proc/41962/statm: 43045 30499 2368 1147 0 30472 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 176372 KiB
Current children cumulated memory: 124940 KiB
[startup+1.50019 s]
/proc/loadavg: 4.04 4.08 4.05 5/266 41976
/proc/meminfo: memFree=127100108/131249996 swapFree=33010684/33010684
[pid=41960] ppid=41957 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41960/stat : 41960 (run-opt.sh) S 41957 41960 41594 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46451256 4292608 736 18446744073709551615 94615703748608 94615704643141 140726532798800 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94615704882192 94615704929936 94615734173696 140726532807021 140726532807144 140726532807144 140726532812746 0
/proc/41960/statm: 1048 736 672 219 0 110 0
[pid=41962] ppid=41960 vsize=179252 memory=128316 CPUtime=1.47 cores=5,7
/proc/41962/stat : 41962 (roundingsat) R 41960 41960 41594 0 -1 4194304 25975 0 0 0 138 9 0 0 20 0 1 0 46451256 183554048 32079 18446744073709551615 4227072 8923433 140726775215584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12820480 140726775220642 140726775220776 140726775220776 140726775226346 0
/proc/41962/statm: 44813 32079 2368 1147 0 32240 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 183444 KiB
Current children cumulated memory: 131260 KiB
[startup+3.10561 s]
/proc/loadavg: 4.04 4.08 4.05 5/270 42054
/proc/meminfo: memFree=129460604/131249996 swapFree=33010684/33010684
[pid=41960] ppid=41957 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41960/stat : 41960 (run-opt.sh) S 41957 41960 41594 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46451256 4292608 736 18446744073709551615 94615703748608 94615704643141 140726532798800 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94615704882192 94615704929936 94615734173696 140726532807021 140726532807144 140726532807144 140726532812746 0
/proc/41960/statm: 1048 736 672 219 0 110 0
[pid=41962] ppid=41960 vsize=183628 memory=133820 CPUtime=3.07 cores=5,7
/proc/41962/stat : 41962 (roundingsat) R 41960 41960 41594 0 -1 4194304 27379 0 0 0 297 10 0 0 20 0 1 0 46451256 188035072 33455 18446744073709551615 4227072 8923433 140726775215584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12820480 140726775220642 140726775220776 140726775220776 140726775226346 0
/proc/41962/statm: 45907 33455 2368 1147 0 33334 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 187820 KiB
Current children cumulated memory: 136764 KiB
[startup+6.30019 s]
/proc/loadavg: 4.04 4.08 4.05 5/270 42054
/proc/meminfo: memFree=129005188/131249996 swapFree=33010684/33010684
[pid=41960] ppid=41957 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41960/stat : 41960 (run-opt.sh) S 41957 41960 41594 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46451256 4292608 736 18446744073709551615 94615703748608 94615704643141 140726532798800 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94615704882192 94615704929936 94615734173696 140726532807021 140726532807144 140726532807144 140726532812746 0
/proc/41960/statm: 1048 736 672 219 0 110 0
[pid=41962] ppid=41960 vsize=195332 memory=144148 CPUtime=6.26 cores=5,7
/proc/41962/stat : 41962 (roundingsat) R 41960 41960 41594 0 -1 4194304 27908 0 0 0 614 12 0 0 20 0 1 0 46451256 200019968 36037 18446744073709551615 4227072 8923433 140726775215584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12820480 140726775220642 140726775220776 140726775220776 140726775226346 0
/proc/41962/statm: 48833 36037 2368 1147 0 36260 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 199524 KiB
Current children cumulated memory: 147092 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.05 5/269 42054
/proc/meminfo: memFree=128157812/131249996 swapFree=33010684/33010684
[pid=41960] ppid=41957 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41960/stat : 41960 (run-opt.sh) S 41957 41960 41594 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46451256 4292608 736 18446744073709551615 94615703748608 94615704643141 140726532798800 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94615704882192 94615704929936 94615734173696 140726532807021 140726532807144 140726532807144 140726532812746 0
/proc/41960/statm: 1048 736 672 219 0 110 0
[pid=41962] ppid=41960 vsize=241796 memory=189772 CPUtime=12.64 cores=5,7
/proc/41962/stat : 41962 (roundingsat) R 41960 41960 41594 0 -1 4194304 38318 0 0 0 1248 16 0 0 20 0 1 0 46451256 247599104 47443 18446744073709551615 4227072 8923433 140726775215584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12820480 140726775220642 140726775220776 140726775220776 140726775226346 0
/proc/41962/statm: 60449 47443 2368 1147 0 47876 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 245988 KiB
Current children cumulated memory: 192716 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.05 5/269 42054
/proc/meminfo: memFree=127083616/131249996 swapFree=33010684/33010684
[pid=41960] ppid=41957 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41960/stat : 41960 (run-opt.sh) S 41957 41960 41594 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46451256 4292608 736 18446744073709551615 94615703748608 94615704643141 140726532798800 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94615704882192 94615704929936 94615734173696 140726532807021 140726532807144 140726532807144 140726532812746 0
/proc/41960/statm: 1048 736 672 219 0 110 0
[pid=41962] ppid=41960 vsize=343700 memory=280612 CPUtime=25.41 cores=5,7
/proc/41962/stat : 41962 (roundingsat) R 41960 41960 41594 0 -1 4194304 56971 0 0 0 2517 24 0 0 20 0 1 0 46451256 351948800 70153 18446744073709551615 4227072 8923433 140726775215584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12820480 140726775220642 140726775220776 140726775220776 140726775226346 0
/proc/41962/statm: 85925 70153 2368 1147 0 73352 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 347892 KiB
Current children cumulated memory: 283556 KiB
[startup+51.1057 s]
/proc/loadavg: 4.12 4.10 4.06 5/269 42054
/proc/meminfo: memFree=125471880/131249996 swapFree=33010684/33010684
[pid=41960] ppid=41957 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41960/stat : 41960 (run-opt.sh) S 41957 41960 41594 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46451256 4292608 736 18446744073709551615 94615703748608 94615704643141 140726532798800 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94615704882192 94615704929936 94615734173696 140726532807021 140726532807144 140726532807144 140726532812746 0
/proc/41960/statm: 1048 736 672 219 0 110 0
[pid=41962] ppid=41960 vsize=482700 memory=423064 CPUtime=50.94 cores=5,7
/proc/41962/stat : 41962 (roundingsat) R 41960 41960 41594 0 -1 4194304 83890 0 0 0 5056 38 0 0 20 0 1 0 46451256 494284800 105766 18446744073709551615 4227072 8923433 140726775215584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12820480 140726775220642 140726775220776 140726775220776 140726775226346 0
/proc/41962/statm: 120675 105766 2368 1147 0 108102 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 486892 KiB
Current children cumulated memory: 426008 KiB
[startup+102.3 s]
/proc/loadavg: 4.24 4.13 4.07 5/269 42056
/proc/meminfo: memFree=123502528/131249996 swapFree=33010684/33010684
[pid=41960] ppid=41957 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41960/stat : 41960 (run-opt.sh) S 41957 41960 41594 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46451256 4292608 736 18446744073709551615 94615703748608 94615704643141 140726532798800 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94615704882192 94615704929936 94615734173696 140726532807021 140726532807144 140726532807144 140726532812746 0
/proc/41960/statm: 1048 736 672 219 0 110 0
[pid=41962] ppid=41960 vsize=716200 memory=635620 CPUtime=101.98 cores=5,7
/proc/41962/stat : 41962 (roundingsat) R 41960 41960 41594 0 -1 4194304 125240 0 0 0 10137 61 0 0 20 0 1 0 46451256 733388800 158905 18446744073709551615 4227072 8923433 140726775215584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12820480 140726775220642 140726775220776 140726775220776 140726775226346 0
/proc/41962/statm: 179050 158905 2368 1147 0 166477 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 720392 KiB
Current children cumulated memory: 638564 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.07 5/270 42060
/proc/meminfo: memFree=122549248/131249996 swapFree=33010684/33010684
[pid=41960] ppid=41957 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41960/stat : 41960 (run-opt.sh) S 41957 41960 41594 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46451256 4292608 736 18446744073709551615 94615703748608 94615704643141 140726532798800 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94615704882192 94615704929936 94615734173696 140726532807021 140726532807144 140726532807144 140726532812746 0
/proc/41960/statm: 1048 736 672 219 0 110 0
[pid=41962] ppid=41960 vsize=857204 memory=732300 CPUtime=161.81 cores=5,7
/proc/41962/stat : 41962 (roundingsat) R 41960 41960 41594 0 -1 4194304 143278 0 0 0 16098 83 0 0 20 0 1 0 46451256 877776896 183075 18446744073709551615 4227072 8923433 140726775215584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12820480 140726775220642 140726775220776 140726775220776 140726775226346 0
/proc/41962/statm: 214301 183075 2368 1147 0 201728 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 861396 KiB
Current children cumulated memory: 735244 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.10 4.06 5/269 42062
/proc/meminfo: memFree=121873704/131249996 swapFree=33010684/33010684
[pid=41960] ppid=41957 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41960/stat : 41960 (run-opt.sh) S 41957 41960 41594 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46451256 4292608 736 18446744073709551615 94615703748608 94615704643141 140726532798800 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94615704882192 94615704929936 94615734173696 140726532807021 140726532807144 140726532807144 140726532812746 0
/proc/41960/statm: 1048 736 672 219 0 110 0
[pid=41962] ppid=41960 vsize=988024 memory=841784 CPUtime=221.64 cores=5,7
/proc/41962/stat : 41962 (roundingsat) R 41960 41960 41594 0 -1 4194304 166582 0 0 0 22060 104 0 0 20 0 1 0 46451256 1011736576 210446 18446744073709551615 4227072 8923433 140726775215584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12820480 140726775220642 140726775220776 140726775220776 140726775226346 0
/proc/41962/statm: 247006 210446 2368 1147 0 234433 0
Current children cumulated CPU time: 221.64 s
################
# More data... #
################
/proc/41962/statm: 705251 617089 2368 1147 0 692678 0
Current children cumulated CPU time: 3093.5 s
Current children cumulated vsize: 2825196 KiB
Current children cumulated memory: 2471300 KiB
[startup+3162.3 s]
/proc/loadavg: 4.22 4.21 4.14 5/268 42232
/proc/meminfo: memFree=103521464/131249996 swapFree=33010684/33010684
[pid=41960] ppid=41957 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41960/stat : 41960 (run-opt.sh) S 41957 41960 41594 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46451256 4292608 736 18446744073709551615 94615703748608 94615704643141 140726532798800 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94615704882192 94615704929936 94615734173696 140726532807021 140726532807144 140726532807144 140726532812746 0
/proc/41960/statm: 1048 736 672 219 0 110 0
[pid=41962] ppid=41960 vsize=2824184 memory=2471556 CPUtime=3153.33 cores=5,7
/proc/41962/stat : 41962 (roundingsat) R 41960 41960 41594 0 -1 4194304 494289 0 0 0 314678 655 0 0 20 0 1 0 46451256 2891964416 617889 18446744073709551615 4227072 8923433 140726775215584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12820480 140726775220642 140726775220776 140726775220776 140726775226346 0
/proc/41962/statm: 706046 617889 2368 1147 0 693473 0
Current children cumulated CPU time: 3153.33 s
Current children cumulated vsize: 2828376 KiB
Current children cumulated memory: 2474500 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.18 4.13 5/268 42234
/proc/meminfo: memFree=103372124/131249996 swapFree=33010684/33010684
[pid=41960] ppid=41957 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41960/stat : 41960 (run-opt.sh) S 41957 41960 41594 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46451256 4292608 736 18446744073709551615 94615703748608 94615704643141 140726532798800 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94615704882192 94615704929936 94615734173696 140726532807021 140726532807144 140726532807144 140726532812746 0
/proc/41960/statm: 1048 736 672 219 0 110 0
[pid=41962] ppid=41960 vsize=2825604 memory=2472964 CPUtime=3213.16 cores=5,7
/proc/41962/stat : 41962 (roundingsat) R 41960 41960 41594 0 -1 4194304 494646 0 0 0 320654 662 0 0 20 0 1 0 46451256 2893418496 618241 18446744073709551615 4227072 8923433 140726775215584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12820480 140726775220642 140726775220776 140726775220776 140726775226346 0
/proc/41962/statm: 706401 618241 2368 1147 0 693828 0
Current children cumulated CPU time: 3213.16 s
Current children cumulated vsize: 2829796 KiB
Current children cumulated memory: 2475908 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.17 4.12 5/268 42238
/proc/meminfo: memFree=103060904/131249996 swapFree=33010684/33010684
[pid=41960] ppid=41957 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41960/stat : 41960 (run-opt.sh) S 41957 41960 41594 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46451256 4292608 736 18446744073709551615 94615703748608 94615704643141 140726532798800 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94615704882192 94615704929936 94615734173696 140726532807021 140726532807144 140726532807144 140726532812746 0
/proc/41960/statm: 1048 736 672 219 0 110 0
[pid=41962] ppid=41960 vsize=2827024 memory=2474372 CPUtime=3272.99 cores=5,7
/proc/41962/stat : 41962 (roundingsat) R 41960 41960 41594 0 -1 4194304 495002 0 0 0 326631 668 0 0 20 0 1 0 46451256 2894872576 618593 18446744073709551615 4227072 8923433 140726775215584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12820480 140726775220642 140726775220776 140726775220776 140726775226346 0
/proc/41962/statm: 706756 618593 2368 1147 0 694183 0
Current children cumulated CPU time: 3272.99 s
Current children cumulated vsize: 2831216 KiB
Current children cumulated memory: 2477316 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.16 4.12 5/269 42245
/proc/meminfo: memFree=102870008/131249996 swapFree=33010684/33010684
[pid=41960] ppid=41957 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41960/stat : 41960 (run-opt.sh) S 41957 41960 41594 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46451256 4292608 736 18446744073709551615 94615703748608 94615704643141 140726532798800 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94615704882192 94615704929936 94615734173696 140726532807021 140726532807144 140726532807144 140726532812746 0
/proc/41960/statm: 1048 736 672 219 0 110 0
[pid=41962] ppid=41960 vsize=2830416 memory=2477828 CPUtime=3332.81 cores=5,7
/proc/41962/stat : 41962 (roundingsat) R 41960 41960 41594 0 -1 4194304 495852 0 0 0 332608 673 0 0 20 0 1 0 46451256 2898345984 619457 18446744073709551615 4227072 8923433 140726775215584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12820480 140726775220642 140726775220776 140726775220776 140726775226346 0
/proc/41962/statm: 707604 619457 2368 1147 0 695031 0
Current children cumulated CPU time: 3332.81 s
Current children cumulated vsize: 2834608 KiB
Current children cumulated memory: 2480772 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.15 4.12 5/269 42248
/proc/meminfo: memFree=102689068/131249996 swapFree=33010684/33010684
[pid=41960] ppid=41957 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41960/stat : 41960 (run-opt.sh) S 41957 41960 41594 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46451256 4292608 736 18446744073709551615 94615703748608 94615704643141 140726532798800 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94615704882192 94615704929936 94615734173696 140726532807021 140726532807144 140726532807144 140726532812746 0
/proc/41960/statm: 1048 736 672 219 0 110 0
[pid=41962] ppid=41960 vsize=2830416 memory=2478340 CPUtime=3392.64 cores=5,7
/proc/41962/stat : 41962 (roundingsat) R 41960 41960 41594 0 -1 4194304 495969 0 0 0 338582 682 0 0 20 0 1 0 46451256 2898345984 619585 18446744073709551615 4227072 8923433 140726775215584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12820480 140726775220642 140726775220776 140726775220776 140726775226346 0
/proc/41962/statm: 707604 619585 2368 1147 0 695031 0
Current children cumulated CPU time: 3392.64 s
Current children cumulated vsize: 2834608 KiB
Current children cumulated memory: 2481284 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.13 4.11 5/269 42251
/proc/meminfo: memFree=102641096/131249996 swapFree=33010684/33010684
[pid=41960] ppid=41957 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41960/stat : 41960 (run-opt.sh) S 41957 41960 41594 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46451256 4292608 736 18446744073709551615 94615703748608 94615704643141 140726532798800 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94615704882192 94615704929936 94615734173696 140726532807021 140726532807144 140726532807144 140726532812746 0
/proc/41960/statm: 1048 736 672 219 0 110 0
[pid=41962] ppid=41960 vsize=2843496 memory=2486788 CPUtime=3452.47 cores=5,7
/proc/41962/stat : 41962 (roundingsat) R 41960 41960 41594 0 -1 4194304 498100 0 0 0 344559 688 0 0 20 0 1 0 46451256 2911739904 621697 18446744073709551615 4227072 8923433 140726775215584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12820480 140726775220642 140726775220776 140726775220776 140726775226346 0
/proc/41962/statm: 710874 621697 2368 1147 0 698301 0
Current children cumulated CPU time: 3452.47 s
Current children cumulated vsize: 2847688 KiB
Current children cumulated memory: 2489732 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/270 42254
/proc/meminfo: memFree=102632624/131249996 swapFree=33010684/33010684
[pid=41960] ppid=41957 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41960/stat : 41960 (run-opt.sh) S 41957 41960 41594 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46451256 4292608 736 18446744073709551615 94615703748608 94615704643141 140726532798800 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94615704882192 94615704929936 94615734173696 140726532807021 140726532807144 140726532807144 140726532812746 0
/proc/41960/statm: 1048 736 672 219 0 110 0
[pid=41962] ppid=41960 vsize=2843496 memory=2487300 CPUtime=3512.3 cores=5,7
/proc/41962/stat : 41962 (roundingsat) R 41960 41960 41594 0 -1 4194304 498449 0 0 0 350537 693 0 0 20 0 1 0 46451256 2911739904 621825 18446744073709551615 4227072 8923433 140726775215584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12820480 140726775220642 140726775220776 140726775220776 140726775226346 0
/proc/41962/statm: 710874 621825 2368 1147 0 698301 0
Current children cumulated CPU time: 3512.3 s
Current children cumulated vsize: 2847688 KiB
Current children cumulated memory: 2490244 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.11 5/270 42256
/proc/meminfo: memFree=102437916/131249996 swapFree=33010684/33010684
[pid=41960] ppid=41957 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41960/stat : 41960 (run-opt.sh) S 41957 41960 41594 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46451256 4292608 736 18446744073709551615 94615703748608 94615704643141 140726532798800 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94615704882192 94615704929936 94615734173696 140726532807021 140726532807144 140726532807144 140726532812746 0
/proc/41960/statm: 1048 736 672 219 0 110 0
[pid=41962] ppid=41960 vsize=2848072 memory=2491780 CPUtime=3572.12 cores=5,7
/proc/41962/stat : 41962 (roundingsat) R 41960 41960 41594 0 -1 4194304 500058 0 0 0 356513 699 0 0 20 0 1 0 46451256 2916425728 622945 18446744073709551615 4227072 8923433 140726775215584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12820480 140726775220642 140726775220776 140726775220776 140726775226346 0
/proc/41962/statm: 712018 622945 2368 1147 0 699445 0
Current children cumulated CPU time: 3572.12 s
Current children cumulated vsize: 2852264 KiB
Current children cumulated memory: 2494724 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.20 4.15 4.11 5/270 42257
/proc/meminfo: memFree=102444632/131249996 swapFree=33010684/33010684
[pid=41960] ppid=41957 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41960/stat : 41960 (run-opt.sh) S 41957 41960 41594 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46451256 4292608 736 18446744073709551615 94615703748608 94615704643141 140726532798800 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94615704882192 94615704929936 94615734173696 140726532807021 140726532807144 140726532807144 140726532812746 0
/proc/41960/statm: 1048 736 672 219 0 110 0
[pid=41962] ppid=41960 vsize=2848072 memory=2491780 CPUtime=3600.05 cores=5,7
/proc/41962/stat : 41962 (roundingsat) R 41960 41960 41594 0 -1 4194304 500058 0 0 0 359305 700 0 0 20 0 1 0 46451256 2916425728 622945 18446744073709551615 4227072 8923433 140726775215584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12820480 140726775220642 140726775220776 140726775220776 140726775226346 0
/proc/41962/statm: 712018 622945 2368 1147 0 699445 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2852264 KiB
Current children cumulated memory: 2494724 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.3 s]
# the end of solver process 41960 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002263 s
[startup+3610.37 s]
# the end of solver process 41962 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3593.09 s, system=7.04051 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.20 4.15 4.11 5/270 42257
/proc/meminfo: memFree=102444632/131249996 swapFree=33010684/33010684
[pid=41960] ppid=41957 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41960/stat : 41960 (run-opt.sh) S 41957 41960 41594 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46451256 4292608 736 18446744073709551615 94615703748608 94615704643141 140726532798800 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94615704882192 94615704929936 94615734173696 140726532807021 140726532807144 140726532807144 140726532812746 0
/proc/41960/statm: 1048 736 672 219 0 110 0
[pid=41962] ppid=41960 vsize=2848072 memory=2491780 CPUtime=3600.05 cores=5,7
/proc/41962/stat : 41962 (roundingsat) R 41960 41960 41594 0 -1 4194304 500058 0 0 0 359305 700 0 0 20 0 1 0 46451256 2916425728 622945 18446744073709551615 4227072 8923433 140726775215584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12820480 140726775220642 140726775220776 140726775220776 140726775226346 0
/proc/41962/statm: 712018 622945 2368 1147 0 699445 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2852264 KiB
Current children cumulated memory: 2494724 KiB
Child status: 2
Real time (s): 3610.37
CPU time (s): 3600.13
CPU user time (s): 3593.09
CPU system time (s): 7.04051
CPU usage (%): 99.7163
Max. virtual memory (cumulated for all children) (KiB): 2852264
Max. memory (cumulated for all children) (KiB): 2494724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.09
system time used= 7.04052
maximum resident set size= 2492164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 500301
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 264
involuntary context switches= 20195
# summary of solver processes directly reported to runsolver:
# pid: 41960,41962
# total CPU time (s): 3600.13
# total CPU user time (s): 3593.09
# total CPU system time (s): 7.04051
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.39613 second user time and 16.9185 second system time
The end
Begin job on nodeC032 at 2025-06-30 20:22:06
IDJOB=4485366
IDBENCH=146789
IDSOLVER=3350
FILE ID=nodeC032/4485366-1751307726
RUNJOBID= nodeC032-1751304114-41607
SLURM_JOB_ID= 9594298
Free space on /tmp= 432032 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-siena1.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485366-1751307726/watcher-4485366-1751307726 -o /tmp/evaluation-result-4485366-1751307726/solver-4485366-1751307726 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751304114-41607 --watchdog 3760 run-opt.sh HOME/instance-4485366-1751307726.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 66e906a9f3fccfe57bc4c65455b969f9
RANDOM SEED=338912485
nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.867
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.868
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3580.171
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.639
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.770
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.491
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3648.186
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.843
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 102008608 kB
MemAvailable: 101798588 kB
Buffers: 3280 kB
Cached: 598180 kB
SwapCached: 0 kB
Active: 28209008 kB
Inactive: 344760 kB
Active(anon): 27970400 kB
Inactive(anon): 0 kB
Active(file): 238608 kB
Inactive(file): 344760 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25464 kB
Writeback: 0 kB
AnonPages: 27931184 kB
Mapped: 116424 kB
Shmem: 18068 kB
KReclaimable: 91704 kB
Slab: 176556 kB
SReclaimable: 91704 kB
SUnreclaim: 84852 kB
KernelStack: 4340 kB
PageTables: 64248 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 34330004 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4661248 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432028 MiB
End job on nodeC032 at 2025-06-30 21:22:17