0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.03 c #variables 9570 #constraints 1914
0.00/0.03 c objective is ce32
0.00/0.04 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.04 c initial counting CF 32, 64, 128, Arb: 1871 , 0 , 0 , 0
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.022218
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.024781
256.46/257.19 c #Conflicts: 1000 | #Constraints: 2914
256.46/257.19 c #Conflicts: 2000 | #Constraints: 3914
256.46/257.19 c INPROCESSING
256.46/257.19 c GARBAGE COLLECT
256.46/257.19 c #Conflicts: 3000 | #Constraints: 3986
256.46/257.19 c #Conflicts: 4000 | #Constraints: 4986
256.46/257.19 c INPROCESSING
256.46/257.19 c GARBAGE COLLECT
256.46/257.19 c #Conflicts: 5000 | #Constraints: 4389
256.46/257.19 c #Conflicts: 6000 | #Constraints: 5389
256.46/257.19 c INPROCESSING
256.46/257.19 c GARBAGE COLLECT
256.46/257.19 c #Conflicts: 7000 | #Constraints: 4430
256.46/257.19 c #Conflicts: 8000 | #Constraints: 5430
256.46/257.19 c #Conflicts: 9000 | #Constraints: 6430
256.46/257.19 c INPROCESSING
256.46/257.19 c GARBAGE COLLECT
256.46/257.19 c #Conflicts: 10000 | #Constraints: 5165
256.46/257.19 c #Conflicts: 11000 | #Constraints: 6165
256.46/257.19 c #Conflicts: 12000 | #Constraints: 7165
256.46/257.19 c INPROCESSING
256.46/257.19 c GARBAGE COLLECT
256.46/257.19 c #Conflicts: 13000 | #Constraints: 5612
256.46/257.19 c #Conflicts: 14000 | #Constraints: 6612
256.46/257.19 c #Conflicts: 15000 | #Constraints: 7612
256.46/257.19 c INPROCESSING
256.46/257.19 c GARBAGE COLLECT
256.46/257.19 c #Conflicts: 16000 | #Constraints: 5830
256.46/257.19 c #Conflicts: 17000 | #Constraints: 6830
256.46/257.19 c #Conflicts: 18000 | #Constraints: 7830
256.46/257.19 c INPROCESSING
256.46/257.19 c GARBAGE COLLECT
256.46/257.19 c #Conflicts: 19000 | #Constraints: 5833
256.46/257.19 c #Conflicts: 20000 | #Constraints: 6833
256.46/257.19 c #Conflicts: 21000 | #Constraints: 7833
256.46/257.19 c INPROCESSING
256.46/257.19 c GARBAGE COLLECT
256.46/257.19 c #Conflicts: 22000 | #Constraints: 5648
256.46/257.19 c #Conflicts: 23000 | #Constraints: 6648
256.46/257.19 c #Conflicts: 24000 | #Constraints: 7648
256.46/257.19 c #Conflicts: 25000 | #Constraints: 8648
256.46/257.19 c INPROCESSING
256.46/257.19 c GARBAGE COLLECT
256.46/257.19 c #Conflicts: 26000 | #Constraints: 6236
256.46/257.19 c #Conflicts: 27000 | #Constraints: 7236
256.46/257.19 c #Conflicts: 28000 | #Constraints: 8236
256.46/257.19 c #Conflicts: 29000 | #Constraints: 9236
256.46/257.19 c INPROCESSING
256.46/257.19 c GARBAGE COLLECT
256.46/257.19 c #Conflicts: 30000 | #Constraints: 6641
256.46/257.19 c #Conflicts: 31000 | #Constraints: 7641
256.46/257.19 c #Conflicts: 32000 | #Constraints: 8641
256.46/257.19 c #Conflicts: 33000 | #Constraints: 9641
256.46/257.19 c INPROCESSING
256.46/257.19 c GARBAGE COLLECT
256.46/257.19 c #Conflicts: 34000 | #Constraints: 6893
256.46/257.19 c #Conflicts: 35000 | #Constraints: 7893
256.46/257.19 c #Conflicts: 36000 | #Constraints: 8893
256.46/257.19 c #Conflicts: 37000 | #Constraints: 9893
256.46/257.19 c INPROCESSING
256.46/257.19 c GARBAGE COLLECT
256.46/257.19 c #Conflicts: 38000 | #Constraints: 6882
256.46/257.19 c #Conflicts: 39000 | #Constraints: 7882
256.46/257.19 c #Conflicts: 40000 | #Constraints: 8882
256.46/257.19 c #Conflicts: 41000 | #Constraints: 9882
256.46/257.19 c INPROCESSING
256.46/257.19 c GARBAGE COLLECT
256.46/257.19 c #Conflicts: 42000 | #Constraints: 6689
256.46/257.19 c #Conflicts: 43000 | #Constraints: 7689
256.46/257.19 c #Conflicts: 44000 | #Constraints: 8689
256.46/257.19 c #Conflicts: 45000 | #Constraints: 9689
256.46/257.19 c #Conflicts: 46000 | #Constraints: 10689
256.46/257.19 c INPROCESSING
256.46/257.19 c GARBAGE COLLECT
256.46/257.19 c #Conflicts: 47000 | #Constraints: 7271
256.46/257.19 c #Conflicts: 48000 | #Constraints: 8271
256.46/257.19 c #Conflicts: 49000 | #Constraints: 9271
256.46/257.19 c #Conflicts: 50000 | #Constraints: 10271
256.46/257.19 c #Conflicts: 51000 | #Constraints: 11271
256.46/257.19 c INPROCESSING
256.46/257.19 c GARBAGE COLLECT
256.46/257.19 c #Conflicts: 52000 | #Constraints: 7685
256.46/257.19 c #Conflicts: 53000 | #Constraints: 8685
256.46/257.19 c #Conflicts: 54000 | #Constraints: 9685
256.46/257.19 c #Conflicts: 55000 | #Constraints: 10685
256.46/257.19 c #Conflicts: 56000 | #Constraints: 11685
256.46/257.19 c INPROCESSING
256.46/257.19 c GARBAGE COLLECT
256.46/257.19 c #Conflicts: 57000 | #Constraints: 7903
256.46/257.19 c #Conflicts: 58000 | #Constraints: 8903
256.46/257.19 c #Conflicts: 59000 | #Constraints: 9903
256.46/257.19 c #Conflicts: 60000 | #Constraints: 10903
256.46/257.19 c #Conflicts: 61000 | #Constraints: 11903
256.46/257.19 c INPROCESSING
256.46/257.19 c GARBAGE COLLECT
256.46/257.19 c #Conflicts: 62000 | #Constraints: 7889
256.46/257.19 c #Conflicts: 63000 | #Constraints: 8889
256.46/257.19 c #Conflicts: 64000 | #Constraints: 9889
256.46/257.19 c #Conflicts: 65000 | #Constraints: 10889
256.46/257.19 c #Conflicts: 66000 | #Constraints: 11889
256.46/257.19 c INPROCESSING
256.46/257.19 c GARBAGE COLLECT
256.46/257.19 c #Conflicts: 67000 | #Constraints: 7699
256.46/257.19 c #Conflicts: 68000 | #Constraints: 8699
574.57/576.09 c #Conflicts: 69000 | #Constraints: 9699
574.57/576.09 c #Conflicts: 70000 | #Constraints: 10699
574.57/576.09 c #Conflicts: 71000 | #Constraints: 11699
574.57/576.09 c #Conflicts: 72000 | #Constraints: 12699
574.57/576.09 c INPROCESSING
574.57/576.09 c GARBAGE COLLECT
574.57/576.09 c #Conflicts: 73000 | #Constraints: 8303
574.57/576.09 c #Conflicts: 74000 | #Constraints: 9303
574.57/576.09 c #Conflicts: 75000 | #Constraints: 10303
574.57/576.09 c #Conflicts: 76000 | #Constraints: 11303
574.57/576.09 c #Conflicts: 77000 | #Constraints: 12303
574.57/576.09 c #Conflicts: 78000 | #Constraints: 13303
574.57/576.09 c INPROCESSING
574.57/576.09 c GARBAGE COLLECT
574.57/576.09 c #Conflicts: 79000 | #Constraints: 8749
574.57/576.09 c #Conflicts: 80000 | #Constraints: 9749
574.57/576.09 c #Conflicts: 81000 | #Constraints: 10749
574.57/576.09 c #Conflicts: 82000 | #Constraints: 11749
574.57/576.09 c #Conflicts: 83000 | #Constraints: 12749
574.57/576.09 c #Conflicts: 84000 | #Constraints: 13749
574.57/576.09 c INPROCESSING
574.57/576.09 c GARBAGE COLLECT
574.57/576.09 c #Conflicts: 85000 | #Constraints: 8946
574.57/576.09 c #Conflicts: 86000 | #Constraints: 9946
574.57/576.09 c #Conflicts: 87000 | #Constraints: 10946
574.57/576.09 c #Conflicts: 88000 | #Constraints: 11946
574.57/576.09 c #Conflicts: 89000 | #Constraints: 12946
574.57/576.09 c #Conflicts: 90000 | #Constraints: 13946
574.57/576.09 c INPROCESSING
574.57/576.09 c GARBAGE COLLECT
574.57/576.09 c #Conflicts: 91000 | #Constraints: 8931
574.57/576.09 c #Conflicts: 92000 | #Constraints: 9931
574.57/576.09 c #Conflicts: 93000 | #Constraints: 10931
574.57/576.09 c #Conflicts: 94000 | #Constraints: 11931
574.57/576.09 c #Conflicts: 95000 | #Constraints: 12931
574.57/576.09 c #Conflicts: 96000 | #Constraints: 13931
574.57/576.09 c INPROCESSING
574.57/576.09 c GARBAGE COLLECT
574.57/576.09 c #Conflicts: 97000 | #Constraints: 8725
574.57/576.09 c #Conflicts: 98000 | #Constraints: 9725
574.57/576.09 c #Conflicts: 99000 | #Constraints: 10725
574.57/576.09 c #Conflicts: 100000 | #Constraints: 11725
574.57/576.09 c #Conflicts: 101000 | #Constraints: 12725
574.57/576.09 c #Conflicts: 102000 | #Constraints: 13725
574.57/576.09 c #Conflicts: 103000 | #Constraints: 14725
574.57/576.09 c INPROCESSING
574.57/576.09 c GARBAGE COLLECT
574.57/576.09 c #Conflicts: 104000 | #Constraints: 9301
574.57/576.09 c #Conflicts: 105000 | #Constraints: 10301
574.57/576.09 c #Conflicts: 106000 | #Constraints: 11301
574.57/576.09 c #Conflicts: 107000 | #Constraints: 12301
574.57/576.09 c #Conflicts: 108000 | #Constraints: 13301
574.57/576.09 c #Conflicts: 109000 | #Constraints: 14301
574.57/576.09 c #Conflicts: 110000 | #Constraints: 15301
574.57/576.09 c INPROCESSING
574.57/576.09 c GARBAGE COLLECT
574.57/576.09 c #Conflicts: 111000 | #Constraints: 9726
574.57/576.09 c #Conflicts: 112000 | #Constraints: 10726
574.57/576.09 c #Conflicts: 113000 | #Constraints: 11726
574.57/576.09 c #Conflicts: 114000 | #Constraints: 12726
574.57/576.09 c #Conflicts: 115000 | #Constraints: 13726
574.57/576.09 c #Conflicts: 116000 | #Constraints: 14726
574.57/576.09 c #Conflicts: 117000 | #Constraints: 15726
574.57/576.09 c INPROCESSING
574.57/576.09 c GARBAGE COLLECT
574.57/576.09 c #Conflicts: 118000 | #Constraints: 9930
574.57/576.09 c #Conflicts: 119000 | #Constraints: 10930
574.57/576.09 c #Conflicts: 120000 | #Constraints: 11930
574.57/576.09 c #Conflicts: 121000 | #Constraints: 12930
574.57/576.09 c #Conflicts: 122000 | #Constraints: 13930
574.57/576.09 c #Conflicts: 123000 | #Constraints: 14930
574.57/576.09 c #Conflicts: 124000 | #Constraints: 15930
574.57/576.09 c INPROCESSING
574.57/576.09 c GARBAGE COLLECT
574.57/576.09 c #Conflicts: 125000 | #Constraints: 9972
574.57/576.09 c #Conflicts: 126000 | #Constraints: 10972
574.57/576.09 c #Conflicts: 127000 | #Constraints: 11972
574.57/576.09 c #Conflicts: 128000 | #Constraints: 12972
574.57/576.09 c #Conflicts: 129000 | #Constraints: 13972
574.57/576.09 c #Conflicts: 130000 | #Constraints: 14972
574.57/576.09 c #Conflicts: 131000 | #Constraints: 15972
574.57/576.09 c INPROCESSING
574.57/576.09 c GARBAGE COLLECT
574.57/576.09 c #Conflicts: 132000 | #Constraints: 9733
574.57/576.09 c #Conflicts: 133000 | #Constraints: 10733
574.57/576.09 c #Conflicts: 134000 | #Constraints: 11733
574.57/576.09 c #Conflicts: 135000 | #Constraints: 12733
574.57/576.09 c #Conflicts: 136000 | #Constraints: 13733
574.57/576.09 c #Conflicts: 137000 | #Constraints: 14733
574.57/576.09 c #Conflicts: 138000 | #Constraints: 15733
574.57/576.09 c #Conflicts: 139000 | #Constraints: 16733
574.57/576.09 c INPROCESSING
574.57/576.09 c GARBAGE COLLECT
574.57/576.09 c #Conflicts: 140000 | #Constraints: 10357
907.65/909.99 c #Conflicts: 141000 | #Constraints: 11357
907.65/909.99 c #Conflicts: 142000 | #Constraints: 12357
907.65/909.99 c #Conflicts: 143000 | #Constraints: 13357
907.65/909.99 c #Conflicts: 144000 | #Constraints: 14357
907.65/909.99 c #Conflicts: 145000 | #Constraints: 15357
907.65/909.99 c #Conflicts: 146000 | #Constraints: 16357
907.65/909.99 c #Conflicts: 147000 | #Constraints: 17357
907.65/909.99 c INPROCESSING
907.65/909.99 c GARBAGE COLLECT
907.65/909.99 c #Conflicts: 148000 | #Constraints: 10737
907.65/909.99 c #Conflicts: 149000 | #Constraints: 11737
907.65/909.99 c #Conflicts: 150000 | #Constraints: 12737
907.65/909.99 c #Conflicts: 151000 | #Constraints: 13737
907.65/909.99 c #Conflicts: 152000 | #Constraints: 14737
907.65/909.99 c #Conflicts: 153000 | #Constraints: 15737
907.65/909.99 c #Conflicts: 154000 | #Constraints: 16737
907.65/909.99 c #Conflicts: 155000 | #Constraints: 17737
907.65/909.99 c INPROCESSING
907.65/909.99 c GARBAGE COLLECT
907.65/909.99 c #Conflicts: 156000 | #Constraints: 10962
907.65/909.99 c #Conflicts: 157000 | #Constraints: 11962
907.65/909.99 c #Conflicts: 158000 | #Constraints: 12962
907.65/909.99 c #Conflicts: 159000 | #Constraints: 13962
907.65/909.99 c #Conflicts: 160000 | #Constraints: 14962
907.65/909.99 c #Conflicts: 161000 | #Constraints: 15962
907.65/909.99 c #Conflicts: 162000 | #Constraints: 16962
907.65/909.99 c #Conflicts: 163000 | #Constraints: 17962
907.65/909.99 c INPROCESSING
907.65/909.99 c GARBAGE COLLECT
907.65/909.99 c #Conflicts: 164000 | #Constraints: 10982
907.65/909.99 c #Conflicts: 165000 | #Constraints: 11982
907.65/909.99 c #Conflicts: 166000 | #Constraints: 12982
907.65/909.99 c #Conflicts: 167000 | #Constraints: 13982
907.65/909.99 c #Conflicts: 168000 | #Constraints: 14982
907.65/909.99 c #Conflicts: 169000 | #Constraints: 15982
907.65/909.99 c #Conflicts: 170000 | #Constraints: 16982
907.65/909.99 c #Conflicts: 171000 | #Constraints: 17982
907.65/909.99 c INPROCESSING
907.65/909.99 c GARBAGE COLLECT
907.65/909.99 c #Conflicts: 172000 | #Constraints: 10767
907.65/909.99 c #Conflicts: 173000 | #Constraints: 11767
907.65/909.99 c #Conflicts: 174000 | #Constraints: 12767
907.65/909.99 c #Conflicts: 175000 | #Constraints: 13767
907.65/909.99 c #Conflicts: 176000 | #Constraints: 14767
907.65/909.99 c #Conflicts: 177000 | #Constraints: 15767
907.65/909.99 c #Conflicts: 178000 | #Constraints: 16767
907.65/909.99 c #Conflicts: 179000 | #Constraints: 17767
907.65/909.99 c #Conflicts: 180000 | #Constraints: 18767
907.65/909.99 c INPROCESSING
907.65/909.99 c GARBAGE COLLECT
907.65/909.99 c #Conflicts: 181000 | #Constraints: 11332
907.65/909.99 c #Conflicts: 182000 | #Constraints: 12332
907.65/909.99 c #Conflicts: 183000 | #Constraints: 13332
907.65/909.99 c #Conflicts: 184000 | #Constraints: 14332
907.65/909.99 c #Conflicts: 185000 | #Constraints: 15332
907.65/909.99 c #Conflicts: 186000 | #Constraints: 16332
907.65/909.99 c #Conflicts: 187000 | #Constraints: 17332
907.65/909.99 c #Conflicts: 188000 | #Constraints: 18332
907.65/909.99 c #Conflicts: 189000 | #Constraints: 19332
907.65/909.99 c INPROCESSING
907.65/909.99 c GARBAGE COLLECT
907.65/909.99 c #Conflicts: 190000 | #Constraints: 11778
907.65/909.99 c #Conflicts: 191000 | #Constraints: 12778
907.65/909.99 c #Conflicts: 192000 | #Constraints: 13778
907.65/909.99 c #Conflicts: 193000 | #Constraints: 14778
907.65/909.99 c #Conflicts: 194000 | #Constraints: 15778
907.65/909.99 c #Conflicts: 195000 | #Constraints: 16778
907.65/909.99 c #Conflicts: 196000 | #Constraints: 17778
907.65/909.99 c #Conflicts: 197000 | #Constraints: 18778
907.65/909.99 c #Conflicts: 198000 | #Constraints: 19778
907.65/909.99 c INPROCESSING
907.65/909.99 c GARBAGE COLLECT
907.65/909.99 c #Conflicts: 199000 | #Constraints: 11966
907.65/909.99 c #Conflicts: 200000 | #Constraints: 12966
907.65/909.99 c #Conflicts: 201000 | #Constraints: 13966
907.65/909.99 c #Conflicts: 202000 | #Constraints: 14966
907.65/909.99 c #Conflicts: 203000 | #Constraints: 15966
907.65/909.99 c #Conflicts: 204000 | #Constraints: 16966
907.65/909.99 c #Conflicts: 205000 | #Constraints: 17966
907.65/909.99 c #Conflicts: 206000 | #Constraints: 18966
907.65/909.99 c #Conflicts: 207000 | #Constraints: 19966
907.65/909.99 c INPROCESSING
907.65/909.99 c GARBAGE COLLECT
907.65/909.99 c #Conflicts: 208000 | #Constraints: 11946
907.65/909.99 c #Conflicts: 209000 | #Constraints: 12946
907.65/909.99 c #Conflicts: 210000 | #Constraints: 13946
907.65/909.99 c #Conflicts: 211000 | #Constraints: 14946
907.65/909.99 c #Conflicts: 212000 | #Constraints: 15946
907.65/909.99 c #Conflicts: 213000 | #Constraints: 16946
1317.62/1320.95 c #Conflicts: 214000 | #Constraints: 17946
1317.62/1320.95 c #Conflicts: 215000 | #Constraints: 18946
1317.62/1320.95 c #Conflicts: 216000 | #Constraints: 19946
1317.62/1320.95 c INPROCESSING
1317.62/1320.95 c GARBAGE COLLECT
1317.62/1320.95 c #Conflicts: 217000 | #Constraints: 11713
1317.62/1320.95 c #Conflicts: 218000 | #Constraints: 12713
1317.62/1320.95 c #Conflicts: 219000 | #Constraints: 13713
1317.62/1320.95 c #Conflicts: 220000 | #Constraints: 14713
1317.62/1320.95 c #Conflicts: 221000 | #Constraints: 15713
1317.62/1320.95 c #Conflicts: 222000 | #Constraints: 16713
1317.62/1320.95 c #Conflicts: 223000 | #Constraints: 17713
1317.62/1320.95 c #Conflicts: 224000 | #Constraints: 18713
1317.62/1320.95 c #Conflicts: 225000 | #Constraints: 19713
1317.62/1320.95 c #Conflicts: 226000 | #Constraints: 20713
1317.62/1320.95 c INPROCESSING
1317.62/1320.95 c GARBAGE COLLECT
1317.62/1320.95 c #Conflicts: 227000 | #Constraints: 12321
1317.62/1320.95 c #Conflicts: 228000 | #Constraints: 13321
1317.62/1320.95 c #Conflicts: 229000 | #Constraints: 14321
1317.62/1320.95 c #Conflicts: 230000 | #Constraints: 15321
1317.62/1320.95 c #Conflicts: 231000 | #Constraints: 16321
1317.62/1320.95 c #Conflicts: 232000 | #Constraints: 17321
1317.62/1320.95 c #Conflicts: 233000 | #Constraints: 18321
1317.62/1320.95 c #Conflicts: 234000 | #Constraints: 19321
1317.62/1320.95 c #Conflicts: 235000 | #Constraints: 20321
1317.62/1320.95 c #Conflicts: 236000 | #Constraints: 21321
1317.62/1320.95 c INPROCESSING
1317.62/1320.95 c GARBAGE COLLECT
1317.62/1320.95 c #Conflicts: 237000 | #Constraints: 12740
1317.62/1320.95 c #Conflicts: 238000 | #Constraints: 13740
1317.62/1320.95 c #Conflicts: 239000 | #Constraints: 14740
1317.62/1320.95 c #Conflicts: 240000 | #Constraints: 15740
1317.62/1320.95 c #Conflicts: 241000 | #Constraints: 16740
1317.62/1320.95 c #Conflicts: 242000 | #Constraints: 17740
1317.62/1320.95 c #Conflicts: 243000 | #Constraints: 18740
1317.62/1320.95 c #Conflicts: 244000 | #Constraints: 19740
1317.62/1320.95 c #Conflicts: 245000 | #Constraints: 20740
1317.62/1320.95 c #Conflicts: 246000 | #Constraints: 21740
1317.62/1320.95 c INPROCESSING
1317.62/1320.95 c GARBAGE COLLECT
1317.62/1320.95 c #Conflicts: 247000 | #Constraints: 12950
1317.62/1320.95 c #Conflicts: 248000 | #Constraints: 13950
1317.62/1320.95 c #Conflicts: 249000 | #Constraints: 14950
1317.62/1320.95 c #Conflicts: 250000 | #Constraints: 15950
1317.62/1320.95 c #Conflicts: 251000 | #Constraints: 16950
1317.62/1320.95 c #Conflicts: 252000 | #Constraints: 17950
1317.62/1320.95 c #Conflicts: 253000 | #Constraints: 18950
1317.62/1320.95 c #Conflicts: 254000 | #Constraints: 19950
1317.62/1320.95 c #Conflicts: 255000 | #Constraints: 20950
1317.62/1320.95 c #Conflicts: 256000 | #Constraints: 21950
1317.62/1320.95 c INPROCESSING
1317.62/1320.95 c GARBAGE COLLECT
1317.62/1320.95 c #Conflicts: 257000 | #Constraints: 12967
1317.62/1320.95 c #Conflicts: 258000 | #Constraints: 13967
1317.62/1320.95 c #Conflicts: 259000 | #Constraints: 14967
1317.62/1320.95 c #Conflicts: 260000 | #Constraints: 15967
1317.62/1320.95 c #Conflicts: 261000 | #Constraints: 16967
1317.62/1320.95 c #Conflicts: 262000 | #Constraints: 17967
1317.62/1320.95 c #Conflicts: 263000 | #Constraints: 18967
1317.62/1320.95 c #Conflicts: 264000 | #Constraints: 19967
1317.62/1320.95 c #Conflicts: 265000 | #Constraints: 20967
1317.62/1320.95 c #Conflicts: 266000 | #Constraints: 21967
1317.62/1320.95 c INPROCESSING
1317.62/1320.95 c GARBAGE COLLECT
1317.62/1320.95 c #Conflicts: 267000 | #Constraints: 12757
1317.62/1320.95 c #Conflicts: 268000 | #Constraints: 13757
1317.62/1320.95 c #Conflicts: 269000 | #Constraints: 14757
1317.62/1320.95 c #Conflicts: 270000 | #Constraints: 15757
1317.62/1320.95 c #Conflicts: 271000 | #Constraints: 16757
1317.62/1320.95 c #Conflicts: 272000 | #Constraints: 17757
1317.62/1320.95 c #Conflicts: 273000 | #Constraints: 18757
1317.62/1320.95 c #Conflicts: 274000 | #Constraints: 19757
1317.62/1320.95 c #Conflicts: 275000 | #Constraints: 20757
1317.62/1320.95 c #Conflicts: 276000 | #Constraints: 21757
1317.62/1320.95 c #Conflicts: 277000 | #Constraints: 22757
1317.62/1320.95 c INPROCESSING
1317.62/1320.95 c GARBAGE COLLECT
1317.62/1320.95 c #Conflicts: 278000 | #Constraints: 13336
1317.62/1320.95 c #Conflicts: 279000 | #Constraints: 14336
1317.62/1320.95 c #Conflicts: 280000 | #Constraints: 15336
1317.62/1320.95 c #Conflicts: 281000 | #Constraints: 16336
1317.62/1320.95 c #Conflicts: 282000 | #Constraints: 17336
1317.62/1320.95 c #Conflicts: 283000 | #Constraints: 18336
1317.62/1320.95 c #Conflicts: 284000 | #Constraints: 19336
1317.62/1320.95 c #Conflicts: 285000 | #Constraints: 20336
1317.62/1320.95 c #Conflicts: 286000 | #Constraints: 21336
1317.62/1320.95 c #Conflicts: 287000 | #Constraints: 22336
1317.62/1320.95 c #Conflicts: 288000 | #Constraints: 23336
1756.52/1760.92 c INPROCESSING
1756.52/1760.92 c GARBAGE COLLECT
1756.52/1760.92 c #Conflicts: 289000 | #Constraints: 13755
1756.52/1760.92 c #Conflicts: 290000 | #Constraints: 14755
1756.52/1760.92 c #Conflicts: 291000 | #Constraints: 15755
1756.52/1760.92 c #Conflicts: 292000 | #Constraints: 16755
1756.52/1760.92 c #Conflicts: 293000 | #Constraints: 17755
1756.52/1760.92 c #Conflicts: 294000 | #Constraints: 18755
1756.52/1760.92 c #Conflicts: 295000 | #Constraints: 19755
1756.52/1760.92 c #Conflicts: 296000 | #Constraints: 20755
1756.52/1760.92 c #Conflicts: 297000 | #Constraints: 21755
1756.52/1760.92 c #Conflicts: 298000 | #Constraints: 22755
1756.52/1760.92 c #Conflicts: 299000 | #Constraints: 23755
1756.52/1760.92 c INPROCESSING
1756.52/1760.92 c GARBAGE COLLECT
1756.52/1760.92 c #Conflicts: 300000 | #Constraints: 14001
1756.52/1760.92 c #Conflicts: 301000 | #Constraints: 15001
1756.52/1760.92 c #Conflicts: 302000 | #Constraints: 16001
1756.52/1760.92 c #Conflicts: 303000 | #Constraints: 17001
1756.52/1760.92 c #Conflicts: 304000 | #Constraints: 18001
1756.52/1760.92 c #Conflicts: 305000 | #Constraints: 19001
1756.52/1760.92 c #Conflicts: 306000 | #Constraints: 20001
1756.52/1760.92 c #Conflicts: 307000 | #Constraints: 21001
1756.52/1760.92 c #Conflicts: 308000 | #Constraints: 22001
1756.52/1760.92 c #Conflicts: 309000 | #Constraints: 23001
1756.52/1760.92 c #Conflicts: 310000 | #Constraints: 24001
1756.52/1760.92 c INPROCESSING
1756.52/1760.92 c GARBAGE COLLECT
1756.52/1760.92 c #Conflicts: 311000 | #Constraints: 14012
1756.52/1760.92 c #Conflicts: 312000 | #Constraints: 15012
1756.52/1760.92 c #Conflicts: 313000 | #Constraints: 16012
1756.52/1760.92 c #Conflicts: 314000 | #Constraints: 17012
1756.52/1760.92 c #Conflicts: 315000 | #Constraints: 18012
1756.52/1760.92 c #Conflicts: 316000 | #Constraints: 19012
1756.52/1760.92 c #Conflicts: 317000 | #Constraints: 20012
1756.52/1760.92 c #Conflicts: 318000 | #Constraints: 21012
1756.52/1760.92 c #Conflicts: 319000 | #Constraints: 22012
1756.52/1760.92 c #Conflicts: 320000 | #Constraints: 23012
1756.52/1760.92 c #Conflicts: 321000 | #Constraints: 24012
1756.52/1760.92 c INPROCESSING
1756.52/1760.92 c GARBAGE COLLECT
1756.52/1760.92 c #Conflicts: 322000 | #Constraints: 13755
1756.52/1760.92 c #Conflicts: 323000 | #Constraints: 14755
1756.52/1760.92 c #Conflicts: 324000 | #Constraints: 15755
1756.52/1760.92 c #Conflicts: 325000 | #Constraints: 16755
1756.52/1760.92 c #Conflicts: 326000 | #Constraints: 17755
1756.52/1760.92 c #Conflicts: 327000 | #Constraints: 18755
1756.52/1760.92 c #Conflicts: 328000 | #Constraints: 19755
1756.52/1760.92 c #Conflicts: 329000 | #Constraints: 20755
1756.52/1760.92 c #Conflicts: 330000 | #Constraints: 21755
1756.52/1760.92 c #Conflicts: 331000 | #Constraints: 22755
1756.52/1760.92 c #Conflicts: 332000 | #Constraints: 23755
1756.52/1760.92 c #Conflicts: 333000 | #Constraints: 24755
1756.52/1760.92 c INPROCESSING
1756.52/1760.92 c GARBAGE COLLECT
1756.52/1760.92 c #Conflicts: 334000 | #Constraints: 14355
1756.52/1760.92 c #Conflicts: 335000 | #Constraints: 15355
1756.52/1760.92 c #Conflicts: 336000 | #Constraints: 16355
1756.52/1760.92 c #Conflicts: 337000 | #Constraints: 17355
1756.52/1760.92 c #Conflicts: 338000 | #Constraints: 18355
1756.52/1760.92 c #Conflicts: 339000 | #Constraints: 19355
1756.52/1760.92 c #Conflicts: 340000 | #Constraints: 20355
1756.52/1760.92 c #Conflicts: 341000 | #Constraints: 21355
1756.52/1760.92 c #Conflicts: 342000 | #Constraints: 22355
1756.52/1760.92 c #Conflicts: 343000 | #Constraints: 23355
1756.52/1760.92 c #Conflicts: 344000 | #Constraints: 24355
1756.52/1760.92 c #Conflicts: 345000 | #Constraints: 25355
1756.52/1760.92 c INPROCESSING
1756.52/1760.92 c GARBAGE COLLECT
1756.52/1760.92 c #Conflicts: 346000 | #Constraints: 14810
1756.52/1760.92 c #Conflicts: 347000 | #Constraints: 15810
1756.52/1760.92 c #Conflicts: 348000 | #Constraints: 16810
1756.52/1760.92 c #Conflicts: 349000 | #Constraints: 17810
1756.52/1760.92 c #Conflicts: 350000 | #Constraints: 18810
1756.52/1760.92 c #Conflicts: 351000 | #Constraints: 19810
1756.52/1760.92 c #Conflicts: 352000 | #Constraints: 20810
1756.52/1760.92 c #Conflicts: 353000 | #Constraints: 21810
1756.52/1760.92 c #Conflicts: 354000 | #Constraints: 22810
1756.52/1760.92 c #Conflicts: 355000 | #Constraints: 23810
1756.52/1760.92 c #Conflicts: 356000 | #Constraints: 24810
1756.52/1760.92 c #Conflicts: 357000 | #Constraints: 25810
1756.52/1760.92 c INPROCESSING
1756.52/1760.92 c GARBAGE COLLECT
1756.52/1760.92 c #Conflicts: 358000 | #Constraints: 14949
1756.52/1760.92 c #Conflicts: 359000 | #Constraints: 15949
1756.52/1760.92 c #Conflicts: 360000 | #Constraints: 16949
1756.52/1760.92 c #Conflicts: 361000 | #Constraints: 17949
1756.52/1760.92 c #Conflicts: 362000 | #Constraints: 18949
2220.47/2226.06 c #Conflicts: 363000 | #Constraints: 19949
2220.47/2226.06 c #Conflicts: 364000 | #Constraints: 20949
2220.47/2226.06 c #Conflicts: 365000 | #Constraints: 21949
2220.47/2226.06 c #Conflicts: 366000 | #Constraints: 22949
2220.47/2226.06 c #Conflicts: 367000 | #Constraints: 23949
2220.47/2226.06 c #Conflicts: 368000 | #Constraints: 24949
2220.47/2226.06 c #Conflicts: 369000 | #Constraints: 25949
2220.47/2226.06 c INPROCESSING
2220.47/2226.06 c GARBAGE COLLECT
2220.47/2226.06 c #Conflicts: 370000 | #Constraints: 14978
2220.47/2226.06 c #Conflicts: 371000 | #Constraints: 15978
2220.47/2226.06 c #Conflicts: 372000 | #Constraints: 16978
2220.47/2226.06 c #Conflicts: 373000 | #Constraints: 17978
2220.47/2226.06 c #Conflicts: 374000 | #Constraints: 18978
2220.47/2226.06 c #Conflicts: 375000 | #Constraints: 19978
2220.47/2226.06 c #Conflicts: 376000 | #Constraints: 20978
2220.47/2226.06 c #Conflicts: 377000 | #Constraints: 21978
2220.47/2226.06 c #Conflicts: 378000 | #Constraints: 22978
2220.47/2226.06 c #Conflicts: 379000 | #Constraints: 23978
2220.47/2226.06 c #Conflicts: 380000 | #Constraints: 24978
2220.47/2226.06 c #Conflicts: 381000 | #Constraints: 25978
2220.47/2226.06 c INPROCESSING
2220.47/2226.06 c GARBAGE COLLECT
2220.47/2226.06 c #Conflicts: 382000 | #Constraints: 14781
2220.47/2226.06 c #Conflicts: 383000 | #Constraints: 15781
2220.47/2226.06 c #Conflicts: 384000 | #Constraints: 16781
2220.47/2226.06 c #Conflicts: 385000 | #Constraints: 17781
2220.47/2226.06 c #Conflicts: 386000 | #Constraints: 18781
2220.47/2226.06 c #Conflicts: 387000 | #Constraints: 19781
2220.47/2226.06 c #Conflicts: 388000 | #Constraints: 20781
2220.47/2226.06 c #Conflicts: 389000 | #Constraints: 21781
2220.47/2226.06 c #Conflicts: 390000 | #Constraints: 22781
2220.47/2226.06 c #Conflicts: 391000 | #Constraints: 23781
2220.47/2226.06 c #Conflicts: 392000 | #Constraints: 24781
2220.47/2226.06 c #Conflicts: 393000 | #Constraints: 25781
2220.47/2226.06 c #Conflicts: 394000 | #Constraints: 26781
2220.47/2226.06 c INPROCESSING
2220.47/2226.06 c GARBAGE COLLECT
2220.47/2226.06 c #Conflicts: 395000 | #Constraints: 15386
2220.47/2226.06 c #Conflicts: 396000 | #Constraints: 16386
2220.47/2226.06 c #Conflicts: 397000 | #Constraints: 17386
2220.47/2226.06 c #Conflicts: 398000 | #Constraints: 18386
2220.47/2226.06 c #Conflicts: 399000 | #Constraints: 19386
2220.47/2226.06 c #Conflicts: 400000 | #Constraints: 20386
2220.47/2226.06 c #Conflicts: 401000 | #Constraints: 21386
2220.47/2226.06 c #Conflicts: 402000 | #Constraints: 22386
2220.47/2226.06 c #Conflicts: 403000 | #Constraints: 23386
2220.47/2226.06 c #Conflicts: 404000 | #Constraints: 24386
2220.47/2226.06 c #Conflicts: 405000 | #Constraints: 25386
2220.47/2226.06 c #Conflicts: 406000 | #Constraints: 26386
2220.47/2226.06 c #Conflicts: 407000 | #Constraints: 27386
2220.47/2226.06 c INPROCESSING
2220.47/2226.06 c GARBAGE COLLECT
2220.47/2226.06 c #Conflicts: 408000 | #Constraints: 15752
2220.47/2226.06 c #Conflicts: 409000 | #Constraints: 16752
2220.47/2226.06 c #Conflicts: 410000 | #Constraints: 17752
2220.47/2226.06 c #Conflicts: 411000 | #Constraints: 18752
2220.47/2226.06 c #Conflicts: 412000 | #Constraints: 19752
2220.47/2226.06 c #Conflicts: 413000 | #Constraints: 20752
2220.47/2226.06 c #Conflicts: 414000 | #Constraints: 21752
2220.47/2226.06 c #Conflicts: 415000 | #Constraints: 22752
2220.47/2226.06 c #Conflicts: 416000 | #Constraints: 23752
2220.47/2226.06 c #Conflicts: 417000 | #Constraints: 24752
2220.47/2226.06 c #Conflicts: 418000 | #Constraints: 25752
2220.47/2226.06 c #Conflicts: 419000 | #Constraints: 26752
2220.47/2226.06 c #Conflicts: 420000 | #Constraints: 27752
2220.47/2226.06 c INPROCESSING
2220.47/2226.06 c GARBAGE COLLECT
2220.47/2226.06 c #Conflicts: 421000 | #Constraints: 15954
2220.47/2226.06 c #Conflicts: 422000 | #Constraints: 16954
2220.47/2226.06 c #Conflicts: 423000 | #Constraints: 17954
2220.47/2226.06 c #Conflicts: 424000 | #Constraints: 18954
2220.47/2226.06 c #Conflicts: 425000 | #Constraints: 19954
2220.47/2226.06 c #Conflicts: 426000 | #Constraints: 20954
2220.47/2226.06 c #Conflicts: 427000 | #Constraints: 21954
2220.47/2226.06 c #Conflicts: 428000 | #Constraints: 22954
2220.47/2226.06 c #Conflicts: 429000 | #Constraints: 23954
2220.47/2226.06 c #Conflicts: 430000 | #Constraints: 24954
2220.47/2226.06 c #Conflicts: 431000 | #Constraints: 25954
2220.47/2226.06 c #Conflicts: 432000 | #Constraints: 26954
2220.47/2226.06 c #Conflicts: 433000 | #Constraints: 27954
2220.47/2226.06 c INPROCESSING
2220.47/2226.06 c GARBAGE COLLECT
2220.47/2226.06 c #Conflicts: 434000 | #Constraints: 15990
2220.47/2226.06 c #Conflicts: 435000 | #Constraints: 16990
2220.47/2226.06 c #Conflicts: 436000 | #Constraints: 17990
2220.47/2226.06 c #Conflicts: 437000 | #Constraints: 18990
2563.40/2569.86 c #Conflicts: 438000 | #Constraints: 19990
2563.40/2569.86 c #Conflicts: 439000 | #Constraints: 20990
2563.40/2569.86 c #Conflicts: 440000 | #Constraints: 21990
2563.40/2569.86 c #Conflicts: 441000 | #Constraints: 22990
2563.40/2569.86 c #Conflicts: 442000 | #Constraints: 23990
2563.40/2569.86 c #Conflicts: 443000 | #Constraints: 24990
2563.40/2569.86 c #Conflicts: 444000 | #Constraints: 25990
2563.40/2569.86 c #Conflicts: 445000 | #Constraints: 26990
2563.40/2569.86 c #Conflicts: 446000 | #Constraints: 27990
2563.40/2569.86 c INPROCESSING
2563.40/2569.86 c GARBAGE COLLECT
2563.40/2569.86 c #Conflicts: 447000 | #Constraints: 15805
2563.40/2569.86 c #Conflicts: 448000 | #Constraints: 16805
2563.40/2569.86 c #Conflicts: 449000 | #Constraints: 17805
2563.40/2569.86 c #Conflicts: 450000 | #Constraints: 18805
2563.40/2569.86 c #Conflicts: 451000 | #Constraints: 19805
2563.40/2569.86 c #Conflicts: 452000 | #Constraints: 20805
2563.40/2569.86 c #Conflicts: 453000 | #Constraints: 21805
2563.40/2569.86 c #Conflicts: 454000 | #Constraints: 22805
2563.40/2569.86 c #Conflicts: 455000 | #Constraints: 23805
2563.40/2569.86 c #Conflicts: 456000 | #Constraints: 24805
2563.40/2569.86 c #Conflicts: 457000 | #Constraints: 25805
2563.40/2569.86 c #Conflicts: 458000 | #Constraints: 26805
2563.40/2569.86 c #Conflicts: 459000 | #Constraints: 27805
2563.40/2569.86 c #Conflicts: 460000 | #Constraints: 28805
2563.40/2569.86 c INPROCESSING
2563.40/2569.86 c GARBAGE COLLECT
2563.40/2569.86 c #Conflicts: 461000 | #Constraints: 16393
2563.40/2569.86 c #Conflicts: 462000 | #Constraints: 17393
2563.40/2569.86 c #Conflicts: 463000 | #Constraints: 18393
2563.40/2569.86 c #Conflicts: 464000 | #Constraints: 19393
2563.40/2569.86 c #Conflicts: 465000 | #Constraints: 20393
2563.40/2569.86 c #Conflicts: 466000 | #Constraints: 21393
2563.40/2569.86 c #Conflicts: 467000 | #Constraints: 22393
2563.40/2569.86 c #Conflicts: 468000 | #Constraints: 23393
2563.40/2569.86 c #Conflicts: 469000 | #Constraints: 24393
2563.40/2569.86 c #Conflicts: 470000 | #Constraints: 25393
2563.40/2569.86 c #Conflicts: 471000 | #Constraints: 26393
2563.40/2569.86 c #Conflicts: 472000 | #Constraints: 27393
2563.40/2569.86 c #Conflicts: 473000 | #Constraints: 28393
2563.40/2569.86 c #Conflicts: 474000 | #Constraints: 29393
2563.40/2569.86 c INPROCESSING
2563.40/2569.86 c GARBAGE COLLECT
2563.40/2569.86 c #Conflicts: 475000 | #Constraints: 16757
2563.40/2569.86 c #Conflicts: 476000 | #Constraints: 17757
2563.40/2569.86 c #Conflicts: 477000 | #Constraints: 18757
2563.40/2569.86 c #Conflicts: 478000 | #Constraints: 19757
2563.40/2569.86 c #Conflicts: 479000 | #Constraints: 20757
2563.40/2569.86 c #Conflicts: 480000 | #Constraints: 21757
2563.40/2569.86 c #Conflicts: 481000 | #Constraints: 22757
2563.40/2569.86 c #Conflicts: 482000 | #Constraints: 23757
2563.40/2569.86 c #Conflicts: 483000 | #Constraints: 24757
2563.40/2569.86 c #Conflicts: 484000 | #Constraints: 25757
2563.40/2569.86 c #Conflicts: 485000 | #Constraints: 26757
2563.40/2569.86 c #Conflicts: 486000 | #Constraints: 27757
2563.40/2569.86 c #Conflicts: 487000 | #Constraints: 28757
2563.40/2569.86 c #Conflicts: 488000 | #Constraints: 29757
2563.40/2569.86 c INPROCESSING
2563.40/2569.86 c GARBAGE COLLECT
2563.40/2569.86 c #Conflicts: 489000 | #Constraints: 16929
2563.40/2569.86 c #Conflicts: 490000 | #Constraints: 17929
2563.40/2569.86 c #Conflicts: 491000 | #Constraints: 18929
2563.40/2569.86 c #Conflicts: 492000 | #Constraints: 19929
2563.40/2569.86 c #Conflicts: 493000 | #Constraints: 20929
2563.40/2569.86 c #Conflicts: 494000 | #Constraints: 21929
2563.40/2569.86 c #Conflicts: 495000 | #Constraints: 22929
2563.40/2569.86 c #Conflicts: 496000 | #Constraints: 23929
2563.40/2569.86 c #Conflicts: 497000 | #Constraints: 24929
2563.40/2569.86 c #Conflicts: 498000 | #Constraints: 25929
2563.40/2569.86 c #Conflicts: 499000 | #Constraints: 26929
2563.40/2569.86 c #Conflicts: 500000 | #Constraints: 27929
2563.40/2569.86 c #Conflicts: 501000 | #Constraints: 28929
2563.40/2569.86 c #Conflicts: 502000 | #Constraints: 29929
2563.40/2569.86 c INPROCESSING
2563.40/2569.86 c GARBAGE COLLECT
2563.40/2569.86 c #Conflicts: 503000 | #Constraints: 16917
2563.40/2569.86 c #Conflicts: 504000 | #Constraints: 17917
2563.40/2569.86 c #Conflicts: 505000 | #Constraints: 18917
2563.40/2569.86 c #Conflicts: 506000 | #Constraints: 19917
2563.40/2569.86 c #Conflicts: 507000 | #Constraints: 20917
2563.40/2569.86 c #Conflicts: 508000 | #Constraints: 21917
2563.40/2569.86 c #Conflicts: 509000 | #Constraints: 22917
2563.40/2569.86 c #Conflicts: 510000 | #Constraints: 23917
2563.40/2569.86 c #Conflicts: 511000 | #Constraints: 24917
2563.40/2569.86 c #Conflicts: 512000 | #Constraints: 25917
2563.40/2569.86 c #Conflicts: 513000 | #Constraints: 26917
3081.59/3089.32 c #Conflicts: 514000 | #Constraints: 27917
3081.59/3089.32 c #Conflicts: 515000 | #Constraints: 28917
3081.59/3089.32 c #Conflicts: 516000 | #Constraints: 29917
3081.59/3089.32 c INPROCESSING
3081.59/3089.32 c GARBAGE COLLECT
3081.59/3089.32 c #Conflicts: 517000 | #Constraints: 16715
3081.59/3089.32 c #Conflicts: 518000 | #Constraints: 17715
3081.59/3089.32 c #Conflicts: 519000 | #Constraints: 18715
3081.59/3089.32 c #Conflicts: 520000 | #Constraints: 19715
3081.59/3089.32 c #Conflicts: 521000 | #Constraints: 20715
3081.59/3089.32 c #Conflicts: 522000 | #Constraints: 21715
3081.59/3089.32 c #Conflicts: 523000 | #Constraints: 22715
3081.59/3089.32 c #Conflicts: 524000 | #Constraints: 23715
3081.59/3089.32 c #Conflicts: 525000 | #Constraints: 24715
3081.59/3089.32 c #Conflicts: 526000 | #Constraints: 25715
3081.59/3089.32 c #Conflicts: 527000 | #Constraints: 26715
3081.59/3089.32 c #Conflicts: 528000 | #Constraints: 27715
3081.59/3089.32 c #Conflicts: 529000 | #Constraints: 28715
3081.59/3089.32 c #Conflicts: 530000 | #Constraints: 29715
3081.59/3089.32 c #Conflicts: 531000 | #Constraints: 30715
3081.59/3089.32 c INPROCESSING
3081.59/3089.32 c GARBAGE COLLECT
3081.59/3089.32 c #Conflicts: 532000 | #Constraints: 17334
3081.59/3089.32 c #Conflicts: 533000 | #Constraints: 18334
3081.59/3089.32 c #Conflicts: 534000 | #Constraints: 19334
3081.59/3089.32 c #Conflicts: 535000 | #Constraints: 20334
3081.59/3089.32 c #Conflicts: 536000 | #Constraints: 21334
3081.59/3089.32 c #Conflicts: 537000 | #Constraints: 22334
3081.59/3089.32 c #Conflicts: 538000 | #Constraints: 23334
3081.59/3089.32 c #Conflicts: 539000 | #Constraints: 24334
3081.59/3089.32 c #Conflicts: 540000 | #Constraints: 25334
3081.59/3089.32 c #Conflicts: 541000 | #Constraints: 26334
3081.59/3089.32 c #Conflicts: 542000 | #Constraints: 27334
3081.59/3089.32 c #Conflicts: 543000 | #Constraints: 28334
3081.59/3089.32 c #Conflicts: 544000 | #Constraints: 29334
3081.59/3089.32 c #Conflicts: 545000 | #Constraints: 30334
3081.59/3089.32 c #Conflicts: 546000 | #Constraints: 31334
3081.59/3089.32 c INPROCESSING
3081.59/3089.32 c GARBAGE COLLECT
3081.59/3089.32 c #Conflicts: 547000 | #Constraints: 17803
3081.59/3089.32 c #Conflicts: 548000 | #Constraints: 18803
3081.59/3089.32 c #Conflicts: 549000 | #Constraints: 19803
3081.59/3089.32 c #Conflicts: 550000 | #Constraints: 20803
3081.59/3089.32 c #Conflicts: 551000 | #Constraints: 21803
3081.59/3089.32 c #Conflicts: 552000 | #Constraints: 22803
3081.59/3089.32 c #Conflicts: 553000 | #Constraints: 23803
3081.59/3089.32 c #Conflicts: 554000 | #Constraints: 24803
3081.59/3089.32 c #Conflicts: 555000 | #Constraints: 25803
3081.59/3089.32 c #Conflicts: 556000 | #Constraints: 26803
3081.59/3089.32 c #Conflicts: 557000 | #Constraints: 27803
3081.59/3089.32 c #Conflicts: 558000 | #Constraints: 28803
3081.59/3089.32 c #Conflicts: 559000 | #Constraints: 29803
3081.59/3089.32 c #Conflicts: 560000 | #Constraints: 30803
3081.59/3089.32 c #Conflicts: 561000 | #Constraints: 31803
3081.59/3089.32 c INPROCESSING
3081.59/3089.32 c GARBAGE COLLECT
3081.59/3089.32 c #Conflicts: 562000 | #Constraints: 17977
3081.59/3089.32 c #Conflicts: 563000 | #Constraints: 18977
3081.59/3089.32 c #Conflicts: 564000 | #Constraints: 19977
3081.59/3089.32 c #Conflicts: 565000 | #Constraints: 20977
3081.59/3089.32 c #Conflicts: 566000 | #Constraints: 21977
3081.59/3089.32 c #Conflicts: 567000 | #Constraints: 22977
3081.59/3089.32 c #Conflicts: 568000 | #Constraints: 23977
3081.59/3089.32 c #Conflicts: 569000 | #Constraints: 24977
3081.59/3089.32 c #Conflicts: 570000 | #Constraints: 25977
3081.59/3089.32 c #Conflicts: 571000 | #Constraints: 26977
3081.59/3089.32 c #Conflicts: 572000 | #Constraints: 27977
3081.59/3089.32 c #Conflicts: 573000 | #Constraints: 28977
3081.59/3089.32 c #Conflicts: 574000 | #Constraints: 29977
3081.59/3089.32 c #Conflicts: 575000 | #Constraints: 30977
3081.59/3089.32 c #Conflicts: 576000 | #Constraints: 31977
3081.59/3089.32 c INPROCESSING
3081.59/3089.32 c GARBAGE COLLECT
3081.59/3089.32 c #Conflicts: 577000 | #Constraints: 17891
3081.59/3089.32 c #Conflicts: 578000 | #Constraints: 18891
3081.59/3089.32 c #Conflicts: 579000 | #Constraints: 19891
3081.59/3089.32 c #Conflicts: 580000 | #Constraints: 20891
3081.59/3089.32 c #Conflicts: 581000 | #Constraints: 21891
3081.59/3089.32 c #Conflicts: 582000 | #Constraints: 22891
3081.59/3089.32 c #Conflicts: 583000 | #Constraints: 23891
3081.59/3089.32 c #Conflicts: 584000 | #Constraints: 24891
3081.59/3089.32 c #Conflicts: 585000 | #Constraints: 25891
3081.59/3089.32 c #Conflicts: 586000 | #Constraints: 26891
3081.59/3089.32 c #Conflicts: 587000 | #Constraints: 27891
3081.59/3089.32 c #Conflicts: 588000 | #Constraints: 28891
3600.09/3609.10 c #Conflicts: 589000 | #Constraints: 29891
3600.09/3609.10 c #Conflicts: 590000 | #Constraints: 30891
3600.09/3609.10 c #Conflicts: 591000 | #Constraints: 31891
3600.09/3609.10 c INPROCESSING
3600.09/3609.10 c GARBAGE COLLECT
3600.09/3609.10 c #Conflicts: 592000 | #Constraints: 17731
3600.09/3609.10 c #Conflicts: 593000 | #Constraints: 18731
3600.09/3609.10 c #Conflicts: 594000 | #Constraints: 19731
3600.09/3609.10 c #Conflicts: 595000 | #Constraints: 20731
3600.09/3609.10 c #Conflicts: 596000 | #Constraints: 21731
3600.09/3609.10 c #Conflicts: 597000 | #Constraints: 22731
3600.09/3609.10 c #Conflicts: 598000 | #Constraints: 23731
3600.09/3609.10 c #Conflicts: 599000 | #Constraints: 24731
3600.09/3609.10 c #Conflicts: 600000 | #Constraints: 25731
3600.09/3609.10 c #Conflicts: 601000 | #Constraints: 26731
3600.09/3609.10 c #Conflicts: 602000 | #Constraints: 27731
3600.09/3609.10 c #Conflicts: 603000 | #Constraints: 28731
3600.09/3609.10 c #Conflicts: 604000 | #Constraints: 29731
3600.09/3609.10 c #Conflicts: 605000 | #Constraints: 30731
3600.09/3609.10 c #Conflicts: 606000 | #Constraints: 31731
3600.09/3609.10 c #Conflicts: 607000 | #Constraints: 32731
3600.09/3609.10 c INPROCESSING
3600.09/3609.10 c GARBAGE COLLECT
3600.09/3609.10 c #Conflicts: 608000 | #Constraints: 18339
3600.09/3609.10 c #Conflicts: 609000 | #Constraints: 19339
3600.09/3609.10 c #Conflicts: 610000 | #Constraints: 20339
3600.09/3609.10 c #Conflicts: 611000 | #Constraints: 21339
3600.09/3609.10 c #Conflicts: 612000 | #Constraints: 22339
3600.09/3609.10 c #Conflicts: 613000 | #Constraints: 23339
3600.09/3609.10 c #Conflicts: 614000 | #Constraints: 24339
3600.09/3609.10 c #Conflicts: 615000 | #Constraints: 25339
3600.09/3609.10 c #Conflicts: 616000 | #Constraints: 26339
3600.09/3609.10 c #Conflicts: 617000 | #Constraints: 27339
3600.09/3609.10 c #Conflicts: 618000 | #Constraints: 28339
3600.09/3609.10 c #Conflicts: 619000 | #Constraints: 29339
3600.09/3609.10 c #Conflicts: 620000 | #Constraints: 30339
3600.09/3609.10 c #Conflicts: 621000 | #Constraints: 31339
3600.09/3609.10 c #Conflicts: 622000 | #Constraints: 32339
3600.09/3609.10 c #Conflicts: 623000 | #Constraints: 33339
3600.09/3609.10 c INPROCESSING
3600.09/3609.10 c GARBAGE COLLECT
3600.09/3609.10 c #Conflicts: 624000 | #Constraints: 18730
3600.09/3609.10 c #Conflicts: 625000 | #Constraints: 19730
3600.09/3609.10 c #Conflicts: 626000 | #Constraints: 20730
3600.09/3609.10 c #Conflicts: 627000 | #Constraints: 21730
3600.09/3609.10 c #Conflicts: 628000 | #Constraints: 22730
3600.09/3609.10 c #Conflicts: 629000 | #Constraints: 23730
3600.09/3609.10 c #Conflicts: 630000 | #Constraints: 24730
3600.09/3609.10 c #Conflicts: 631000 | #Constraints: 25730
3600.09/3609.10 c #Conflicts: 632000 | #Constraints: 26730
3600.09/3609.10 c #Conflicts: 633000 | #Constraints: 27730
3600.09/3609.10 c #Conflicts: 634000 | #Constraints: 28730
3600.09/3609.10 c #Conflicts: 635000 | #Constraints: 29730
3600.09/3609.10 c #Conflicts: 636000 | #Constraints: 30730
3600.09/3609.10 c #Conflicts: 637000 | #Constraints: 31730
3600.09/3609.10 c #Conflicts: 638000 | #Constraints: 32730
3600.09/3609.10 c #Conflicts: 639000 | #Constraints: 33730
3600.09/3609.10 c INPROCESSING
3600.09/3609.10 c GARBAGE COLLECT
3600.09/3609.10 c #Conflicts: 640000 | #Constraints: 18941
3600.09/3609.10 c #Conflicts: 641000 | #Constraints: 19941
3600.09/3609.10 c #Conflicts: 642000 | #Constraints: 20941
3600.09/3609.10 c #Conflicts: 643000 | #Constraints: 21941
3600.09/3609.10 c #Conflicts: 644000 | #Constraints: 22941
3600.09/3609.10 c #Conflicts: 645000 | #Constraints: 23941
3600.09/3609.10 c #Conflicts: 646000 | #Constraints: 24941
3600.09/3609.10 c #Conflicts: 647000 | #Constraints: 25941
3600.09/3609.10 c #Conflicts: 648000 | #Constraints: 26941
3600.09/3609.10 c #Conflicts: 649000 | #Constraints: 27941
3600.09/3609.10 c #Conflicts: 650000 | #Constraints: 28941
3600.09/3609.10 c #Conflicts: 651000 | #Constraints: 29941
3600.09/3609.10 c #Conflicts: 652000 | #Constraints: 30941
3600.09/3609.10 c #Conflicts: 653000 | #Constraints: 31941
3600.09/3609.10 c #Conflicts: 654000 | #Constraints: 32941
3600.09/3609.10 c #Conflicts: 655000 | #Constraints: 33941
3600.09/3609.10 c INPROCESSING
3600.09/3609.10 c GARBAGE COLLECT
3600.09/3609.10 c #Conflicts: 656000 | #Constraints: 18898
3600.09/3609.10 c #Conflicts: 657000 | #Constraints: 19898
3600.09/3609.10 c #Conflicts: 658000 | #Constraints: 20898
3600.09/3609.10 c #Conflicts: 659000 | #Constraints: 21898
3600.09/3609.10 c #Conflicts: 660000 | #Constraints: 22898
3600.09/3609.10 c #Conflicts: 661000 | #Constraints: 23898
3600.09/3609.10 c cpu time 3581.49 s
3600.09/3609.10 c deterministic time 1 1.00e+00
3600.09/3609.10 c optimization time 3581.47 s
3600.09/3609.10 c total solve time 0 s
3600.09/3609.10 c core-guided solve time 0 s
3600.09/3609.10 c propagation time 0.000748 s
3600.09/3609.10 c conflict analysis time 0 s
3600.09/3609.10 c propagations 0
3600.09/3609.10 c resolve steps 0
3600.09/3609.10 c decisions 0
3600.09/3609.10 c conflicts 0
3600.09/3609.10 c restarts 0
3600.09/3609.10 c inprocessing phases 0
3600.09/3609.10 c garbage collections 0 ,( -nan )
3600.09/3609.10 c input clauses 0 ,( 0.00 )
3600.09/3609.10 c input cardinalities 44 ,( 2.30 )
3600.09/3609.10 c input general constraints 1870 ,( 97.70 )
3600.09/3609.10 c input average constraint length 14.77
3600.09/3609.10 c input average constraint degree 9.84
3600.09/3609.10 c learned clauses 0 ,( 0.00 )
3600.09/3609.10 c learned cardinalities 0 ,( 0.00 )
3600.09/3609.10 c learned general constraints 0 ,( 0.00 )
3600.09/3609.10 c learned average constraint length 0.00
3600.09/3609.10 c learned average constraint degree 0.00
3600.09/3609.10 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.09/3609.10 c counting CF 32, 64, 128, Arb: 1871 , 0 , 0 , 0
3600.09/3609.10 c watched constraints 0 ,( 0.00 )
3600.09/3609.10 c counting constraints 1870 ,( 100.00 )
3600.09/3609.10 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.09/3609.10 c gcd simplifications 44
3600.09/3609.10 c detected cardinalities 0
3600.09/3609.10 c weakened non-implied lits 0
3600.09/3609.10 c weakened non-implying lits 0
3600.09/3609.10 c original variables 9570
3600.09/3609.10 c clausal propagations 0
3600.09/3609.10 c cardinality propagations 0
3600.09/3609.10 c watched propagations 0
3600.09/3609.10 c counting propagations 0
3600.09/3609.10 c watch lookups 0
3600.09/3609.10 c watch backjump lookups 0
3600.09/3609.10 c watch checks 0
3600.09/3609.10 c propagation checks 0
3600.09/3609.10 c constraint additions 0
3600.09/3609.10 c trail pops 0
3600.09/3609.10 c formula constraints 1914
3600.09/3609.10 c learned constraints 0
3600.09/3609.10 c bound constraints 0
3600.09/3609.10 c core-guided constraints 0
3600.09/3609.10 c encountered formula constraints 0
3600.09/3609.10 c encountered learned constraints 0
3600.09/3609.10 c encountered bound constraints 0
3600.09/3609.10 c encountered core-guided constraints 0
3600.09/3609.10 c LP total time 0 s
3600.09/3609.10 c LP solve time 0 s
3600.09/3609.10 c LP constraints added 0
3600.09/3609.10 c LP constraints removed 0
3600.09/3609.10 c LP pivots internal 0
3600.09/3609.10 c LP pivots root 0
3600.09/3609.10 c LP calls 0
3600.09/3609.10 c LP optimalities 0
3600.09/3609.10 c LP no pivot count 0
3600.09/3609.10 c LP infeasibilities 0
3600.09/3609.10 c LP valid Farkas constraints 0
3600.09/3609.10 c LP learned Farkas constraints 0
3600.09/3609.10 c LP basis resets 0
3600.09/3609.10 c LP cycling count 0
3600.09/3609.10 c LP singular count 0
3600.09/3609.10 c LP no primal count 0
3600.09/3609.10 c LP no farkas count 0
3600.09/3609.10 c LP other issue count 0
3600.09/3609.10 c LP Gomory cuts 0
3600.09/3609.10 c LP learned cuts 0
3600.09/3609.10 c LP deleted cuts 0
3600.09/3609.10 c LP encountered Gomory constraints 0
3600.09/3609.10 c LP encountered Farkas constraints 0
3600.09/3609.10 c LP encountered learned Farkas constraints 0
3600.09/3609.10 c CG auxiliary variables introduced 0
3600.09/3609.10 c CG solutions found 0
3600.09/3609.10 c CG cores constructed 0
3600.09/3609.10 c CG core cardinality constraints returned 0
3600.09/3609.10 c CG unit cores 0
3600.09/3609.10 c CG single cores 0
3600.09/3609.10 c CG blocks removed during cardinality reduction 0
3600.09/3609.10 c CG first core best 0
3600.09/3609.10 c CG decision core best 0
3600.09/3609.10 c CG core reduction tie 0
3600.09/3609.10 c CG core degree average 0.00
3600.09/3609.10 c CG core slack average 0.00
3600.09/3609.10 c CG core upper bound improvements 0
3600.09/3609.10 c STR number of successful calls 0
3600.09/3609.10 c STR number of unsuccessful calls 0
3600.09/3609.10 c STR number of inconclusive calls 0
3600.09/3609.10 c STR number of successful attempts 0
3600.09/3609.10 c STR number of unsuccessful attempts 0
3600.09/3609.10 c STR number of inconclusive attempts 0
3600.09/3609.10 c STR average degree increase per successful call inf
3600.09/3609.10 c STR average degree increase per successful attempt inf
3600.09/3609.10 c STR total number of conflicts for successful attempts 0
3600.09/3609.10 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3609.10 c STR total number of conflicts for inconclusive attempts 0
3600.09/3609.10 c STR average number of conflicts per successful attempt inf
3600.09/3609.10 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3609.10 c STR average number of conflicts per inconclusive attempt inf
3600.09/3609.10 c AVG.sumWPerc 73.33
3600.09/3609.10 c bigint constraints 0
3600.09/3609.10 s UNKNOWN
3600.09/3609.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 (62908 MiB free)
memory of node 1: 64465 MiB (60992 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520158-1751567845/watcher-4520158-1751567845 -o /tmp/evaluation-result-4520158-1751567845/solver-4520158-1751567845 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751564231-79813 --watchdog 3760 run-opt.sh HOME/instance-4520158-1751567845.opb
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 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
Current StackSize limit: 8192 KiB
solver pid=80197, runsolver pid=80194
[startup+0.10006 s]*
/proc/loadavg: 4.51 4.29 4.16 5/266 80199
/proc/meminfo: memFree=126847848/131249992 swapFree=33009392/33010684
[pid=80197] ppid=80194 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/80197/stat : 80197 (run-opt.sh) S 80194 80197 79801 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72459036 4292608 736 18446744073709551615 94475832455168 94475833349701 140732463204928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94475833588752 94475833636496 94475854434304 140732463208813 140732463208936 140732463208936 140732463214538 0
/proc/80197/statm: 1048 736 672 219 0 110 0
[pid=80199] ppid=80197 vsize=74784 memory=30136 CPUtime=0.08 cores=1,3
/proc/80199/stat : 80199 (roundingsat) R 80197 80197 79801 0 -1 4194304 5089 0 0 0 7 1 0 0 20 0 1 0 72459036 76578816 7534 18446744073709551615 4227072 8923433 140731368934400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35295232 140731368941986 140731368942120 140731368942120 140731368947690 0
/proc/80199/statm: 18696 7534 2336 1147 0 6123 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 78976 KiB
Current children cumulated memory: 33080 KiB
[startup+0.205595 s]*
/proc/loadavg: 4.51 4.29 4.16 6/266 80199
/proc/meminfo: memFree=126832728/131249992 swapFree=33009392/33010684
[pid=80197] ppid=80194 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/80197/stat : 80197 (run-opt.sh) S 80194 80197 79801 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72459036 4292608 736 18446744073709551615 94475832455168 94475833349701 140732463204928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94475833588752 94475833636496 94475854434304 140732463208813 140732463208936 140732463208936 140732463214538 0
/proc/80197/statm: 1048 736 672 219 0 110 0
[pid=80199] ppid=80197 vsize=92804 memory=47416 CPUtime=0.19 cores=1,3
/proc/80199/stat : 80199 (roundingsat) R 80197 80197 79801 0 -1 4194304 9401 0 0 0 17 2 0 0 20 0 1 0 72459036 95031296 11854 18446744073709551615 4227072 8923433 140731368934400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35295232 140731368941986 140731368942120 140731368942120 140731368947690 0
/proc/80199/statm: 23201 11854 2336 1147 0 10628 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 96996 KiB
Current children cumulated memory: 50360 KiB
[startup+0.305749 s]*
/proc/loadavg: 4.51 4.29 4.16 5/266 80199
/proc/meminfo: memFree=126832728/131249992 swapFree=33009392/33010684
[pid=80197] ppid=80194 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/80197/stat : 80197 (run-opt.sh) S 80194 80197 79801 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72459036 4292608 736 18446744073709551615 94475832455168 94475833349701 140732463204928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94475833588752 94475833636496 94475854434304 140732463208813 140732463208936 140732463208936 140732463214538 0
/proc/80197/statm: 1048 736 672 219 0 110 0
[pid=80199] ppid=80197 vsize=97224 memory=49720 CPUtime=0.29 cores=1,3
/proc/80199/stat : 80199 (roundingsat) R 80197 80197 79801 0 -1 4194304 9975 0 0 0 26 3 0 0 20 0 1 0 72459036 99557376 12430 18446744073709551615 4227072 8923433 140731368934400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35295232 140731368941986 140731368942120 140731368942120 140731368947690 0
/proc/80199/statm: 24306 12430 2336 1147 0 11733 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 101416 KiB
Current children cumulated memory: 52664 KiB
[startup+0.700143 s]
/proc/loadavg: 4.51 4.29 4.16 6/266 80199
/proc/meminfo: memFree=126829088/131249992 swapFree=33009392/33010684
[pid=80197] ppid=80194 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/80197/stat : 80197 (run-opt.sh) S 80194 80197 79801 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72459036 4292608 736 18446744073709551615 94475832455168 94475833349701 140732463204928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94475833588752 94475833636496 94475854434304 140732463208813 140732463208936 140732463208936 140732463214538 0
/proc/80197/statm: 1048 736 672 219 0 110 0
[pid=80199] ppid=80197 vsize=104552 memory=55692 CPUtime=0.67 cores=1,3
/proc/80199/stat : 80199 (roundingsat) R 80197 80197 79801 0 -1 4194304 10457 0 0 0 64 3 0 0 20 0 1 0 72459036 107061248 13923 18446744073709551615 4227072 8923433 140731368934400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35295232 140731368941986 140731368942120 140731368942120 140731368947690 0
/proc/80199/statm: 26138 13923 2336 1147 0 13565 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 108744 KiB
Current children cumulated memory: 58636 KiB
[startup+1.50015 s]
/proc/loadavg: 4.51 4.29 4.16 5/267 80220
/proc/meminfo: memFree=126772768/131249992 swapFree=33009392/33010684
[pid=80197] ppid=80194 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/80197/stat : 80197 (run-opt.sh) S 80194 80197 79801 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72459036 4292608 736 18446744073709551615 94475832455168 94475833349701 140732463204928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94475833588752 94475833636496 94475854434304 140732463208813 140732463208936 140732463208936 140732463214538 0
/proc/80197/statm: 1048 736 672 219 0 110 0
[pid=80199] ppid=80197 vsize=175428 memory=131264 CPUtime=1.47 cores=1,3
/proc/80199/stat : 80199 (roundingsat) R 80197 80197 79801 0 -1 4194304 25751 0 0 0 141 6 0 0 20 0 1 0 72459036 179638272 32816 18446744073709551615 4227072 8923433 140731368934400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35295232 140731368941986 140731368942120 140731368942120 140731368947690 0
/proc/80199/statm: 43857 32816 2336 1147 0 31284 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 179620 KiB
Current children cumulated memory: 134208 KiB
[startup+3.10571 s]
/proc/loadavg: 4.51 4.29 4.16 5/265 80226
/proc/meminfo: memFree=126478388/131249992 swapFree=33009392/33010684
[pid=80197] ppid=80194 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/80197/stat : 80197 (run-opt.sh) S 80194 80197 79801 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72459036 4292608 736 18446744073709551615 94475832455168 94475833349701 140732463204928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94475833588752 94475833636496 94475854434304 140732463208813 140732463208936 140732463208936 140732463214538 0
/proc/80197/statm: 1048 736 672 219 0 110 0
[pid=80199] ppid=80197 vsize=302608 memory=230516 CPUtime=3.08 cores=1,3
/proc/80199/stat : 80199 (roundingsat) R 80197 80197 79801 0 -1 4194304 43447 0 0 0 298 10 0 0 20 0 1 0 72459036 309870592 57629 18446744073709551615 4227072 8923433 140731368934400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35295232 140731368941986 140731368942120 140731368942120 140731368947690 0
/proc/80199/statm: 75652 57629 2336 1147 0 63079 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 306800 KiB
Current children cumulated memory: 233460 KiB
[startup+6.30017 s]
/proc/loadavg: 4.46 4.28 4.16 5/268 80232
/proc/meminfo: memFree=126183952/131249992 swapFree=33009392/33010684
[pid=80197] ppid=80194 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/80197/stat : 80197 (run-opt.sh) S 80194 80197 79801 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72459036 4292608 736 18446744073709551615 94475832455168 94475833349701 140732463204928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94475833588752 94475833636496 94475854434304 140732463208813 140732463208936 140732463208936 140732463214538 0
/proc/80197/statm: 1048 736 672 219 0 110 0
[pid=80199] ppid=80197 vsize=353480 memory=277212 CPUtime=6.27 cores=1,3
/proc/80199/stat : 80199 (roundingsat) R 80197 80197 79801 0 -1 4194304 46920 0 0 0 610 17 0 0 20 0 1 0 72459036 361963520 69303 18446744073709551615 4227072 8923433 140731368934400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35295232 140731368941986 140731368942120 140731368942120 140731368947690 0
/proc/80199/statm: 88370 69303 2336 1147 0 75797 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 357672 KiB
Current children cumulated memory: 280156 KiB
[startup+12.7002 s]
/proc/loadavg: 4.43 4.28 4.16 5/268 80232
/proc/meminfo: memFree=125849116/131249992 swapFree=33009392/33010684
[pid=80197] ppid=80194 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/80197/stat : 80197 (run-opt.sh) S 80194 80197 79801 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72459036 4292608 736 18446744073709551615 94475832455168 94475833349701 140732463204928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94475833588752 94475833636496 94475854434304 140732463208813 140732463208936 140732463208936 140732463214538 0
/proc/80197/statm: 1048 736 672 219 0 110 0
[pid=80199] ppid=80197 vsize=586644 memory=472360 CPUtime=12.65 cores=1,3
/proc/80199/stat : 80199 (roundingsat) R 80197 80197 79801 0 -1 4194304 82450 0 0 0 1235 30 0 0 20 0 1 0 72459036 600723456 118090 18446744073709551615 4227072 8923433 140731368934400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35295232 140731368941986 140731368942120 140731368942120 140731368947690 0
/proc/80199/statm: 146661 118090 2336 1147 0 134088 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 590836 KiB
Current children cumulated memory: 475304 KiB
[startup+25.5002 s]
/proc/loadavg: 4.33 4.26 4.15 5/270 80258
/proc/meminfo: memFree=125405368/131249992 swapFree=33009392/33010684
[pid=80197] ppid=80194 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/80197/stat : 80197 (run-opt.sh) S 80194 80197 79801 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72459036 4292608 736 18446744073709551615 94475832455168 94475833349701 140732463204928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94475833588752 94475833636496 94475854434304 140732463208813 140732463208936 140732463208936 140732463214538 0
/proc/80197/statm: 1048 736 672 219 0 110 0
[pid=80199] ppid=80197 vsize=874540 memory=717120 CPUtime=25.42 cores=1,3
/proc/80199/stat : 80199 (roundingsat) R 80197 80197 79801 0 -1 4194304 131892 0 0 0 2491 51 0 0 20 0 1 0 72459036 895528960 179280 18446744073709551615 4227072 8923433 140731368934400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35295232 140731368941986 140731368942120 140731368942120 140731368947690 0
/proc/80199/statm: 218635 179280 2336 1147 0 206062 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 878732 KiB
Current children cumulated memory: 720064 KiB
[startup+51.1058 s]
/proc/loadavg: 4.22 4.24 4.15 5/270 80258
/proc/meminfo: memFree=124579368/131249992 swapFree=33009392/33010684
[pid=80197] ppid=80194 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/80197/stat : 80197 (run-opt.sh) S 80194 80197 79801 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72459036 4292608 736 18446744073709551615 94475832455168 94475833349701 140732463204928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94475833588752 94475833636496 94475854434304 140732463208813 140732463208936 140732463208936 140732463214538 0
/proc/80197/statm: 1048 736 672 219 0 110 0
[pid=80199] ppid=80197 vsize=1019856 memory=873652 CPUtime=50.97 cores=1,3
/proc/80199/stat : 80199 (roundingsat) R 80197 80197 79801 0 -1 4194304 151616 0 0 0 5017 80 0 0 20 0 1 0 72459036 1044332544 218413 18446744073709551615 4227072 8923433 140731368934400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35295232 140731368941986 140731368942120 140731368942120 140731368947690 0
/proc/80199/statm: 254964 218413 2336 1147 0 242391 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1024048 KiB
Current children cumulated memory: 876596 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.22 4.14 5/269 80260
/proc/meminfo: memFree=123040764/131249992 swapFree=33009392/33010684
[pid=80197] ppid=80194 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/80197/stat : 80197 (run-opt.sh) S 80194 80197 79801 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72459036 4292608 736 18446744073709551615 94475832455168 94475833349701 140732463204928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94475833588752 94475833636496 94475854434304 140732463208813 140732463208936 140732463208936 140732463214538 0
/proc/80197/statm: 1048 736 672 219 0 110 0
[pid=80199] ppid=80197 vsize=1775456 memory=1281292 CPUtime=102.04 cores=1,3
/proc/80199/stat : 80199 (roundingsat) R 80197 80197 79801 0 -1 4194304 236729 0 0 0 10072 132 0 0 20 0 1 0 72459036 1818066944 320323 18446744073709551615 4227072 8923433 140731368934400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35295232 140731368941986 140731368942120 140731368942120 140731368947690 0
/proc/80199/statm: 443864 320323 2336 1147 0 431291 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 1779648 KiB
Current children cumulated memory: 1284236 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.19 4.14 5/269 80262
/proc/meminfo: memFree=122691540/131249992 swapFree=33009392/33010684
[pid=80197] ppid=80194 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/80197/stat : 80197 (run-opt.sh) S 80194 80197 79801 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72459036 4292608 736 18446744073709551615 94475832455168 94475833349701 140732463204928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94475833588752 94475833636496 94475854434304 140732463208813 140732463208936 140732463208936 140732463214538 0
/proc/80197/statm: 1048 736 672 219 0 110 0
[pid=80199] ppid=80197 vsize=1798756 memory=1343512 CPUtime=161.89 cores=1,3
/proc/80199/stat : 80199 (roundingsat) R 80197 80197 79801 0 -1 4194304 246159 0 0 0 16022 167 0 0 20 0 1 0 72459036 1841926144 335878 18446744073709551615 4227072 8923433 140731368934400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35295232 140731368941986 140731368942120 140731368942120 140731368947690 0
/proc/80199/statm: 449689 335878 2336 1147 0 437116 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 1802948 KiB
Current children cumulated memory: 1346456 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.18 4.14 5/271 80266
/proc/meminfo: memFree=122390156/131249992 swapFree=33009392/33010684
[pid=80197] ppid=80194 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/80197/stat : 80197 (run-opt.sh) S 80194 80197 79801 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72459036 4292608 736 18446744073709551615 94475832455168 94475833349701 140732463204928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94475833588752 94475833636496 94475854434304 140732463208813 140732463208936 140732463208936 140732463214538 0
/proc/80197/statm: 1048 736 672 219 0 110 0
[pid=80199] ppid=80197 vsize=1802084 memory=1413968 CPUtime=221.74 cores=1,3
/proc/80199/stat : 80199 (roundingsat) R 80197 80197 79801 0 -1 4194304 253042 0 0 0 21958 216 0 0 20 0 1 0 72459036 1845334016 353492 18446744073709551615 4227072 8923433 140731368934400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35295232 140731368941986 140731368942120 140731368942120 140731368947690 0
/proc/80199/statm: 450521 353492 2336 1147 0 437948 0
################
# More data... #
################
[pid=80199] ppid=80197 vsize=5812876 memory=4808148 CPUtime=3094.57 cores=1,3
/proc/80199/stat : 80199 (roundingsat) R 80197 80197 79801 0 -1 4194304 881783 0 0 0 307778 1679 0 0 20 0 1 0 72459036 5952385024 1202037 18446744073709551615 4227072 8923433 140731368934400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35295232 140731368941986 140731368942120 140731368942120 140731368947690 0
/proc/80199/statm: 1453219 1202037 2336 1147 0 1440646 0
Current children cumulated CPU time: 3094.57 s
Current children cumulated vsize: 5817068 KiB
Current children cumulated memory: 4811092 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/269 80428
/proc/meminfo: memFree=109493224/131249992 swapFree=33009392/33010684
[pid=80197] ppid=80194 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/80197/stat : 80197 (run-opt.sh) S 80194 80197 79801 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72459036 4292608 736 18446744073709551615 94475832455168 94475833349701 140732463204928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94475833588752 94475833636496 94475854434304 140732463208813 140732463208936 140732463208936 140732463214538 0
/proc/80197/statm: 1048 736 672 219 0 110 0
[pid=80199] ppid=80197 vsize=5812876 memory=4823516 CPUtime=3154.42 cores=1,3
/proc/80199/stat : 80199 (roundingsat) R 80197 80197 79801 0 -1 4194304 882197 0 0 0 313742 1700 0 0 20 0 1 0 72459036 5952385024 1205879 18446744073709551615 4227072 8923433 140731368934400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35295232 140731368941986 140731368942120 140731368942120 140731368947690 0
/proc/80199/statm: 1453219 1205879 2336 1147 0 1440646 0
Current children cumulated CPU time: 3154.42 s
Current children cumulated vsize: 5817068 KiB
Current children cumulated memory: 4826460 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.12 4.11 5/269 80431
/proc/meminfo: memFree=109453172/131249992 swapFree=33009392/33010684
[pid=80197] ppid=80194 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/80197/stat : 80197 (run-opt.sh) S 80194 80197 79801 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72459036 4292608 736 18446744073709551615 94475832455168 94475833349701 140732463204928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94475833588752 94475833636496 94475854434304 140732463208813 140732463208936 140732463208936 140732463214538 0
/proc/80197/statm: 1048 736 672 219 0 110 0
[pid=80199] ppid=80197 vsize=5812876 memory=4823516 CPUtime=3214.27 cores=1,3
/proc/80199/stat : 80199 (roundingsat) R 80197 80197 79801 0 -1 4194304 882353 0 0 0 319706 1721 0 0 20 0 1 0 72459036 5952385024 1205879 18446744073709551615 4227072 8923433 140731368934400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35295232 140731368941986 140731368942120 140731368942120 140731368947690 0
/proc/80199/statm: 1453219 1205879 2336 1147 0 1440646 0
Current children cumulated CPU time: 3214.27 s
Current children cumulated vsize: 5817068 KiB
Current children cumulated memory: 4826460 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/269 80433
/proc/meminfo: memFree=109442452/131249992 swapFree=33009392/33010684
[pid=80197] ppid=80194 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/80197/stat : 80197 (run-opt.sh) S 80194 80197 79801 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72459036 4292608 736 18446744073709551615 94475832455168 94475833349701 140732463204928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94475833588752 94475833636496 94475854434304 140732463208813 140732463208936 140732463208936 140732463214538 0
/proc/80197/statm: 1048 736 672 219 0 110 0
[pid=80199] ppid=80197 vsize=5812876 memory=4823516 CPUtime=3274.12 cores=1,3
/proc/80199/stat : 80199 (roundingsat) R 80197 80197 79801 0 -1 4194304 882708 0 0 0 325664 1748 0 0 20 0 1 0 72459036 5952385024 1205879 18446744073709551615 4227072 8923433 140731368934400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35295232 140731368941986 140731368942120 140731368942120 140731368947690 0
/proc/80199/statm: 1453219 1205879 2336 1147 0 1440646 0
Current children cumulated CPU time: 3274.12 s
Current children cumulated vsize: 5817068 KiB
Current children cumulated memory: 4826460 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/269 80435
/proc/meminfo: memFree=109431004/131249992 swapFree=33009392/33010684
[pid=80197] ppid=80194 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/80197/stat : 80197 (run-opt.sh) S 80194 80197 79801 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72459036 4292608 736 18446744073709551615 94475832455168 94475833349701 140732463204928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94475833588752 94475833636496 94475854434304 140732463208813 140732463208936 140732463208936 140732463214538 0
/proc/80197/statm: 1048 736 672 219 0 110 0
[pid=80199] ppid=80197 vsize=5812876 memory=4823644 CPUtime=3333.96 cores=1,3
/proc/80199/stat : 80199 (roundingsat) R 80197 80197 79801 0 -1 4194304 883124 0 0 0 331633 1763 0 0 20 0 1 0 72459036 5952385024 1205911 18446744073709551615 4227072 8923433 140731368934400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35295232 140731368941986 140731368942120 140731368942120 140731368947690 0
/proc/80199/statm: 1453219 1205911 2336 1147 0 1440646 0
Current children cumulated CPU time: 3333.96 s
Current children cumulated vsize: 5817068 KiB
Current children cumulated memory: 4826588 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/268 80437
/proc/meminfo: memFree=109424468/131249992 swapFree=33009392/33010684
[pid=80197] ppid=80194 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/80197/stat : 80197 (run-opt.sh) S 80194 80197 79801 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72459036 4292608 736 18446744073709551615 94475832455168 94475833349701 140732463204928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94475833588752 94475833636496 94475854434304 140732463208813 140732463208936 140732463208936 140732463214538 0
/proc/80197/statm: 1048 736 672 219 0 110 0
[pid=80199] ppid=80197 vsize=5812876 memory=4823644 CPUtime=3393.81 cores=1,3
/proc/80199/stat : 80199 (roundingsat) R 80197 80197 79801 0 -1 4194304 883235 0 0 0 337608 1773 0 0 20 0 1 0 72459036 5952385024 1205911 18446744073709551615 4227072 8923433 140731368934400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35295232 140731368941986 140731368942120 140731368942120 140731368947690 0
/proc/80199/statm: 1453219 1205911 2336 1147 0 1440646 0
Current children cumulated CPU time: 3393.81 s
Current children cumulated vsize: 5817068 KiB
Current children cumulated memory: 4826588 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/267 80439
/proc/meminfo: memFree=109402212/131249992 swapFree=33009392/33010684
[pid=80197] ppid=80194 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/80197/stat : 80197 (run-opt.sh) S 80194 80197 79801 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72459036 4292608 736 18446744073709551615 94475832455168 94475833349701 140732463204928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94475833588752 94475833636496 94475854434304 140732463208813 140732463208936 140732463208936 140732463214538 0
/proc/80197/statm: 1048 736 672 219 0 110 0
[pid=80199] ppid=80197 vsize=5812876 memory=4823644 CPUtime=3453.66 cores=1,3
/proc/80199/stat : 80199 (roundingsat) R 80197 80197 79801 0 -1 4194304 883364 0 0 0 343562 1804 0 0 20 0 1 0 72459036 5952385024 1205911 18446744073709551615 4227072 8923433 140731368934400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35295232 140731368941986 140731368942120 140731368942120 140731368947690 0
/proc/80199/statm: 1453219 1205911 2336 1147 0 1440646 0
Current children cumulated CPU time: 3453.66 s
Current children cumulated vsize: 5817068 KiB
Current children cumulated memory: 4826588 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/268 80445
/proc/meminfo: memFree=109284884/131249992 swapFree=33009392/33010684
[pid=80197] ppid=80194 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/80197/stat : 80197 (run-opt.sh) S 80194 80197 79801 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72459036 4292608 736 18446744073709551615 94475832455168 94475833349701 140732463204928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94475833588752 94475833636496 94475854434304 140732463208813 140732463208936 140732463208936 140732463214538 0
/proc/80197/statm: 1048 736 672 219 0 110 0
[pid=80199] ppid=80197 vsize=5812876 memory=4823644 CPUtime=3513.5 cores=1,3
/proc/80199/stat : 80199 (roundingsat) R 80197 80197 79801 0 -1 4194304 883611 0 0 0 349522 1828 0 0 20 0 1 0 72459036 5952385024 1205911 18446744073709551615 4227072 8923433 140731368934400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35295232 140731368941986 140731368942120 140731368942120 140731368947690 0
/proc/80199/statm: 1453219 1205911 2336 1147 0 1440646 0
Current children cumulated CPU time: 3513.5 s
Current children cumulated vsize: 5817068 KiB
Current children cumulated memory: 4826588 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/268 80447
/proc/meminfo: memFree=109176040/131249992 swapFree=33009392/33010684
[pid=80197] ppid=80194 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/80197/stat : 80197 (run-opt.sh) S 80194 80197 79801 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72459036 4292608 736 18446744073709551615 94475832455168 94475833349701 140732463204928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94475833588752 94475833636496 94475854434304 140732463208813 140732463208936 140732463208936 140732463214538 0
/proc/80197/statm: 1048 736 672 219 0 110 0
[pid=80199] ppid=80197 vsize=5812876 memory=4823900 CPUtime=3573.36 cores=1,3
/proc/80199/stat : 80199 (roundingsat) R 80197 80197 79801 0 -1 4194304 883862 0 0 0 355487 1849 0 0 20 0 1 0 72459036 5952385024 1205975 18446744073709551615 4227072 8923433 140731368934400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35295232 140731368941986 140731368942120 140731368942120 140731368947690 0
/proc/80199/statm: 1453219 1205975 2336 1147 0 1440646 0
Current children cumulated CPU time: 3573.36 s
Current children cumulated vsize: 5817068 KiB
Current children cumulated memory: 4826844 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.08 4.10 4.09 4/263 80455
/proc/meminfo: memFree=117560180/131249992 swapFree=33009392/33010684
[pid=80197] ppid=80194 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/80197/stat : 80197 (run-opt.sh) S 80194 80197 79801 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72459036 4292608 736 18446744073709551615 94475832455168 94475833349701 140732463204928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94475833588752 94475833636496 94475854434304 140732463208813 140732463208936 140732463208936 140732463214538 0
/proc/80197/statm: 1048 736 672 219 0 110 0
[pid=80199] ppid=80197 vsize=5812876 memory=4823900 CPUtime=3600.09 cores=1,3
/proc/80199/stat : 80199 (roundingsat) R 80197 80197 79801 0 -1 4194304 883937 0 0 0 358148 1861 0 0 20 0 1 0 72459036 5952385024 1205975 18446744073709551615 4227072 8923433 140731368934400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35295232 140731368941986 140731368942120 140731368942120 140731368947690 0
/proc/80199/statm: 1453219 1205975 2336 1147 0 1440646 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 5817068 KiB
Current children cumulated memory: 4826844 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.11 s]
# the end of solver process 80197 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001002 s, system=0.000999 s
Sleeping 2 seconds
[startup+3609.3 s]
# the end of solver process 80199 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3581.49 s, system=18.8018 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+3609.2 s]*
/proc/loadavg: 4.08 4.10 4.09 4/262 80455
/proc/meminfo: memFree=119573560/131249992 swapFree=33009392/33010684
[pid=80199] ppid=80194 vsize=3595328 memory=2707064 CPUtime=3600.2 cores=1,3
/proc/80199/stat : 80199 (roundingsat) R 80194 80197 79801 0 -1 4194304 883943 0 0 0 358149 1871 0 0 20 0 1 0 72459036 3681615872 676766 18446744073709551615 4227072 8923433 140731368934400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35295232 140731368941986 140731368942120 140731368942120 140731368947690 0
/proc/80199/statm: 898832 676766 2432 1147 0 886259 0
Current cumulated CPU time of completed processes: 0.002001 s
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 3595328 KiB
Current children cumulated memory: 2707064 KiB
Child status: 2
Real time (s): 3609.3
CPU time (s): 3600.3
CPU user time (s): 3581.49
CPU system time (s): 18.8018
CPU usage (%): 99.7505
Max. virtual memory (cumulated for all children) (KiB): 5817068
Max. memory (cumulated for all children) (KiB): 4826844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.49
system time used= 18.8018
maximum resident set size= 4824284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 884162
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= 145
involuntary context switches= 2271
# summary of solver processes directly reported to runsolver:
# pid: 80197,80199
# total CPU time (s): 3600.3
# total CPU user time (s): 3581.49
# total CPU system time (s): 18.8018
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.56467 second user time and 15.9254 second system time
The end
Begin job on nodeC035 at 2025-07-03 20:37:25
IDJOB=4520158
IDBENCH=177787
IDSOLVER=3350
FILE ID=nodeC035/4520158-1751567845
RUNJOBID= nodeC035-1751564231-79813
SLURM_JOB_ID= 9598770
Free space on /tmp= 432528 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/normalized-linearized_pebbling_opt_layeredfan_up_r22_c44_a5.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520158-1751567845/watcher-4520158-1751567845 -o /tmp/evaluation-result-4520158-1751567845/solver-4520158-1751567845 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751564231-79813 --watchdog 3760 run-opt.sh HOME/instance-4520158-1751567845.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 634cf2f74b34e10d67868995492f13c6
RANDOM SEED=1631241744
nodeC035 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.737
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.51
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 : 3602.815
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.51
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 : 3598.973
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.51
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 : 3599.720
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.51
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 : 3586.297
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.51
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.798
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.51
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 : 3599.754
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.51
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.723
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 126874104 kB
MemAvailable: 129580844 kB
Buffers: 664 kB
Cached: 3457668 kB
SwapCached: 332 kB
Active: 476540 kB
Inactive: 3157264 kB
Active(anon): 172124 kB
Inactive(anon): 21060 kB
Active(file): 304416 kB
Inactive(file): 3136204 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009392 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 17280 kB
Writeback: 0 kB
AnonPages: 178284 kB
Mapped: 109784 kB
Shmem: 17700 kB
KReclaimable: 210716 kB
Slab: 301764 kB
SReclaimable: 210716 kB
SUnreclaim: 91048 kB
KernelStack: 4320 kB
PageTables: 3432 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 482532 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 24576 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432784 MiB
End job on nodeC035 at 2025-07-03 21:37:34