0.00/0.05 c RoundingSat 2
0.00/0.05 c branch pb25
0.00/0.05 c commit 63f22ad
0.00/0.07 c #variables 2170 #constraints 3973
0.00/0.07 c rational objective 30
3.53/3.65 c #Conflicts: 1000 | #Constraints: 4972
3.53/3.65 c #Conflicts: 2000 | #Constraints: 5972
3.53/3.65 c INPROCESSING
3.53/3.65 c GARBAGE COLLECT
3.53/3.65 c rational objective 30
9.72/9.82 c #Conflicts: 3000 | #Constraints: 5395
9.72/9.82 c #Conflicts: 4000 | #Constraints: 6395
9.72/9.82 c INPROCESSING
9.72/9.82 c GARBAGE COLLECT
9.72/9.82 c rational objective 30
17.00/17.18 c #Conflicts: 5000 | #Constraints: 5797
17.00/17.18 c #Conflicts: 6000 | #Constraints: 6797
17.00/17.18 c INPROCESSING
17.00/17.18 c GARBAGE COLLECT
17.00/17.18 c rational objective 30
25.67/25.87 c #Conflicts: 7000 | #Constraints: 5798
25.67/25.87 c #Conflicts: 8000 | #Constraints: 6798
25.67/25.87 c #Conflicts: 9000 | #Constraints: 7798
25.67/25.87 c INPROCESSING
25.67/25.87 c GARBAGE COLLECT
25.67/25.87 c rational objective 30
34.65/34.80 c #Conflicts: 10000 | #Constraints: 6499
34.65/34.80 c #Conflicts: 11000 | #Constraints: 7499
34.65/34.80 c #Conflicts: 12000 | #Constraints: 8499
34.65/34.80 c INPROCESSING
34.65/34.80 c GARBAGE COLLECT
34.65/34.80 c rational objective 30
45.82/46.06 c #Conflicts: 13000 | #Constraints: 6950
45.82/46.06 c #Conflicts: 14000 | #Constraints: 7950
45.82/46.06 c #Conflicts: 15000 | #Constraints: 8950
45.82/46.06 c INPROCESSING
45.82/46.06 c GARBAGE COLLECT
45.82/46.06 c rational objective 30
58.48/58.73 c #Conflicts: 16000 | #Constraints: 7177
58.48/58.73 c #Conflicts: 17000 | #Constraints: 8177
58.48/58.73 c #Conflicts: 18000 | #Constraints: 9177
58.48/58.73 c INPROCESSING
58.48/58.73 c GARBAGE COLLECT
58.48/58.73 c rational objective 30
72.35/72.68 c #Conflicts: 19000 | #Constraints: 7185
72.35/72.68 c #Conflicts: 20000 | #Constraints: 8185
72.35/72.68 c #Conflicts: 21000 | #Constraints: 9185
72.35/72.68 c INPROCESSING
72.35/72.68 c GARBAGE COLLECT
72.35/72.68 c rational objective 30
87.51/87.87 c #Conflicts: 22000 | #Constraints: 6997
87.51/87.87 c #Conflicts: 23000 | #Constraints: 7997
87.51/87.87 c #Conflicts: 24000 | #Constraints: 8997
87.51/87.87 c #Conflicts: 25000 | #Constraints: 9997
87.51/87.87 c INPROCESSING
87.51/87.87 c GARBAGE COLLECT
87.51/87.87 c rational objective 30
104.96/105.30 c #Conflicts: 26000 | #Constraints: 7601
104.96/105.30 c #Conflicts: 27000 | #Constraints: 8601
104.96/105.30 c #Conflicts: 28000 | #Constraints: 9601
104.96/105.30 c #Conflicts: 29000 | #Constraints: 10601
104.96/105.30 c INPROCESSING
104.96/105.30 c GARBAGE COLLECT
104.96/105.30 c rational objective 30
124.41/124.85 c #Conflicts: 30000 | #Constraints: 8004
124.41/124.85 c #Conflicts: 31000 | #Constraints: 9004
124.41/124.85 c #Conflicts: 32000 | #Constraints: 10004
124.41/124.85 c #Conflicts: 33000 | #Constraints: 11004
124.41/124.85 c INPROCESSING
124.41/124.85 c GARBAGE COLLECT
124.41/124.85 c rational objective 30
144.36/144.83 c #Conflicts: 34000 | #Constraints: 8205
144.36/144.83 c #Conflicts: 35000 | #Constraints: 9205
144.36/144.83 c #Conflicts: 36000 | #Constraints: 10205
144.36/144.83 c #Conflicts: 37000 | #Constraints: 11205
144.36/144.83 c INPROCESSING
144.36/144.83 c GARBAGE COLLECT
144.36/144.83 c rational objective 30
166.10/166.68 c #Conflicts: 38000 | #Constraints: 8202
166.10/166.68 c #Conflicts: 39000 | #Constraints: 9202
166.10/166.68 c #Conflicts: 40000 | #Constraints: 10202
166.10/166.68 c #Conflicts: 41000 | #Constraints: 11202
166.10/166.68 c INPROCESSING
166.10/166.68 c GARBAGE COLLECT
166.10/166.68 c rational objective 30
190.83/191.48 c #Conflicts: 42000 | #Constraints: 8003
190.83/191.48 c #Conflicts: 43000 | #Constraints: 9003
190.83/191.48 c #Conflicts: 44000 | #Constraints: 10003
190.83/191.48 c #Conflicts: 45000 | #Constraints: 11003
190.83/191.48 c #Conflicts: 46000 | #Constraints: 12003
190.83/191.48 c INPROCESSING
190.83/191.48 c GARBAGE COLLECT
190.83/191.48 c rational objective 30
217.17/217.81 c #Conflicts: 47000 | #Constraints: 8603
217.17/217.81 c #Conflicts: 48000 | #Constraints: 9603
217.17/217.81 c #Conflicts: 49000 | #Constraints: 10603
217.17/217.81 c #Conflicts: 50000 | #Constraints: 11603
217.17/217.81 c #Conflicts: 51000 | #Constraints: 12603
217.17/217.81 c INPROCESSING
217.17/217.81 c GARBAGE COLLECT
217.17/217.81 c rational objective 30
242.89/243.62 c #Conflicts: 52000 | #Constraints: 9003
242.89/243.62 c #Conflicts: 53000 | #Constraints: 10003
242.89/243.62 c #Conflicts: 54000 | #Constraints: 11003
242.89/243.62 c #Conflicts: 55000 | #Constraints: 12003
242.89/243.62 c #Conflicts: 56000 | #Constraints: 13003
242.89/243.62 c INPROCESSING
242.89/243.62 c GARBAGE COLLECT
242.89/243.62 c rational objective 30
274.71/275.55 c #Conflicts: 57000 | #Constraints: 9206
274.71/275.55 c #Conflicts: 58000 | #Constraints: 10206
274.71/275.55 c #Conflicts: 59000 | #Constraints: 11206
274.71/275.55 c #Conflicts: 60000 | #Constraints: 12206
274.71/275.55 c #Conflicts: 61000 | #Constraints: 13206
274.71/275.55 c INPROCESSING
274.71/275.55 c GARBAGE COLLECT
274.71/275.55 c rational objective 30
306.32/307.20 c #Conflicts: 62000 | #Constraints: 9205
306.32/307.20 c #Conflicts: 63000 | #Constraints: 10205
306.32/307.20 c #Conflicts: 64000 | #Constraints: 11205
306.32/307.20 c #Conflicts: 65000 | #Constraints: 12205
306.32/307.20 c #Conflicts: 66000 | #Constraints: 13205
306.32/307.20 c INPROCESSING
306.32/307.20 c GARBAGE COLLECT
306.32/307.20 c rational objective 30
339.05/340.05 c #Conflicts: 67000 | #Constraints: 9001
339.05/340.05 c #Conflicts: 68000 | #Constraints: 10001
339.05/340.05 c #Conflicts: 69000 | #Constraints: 11001
339.05/340.05 c #Conflicts: 70000 | #Constraints: 12001
339.05/340.05 c #Conflicts: 71000 | #Constraints: 13001
339.05/340.05 c #Conflicts: 72000 | #Constraints: 14001
339.05/340.05 c INPROCESSING
339.05/340.05 c GARBAGE COLLECT
339.05/340.05 c rational objective 30
372.86/373.92 c #Conflicts: 73000 | #Constraints: 9603
372.86/373.92 c #Conflicts: 74000 | #Constraints: 10603
372.86/373.92 c #Conflicts: 75000 | #Constraints: 11603
372.86/373.92 c #Conflicts: 76000 | #Constraints: 12603
372.86/373.92 c #Conflicts: 77000 | #Constraints: 13603
372.86/373.92 c #Conflicts: 78000 | #Constraints: 14603
372.86/373.92 c INPROCESSING
372.86/373.92 c GARBAGE COLLECT
372.86/373.92 c rational objective 30
413.26/414.44 c #Conflicts: 79000 | #Constraints: 10003
413.26/414.44 c #Conflicts: 80000 | #Constraints: 11003
413.26/414.44 c #Conflicts: 81000 | #Constraints: 12003
413.26/414.44 c #Conflicts: 82000 | #Constraints: 13003
413.26/414.44 c #Conflicts: 83000 | #Constraints: 14003
413.26/414.44 c #Conflicts: 84000 | #Constraints: 15003
413.26/414.44 c INPROCESSING
413.26/414.44 c GARBAGE COLLECT
413.26/414.44 c rational objective 30
452.77/454.05 c #Conflicts: 85000 | #Constraints: 10204
452.77/454.05 c #Conflicts: 86000 | #Constraints: 11204
452.77/454.05 c #Conflicts: 87000 | #Constraints: 12204
452.77/454.05 c #Conflicts: 88000 | #Constraints: 13204
452.77/454.05 c #Conflicts: 89000 | #Constraints: 14204
452.77/454.05 c #Conflicts: 90000 | #Constraints: 15204
452.77/454.05 c INPROCESSING
452.77/454.05 c GARBAGE COLLECT
452.77/454.05 c rational objective 30
493.96/495.36 c #Conflicts: 91000 | #Constraints: 10204
493.96/495.36 c #Conflicts: 92000 | #Constraints: 11204
493.96/495.36 c #Conflicts: 93000 | #Constraints: 12204
493.96/495.36 c #Conflicts: 94000 | #Constraints: 13204
493.96/495.36 c #Conflicts: 95000 | #Constraints: 14204
493.96/495.36 c #Conflicts: 96000 | #Constraints: 15204
493.96/495.36 c INPROCESSING
493.96/495.36 c GARBAGE COLLECT
493.96/495.36 c rational objective 30
536.96/538.48 c #Conflicts: 97000 | #Constraints: 10006
536.96/538.48 c #Conflicts: 98000 | #Constraints: 11006
536.96/538.48 c #Conflicts: 99000 | #Constraints: 12006
536.96/538.48 c #Conflicts: 100000 | #Constraints: 13006
536.96/538.48 c #Conflicts: 101000 | #Constraints: 14006
536.96/538.48 c #Conflicts: 102000 | #Constraints: 15006
536.96/538.48 c #Conflicts: 103000 | #Constraints: 16006
536.96/538.48 c INPROCESSING
536.96/538.48 c GARBAGE COLLECT
536.96/538.48 c rational objective 30
583.94/585.50 c #Conflicts: 104000 | #Constraints: 10609
583.94/585.50 c #Conflicts: 105000 | #Constraints: 11609
583.94/585.50 c #Conflicts: 106000 | #Constraints: 12609
583.94/585.50 c #Conflicts: 107000 | #Constraints: 13609
583.94/585.50 c #Conflicts: 108000 | #Constraints: 14609
583.94/585.50 c #Conflicts: 109000 | #Constraints: 15609
583.94/585.50 c #Conflicts: 110000 | #Constraints: 16609
583.94/585.50 c INPROCESSING
583.94/585.50 c GARBAGE COLLECT
583.94/585.50 c rational objective 30
636.71/638.43 c #Conflicts: 111000 | #Constraints: 11004
636.71/638.43 c #Conflicts: 112000 | #Constraints: 12004
636.71/638.43 c #Conflicts: 113000 | #Constraints: 13004
636.71/638.43 c #Conflicts: 114000 | #Constraints: 14004
636.71/638.43 c #Conflicts: 115000 | #Constraints: 15004
636.71/638.43 c #Conflicts: 116000 | #Constraints: 16004
636.71/638.43 c #Conflicts: 117000 | #Constraints: 17004
636.71/638.43 c INPROCESSING
636.71/638.43 c GARBAGE COLLECT
636.71/638.43 c rational objective 30
688.68/690.50 c #Conflicts: 118000 | #Constraints: 11206
688.68/690.50 c #Conflicts: 119000 | #Constraints: 12206
688.68/690.50 c #Conflicts: 120000 | #Constraints: 13206
688.68/690.50 c #Conflicts: 121000 | #Constraints: 14206
688.68/690.50 c #Conflicts: 122000 | #Constraints: 15206
688.68/690.50 c #Conflicts: 123000 | #Constraints: 16206
688.68/690.50 c #Conflicts: 124000 | #Constraints: 17206
688.68/690.50 c INPROCESSING
688.68/690.50 c GARBAGE COLLECT
688.68/690.50 c rational objective 30
744.44/746.48 c #Conflicts: 125000 | #Constraints: 11202
744.44/746.48 c #Conflicts: 126000 | #Constraints: 12202
744.44/746.48 c #Conflicts: 127000 | #Constraints: 13202
744.44/746.48 c #Conflicts: 128000 | #Constraints: 14202
744.44/746.48 c #Conflicts: 129000 | #Constraints: 15202
744.44/746.48 c #Conflicts: 130000 | #Constraints: 16202
744.44/746.48 c #Conflicts: 131000 | #Constraints: 17202
744.44/746.48 c INPROCESSING
744.44/746.48 c GARBAGE COLLECT
744.44/746.48 c rational objective 30
812.08/814.20 c #Conflicts: 132000 | #Constraints: 11006
812.08/814.20 c #Conflicts: 133000 | #Constraints: 12006
812.08/814.20 c #Conflicts: 134000 | #Constraints: 13006
812.08/814.20 c #Conflicts: 135000 | #Constraints: 14006
812.08/814.20 c #Conflicts: 136000 | #Constraints: 15006
812.08/814.20 c #Conflicts: 137000 | #Constraints: 16006
812.08/814.20 c #Conflicts: 138000 | #Constraints: 17006
812.08/814.20 c #Conflicts: 139000 | #Constraints: 18006
812.08/814.20 c INPROCESSING
812.08/814.20 c GARBAGE COLLECT
812.08/814.20 c rational objective 30
873.82/876.12 c #Conflicts: 140000 | #Constraints: 11605
873.82/876.12 c #Conflicts: 141000 | #Constraints: 12605
873.82/876.12 c #Conflicts: 142000 | #Constraints: 13605
873.82/876.12 c #Conflicts: 143000 | #Constraints: 14605
873.82/876.12 c #Conflicts: 144000 | #Constraints: 15605
873.82/876.12 c #Conflicts: 145000 | #Constraints: 16605
873.82/876.12 c #Conflicts: 146000 | #Constraints: 17605
873.82/876.12 c #Conflicts: 147000 | #Constraints: 18605
873.82/876.12 c INPROCESSING
873.82/876.12 c GARBAGE COLLECT
873.82/876.12 c rational objective 30
940.15/942.63 c #Conflicts: 148000 | #Constraints: 12008
940.15/942.63 c #Conflicts: 149000 | #Constraints: 13008
940.15/942.63 c #Conflicts: 150000 | #Constraints: 14008
940.15/942.63 c #Conflicts: 151000 | #Constraints: 15008
940.15/942.63 c #Conflicts: 152000 | #Constraints: 16008
940.15/942.63 c #Conflicts: 153000 | #Constraints: 17008
940.15/942.63 c #Conflicts: 154000 | #Constraints: 18008
940.15/942.63 c #Conflicts: 155000 | #Constraints: 19008
940.15/942.63 c INPROCESSING
940.15/942.63 c GARBAGE COLLECT
940.15/942.63 c rational objective 30
1010.18/1012.86 c #Conflicts: 156000 | #Constraints: 12206
1010.18/1012.86 c #Conflicts: 157000 | #Constraints: 13206
1010.18/1012.86 c #Conflicts: 158000 | #Constraints: 14206
1010.18/1012.86 c #Conflicts: 159000 | #Constraints: 15206
1010.18/1012.86 c #Conflicts: 160000 | #Constraints: 16206
1010.18/1012.86 c #Conflicts: 161000 | #Constraints: 17206
1010.18/1012.86 c #Conflicts: 162000 | #Constraints: 18206
1010.18/1012.86 c #Conflicts: 163000 | #Constraints: 19206
1010.18/1012.86 c INPROCESSING
1010.18/1012.86 c GARBAGE COLLECT
1010.18/1012.86 c rational objective 30
1084.99/1087.80 c #Conflicts: 164000 | #Constraints: 12205
1084.99/1087.80 c #Conflicts: 165000 | #Constraints: 13205
1084.99/1087.80 c #Conflicts: 166000 | #Constraints: 14205
1084.99/1087.80 c #Conflicts: 167000 | #Constraints: 15205
1084.99/1087.80 c #Conflicts: 168000 | #Constraints: 16205
1084.99/1087.80 c #Conflicts: 169000 | #Constraints: 17205
1084.99/1087.80 c #Conflicts: 170000 | #Constraints: 18205
1084.99/1087.80 c #Conflicts: 171000 | #Constraints: 19205
1084.99/1087.80 c INPROCESSING
1084.99/1087.80 c GARBAGE COLLECT
1084.99/1087.80 c rational objective 30
1162.20/1165.22 c #Conflicts: 172000 | #Constraints: 12007
1162.20/1165.22 c #Conflicts: 173000 | #Constraints: 13007
1162.20/1165.22 c #Conflicts: 174000 | #Constraints: 14007
1162.20/1165.22 c #Conflicts: 175000 | #Constraints: 15007
1162.20/1165.22 c #Conflicts: 176000 | #Constraints: 16007
1162.20/1165.22 c #Conflicts: 177000 | #Constraints: 17007
1162.20/1165.22 c #Conflicts: 178000 | #Constraints: 18007
1162.20/1165.22 c #Conflicts: 179000 | #Constraints: 19007
1162.20/1165.22 c #Conflicts: 180000 | #Constraints: 20007
1162.20/1165.22 c INPROCESSING
1162.20/1165.22 c GARBAGE COLLECT
1162.20/1165.22 c rational objective 30
1250.47/1253.71 c #Conflicts: 181000 | #Constraints: 12609
1250.47/1253.71 c #Conflicts: 182000 | #Constraints: 13609
1250.47/1253.71 c #Conflicts: 183000 | #Constraints: 14609
1250.47/1253.71 c #Conflicts: 184000 | #Constraints: 15609
1250.47/1253.71 c #Conflicts: 185000 | #Constraints: 16609
1250.47/1253.71 c #Conflicts: 186000 | #Constraints: 17609
1250.47/1253.71 c #Conflicts: 187000 | #Constraints: 18609
1250.47/1253.71 c #Conflicts: 188000 | #Constraints: 19609
1250.47/1253.71 c #Conflicts: 189000 | #Constraints: 20609
1250.47/1253.71 c INPROCESSING
1250.47/1253.71 c GARBAGE COLLECT
1250.47/1253.71 c rational objective 30
1342.02/1345.58 c #Conflicts: 190000 | #Constraints: 13008
1342.02/1345.58 c #Conflicts: 191000 | #Constraints: 14008
1342.02/1345.58 c #Conflicts: 192000 | #Constraints: 15008
1342.02/1345.58 c #Conflicts: 193000 | #Constraints: 16008
1342.02/1345.58 c #Conflicts: 194000 | #Constraints: 17008
1342.02/1345.58 c #Conflicts: 195000 | #Constraints: 18008
1342.02/1345.58 c #Conflicts: 196000 | #Constraints: 19008
1342.02/1345.58 c #Conflicts: 197000 | #Constraints: 20008
1342.02/1345.58 c #Conflicts: 198000 | #Constraints: 21008
1342.02/1345.58 c INPROCESSING
1342.02/1345.58 c GARBAGE COLLECT
1342.02/1345.58 c rational objective 30
1432.58/1436.31 c #Conflicts: 199000 | #Constraints: 13205
1432.58/1436.31 c #Conflicts: 200000 | #Constraints: 14205
1432.58/1436.31 c #Conflicts: 201000 | #Constraints: 15205
1432.58/1436.31 c #Conflicts: 202000 | #Constraints: 16205
1432.58/1436.31 c #Conflicts: 203000 | #Constraints: 17205
1432.58/1436.31 c #Conflicts: 204000 | #Constraints: 18205
1432.58/1436.31 c #Conflicts: 205000 | #Constraints: 19205
1432.58/1436.31 c #Conflicts: 206000 | #Constraints: 20205
1432.58/1436.31 c #Conflicts: 207000 | #Constraints: 21205
1432.58/1436.31 c INPROCESSING
1432.58/1436.31 c GARBAGE COLLECT
1432.58/1436.31 c rational objective 30
1530.72/1534.74 c #Conflicts: 208000 | #Constraints: 13207
1530.72/1534.74 c #Conflicts: 209000 | #Constraints: 14207
1530.72/1534.74 c #Conflicts: 210000 | #Constraints: 15207
1530.72/1534.74 c #Conflicts: 211000 | #Constraints: 16207
1530.72/1534.74 c #Conflicts: 212000 | #Constraints: 17207
1530.72/1534.74 c #Conflicts: 213000 | #Constraints: 18207
1530.72/1534.74 c #Conflicts: 214000 | #Constraints: 19207
1530.72/1534.74 c #Conflicts: 215000 | #Constraints: 20207
1530.72/1534.74 c #Conflicts: 216000 | #Constraints: 21207
1530.72/1534.74 c INPROCESSING
1530.72/1534.74 c GARBAGE COLLECT
1530.72/1534.74 c rational objective 30
1632.26/1636.54 c #Conflicts: 217000 | #Constraints: 13012
1632.26/1636.54 c #Conflicts: 218000 | #Constraints: 14012
1632.26/1636.54 c #Conflicts: 219000 | #Constraints: 15012
1632.26/1636.54 c #Conflicts: 220000 | #Constraints: 16012
1632.26/1636.54 c #Conflicts: 221000 | #Constraints: 17012
1632.26/1636.54 c #Conflicts: 222000 | #Constraints: 18012
1632.26/1636.54 c #Conflicts: 223000 | #Constraints: 19012
1632.26/1636.54 c #Conflicts: 224000 | #Constraints: 20012
1632.26/1636.54 c #Conflicts: 225000 | #Constraints: 21012
1632.26/1636.54 c #Conflicts: 226000 | #Constraints: 22012
1632.26/1636.54 c INPROCESSING
1632.26/1636.54 c GARBAGE COLLECT
1632.26/1636.54 c rational objective 30
1743.76/1748.37 c #Conflicts: 227000 | #Constraints: 13609
1743.76/1748.37 c #Conflicts: 228000 | #Constraints: 14609
1743.76/1748.37 c #Conflicts: 229000 | #Constraints: 15609
1743.76/1748.37 c #Conflicts: 230000 | #Constraints: 16609
1743.76/1748.37 c #Conflicts: 231000 | #Constraints: 17609
1743.76/1748.37 c #Conflicts: 232000 | #Constraints: 18609
1743.76/1748.37 c #Conflicts: 233000 | #Constraints: 19609
1743.76/1748.37 c #Conflicts: 234000 | #Constraints: 20609
1743.76/1748.37 c #Conflicts: 235000 | #Constraints: 21609
1743.76/1748.37 c #Conflicts: 236000 | #Constraints: 22609
1743.76/1748.37 c INPROCESSING
1743.76/1748.37 c GARBAGE COLLECT
1743.76/1748.37 c rational objective 30
1867.75/1872.61 c #Conflicts: 237000 | #Constraints: 14007
1867.75/1872.61 c #Conflicts: 238000 | #Constraints: 15007
1867.75/1872.61 c #Conflicts: 239000 | #Constraints: 16007
1867.75/1872.61 c #Conflicts: 240000 | #Constraints: 17007
1867.75/1872.61 c #Conflicts: 241000 | #Constraints: 18007
1867.75/1872.61 c #Conflicts: 242000 | #Constraints: 19007
1867.75/1872.61 c #Conflicts: 243000 | #Constraints: 20007
1867.75/1872.61 c #Conflicts: 244000 | #Constraints: 21007
1867.75/1872.61 c #Conflicts: 245000 | #Constraints: 22007
1867.75/1872.61 c #Conflicts: 246000 | #Constraints: 23007
1867.75/1872.61 c INPROCESSING
1867.75/1872.61 c GARBAGE COLLECT
1867.75/1872.61 c rational objective 30
1986.65/1991.80 c #Conflicts: 247000 | #Constraints: 14212
1986.65/1991.80 c #Conflicts: 248000 | #Constraints: 15212
1986.65/1991.80 c #Conflicts: 249000 | #Constraints: 16212
1986.65/1991.80 c #Conflicts: 250000 | #Constraints: 17212
1986.65/1991.80 c #Conflicts: 251000 | #Constraints: 18212
1986.65/1991.80 c #Conflicts: 252000 | #Constraints: 19212
1986.65/1991.80 c #Conflicts: 253000 | #Constraints: 20212
1986.65/1991.80 c #Conflicts: 254000 | #Constraints: 21212
1986.65/1991.80 c #Conflicts: 255000 | #Constraints: 22212
1986.65/1991.80 c #Conflicts: 256000 | #Constraints: 23212
1986.65/1991.80 c INPROCESSING
1986.65/1991.80 c GARBAGE COLLECT
1986.65/1991.80 c rational objective 30
2108.03/2113.59 c #Conflicts: 257000 | #Constraints: 14206
2108.03/2113.59 c #Conflicts: 258000 | #Constraints: 15206
2108.03/2113.59 c #Conflicts: 259000 | #Constraints: 16206
2108.03/2113.59 c #Conflicts: 260000 | #Constraints: 17206
2108.03/2113.59 c #Conflicts: 261000 | #Constraints: 18206
2108.03/2113.59 c #Conflicts: 262000 | #Constraints: 19206
2108.03/2113.59 c #Conflicts: 263000 | #Constraints: 20206
2108.03/2113.59 c #Conflicts: 264000 | #Constraints: 21206
2108.03/2113.59 c #Conflicts: 265000 | #Constraints: 22206
2108.03/2113.59 c #Conflicts: 266000 | #Constraints: 23206
2108.03/2113.59 c INPROCESSING
2108.03/2113.59 c GARBAGE COLLECT
2108.03/2113.59 c rational objective 30
2216.65/2222.48 c #Conflicts: 267000 | #Constraints: 14007
2216.65/2222.48 c #Conflicts: 268000 | #Constraints: 15007
2216.65/2222.48 c #Conflicts: 269000 | #Constraints: 16007
2216.65/2222.48 c #Conflicts: 270000 | #Constraints: 17007
2216.65/2222.48 c #Conflicts: 271000 | #Constraints: 18007
2216.65/2222.48 c #Conflicts: 272000 | #Constraints: 19007
2216.65/2222.48 c #Conflicts: 273000 | #Constraints: 20007
2216.65/2222.48 c #Conflicts: 274000 | #Constraints: 21007
2216.65/2222.48 c #Conflicts: 275000 | #Constraints: 22007
2216.65/2222.48 c #Conflicts: 276000 | #Constraints: 23007
2216.65/2222.48 c #Conflicts: 277000 | #Constraints: 24007
2216.65/2222.48 c INPROCESSING
2216.65/2222.48 c GARBAGE COLLECT
2216.65/2222.48 c rational objective 30
2340.66/2346.88 c #Conflicts: 278000 | #Constraints: 14608
2340.66/2346.88 c #Conflicts: 279000 | #Constraints: 15608
2340.66/2346.88 c #Conflicts: 280000 | #Constraints: 16608
2340.66/2346.88 c #Conflicts: 281000 | #Constraints: 17608
2340.66/2346.88 c #Conflicts: 282000 | #Constraints: 18608
2340.66/2346.88 c #Conflicts: 283000 | #Constraints: 19608
2340.66/2346.88 c #Conflicts: 284000 | #Constraints: 20608
2340.66/2346.88 c #Conflicts: 285000 | #Constraints: 21608
2340.66/2346.88 c #Conflicts: 286000 | #Constraints: 22608
2340.66/2346.88 c #Conflicts: 287000 | #Constraints: 23608
2340.66/2346.88 c #Conflicts: 288000 | #Constraints: 24608
2340.66/2346.88 c INPROCESSING
2340.66/2346.88 c GARBAGE COLLECT
2340.66/2346.88 c rational objective 31.0004
2463.80/2470.36 c #Conflicts: 289000 | #Constraints: 15009
2463.80/2470.36 c #Conflicts: 290000 | #Constraints: 16009
2463.80/2470.36 c #Conflicts: 291000 | #Constraints: 17009
2463.80/2470.36 c #Conflicts: 292000 | #Constraints: 18009
2463.80/2470.36 c #Conflicts: 293000 | #Constraints: 19009
2463.80/2470.36 c #Conflicts: 294000 | #Constraints: 20009
2463.80/2470.36 c #Conflicts: 295000 | #Constraints: 21009
2463.80/2470.36 c #Conflicts: 296000 | #Constraints: 22009
2463.80/2470.36 c #Conflicts: 297000 | #Constraints: 23009
2463.80/2470.36 c #Conflicts: 298000 | #Constraints: 24009
2463.80/2470.36 c #Conflicts: 299000 | #Constraints: 25009
2463.80/2470.36 c INPROCESSING
2463.80/2470.36 c GARBAGE COLLECT
2463.80/2470.36 c rational objective 33.8279
3183.48/3192.21 c #Conflicts: 300000 | #Constraints: 15207
3183.48/3192.21 c #Conflicts: 301000 | #Constraints: 16207
3183.48/3192.21 c #Conflicts: 302000 | #Constraints: 17207
3183.48/3192.21 c #Conflicts: 303000 | #Constraints: 18207
3183.48/3192.21 c #Conflicts: 304000 | #Constraints: 19207
3183.48/3192.21 c #Conflicts: 305000 | #Constraints: 20207
3183.48/3192.21 c #Conflicts: 306000 | #Constraints: 21207
3183.48/3192.21 c #Conflicts: 307000 | #Constraints: 22207
3183.48/3192.21 c #Conflicts: 308000 | #Constraints: 23207
3183.48/3192.21 c #Conflicts: 309000 | #Constraints: 24207
3183.48/3192.21 c #Conflicts: 310000 | #Constraints: 25207
3183.48/3192.21 c INPROCESSING
3183.48/3192.21 c GARBAGE COLLECT
3183.48/3192.21 c #Conflicts: 311000 | #Constraints: 15208
3183.48/3192.21 c #Conflicts: 312000 | #Constraints: 16208
3183.48/3192.21 c #Conflicts: 313000 | #Constraints: 17208
3183.48/3192.21 c #Conflicts: 314000 | #Constraints: 18208
3183.48/3192.21 c #Conflicts: 315000 | #Constraints: 19208
3183.48/3192.21 c #Conflicts: 316000 | #Constraints: 20208
3183.48/3192.21 c #Conflicts: 317000 | #Constraints: 21208
3183.48/3192.21 c #Conflicts: 318000 | #Constraints: 22208
3183.48/3192.21 c #Conflicts: 319000 | #Constraints: 23208
3183.48/3192.21 c #Conflicts: 320000 | #Constraints: 24208
3183.48/3192.21 c #Conflicts: 321000 | #Constraints: 25208
3183.48/3192.21 c INPROCESSING
3183.48/3192.21 c GARBAGE COLLECT
3183.48/3192.21 c #Conflicts: 322000 | #Constraints: 15008
3183.48/3192.21 c #Conflicts: 323000 | #Constraints: 16008
3183.48/3192.21 c #Conflicts: 324000 | #Constraints: 17008
3183.48/3192.21 c #Conflicts: 325000 | #Constraints: 18008
3183.48/3192.21 c #Conflicts: 326000 | #Constraints: 19008
3183.48/3192.21 c #Conflicts: 327000 | #Constraints: 20008
3183.48/3192.21 c #Conflicts: 328000 | #Constraints: 21008
3183.48/3192.21 c #Conflicts: 329000 | #Constraints: 22008
3183.48/3192.21 c #Conflicts: 330000 | #Constraints: 23008
3183.48/3192.21 c #Conflicts: 331000 | #Constraints: 24008
3183.48/3192.21 c #Conflicts: 332000 | #Constraints: 25008
3183.48/3192.21 c #Conflicts: 333000 | #Constraints: 26008
3183.48/3192.21 c INPROCESSING
3183.48/3192.21 c GARBAGE COLLECT
3183.48/3192.21 c #Conflicts: 334000 | #Constraints: 15610
3183.48/3192.21 c #Conflicts: 335000 | #Constraints: 16610
3183.48/3192.21 c #Conflicts: 336000 | #Constraints: 17611
3183.48/3192.21 c #Conflicts: 337000 | #Constraints: 18611
3183.48/3192.21 c #Conflicts: 338000 | #Constraints: 19611
3183.48/3192.21 c #Conflicts: 339000 | #Constraints: 20611
3183.48/3192.21 c #Conflicts: 340000 | #Constraints: 21611
3183.48/3192.21 c #Conflicts: 341000 | #Constraints: 22611
3183.48/3192.21 c #Conflicts: 342000 | #Constraints: 23611
3183.48/3192.21 c #Conflicts: 343000 | #Constraints: 24611
3183.48/3192.21 c #Conflicts: 344000 | #Constraints: 25611
3183.48/3192.21 c #Conflicts: 345000 | #Constraints: 26611
3183.48/3192.21 c INPROCESSING
3183.48/3192.21 c GARBAGE COLLECT
3183.48/3192.21 c #Conflicts: 346000 | #Constraints: 16012
3183.48/3192.21 c #Conflicts: 347000 | #Constraints: 17012
3183.48/3192.21 c #Conflicts: 348000 | #Constraints: 18012
3183.48/3192.21 c #Conflicts: 349000 | #Constraints: 19012
3183.48/3192.21 c #Conflicts: 350000 | #Constraints: 20012
3183.48/3192.21 c #Conflicts: 351000 | #Constraints: 21012
3183.48/3192.21 c #Conflicts: 352000 | #Constraints: 22012
3183.48/3192.21 c #Conflicts: 353000 | #Constraints: 23012
3183.48/3192.21 c #Conflicts: 354000 | #Constraints: 24012
3183.48/3192.21 c #Conflicts: 355000 | #Constraints: 25012
3183.48/3192.21 c #Conflicts: 356000 | #Constraints: 26012
3183.48/3192.21 c #Conflicts: 357000 | #Constraints: 27012
3183.48/3192.21 c INPROCESSING
3183.48/3192.21 c GARBAGE COLLECT
3183.48/3192.21 c rational objective 34.5205
3511.74/3521.53 c #Conflicts: 358000 | #Constraints: 16212
3511.74/3521.53 c #Conflicts: 359000 | #Constraints: 17212
3511.74/3521.53 c #Conflicts: 360000 | #Constraints: 18212
3511.74/3521.53 c #Conflicts: 361000 | #Constraints: 19212
3511.74/3521.53 c #Conflicts: 362000 | #Constraints: 20212
3511.74/3521.53 c #Conflicts: 363000 | #Constraints: 21212
3511.74/3521.53 c #Conflicts: 364000 | #Constraints: 22212
3511.74/3521.53 c #Conflicts: 365000 | #Constraints: 23212
3511.74/3521.53 c #Conflicts: 366000 | #Constraints: 24212
3511.74/3521.53 c #Conflicts: 367000 | #Constraints: 25212
3511.74/3521.53 c #Conflicts: 368000 | #Constraints: 26212
3511.74/3521.53 c #Conflicts: 369000 | #Constraints: 27212
3511.74/3521.53 c INPROCESSING
3511.74/3521.53 c GARBAGE COLLECT
3511.74/3521.53 c #Conflicts: 370000 | #Constraints: 16214
3511.74/3521.53 c #Conflicts: 371000 | #Constraints: 17214
3511.74/3521.53 c #Conflicts: 372000 | #Constraints: 18214
3511.74/3521.53 c #Conflicts: 373000 | #Constraints: 19214
3511.74/3521.53 c #Conflicts: 374000 | #Constraints: 20214
3511.74/3521.53 c #Conflicts: 375000 | #Constraints: 21214
3511.74/3521.53 c #Conflicts: 376000 | #Constraints: 22214
3511.74/3521.53 c #Conflicts: 377000 | #Constraints: 23214
3511.74/3521.53 c #Conflicts: 378000 | #Constraints: 24214
3511.74/3521.53 c #Conflicts: 379000 | #Constraints: 25214
3511.74/3521.53 c #Conflicts: 380000 | #Constraints: 26214
3511.74/3521.53 c #Conflicts: 381000 | #Constraints: 27214
3511.74/3521.53 c INPROCESSING
3511.74/3521.53 c GARBAGE COLLECT
3511.74/3521.53 c rational objective 35.0722
3600.06/3610.10 c #Conflicts: 382000 | #Constraints: 16013
3600.06/3610.10 c #Conflicts: 383000 | #Constraints: 17013
3600.06/3610.10 c #Conflicts: 384000 | #Constraints: 18013
3600.06/3610.10 c #Conflicts: 385000 | #Constraints: 19013
3600.06/3610.10 c #Conflicts: 386000 | #Constraints: 20013
3600.06/3610.10 c #Conflicts: 387000 | #Constraints: 21013
3600.06/3610.10 c #Conflicts: 388000 | #Constraints: 22013
3600.06/3610.10 c cpu time 3581.56 s
3600.06/3610.10 c deterministic time 831513227100 8.32e+11
3600.06/3610.10 c optimization time 87.0217 s
3600.06/3610.10 c total solve time 3494.52 s
3600.06/3610.10 c core-guided solve time 0 s
3600.06/3610.10 c propagation time 2740.28 s
3600.06/3610.10 c conflict analysis time 750.057 s
3600.06/3610.10 c propagations 64231771
3600.06/3610.10 c resolve steps 17080786
3600.06/3610.10 c decisions 467992
3600.06/3610.10 c conflicts 388797
3600.06/3610.10 c restarts 938
3600.06/3610.10 c inprocessing phases 53
3600.06/3610.10 c garbage collections 53 ,( 100.00 )
3600.06/3610.10 c input clauses 3968 ,( 99.87 )
3600.06/3610.10 c input cardinalities 0 ,( 0.00 )
3600.06/3610.10 c input general constraints 5 ,( 0.13 )
3600.06/3610.10 c input average constraint length 3.06
3600.06/3610.10 c input average constraint degree 5803783056518250.00
3600.06/3610.10 c learned clauses 968 ,( 0.25 )
3600.06/3610.10 c learned cardinalities 0 ,( 0.00 )
3600.06/3610.10 c learned general constraints 387835 ,( 99.75 )
3600.06/3610.10 c learned average constraint length 546.66
3600.06/3610.10 c learned average constraint degree 1150400559.55
3600.06/3610.10 c watched CF 32, 64, 128, Arb: 237 , 0 , 0 , 0
3600.06/3610.10 c counting CF 32, 64, 128, Arb: 387598 , 0 , 5 , 0
3600.06/3610.10 c watched constraints 237 ,( 0.06 )
3600.06/3610.10 c counting constraints 387603 ,( 99.94 )
3600.06/3610.10 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 48876843 , 0 , 51385525928 ,( 174343 , 51385351585 )
3600.06/3610.10 c gcd simplifications 53
3600.06/3610.10 c detected cardinalities 0
3600.06/3610.10 c weakened non-implied lits 12639968
3600.06/3610.10 c weakened non-implying lits 23812
3600.06/3610.10 c original variables 2170
3600.06/3610.10 c clausal propagations 46330793
3600.06/3610.10 c cardinality propagations 0
3600.06/3610.10 c watched propagations 84
3600.06/3610.10 c counting propagations 17570790
3600.06/3610.10 c watch lookups 51491660263
3600.06/3610.10 c watch backjump lookups 0
3600.06/3610.10 c watch checks 5983458
3600.06/3610.10 c propagation checks 777977823893
3600.06/3610.10 c constraint additions 1907917437
3600.06/3610.10 c trail pops 65086770
3600.06/3610.10 c formula constraints 3973
3600.06/3610.10 c learned constraints 388796
3600.06/3610.10 c bound constraints 0
3600.06/3610.10 c core-guided constraints 0
3600.06/3610.10 c encountered formula constraints 17021266
3600.06/3610.10 c encountered learned constraints 447083
3600.06/3610.10 c encountered bound constraints 0
3600.06/3610.10 c encountered core-guided constraints 0
3600.06/3610.10 c LP total time 27.414 s
3600.06/3610.10 c LP solve time 5.45 s
3600.06/3610.10 c LP constraints added 3980
3600.06/3610.10 c LP constraints removed 1
3600.06/3610.10 c LP pivots internal 38888
3600.06/3610.10 c LP pivots root 16627
3600.06/3610.10 c LP calls 1651
3600.06/3610.10 c LP optimalities 1620
3600.06/3610.10 c LP no pivot count 605
3600.06/3610.10 c LP infeasibilities 7
3600.06/3610.10 c LP valid Farkas constraints 1
3600.06/3610.10 c LP learned Farkas constraints 0
3600.06/3610.10 c LP basis resets 28
3600.06/3610.10 c LP cycling count 8
3600.06/3610.10 c LP singular count 10
3600.06/3610.10 c LP no primal count 0
3600.06/3610.10 c LP no farkas count 6
3600.06/3610.10 c LP other issue count 4
3600.06/3610.10 c LP Gomory cuts 6
3600.06/3610.10 c LP learned cuts 1
3600.06/3610.10 c LP deleted cuts 1
3600.06/3610.10 c LP encountered Gomory constraints 0
3600.06/3610.10 c LP encountered Farkas constraints 1234
3600.06/3610.10 c LP encountered learned Farkas constraints 0
3600.06/3610.10 c CG auxiliary variables introduced 0
3600.06/3610.10 c CG solutions found 0
3600.06/3610.10 c CG cores constructed 0
3600.06/3610.10 c CG core cardinality constraints returned 0
3600.06/3610.10 c CG unit cores 0
3600.06/3610.10 c CG single cores 0
3600.06/3610.10 c CG blocks removed during cardinality reduction 0
3600.06/3610.10 c CG first core best 0
3600.06/3610.10 c CG decision core best 0
3600.06/3610.10 c CG core reduction tie 0
3600.06/3610.10 c CG core degree average 0.00
3600.06/3610.10 c CG core slack average 0.00
3600.06/3610.10 c CG core upper bound improvements 0
3600.06/3610.10 c STR number of successful calls 0
3600.06/3610.10 c STR number of unsuccessful calls 0
3600.06/3610.10 c STR number of inconclusive calls 0
3600.06/3610.10 c STR number of successful attempts 0
3600.06/3610.10 c STR number of unsuccessful attempts 0
3600.06/3610.10 c STR number of inconclusive attempts 0
3600.06/3610.10 c STR average degree increase per successful call inf
3600.06/3610.10 c STR average degree increase per successful attempt inf
3600.06/3610.10 c STR total number of conflicts for successful attempts 0
3600.06/3610.10 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3610.10 c STR total number of conflicts for inconclusive attempts 0
3600.06/3610.10 c STR average number of conflicts per successful attempt inf
3600.06/3610.10 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3610.10 c STR average number of conflicts per inconclusive attempt inf
3600.06/3610.10 c AVG.sumWPerc 99.70
3600.06/3610.10 c bigint constraints 5
3600.06/3610.10 s UNKNOWN
3600.06/3610.10 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 (61753 MiB free)
memory of node 1: 64465 MiB (63609 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541606-1753198973/watcher-4541606-1753198973 -o /tmp/evaluation-result-4541606-1753198973/solver-4541606-1753198973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753198973-171408 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4541606-1753198973.opb /tmp/proof-4541606-1753198973
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=171460, runsolver pid=171443
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 0.07 0.08 0.09 5/269 171469
/proc/meminfo: memFree=128356752/131250000 swapFree=33009904/33010684
[pid=171460] ppid=171443 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/171460/stat : 171460 (run-dec-log.sh) S 171443 171460 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 736 18446744073709551615 94449966751744 94449967646277 140730008278336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94449967885328 94449967933072 94449969410048 140730008283461 140730008283618 140730008283618 140730008289222 0
/proc/171460/statm: 1048 736 672 219 0 110 0
[pid=171463] ppid=171460 vsize=62060 memory=18440 CPUtime=0.04 cores=1,3
/proc/171463/stat : 171463 (roundingsat) R 171460 171460 171389 0 -1 4194304 2532 0 0 0 4 0 0 0 20 0 1 0 235576817 63549440 4610 18446744073709551615 4227072 8923433 140724432796032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29614080 140724432800139 140724432800294 140724432800294 140724432805866 0
/proc/171463/statm: 15515 4610 2304 1147 0 2942 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 66252 KiB
Current children cumulated memory: 21384 KiB
[startup+0.204645 s]*
/proc/loadavg: 0.07 0.08 0.09 6/269 171469
/proc/meminfo: memFree=128334968/131250000 swapFree=33009904/33010684
[pid=171460] ppid=171443 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/171460/stat : 171460 (run-dec-log.sh) S 171443 171460 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 736 18446744073709551615 94449966751744 94449967646277 140730008278336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94449967885328 94449967933072 94449969410048 140730008283461 140730008283618 140730008283618 140730008289222 0
/proc/171460/statm: 1048 736 672 219 0 110 0
[pid=171463] ppid=171460 vsize=62192 memory=18696 CPUtime=0.16 cores=1,3
/proc/171463/stat : 171463 (roundingsat) R 171460 171460 171389 0 -1 4194304 2576 0 0 0 15 1 0 0 20 0 1 0 235576817 63684608 4674 18446744073709551615 4227072 8923433 140724432796032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29614080 140724432800139 140724432800294 140724432800294 140724432805866 0
/proc/171463/statm: 15548 4674 2304 1147 0 2975 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 66384 KiB
Current children cumulated memory: 21640 KiB
[startup+0.304603 s]*
/proc/loadavg: 0.07 0.08 0.09 6/269 171469
/proc/meminfo: memFree=128334968/131250000 swapFree=33009904/33010684
[pid=171460] ppid=171443 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/171460/stat : 171460 (run-dec-log.sh) S 171443 171460 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 736 18446744073709551615 94449966751744 94449967646277 140730008278336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94449967885328 94449967933072 94449969410048 140730008283461 140730008283618 140730008283618 140730008289222 0
/proc/171460/statm: 1048 736 672 219 0 110 0
[pid=171463] ppid=171460 vsize=62724 memory=19208 CPUtime=0.25 cores=1,3
/proc/171463/stat : 171463 (roundingsat) R 171460 171460 171389 0 -1 4194304 2724 0 0 0 24 1 0 0 20 0 1 0 235576817 64229376 4802 18446744073709551615 4227072 8923433 140724432796032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29614080 140724432800139 140724432800294 140724432800294 140724432805866 0
/proc/171463/statm: 15681 4802 2304 1147 0 3108 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 66916 KiB
Current children cumulated memory: 22152 KiB
[startup+0.700148 s]
/proc/loadavg: 0.07 0.08 0.09 6/269 171469
/proc/meminfo: memFree=128316824/131250000 swapFree=33009904/33010684
[pid=171460] ppid=171443 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/171460/stat : 171460 (run-dec-log.sh) S 171443 171460 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 736 18446744073709551615 94449966751744 94449967646277 140730008278336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94449967885328 94449967933072 94449969410048 140730008283461 140730008283618 140730008283618 140730008289222 0
/proc/171460/statm: 1048 736 672 219 0 110 0
[pid=171463] ppid=171460 vsize=66764 memory=23176 CPUtime=0.64 cores=1,3
/proc/171463/stat : 171463 (roundingsat) R 171460 171460 171389 0 -1 4194304 3701 0 0 0 62 2 0 0 20 0 1 0 235576817 68366336 5794 18446744073709551615 4227072 8923433 140724432796032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29614080 140724432800139 140724432800294 140724432800294 140724432805866 0
/proc/171463/statm: 16691 5794 2304 1147 0 4118 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 70956 KiB
Current children cumulated memory: 26120 KiB
[startup+1.50014 s]
/proc/loadavg: 0.07 0.08 0.09 6/269 171469
/proc/meminfo: memFree=128278444/131250000 swapFree=33009904/33010684
[pid=171460] ppid=171443 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/171460/stat : 171460 (run-dec-log.sh) S 171443 171460 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 736 18446744073709551615 94449966751744 94449967646277 140730008278336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94449967885328 94449967933072 94449969410048 140730008283461 140730008283618 140730008283618 140730008289222 0
/proc/171460/statm: 1048 736 672 219 0 110 0
[pid=171463] ppid=171460 vsize=73736 memory=31976 CPUtime=1.44 cores=1,3
/proc/171463/stat : 171463 (roundingsat) R 171460 171460 171389 0 -1 4194304 5387 0 0 0 141 3 0 0 20 0 1 0 235576817 75505664 7994 18446744073709551615 4227072 8923433 140724432796032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29614080 140724432800139 140724432800294 140724432800294 140724432805866 0
/proc/171463/statm: 18434 7994 2304 1147 0 5861 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 77928 KiB
Current children cumulated memory: 34920 KiB
[startup+3.10447 s]
/proc/loadavg: 0.46 0.16 0.11 6/269 171469
/proc/meminfo: memFree=128167096/131250000 swapFree=33009904/33010684
[pid=171460] ppid=171443 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/171460/stat : 171460 (run-dec-log.sh) S 171443 171460 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 736 18446744073709551615 94449966751744 94449967646277 140730008278336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94449967885328 94449967933072 94449969410048 140730008283461 140730008283618 140730008283618 140730008289222 0
/proc/171460/statm: 1048 736 672 219 0 110 0
[pid=171463] ppid=171460 vsize=91624 memory=46916 CPUtime=3.04 cores=1,3
/proc/171463/stat : 171463 (roundingsat) R 171460 171460 171389 0 -1 4194304 8622 0 0 0 298 6 0 0 20 0 1 0 235576817 93822976 11729 18446744073709551615 4227072 8923433 140724432796032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29614080 140724432800139 140724432800294 140724432800294 140724432805866 0
/proc/171463/statm: 22906 11729 2304 1147 0 10333 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 95816 KiB
Current children cumulated memory: 49860 KiB
[startup+6.30014 s]
/proc/loadavg: 0.46 0.16 0.11 6/269 171469
/proc/meminfo: memFree=128034108/131250000 swapFree=33009904/33010684
[pid=171460] ppid=171443 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/171460/stat : 171460 (run-dec-log.sh) S 171443 171460 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 736 18446744073709551615 94449966751744 94449967646277 140730008278336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94449967885328 94449967933072 94449969410048 140730008283461 140730008283618 140730008283618 140730008289222 0
/proc/171460/statm: 1048 736 672 219 0 110 0
[pid=171463] ppid=171460 vsize=101040 memory=54852 CPUtime=6.23 cores=1,3
/proc/171463/stat : 171463 (roundingsat) R 171460 171460 171389 0 -1 4194304 10613 0 0 0 612 11 0 0 20 0 1 0 235576817 103464960 13713 18446744073709551615 4227072 8923433 140724432796032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29614080 140724432800139 140724432800294 140724432800294 140724432805866 0
/proc/171463/statm: 25260 13713 2304 1147 0 12687 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 105232 KiB
Current children cumulated memory: 57796 KiB
[startup+12.7001 s]
/proc/loadavg: 0.75 0.22 0.13 6/269 171469
/proc/meminfo: memFree=127780884/131250000 swapFree=33009904/33010684
[pid=171460] ppid=171443 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/171460/stat : 171460 (run-dec-log.sh) S 171443 171460 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 736 18446744073709551615 94449966751744 94449967646277 140730008278336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94449967885328 94449967933072 94449969410048 140730008283461 140730008283618 140730008283618 140730008289222 0
/proc/171460/statm: 1048 736 672 219 0 110 0
[pid=171463] ppid=171460 vsize=119104 memory=70908 CPUtime=12.61 cores=1,3
/proc/171463/stat : 171463 (roundingsat) R 171460 171460 171389 0 -1 4194304 13598 0 0 0 1243 18 0 0 20 0 1 0 235576817 121962496 17727 18446744073709551615 4227072 8923433 140724432796032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29614080 140724432800139 140724432800294 140724432800294 140724432805866 0
/proc/171463/statm: 29776 17727 2304 1147 0 17203 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 123296 KiB
Current children cumulated memory: 73852 KiB
[startup+25.5002 s]
/proc/loadavg: 1.54 0.43 0.20 6/271 171471
/proc/meminfo: memFree=127297964/131250000 swapFree=33009904/33010684
[pid=171460] ppid=171443 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/171460/stat : 171460 (run-dec-log.sh) S 171443 171460 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 736 18446744073709551615 94449966751744 94449967646277 140730008278336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94449967885328 94449967933072 94449969410048 140730008283461 140730008283618 140730008283618 140730008289222 0
/proc/171460/statm: 1048 736 672 219 0 110 0
[pid=171463] ppid=171460 vsize=146624 memory=91452 CPUtime=25.38 cores=1,3
/proc/171463/stat : 171463 (roundingsat) R 171460 171460 171389 0 -1 4194304 17720 0 0 0 2502 36 0 0 20 0 1 0 235576817 150142976 22863 18446744073709551615 4227072 8923433 140724432796032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29614080 140724432800139 140724432800294 140724432800294 140724432805866 0
/proc/171463/statm: 36656 22863 2304 1147 0 24083 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 150816 KiB
Current children cumulated memory: 94396 KiB
[startup+51.1047 s]
/proc/loadavg: 2.54 0.75 0.32 6/271 171472
/proc/meminfo: memFree=126524564/131250000 swapFree=33009904/33010684
[pid=171460] ppid=171443 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/171460/stat : 171460 (run-dec-log.sh) S 171443 171460 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 736 18446744073709551615 94449966751744 94449967646277 140730008278336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94449967885328 94449967933072 94449969410048 140730008283461 140730008283618 140730008283618 140730008289222 0
/proc/171460/statm: 1048 736 672 219 0 110 0
[pid=171463] ppid=171460 vsize=164940 memory=111544 CPUtime=50.92 cores=1,3
/proc/171463/stat : 171463 (roundingsat) R 171460 171460 171389 0 -1 4194304 21634 0 0 0 5024 68 0 0 20 0 1 0 235576817 168898560 27886 18446744073709551615 4227072 8923433 140724432796032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29614080 140724432800139 140724432800294 140724432800294 140724432805866 0
/proc/171463/statm: 41235 27886 2400 1147 0 28662 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 169132 KiB
Current children cumulated memory: 114488 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 1.30 0.53 6/271 171473
/proc/meminfo: memFree=125091284/131250000 swapFree=33009904/33010684
[pid=171460] ppid=171443 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/171460/stat : 171460 (run-dec-log.sh) S 171443 171460 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 736 18446744073709551615 94449966751744 94449967646277 140730008278336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94449967885328 94449967933072 94449969410048 140730008283461 140730008283618 140730008283618 140730008289222 0
/proc/171460/statm: 1048 736 672 219 0 110 0
[pid=171463] ppid=171460 vsize=206728 memory=134780 CPUtime=101.97 cores=1,3
/proc/171463/stat : 171463 (roundingsat) R 171460 171460 171389 0 -1 4194304 26402 0 0 0 10078 119 0 0 20 0 1 0 235576817 211689472 33695 18446744073709551615 4227072 8923433 140724432796032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29614080 140724432800139 140724432800294 140724432800294 140724432805866 0
/proc/171463/statm: 51682 33695 2400 1147 0 39109 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 210920 KiB
Current children cumulated memory: 137724 KiB
[startup+162.3 s]
/proc/loadavg: 4.50 2.00 0.82 6/271 171476
/proc/meminfo: memFree=123636656/131250000 swapFree=33009904/33010684
[pid=171460] ppid=171443 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/171460/stat : 171460 (run-dec-log.sh) S 171443 171460 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 736 18446744073709551615 94449966751744 94449967646277 140730008278336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94449967885328 94449967933072 94449969410048 140730008283461 140730008283618 140730008283618 140730008289222 0
/proc/171460/statm: 1048 736 672 219 0 110 0
[pid=171463] ppid=171460 vsize=223020 memory=153088 CPUtime=161.81 cores=1,3
/proc/171463/stat : 171463 (roundingsat) R 171460 171460 171389 0 -1 4194304 29982 0 0 0 16007 174 0 0 20 0 1 0 235576817 228372480 38272 18446744073709551615 4227072 8923433 140724432796032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29614080 140724432800139 140724432800294 140724432800294 140724432805866 0
/proc/171463/statm: 55755 38272 2400 1147 0 43182 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 227212 KiB
Current children cumulated memory: 156032 KiB
[startup+222.3 s]
/proc/loadavg: 4.45 2.44 1.05 6/271 171478
/proc/meminfo: memFree=122356104/131250000 swapFree=33009904/33010684
[pid=171460] ppid=171443 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/171460/stat : 171460 (run-dec-log.sh) S 171443 171460 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 736 18446744073709551615 94449966751744 94449967646277 140730008278336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94449967885328 94449967933072 94449969410048 140730008283461 140730008283618 140730008283618 140730008289222 0
/proc/171460/statm: 1048 736 672 219 0 110 0
[pid=171463] ppid=171460 vsize=228112 memory=166900 CPUtime=221.65 cores=1,3
/proc/171463/stat : 171463 (roundingsat) R 171460 171460 171389 0 -1 4194304 31891 0 0 0 21945 220 0 0 20 0 1 0 235576817 233586688 41725 18446744073709551615 4227072 8923433 140724432796032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29614080 140724432800139 140724432800294 140724432800294 140724432805866 0
################
# More data... #
################
/proc/171463/statm: 151707 125270 2432 1147 0 139134 0
Current children cumulated CPU time: 3093.86 s
Current children cumulated vsize: 611020 KiB
Current children cumulated memory: 504024 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.18 4.08 6/269 171643
/proc/meminfo: memFree=88591620/131250000 swapFree=33009904/33010684
[pid=171460] ppid=171443 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/171460/stat : 171460 (run-dec-log.sh) S 171443 171460 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 736 18446744073709551615 94449966751744 94449967646277 140730008278336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94449967885328 94449967933072 94449969410048 140730008283461 140730008283618 140730008283618 140730008289222 0
/proc/171460/statm: 1048 736 672 219 0 110 0
[pid=171463] ppid=171460 vsize=606828 memory=501080 CPUtime=3153.67 cores=1,3
/proc/171463/stat : 171463 (roundingsat) R 171460 171460 171389 0 -1 4194304 79895 0 0 0 313714 1653 0 0 20 0 1 0 235576817 621391872 125270 18446744073709551615 4227072 8923433 140724432796032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29614080 140724432800139 140724432800294 140724432800294 140724432805866 0
/proc/171463/statm: 151707 125270 2432 1147 0 139134 0
Current children cumulated CPU time: 3153.67 s
Current children cumulated vsize: 611020 KiB
Current children cumulated memory: 504024 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.18 4.09 6/269 171646
/proc/meminfo: memFree=88123512/131250000 swapFree=33009904/33010684
[pid=171460] ppid=171443 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/171460/stat : 171460 (run-dec-log.sh) S 171443 171460 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 736 18446744073709551615 94449966751744 94449967646277 140730008278336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94449967885328 94449967933072 94449969410048 140730008283461 140730008283618 140730008283618 140730008289222 0
/proc/171460/statm: 1048 736 672 219 0 110 0
[pid=171463] ppid=171460 vsize=607852 memory=501720 CPUtime=3213.48 cores=1,3
/proc/171463/stat : 171463 (roundingsat) R 171460 171460 171389 0 -1 4194304 80076 0 0 0 319668 1680 0 0 20 0 1 0 235576817 622440448 125430 18446744073709551615 4227072 8923433 140724432796032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29614080 140724432800139 140724432800294 140724432800294 140724432805866 0
/proc/171463/statm: 151963 125430 2432 1147 0 139390 0
Current children cumulated CPU time: 3213.48 s
Current children cumulated vsize: 612044 KiB
Current children cumulated memory: 504664 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.19 4.09 6/268 171648
/proc/meminfo: memFree=87679428/131250000 swapFree=33009904/33010684
[pid=171460] ppid=171443 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/171460/stat : 171460 (run-dec-log.sh) S 171443 171460 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 736 18446744073709551615 94449966751744 94449967646277 140730008278336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94449967885328 94449967933072 94449969410048 140730008283461 140730008283618 140730008283618 140730008289222 0
/proc/171460/statm: 1048 736 672 219 0 110 0
[pid=171463] ppid=171460 vsize=607852 memory=501720 CPUtime=3273.29 cores=1,3
/proc/171463/stat : 171463 (roundingsat) R 171460 171460 171389 0 -1 4194304 80076 0 0 0 325619 1710 0 0 20 0 1 0 235576817 622440448 125430 18446744073709551615 4227072 8923433 140724432796032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29614080 140724432800139 140724432800294 140724432800294 140724432805866 0
/proc/171463/statm: 151963 125430 2432 1147 0 139390 0
Current children cumulated CPU time: 3273.29 s
Current children cumulated vsize: 612044 KiB
Current children cumulated memory: 504664 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.18 4.09 6/269 171651
/proc/meminfo: memFree=87342116/131250000 swapFree=33009904/33010684
[pid=171460] ppid=171443 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/171460/stat : 171460 (run-dec-log.sh) S 171443 171460 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 736 18446744073709551615 94449966751744 94449967646277 140730008278336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94449967885328 94449967933072 94449969410048 140730008283461 140730008283618 140730008283618 140730008289222 0
/proc/171460/statm: 1048 736 672 219 0 110 0
[pid=171463] ppid=171460 vsize=609388 memory=502488 CPUtime=3333.1 cores=1,3
/proc/171463/stat : 171463 (roundingsat) R 171460 171460 171389 0 -1 4194304 80277 0 0 0 331577 1733 0 0 20 0 1 0 235576817 624013312 125622 18446744073709551615 4227072 8923433 140724432796032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29614080 140724432800139 140724432800294 140724432800294 140724432805866 0
/proc/171463/statm: 152347 125622 2432 1147 0 139774 0
Current children cumulated CPU time: 3333.1 s
Current children cumulated vsize: 613580 KiB
Current children cumulated memory: 505432 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.18 4.10 6/269 171653
/proc/meminfo: memFree=86934172/131250000 swapFree=33009904/33010684
[pid=171460] ppid=171443 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/171460/stat : 171460 (run-dec-log.sh) S 171443 171460 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 736 18446744073709551615 94449966751744 94449967646277 140730008278336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94449967885328 94449967933072 94449969410048 140730008283461 140730008283618 140730008283618 140730008289222 0
/proc/171460/statm: 1048 736 672 219 0 110 0
[pid=171463] ppid=171460 vsize=613996 memory=507152 CPUtime=3392.91 cores=1,3
/proc/171463/stat : 171463 (roundingsat) R 171460 171460 171389 0 -1 4194304 80923 0 0 0 337526 1765 0 0 20 0 1 0 235576817 628731904 126788 18446744073709551615 4227072 8923433 140724432796032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29614080 140724432800139 140724432800294 140724432800294 140724432805866 0
/proc/171463/statm: 153499 126788 2432 1147 0 140926 0
Current children cumulated CPU time: 3392.91 s
Current children cumulated vsize: 618188 KiB
Current children cumulated memory: 510096 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.19 4.10 6/271 171658
/proc/meminfo: memFree=86445004/131250000 swapFree=33009904/33010684
[pid=171460] ppid=171443 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/171460/stat : 171460 (run-dec-log.sh) S 171443 171460 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 736 18446744073709551615 94449966751744 94449967646277 140730008278336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94449967885328 94449967933072 94449969410048 140730008283461 140730008283618 140730008283618 140730008289222 0
/proc/171460/statm: 1048 736 672 219 0 110 0
[pid=171463] ppid=171460 vsize=613996 memory=507152 CPUtime=3452.72 cores=1,3
/proc/171463/stat : 171463 (roundingsat) R 171460 171460 171389 0 -1 4194304 80923 0 0 0 343481 1791 0 0 20 0 1 0 235576817 628731904 126788 18446744073709551615 4227072 8923433 140724432796032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29614080 140724432800139 140724432800294 140724432800294 140724432805866 0
/proc/171463/statm: 153499 126788 2432 1147 0 140926 0
Current children cumulated CPU time: 3452.72 s
Current children cumulated vsize: 618188 KiB
Current children cumulated memory: 510096 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.18 4.10 6/270 171660
/proc/meminfo: memFree=85961256/131250000 swapFree=33009904/33010684
[pid=171460] ppid=171443 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/171460/stat : 171460 (run-dec-log.sh) S 171443 171460 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 736 18446744073709551615 94449966751744 94449967646277 140730008278336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94449967885328 94449967933072 94449969410048 140730008283461 140730008283618 140730008283618 140730008289222 0
/proc/171460/statm: 1048 736 672 219 0 110 0
[pid=171463] ppid=171460 vsize=621164 memory=513688 CPUtime=3512.53 cores=1,3
/proc/171463/stat : 171463 (roundingsat) R 171460 171460 171389 0 -1 4194304 82026 0 0 0 349442 1811 0 0 20 0 1 0 235576817 636071936 128422 18446744073709551615 4227072 8923433 140724432796032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29614080 140724432800139 140724432800294 140724432800294 140724432805866 0
/proc/171463/statm: 155291 128422 2432 1147 0 142718 0
Current children cumulated CPU time: 3512.53 s
Current children cumulated vsize: 625356 KiB
Current children cumulated memory: 516632 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.19 4.11 6/270 171662
/proc/meminfo: memFree=85488496/131250000 swapFree=33009904/33010684
[pid=171460] ppid=171443 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/171460/stat : 171460 (run-dec-log.sh) S 171443 171460 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 736 18446744073709551615 94449966751744 94449967646277 140730008278336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94449967885328 94449967933072 94449969410048 140730008283461 140730008283618 140730008283618 140730008289222 0
/proc/171460/statm: 1048 736 672 219 0 110 0
[pid=171463] ppid=171460 vsize=622848 memory=515352 CPUtime=3572.34 cores=1,3
/proc/171463/stat : 171463 (roundingsat) R 171460 171460 171389 0 -1 4194304 82575 0 0 0 355394 1840 0 0 20 0 1 0 235576817 637796352 128838 18446744073709551615 4227072 8923433 140724432796032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29614080 140724432800139 140724432800294 140724432800294 140724432805866 0
/proc/171463/statm: 155712 128838 2432 1147 0 143139 0
Current children cumulated CPU time: 3572.34 s
Current children cumulated vsize: 627040 KiB
Current children cumulated memory: 518296 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.1 s]
/proc/loadavg: 4.19 4.19 4.11 4/262 171683
/proc/meminfo: memFree=86202920/131250000 swapFree=33009904/33010684
[pid=171460] ppid=171443 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/171460/stat : 171460 (run-dec-log.sh) S 171443 171460 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 736 18446744073709551615 94449966751744 94449967646277 140730008278336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94449967885328 94449967933072 94449969410048 140730008283461 140730008283618 140730008283618 140730008289222 0
/proc/171460/statm: 1048 736 672 219 0 110 0
[pid=171463] ppid=171460 vsize=622848 memory=515352 CPUtime=3600.06 cores=1,3
/proc/171463/stat : 171463 (roundingsat) R 171460 171460 171389 0 -1 4194304 82635 0 0 0 358155 1851 0 0 20 0 1 0 235576817 637796352 128838 18446744073709551615 4227072 8923433 140724432796032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29614080 140724432800139 140724432800294 140724432800294 140724432805866 0
/proc/171463/statm: 155712 128838 2432 1147 0 143139 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 627040 KiB
Current children cumulated memory: 518296 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 171460 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.003191 s
[startup+3610.11 s]
# the end of solver process 171463 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3581.56 s, system=18.5268 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.1 s]
/proc/loadavg: 4.19 4.19 4.11 4/262 171683
/proc/meminfo: memFree=86202920/131250000 swapFree=33009904/33010684
[pid=171460] ppid=171443 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/171460/stat : 171460 (run-dec-log.sh) S 171443 171460 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 736 18446744073709551615 94449966751744 94449967646277 140730008278336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94449967885328 94449967933072 94449969410048 140730008283461 140730008283618 140730008283618 140730008289222 0
/proc/171460/statm: 1048 736 672 219 0 110 0
[pid=171463] ppid=171460 vsize=622848 memory=515352 CPUtime=3600.06 cores=1,3
/proc/171463/stat : 171463 (roundingsat) R 171460 171460 171389 0 -1 4194304 82635 0 0 0 358155 1851 0 0 20 0 1 0 235576817 637796352 128838 18446744073709551615 4227072 8923433 140724432796032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29614080 140724432800139 140724432800294 140724432800294 140724432805866 0
/proc/171463/statm: 155712 128838 2432 1147 0 143139 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 627040 KiB
Current children cumulated memory: 518296 KiB
Child status: 2
Real time (s): 3610.11
CPU time (s): 3600.09
CPU user time (s): 3581.56
CPU system time (s): 18.5268
CPU usage (%): 99.7223
Max. virtual memory (cumulated for all children) (KiB): 627040
Max. memory (cumulated for all children) (KiB): 518296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.56
system time used= 18.5268
maximum resident set size= 515480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82859
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40217928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 245
involuntary context switches= 5743
# summary of solver processes directly reported to runsolver:
# pid: 171460,171463
# total CPU time (s): 3600.09
# total CPU user time (s): 3581.56
# total CPU system time (s): 18.5268
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.60927 second user time and 14.2475 second system time
The end
Begin job on nodeC033 at 2025-07-22 17:42:53
IDJOB=4541606
IDBENCH=163199
IDSOLVER=3352
FILE ID=nodeC033/4541606-1753198973
RUNJOBID= nodeC033-1753198973-171408
SLURM_JOB_ID= 9687766
Free space on /tmp= 432592 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/inequalities/OPB/ineq6/normalized-31array_alg_ineq6.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541606-1753198973/watcher-4541606-1753198973 -o /tmp/evaluation-result-4541606-1753198973/solver-4541606-1753198973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753198973-171408 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4541606-1753198973.opb /tmp/proof-4541606-1753198973
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 21d0ffe78b9aba15f7c4d4a17a4e20d2
RANDOM SEED=1581860338
nodeC033 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 : 1199.937
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 : 7000.13
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 : 3600.374
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 : 7000.13
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 : 1200.179
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 : 7000.13
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 : 3809.546
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 : 7000.13
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 : 1201.082
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 : 7000.13
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 : 1434.865
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 : 7000.13
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 : 1211.406
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 : 7000.13
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 : 3597.823
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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128398300 kB
MemAvailable: 129695596 kB
Buffers: 2128 kB
Cached: 2021088 kB
SwapCached: 64 kB
Active: 1293132 kB
Inactive: 793972 kB
Active(anon): 84832 kB
Inactive(anon): 5284 kB
Active(file): 1208300 kB
Inactive(file): 788688 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14868 kB
Writeback: 0 kB
AnonPages: 67036 kB
Mapped: 108724 kB
Shmem: 26228 kB
KReclaimable: 279092 kB
Slab: 382960 kB
SReclaimable: 279092 kB
SUnreclaim: 103868 kB
KernelStack: 4132 kB
PageTables: 2944 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 348916 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 390964 MiB
End job on nodeC033 at 2025-07-22 18:43:04