0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.09/0.14 c [STEP] preprocessing with Papilo
0.19/0.28 c [STEP] solving with SCIP
299.97/300.90 c [STEP] preprocessing done, loading into solver
299.97/300.94 c [STEP] solving
299.97/300.94 c #variables 47037 #constraints 994
299.97/300.94 c SMALL=int, LARGE=long long
299.97/300.94 d SCIPUB 27
299.97/300.94 c bounds - >= 0 @ 299.507
299.97/300.94 c stratification level: 0
546.88/548.47 c bounds - >= 8 @ 299.512
546.88/548.47 c bounds - >= 26 @ 299.514
546.88/548.47 c #Conflicts: 1000 | #Constraints: 1995
546.88/548.47 c #Conflicts: 2000 | #Constraints: 2995
546.88/548.47 c INPROCESSING
546.88/548.47 c GARBAGE COLLECT
546.88/548.47 c #Conflicts: 3000 | #Constraints: 3006
546.88/548.47 c #Conflicts: 4000 | #Constraints: 4006
546.88/548.47 c INPROCESSING
546.88/548.47 c GARBAGE COLLECT
546.88/548.47 c #Conflicts: 5000 | #Constraints: 3412
546.88/548.47 c #Conflicts: 6000 | #Constraints: 4412
546.88/548.47 c INPROCESSING
546.88/548.47 c GARBAGE COLLECT
546.88/548.47 c #Conflicts: 7000 | #Constraints: 3414
546.88/548.47 c #Conflicts: 8000 | #Constraints: 4414
546.88/548.47 c #Conflicts: 9000 | #Constraints: 5414
546.88/548.47 c INPROCESSING
546.88/548.47 c GARBAGE COLLECT
546.88/548.47 c #Conflicts: 10000 | #Constraints: 4118
546.88/548.47 c #Conflicts: 11000 | #Constraints: 5118
546.88/548.47 c #Conflicts: 12000 | #Constraints: 6118
546.88/548.47 c INPROCESSING
546.88/548.47 c GARBAGE COLLECT
546.88/548.47 c #Conflicts: 13000 | #Constraints: 4566
546.88/548.47 c #Conflicts: 14000 | #Constraints: 5566
546.88/548.47 c #Conflicts: 15000 | #Constraints: 6566
546.88/548.47 c INPROCESSING
546.88/548.47 c GARBAGE COLLECT
546.88/548.47 c #Conflicts: 16000 | #Constraints: 4799
546.88/548.47 c #Conflicts: 17000 | #Constraints: 5799
546.88/548.47 c #Conflicts: 18000 | #Constraints: 6799
546.88/548.47 c INPROCESSING
546.88/548.47 c GARBAGE COLLECT
546.88/548.47 c #Conflicts: 19000 | #Constraints: 4812
546.88/548.47 c #Conflicts: 20000 | #Constraints: 5812
546.88/548.47 c #Conflicts: 21000 | #Constraints: 6812
546.88/548.47 c INPROCESSING
546.88/548.47 c GARBAGE COLLECT
546.88/548.47 c #Conflicts: 22000 | #Constraints: 4620
546.88/548.47 c #Conflicts: 23000 | #Constraints: 5620
546.88/548.47 c #Conflicts: 24000 | #Constraints: 6620
546.88/548.47 c #Conflicts: 25000 | #Constraints: 7620
546.88/548.47 c INPROCESSING
546.88/548.47 c GARBAGE COLLECT
546.88/548.47 c #Conflicts: 26000 | #Constraints: 5232
546.88/548.47 c #Conflicts: 27000 | #Constraints: 6232
546.88/548.47 c #Conflicts: 28000 | #Constraints: 7232
546.88/548.47 c #Conflicts: 29000 | #Constraints: 8232
546.88/548.47 c INPROCESSING
546.88/548.47 c GARBAGE COLLECT
546.88/548.47 c #Conflicts: 30000 | #Constraints: 5628
546.88/548.47 c #Conflicts: 31000 | #Constraints: 6628
546.88/548.47 c #Conflicts: 32000 | #Constraints: 7628
546.88/548.47 c #Conflicts: 33000 | #Constraints: 8628
546.88/548.47 c INPROCESSING
546.88/548.47 c GARBAGE COLLECT
546.88/548.47 c #Conflicts: 34000 | #Constraints: 5823
546.88/548.47 c #Conflicts: 35000 | #Constraints: 6823
546.88/548.47 c #Conflicts: 36000 | #Constraints: 7823
546.88/548.47 c #Conflicts: 37000 | #Constraints: 8823
546.88/548.47 c INPROCESSING
546.88/548.47 c GARBAGE COLLECT
546.88/548.47 c #Conflicts: 38000 | #Constraints: 5827
546.88/548.47 c #Conflicts: 39000 | #Constraints: 6827
546.88/548.47 c #Conflicts: 40000 | #Constraints: 7827
546.88/548.47 c #Conflicts: 41000 | #Constraints: 8827
546.88/548.47 c INPROCESSING
546.88/548.47 c GARBAGE COLLECT
546.88/548.47 c #Conflicts: 42000 | #Constraints: 5626
546.88/548.47 c #Conflicts: 43000 | #Constraints: 6626
546.88/548.47 c #Conflicts: 44000 | #Constraints: 7626
546.88/548.47 c #Conflicts: 45000 | #Constraints: 8626
546.88/548.47 c #Conflicts: 46000 | #Constraints: 9626
546.88/548.47 c INPROCESSING
546.88/548.47 c GARBAGE COLLECT
546.88/548.47 c #Conflicts: 47000 | #Constraints: 6222
546.88/548.47 c #Conflicts: 48000 | #Constraints: 7222
546.88/548.47 c #Conflicts: 49000 | #Constraints: 8222
546.88/548.47 c #Conflicts: 50000 | #Constraints: 9222
546.88/548.47 c #Conflicts: 51000 | #Constraints: 10222
546.88/548.47 c INPROCESSING
546.88/548.47 c GARBAGE COLLECT
546.88/548.47 c #Conflicts: 52000 | #Constraints: 6625
546.88/548.47 c #Conflicts: 53000 | #Constraints: 7625
546.88/548.47 c #Conflicts: 54000 | #Constraints: 8625
546.88/548.47 c #Conflicts: 55000 | #Constraints: 9625
546.88/548.47 c #Conflicts: 56000 | #Constraints: 10625
546.88/548.47 c INPROCESSING
546.88/548.47 c GARBAGE COLLECT
546.88/548.47 c #Conflicts: 57000 | #Constraints: 6824
546.88/548.47 c #Conflicts: 58000 | #Constraints: 7824
546.88/548.47 c #Conflicts: 59000 | #Constraints: 8824
546.88/548.47 c #Conflicts: 60000 | #Constraints: 9824
546.88/548.47 c #Conflicts: 61000 | #Constraints: 10824
546.88/548.47 c INPROCESSING
546.88/548.47 c GARBAGE COLLECT
546.88/548.47 c #Conflicts: 62000 | #Constraints: 6827
546.88/548.47 c #Conflicts: 63000 | #Constraints: 7827
546.88/548.47 c #Conflicts: 64000 | #Constraints: 8827
546.88/548.47 c #Conflicts: 65000 | #Constraints: 9827
546.88/548.47 c #Conflicts: 66000 | #Constraints: 10827
546.88/548.47 c INPROCESSING
546.88/548.47 c GARBAGE COLLECT
546.88/548.47 c #Conflicts: 67000 | #Constraints: 6627
1082.76/1085.64 c #Conflicts: 68000 | #Constraints: 7627
1082.76/1085.64 c #Conflicts: 69000 | #Constraints: 8627
1082.76/1085.64 c #Conflicts: 70000 | #Constraints: 9627
1082.76/1085.64 c #Conflicts: 71000 | #Constraints: 10627
1082.76/1085.64 c #Conflicts: 72000 | #Constraints: 11627
1082.76/1085.64 c INPROCESSING
1082.76/1085.64 c GARBAGE COLLECT
1082.76/1085.64 c #Conflicts: 73000 | #Constraints: 7220
1082.76/1085.64 c #Conflicts: 74000 | #Constraints: 8220
1082.76/1085.64 c #Conflicts: 75000 | #Constraints: 9220
1082.76/1085.64 c #Conflicts: 76000 | #Constraints: 10220
1082.76/1085.64 c #Conflicts: 77000 | #Constraints: 11220
1082.76/1085.64 c #Conflicts: 78000 | #Constraints: 12220
1082.76/1085.64 c INPROCESSING
1082.76/1085.64 c GARBAGE COLLECT
1082.76/1085.64 c #Conflicts: 79000 | #Constraints: 7627
1082.76/1085.64 c #Conflicts: 80000 | #Constraints: 8627
1082.76/1085.64 c #Conflicts: 81000 | #Constraints: 9627
1082.76/1085.64 c #Conflicts: 82000 | #Constraints: 10627
1082.76/1085.64 c #Conflicts: 83000 | #Constraints: 11627
1082.76/1085.64 c #Conflicts: 84000 | #Constraints: 12627
1082.76/1085.64 c INPROCESSING
1082.76/1085.64 c GARBAGE COLLECT
1082.76/1085.64 c #Conflicts: 85000 | #Constraints: 7822
1082.76/1085.64 c #Conflicts: 86000 | #Constraints: 8822
1082.76/1085.64 c #Conflicts: 87000 | #Constraints: 9822
1082.76/1085.64 c #Conflicts: 88000 | #Constraints: 10822
1082.76/1085.64 c #Conflicts: 89000 | #Constraints: 11822
1082.76/1085.64 c #Conflicts: 90000 | #Constraints: 12822
1082.76/1085.64 c INPROCESSING
1082.76/1085.64 c GARBAGE COLLECT
1082.76/1085.64 c #Conflicts: 91000 | #Constraints: 7831
1082.76/1085.64 c #Conflicts: 92000 | #Constraints: 8831
1082.76/1085.64 c #Conflicts: 93000 | #Constraints: 9831
1082.76/1085.64 c #Conflicts: 94000 | #Constraints: 10831
1082.76/1085.64 c #Conflicts: 95000 | #Constraints: 11831
1082.76/1085.64 c #Conflicts: 96000 | #Constraints: 12831
1082.76/1085.64 c INPROCESSING
1082.76/1085.64 c GARBAGE COLLECT
1082.76/1085.64 c #Conflicts: 97000 | #Constraints: 7644
1082.76/1085.64 c #Conflicts: 98000 | #Constraints: 8644
1082.76/1085.64 c #Conflicts: 99000 | #Constraints: 9644
1082.76/1085.64 c #Conflicts: 100000 | #Constraints: 10644
1082.76/1085.64 c #Conflicts: 101000 | #Constraints: 11644
1082.76/1085.64 c #Conflicts: 102000 | #Constraints: 12644
1082.76/1085.64 c #Conflicts: 103000 | #Constraints: 13644
1082.76/1085.64 c INPROCESSING
1082.76/1085.64 c GARBAGE COLLECT
1082.76/1085.64 c #Conflicts: 104000 | #Constraints: 8233
1082.76/1085.64 c #Conflicts: 105000 | #Constraints: 9233
1082.76/1085.64 c #Conflicts: 106000 | #Constraints: 10233
1082.76/1085.64 c #Conflicts: 107000 | #Constraints: 11233
1082.76/1085.64 c #Conflicts: 108000 | #Constraints: 12233
1082.76/1085.64 c #Conflicts: 109000 | #Constraints: 13233
1082.76/1085.64 c #Conflicts: 110000 | #Constraints: 14233
1082.76/1085.64 c INPROCESSING
1082.76/1085.64 c GARBAGE COLLECT
1082.76/1085.64 c #Conflicts: 111000 | #Constraints: 8629
1082.76/1085.64 c #Conflicts: 112000 | #Constraints: 9629
1082.76/1085.64 c #Conflicts: 113000 | #Constraints: 10629
1082.76/1085.64 c #Conflicts: 114000 | #Constraints: 11629
1082.76/1085.64 c #Conflicts: 115000 | #Constraints: 12629
1082.76/1085.64 c #Conflicts: 116000 | #Constraints: 13629
1082.76/1085.64 c #Conflicts: 117000 | #Constraints: 14629
1082.76/1085.64 c INPROCESSING
1082.76/1085.64 c GARBAGE COLLECT
1082.76/1085.64 c #Conflicts: 118000 | #Constraints: 8831
1082.76/1085.64 c #Conflicts: 119000 | #Constraints: 9831
1082.76/1085.64 c #Conflicts: 120000 | #Constraints: 10831
1082.76/1085.64 c #Conflicts: 121000 | #Constraints: 11831
1082.76/1085.64 c #Conflicts: 122000 | #Constraints: 12831
1082.76/1085.64 c #Conflicts: 123000 | #Constraints: 13831
1082.76/1085.64 c #Conflicts: 124000 | #Constraints: 14831
1082.76/1085.64 c INPROCESSING
1082.76/1085.64 c GARBAGE COLLECT
1082.76/1085.64 c #Conflicts: 125000 | #Constraints: 8835
1082.76/1085.64 c #Conflicts: 126000 | #Constraints: 9835
1082.76/1085.64 c #Conflicts: 127000 | #Constraints: 10835
1082.76/1085.64 c #Conflicts: 128000 | #Constraints: 11835
1082.76/1085.64 c #Conflicts: 129000 | #Constraints: 12835
1082.76/1085.64 c #Conflicts: 130000 | #Constraints: 13835
1082.76/1085.64 c #Conflicts: 131000 | #Constraints: 14835
1082.76/1085.64 c INPROCESSING
1082.76/1085.64 c GARBAGE COLLECT
1082.76/1085.64 c #Conflicts: 132000 | #Constraints: 8635
1082.76/1085.64 c #Conflicts: 133000 | #Constraints: 9635
1082.76/1085.64 c #Conflicts: 134000 | #Constraints: 10635
1082.76/1085.64 c #Conflicts: 135000 | #Constraints: 11635
1082.76/1085.64 c #Conflicts: 136000 | #Constraints: 12635
1082.76/1085.64 c #Conflicts: 137000 | #Constraints: 13635
1082.76/1085.64 c #Conflicts: 138000 | #Constraints: 14635
1082.76/1085.64 c #Conflicts: 139000 | #Constraints: 15635
1714.22/1718.61 c INPROCESSING
1714.22/1718.61 c GARBAGE COLLECT
1714.22/1718.61 c #Conflicts: 140000 | #Constraints: 9242
1714.22/1718.61 c #Conflicts: 141000 | #Constraints: 10242
1714.22/1718.61 c #Conflicts: 142000 | #Constraints: 11242
1714.22/1718.61 c #Conflicts: 143000 | #Constraints: 12242
1714.22/1718.61 c #Conflicts: 144000 | #Constraints: 13242
1714.22/1718.61 c #Conflicts: 145000 | #Constraints: 14242
1714.22/1718.61 c #Conflicts: 146000 | #Constraints: 15242
1714.22/1718.61 c #Conflicts: 147000 | #Constraints: 16242
1714.22/1718.61 c INPROCESSING
1714.22/1718.61 c GARBAGE COLLECT
1714.22/1718.61 c #Conflicts: 148000 | #Constraints: 9645
1714.22/1718.61 c #Conflicts: 149000 | #Constraints: 10645
1714.22/1718.61 c #Conflicts: 150000 | #Constraints: 11645
1714.22/1718.61 c #Conflicts: 151000 | #Constraints: 12645
1714.22/1718.61 c #Conflicts: 152000 | #Constraints: 13645
1714.22/1718.61 c #Conflicts: 153000 | #Constraints: 14645
1714.22/1718.61 c #Conflicts: 154000 | #Constraints: 15645
1714.22/1718.61 c #Conflicts: 155000 | #Constraints: 16645
1714.22/1718.61 c INPROCESSING
1714.22/1718.61 c GARBAGE COLLECT
1714.22/1718.61 c #Conflicts: 156000 | #Constraints: 9850
1714.22/1718.61 c #Conflicts: 157000 | #Constraints: 10850
1714.22/1718.61 c #Conflicts: 158000 | #Constraints: 11850
1714.22/1718.61 c #Conflicts: 159000 | #Constraints: 12850
1714.22/1718.61 c #Conflicts: 160000 | #Constraints: 13850
1714.22/1718.61 c #Conflicts: 161000 | #Constraints: 14850
1714.22/1718.61 c #Conflicts: 162000 | #Constraints: 15850
1714.22/1718.61 c #Conflicts: 163000 | #Constraints: 16850
1714.22/1718.61 c INPROCESSING
1714.22/1718.61 c GARBAGE COLLECT
1714.22/1718.61 c #Conflicts: 164000 | #Constraints: 9837
1714.22/1718.61 c #Conflicts: 165000 | #Constraints: 10837
1714.22/1718.61 c #Conflicts: 166000 | #Constraints: 11837
1714.22/1718.61 c #Conflicts: 167000 | #Constraints: 12837
1714.22/1718.61 c #Conflicts: 168000 | #Constraints: 13837
1714.22/1718.61 c #Conflicts: 169000 | #Constraints: 14837
1714.22/1718.61 c #Conflicts: 170000 | #Constraints: 15837
1714.22/1718.61 c #Conflicts: 171000 | #Constraints: 16837
1714.22/1718.61 c INPROCESSING
1714.22/1718.61 c GARBAGE COLLECT
1714.22/1718.61 c #Conflicts: 172000 | #Constraints: 9631
1714.22/1718.61 c #Conflicts: 173000 | #Constraints: 10631
1714.22/1718.61 c #Conflicts: 174000 | #Constraints: 11631
1714.22/1718.61 c #Conflicts: 175000 | #Constraints: 12631
1714.22/1718.61 c #Conflicts: 176000 | #Constraints: 13631
1714.22/1718.61 c #Conflicts: 177000 | #Constraints: 14631
1714.22/1718.61 c #Conflicts: 178000 | #Constraints: 15631
1714.22/1718.61 c #Conflicts: 179000 | #Constraints: 16631
1714.22/1718.61 c #Conflicts: 180000 | #Constraints: 17631
1714.22/1718.61 c INPROCESSING
1714.22/1718.61 c GARBAGE COLLECT
1714.22/1718.61 c #Conflicts: 181000 | #Constraints: 10231
1714.22/1718.61 c #Conflicts: 182000 | #Constraints: 11231
1714.22/1718.61 c #Conflicts: 183000 | #Constraints: 12231
1714.22/1718.61 c #Conflicts: 184000 | #Constraints: 13231
1714.22/1718.61 c #Conflicts: 185000 | #Constraints: 14231
1714.22/1718.61 c #Conflicts: 186000 | #Constraints: 15231
1714.22/1718.61 c #Conflicts: 187000 | #Constraints: 16231
1714.22/1718.61 c #Conflicts: 188000 | #Constraints: 17231
1714.22/1718.61 c #Conflicts: 189000 | #Constraints: 18231
1714.22/1718.61 c INPROCESSING
1714.22/1718.61 c GARBAGE COLLECT
1714.22/1718.61 c #Conflicts: 190000 | #Constraints: 10640
1714.22/1718.61 c #Conflicts: 191000 | #Constraints: 11640
1714.22/1718.61 c #Conflicts: 192000 | #Constraints: 12640
1714.22/1718.61 c #Conflicts: 193000 | #Constraints: 13640
1714.22/1718.61 c #Conflicts: 194000 | #Constraints: 14640
1714.22/1718.61 c #Conflicts: 195000 | #Constraints: 15640
1714.22/1718.61 c #Conflicts: 196000 | #Constraints: 16640
1714.22/1718.61 c #Conflicts: 197000 | #Constraints: 17640
1714.22/1718.61 c #Conflicts: 198000 | #Constraints: 18640
1714.22/1718.61 c INPROCESSING
1714.22/1718.61 c GARBAGE COLLECT
1714.22/1718.61 c #Conflicts: 199000 | #Constraints: 10844
1714.22/1718.61 c #Conflicts: 200000 | #Constraints: 11844
1714.22/1718.61 c #Conflicts: 201000 | #Constraints: 12844
1714.22/1718.61 c #Conflicts: 202000 | #Constraints: 13844
1714.22/1718.61 c #Conflicts: 203000 | #Constraints: 14844
1714.22/1718.61 c #Conflicts: 204000 | #Constraints: 15844
1714.22/1718.61 c #Conflicts: 205000 | #Constraints: 16844
1714.22/1718.61 c #Conflicts: 206000 | #Constraints: 17844
1714.22/1718.61 c #Conflicts: 207000 | #Constraints: 18844
1714.22/1718.61 c INPROCESSING
1714.22/1718.61 c GARBAGE COLLECT
1714.22/1718.61 c #Conflicts: 208000 | #Constraints: 10842
1714.22/1718.61 c #Conflicts: 209000 | #Constraints: 11842
1714.22/1718.61 c #Conflicts: 210000 | #Constraints: 12842
1714.22/1718.61 c #Conflicts: 211000 | #Constraints: 13842
1714.22/1718.61 c #Conflicts: 212000 | #Constraints: 14842
2788.76/2795.99 c #Conflicts: 213000 | #Constraints: 15842
2788.76/2795.99 c #Conflicts: 214000 | #Constraints: 16842
2788.76/2795.99 c #Conflicts: 215000 | #Constraints: 17842
2788.76/2795.99 c #Conflicts: 216000 | #Constraints: 18842
2788.76/2795.99 c INPROCESSING
2788.76/2795.99 c GARBAGE COLLECT
2788.76/2795.99 c #Conflicts: 217000 | #Constraints: 10651
2788.76/2795.99 c #Conflicts: 218000 | #Constraints: 11651
2788.76/2795.99 c #Conflicts: 219000 | #Constraints: 12651
2788.76/2795.99 c #Conflicts: 220000 | #Constraints: 13651
2788.76/2795.99 c #Conflicts: 221000 | #Constraints: 14651
2788.76/2795.99 c #Conflicts: 222000 | #Constraints: 15651
2788.76/2795.99 c #Conflicts: 223000 | #Constraints: 16651
2788.76/2795.99 c #Conflicts: 224000 | #Constraints: 17651
2788.76/2795.99 c #Conflicts: 225000 | #Constraints: 18651
2788.76/2795.99 c #Conflicts: 226000 | #Constraints: 19651
2788.76/2795.99 c INPROCESSING
2788.76/2795.99 c GARBAGE COLLECT
2788.76/2795.99 c #Conflicts: 227000 | #Constraints: 11254
2788.76/2795.99 c #Conflicts: 228000 | #Constraints: 12254
2788.76/2795.99 c #Conflicts: 229000 | #Constraints: 13254
2788.76/2795.99 c #Conflicts: 230000 | #Constraints: 14254
2788.76/2795.99 c #Conflicts: 231000 | #Constraints: 15254
2788.76/2795.99 c #Conflicts: 232000 | #Constraints: 16254
2788.76/2795.99 c #Conflicts: 233000 | #Constraints: 17254
2788.76/2795.99 c #Conflicts: 234000 | #Constraints: 18254
2788.76/2795.99 c #Conflicts: 235000 | #Constraints: 19254
2788.76/2795.99 c #Conflicts: 236000 | #Constraints: 20254
2788.76/2795.99 c INPROCESSING
2788.76/2795.99 c GARBAGE COLLECT
2788.76/2795.99 c #Conflicts: 237000 | #Constraints: 11643
2788.76/2795.99 c #Conflicts: 238000 | #Constraints: 12643
2788.76/2795.99 c #Conflicts: 239000 | #Constraints: 13643
2788.76/2795.99 c #Conflicts: 240000 | #Constraints: 14643
2788.76/2795.99 c #Conflicts: 241000 | #Constraints: 15643
2788.76/2795.99 c #Conflicts: 242000 | #Constraints: 16643
2788.76/2795.99 c #Conflicts: 243000 | #Constraints: 17643
2788.76/2795.99 c #Conflicts: 244000 | #Constraints: 18643
2788.76/2795.99 c #Conflicts: 245000 | #Constraints: 19643
2788.76/2795.99 c #Conflicts: 246000 | #Constraints: 20643
2788.76/2795.99 c INPROCESSING
2788.76/2795.99 c GARBAGE COLLECT
2788.76/2795.99 c #Conflicts: 247000 | #Constraints: 11840
2788.76/2795.99 c #Conflicts: 248000 | #Constraints: 12840
2788.76/2795.99 c #Conflicts: 249000 | #Constraints: 13840
2788.76/2795.99 c #Conflicts: 250000 | #Constraints: 14840
2788.76/2795.99 c #Conflicts: 251000 | #Constraints: 15840
2788.76/2795.99 c #Conflicts: 252000 | #Constraints: 16840
2788.76/2795.99 c #Conflicts: 253000 | #Constraints: 17840
2788.76/2795.99 c #Conflicts: 254000 | #Constraints: 18840
2788.76/2795.99 c #Conflicts: 255000 | #Constraints: 19840
2788.76/2795.99 c #Conflicts: 256000 | #Constraints: 20840
2788.76/2795.99 c INPROCESSING
2788.76/2795.99 c GARBAGE COLLECT
2788.76/2795.99 c #Conflicts: 257000 | #Constraints: 11835
2788.76/2795.99 c #Conflicts: 258000 | #Constraints: 12835
2788.76/2795.99 c #Conflicts: 259000 | #Constraints: 13835
2788.76/2795.99 c #Conflicts: 260000 | #Constraints: 14835
2788.76/2795.99 c #Conflicts: 261000 | #Constraints: 15835
2788.76/2795.99 c #Conflicts: 262000 | #Constraints: 16835
2788.76/2795.99 c #Conflicts: 263000 | #Constraints: 17835
2788.76/2795.99 c #Conflicts: 264000 | #Constraints: 18835
2788.76/2795.99 c #Conflicts: 265000 | #Constraints: 19835
2788.76/2795.99 c #Conflicts: 266000 | #Constraints: 20835
2788.76/2795.99 c INPROCESSING
2788.76/2795.99 c GARBAGE COLLECT
2788.76/2795.99 c #Conflicts: 267000 | #Constraints: 11636
2788.76/2795.99 c #Conflicts: 268000 | #Constraints: 12636
2788.76/2795.99 c #Conflicts: 269000 | #Constraints: 13636
2788.76/2795.99 c #Conflicts: 270000 | #Constraints: 14636
2788.76/2795.99 c #Conflicts: 271000 | #Constraints: 15636
2788.76/2795.99 c #Conflicts: 272000 | #Constraints: 16636
2788.76/2795.99 c #Conflicts: 273000 | #Constraints: 17636
2788.76/2795.99 c #Conflicts: 274000 | #Constraints: 18636
2788.76/2795.99 c #Conflicts: 275000 | #Constraints: 19636
2788.76/2795.99 c #Conflicts: 276000 | #Constraints: 20636
2788.76/2795.99 c #Conflicts: 277000 | #Constraints: 21636
2788.76/2795.99 c INPROCESSING
2788.76/2795.99 c GARBAGE COLLECT
2788.76/2795.99 c #Conflicts: 278000 | #Constraints: 12232
2788.76/2795.99 c #Conflicts: 279000 | #Constraints: 13232
2788.76/2795.99 c #Conflicts: 280000 | #Constraints: 14232
2788.76/2795.99 c #Conflicts: 281000 | #Constraints: 15232
2788.76/2795.99 c #Conflicts: 282000 | #Constraints: 16232
2788.76/2795.99 c #Conflicts: 283000 | #Constraints: 17232
2788.76/2795.99 c #Conflicts: 284000 | #Constraints: 18232
2788.76/2795.99 c #Conflicts: 285000 | #Constraints: 19232
2788.76/2795.99 c #Conflicts: 286000 | #Constraints: 20232
2788.76/2795.99 c #Conflicts: 287000 | #Constraints: 21232
3412.25/3421.01 c #Conflicts: 288000 | #Constraints: 22232
3412.25/3421.01 c INPROCESSING
3412.25/3421.01 c GARBAGE COLLECT
3412.25/3421.01 c #Conflicts: 289000 | #Constraints: 12638
3412.25/3421.01 c #Conflicts: 290000 | #Constraints: 13638
3412.25/3421.01 c #Conflicts: 291000 | #Constraints: 14638
3412.25/3421.01 c #Conflicts: 292000 | #Constraints: 15638
3412.25/3421.01 c #Conflicts: 293000 | #Constraints: 16638
3412.25/3421.01 c #Conflicts: 294000 | #Constraints: 17638
3412.25/3421.01 c #Conflicts: 295000 | #Constraints: 18638
3412.25/3421.01 c #Conflicts: 296000 | #Constraints: 19638
3412.25/3421.01 c #Conflicts: 297000 | #Constraints: 20638
3412.25/3421.01 c #Conflicts: 298000 | #Constraints: 21638
3412.25/3421.01 c #Conflicts: 299000 | #Constraints: 22638
3412.25/3421.01 c INPROCESSING
3412.25/3421.01 c GARBAGE COLLECT
3412.25/3421.01 c #Conflicts: 300000 | #Constraints: 12836
3412.25/3421.01 c #Conflicts: 301000 | #Constraints: 13836
3412.25/3421.01 c #Conflicts: 302000 | #Constraints: 14836
3412.25/3421.01 c #Conflicts: 303000 | #Constraints: 15836
3412.25/3421.01 c #Conflicts: 304000 | #Constraints: 16836
3412.25/3421.01 c #Conflicts: 305000 | #Constraints: 17836
3412.25/3421.01 c #Conflicts: 306000 | #Constraints: 18836
3412.25/3421.01 c #Conflicts: 307000 | #Constraints: 19836
3412.25/3421.01 c #Conflicts: 308000 | #Constraints: 20836
3412.25/3421.01 c #Conflicts: 309000 | #Constraints: 21836
3412.25/3421.01 c #Conflicts: 310000 | #Constraints: 22836
3412.25/3421.01 c INPROCESSING
3412.25/3421.01 c GARBAGE COLLECT
3412.25/3421.01 c #Conflicts: 311000 | #Constraints: 12839
3412.25/3421.01 c #Conflicts: 312000 | #Constraints: 13839
3412.25/3421.01 c #Conflicts: 313000 | #Constraints: 14839
3412.25/3421.01 c #Conflicts: 314000 | #Constraints: 15839
3412.25/3421.01 c #Conflicts: 315000 | #Constraints: 16839
3412.25/3421.01 c #Conflicts: 316000 | #Constraints: 17839
3412.25/3421.01 c #Conflicts: 317000 | #Constraints: 18839
3412.25/3421.01 c #Conflicts: 318000 | #Constraints: 19839
3412.25/3421.01 c #Conflicts: 319000 | #Constraints: 20839
3412.25/3421.01 c #Conflicts: 320000 | #Constraints: 21839
3412.25/3421.01 c #Conflicts: 321000 | #Constraints: 22839
3412.25/3421.01 c INPROCESSING
3412.25/3421.01 c GARBAGE COLLECT
3412.25/3421.01 c #Conflicts: 322000 | #Constraints: 12643
3412.25/3421.01 c #Conflicts: 323000 | #Constraints: 13643
3412.25/3421.01 c #Conflicts: 324000 | #Constraints: 14643
3412.25/3421.01 c #Conflicts: 325000 | #Constraints: 15643
3412.25/3421.01 c #Conflicts: 326000 | #Constraints: 16643
3412.25/3421.01 c #Conflicts: 327000 | #Constraints: 17643
3412.25/3421.01 c #Conflicts: 328000 | #Constraints: 18643
3412.25/3421.01 c #Conflicts: 329000 | #Constraints: 19643
3412.25/3421.01 c #Conflicts: 330000 | #Constraints: 20643
3412.25/3421.01 c #Conflicts: 331000 | #Constraints: 21643
3412.25/3421.01 c #Conflicts: 332000 | #Constraints: 22643
3412.25/3421.01 c #Conflicts: 333000 | #Constraints: 23643
3412.25/3421.01 c INPROCESSING
3412.25/3421.01 c GARBAGE COLLECT
3412.25/3421.01 c #Conflicts: 334000 | #Constraints: 13239
3412.25/3421.01 c #Conflicts: 335000 | #Constraints: 14239
3412.25/3421.01 c #Conflicts: 336000 | #Constraints: 15239
3412.25/3421.01 c #Conflicts: 337000 | #Constraints: 16239
3412.25/3421.01 c #Conflicts: 338000 | #Constraints: 17239
3412.25/3421.01 c #Conflicts: 339000 | #Constraints: 18239
3412.25/3421.01 c #Conflicts: 340000 | #Constraints: 19239
3412.25/3421.01 c #Conflicts: 341000 | #Constraints: 20239
3412.25/3421.01 c #Conflicts: 342000 | #Constraints: 21239
3412.25/3421.01 c #Conflicts: 343000 | #Constraints: 22239
3412.25/3421.01 c #Conflicts: 344000 | #Constraints: 23239
3412.25/3421.01 c #Conflicts: 345000 | #Constraints: 24239
3412.25/3421.01 c INPROCESSING
3412.25/3421.01 c GARBAGE COLLECT
3412.25/3421.01 c #Conflicts: 346000 | #Constraints: 13639
3412.25/3421.01 c #Conflicts: 347000 | #Constraints: 14639
3412.25/3421.01 c #Conflicts: 348000 | #Constraints: 15639
3412.25/3421.01 c #Conflicts: 349000 | #Constraints: 16639
3412.25/3421.01 c #Conflicts: 350000 | #Constraints: 17639
3412.25/3421.01 c #Conflicts: 351000 | #Constraints: 18639
3412.25/3421.01 c #Conflicts: 352000 | #Constraints: 19639
3412.25/3421.01 c #Conflicts: 353000 | #Constraints: 20639
3412.25/3421.01 c #Conflicts: 354000 | #Constraints: 21639
3412.25/3421.01 c #Conflicts: 355000 | #Constraints: 22639
3412.25/3421.01 c #Conflicts: 356000 | #Constraints: 23639
3412.25/3421.01 c #Conflicts: 357000 | #Constraints: 24639
3412.25/3421.01 c INPROCESSING
3412.25/3421.01 c GARBAGE COLLECT
3412.25/3421.01 c #Conflicts: 358000 | #Constraints: 13834
3412.25/3421.01 c #Conflicts: 359000 | #Constraints: 14834
3412.25/3421.01 c #Conflicts: 360000 | #Constraints: 15834
3412.25/3421.01 c #Conflicts: 361000 | #Constraints: 16834
3600.07/3609.30 c #Conflicts: 362000 | #Constraints: 17834
3600.07/3609.30 c #Conflicts: 363000 | #Constraints: 18834
3600.07/3609.30 c #Conflicts: 364000 | #Constraints: 19834
3600.07/3609.30 c #Conflicts: 365000 | #Constraints: 20834
3600.07/3609.30 c #Conflicts: 366000 | #Constraints: 21834
3600.07/3609.30 c #Conflicts: 367000 | #Constraints: 22834
3600.07/3609.30 c #Conflicts: 368000 | #Constraints: 23834
3600.07/3609.30 c #Conflicts: 369000 | #Constraints: 24834
3600.07/3609.30 c INPROCESSING
3600.07/3609.30 c GARBAGE COLLECT
3600.07/3609.30 c #Conflicts: 370000 | #Constraints: 13844
3600.07/3609.30 c #Conflicts: 371000 | #Constraints: 14844
3600.07/3609.30 c #Conflicts: 372000 | #Constraints: 15844
3600.07/3609.30 c #Conflicts: 373000 | #Constraints: 16844
3600.07/3609.30 c #Conflicts: 374000 | #Constraints: 17844
3600.07/3609.30 c #Conflicts: 375000 | #Constraints: 18844
3600.07/3609.30 c #Conflicts: 376000 | #Constraints: 19844
3600.07/3609.30 c #Conflicts: 377000 | #Constraints: 20844
3600.07/3609.30 c #Conflicts: 378000 | #Constraints: 21844
3600.07/3609.30 c #Conflicts: 379000 | #Constraints: 22844
3600.07/3609.30 c #Conflicts: 380000 | #Constraints: 23844
3600.07/3609.30 c #Conflicts: 381000 | #Constraints: 24844
3600.07/3609.30 c INPROCESSING
3600.07/3609.30 c GARBAGE COLLECT
3600.07/3609.30 c #Conflicts: 382000 | #Constraints: 13635
3600.07/3609.30 c #Conflicts: 383000 | #Constraints: 14635
3600.07/3609.30 c #Conflicts: 384000 | #Constraints: 15635
3600.07/3609.30 c #Conflicts: 385000 | #Constraints: 16635
3600.07/3609.30 c #Conflicts: 386000 | #Constraints: 17635
3600.07/3609.30 c Program interrupted by user.
3600.07/3609.30 c cpu time 3581.32 s
3600.07/3609.30 c deterministic time 932341822300 9.32e+11
3600.07/3609.30 c optimization time 31.8925 s
3600.07/3609.30 c total solve time 3249.92 s
3600.07/3609.30 c core-guided solve time 3249.92 s
3600.07/3609.30 c propagation time 2577.16 s
3600.07/3609.30 c conflict analysis time 539.897 s
3600.07/3609.30 c propagations 113841200
3600.07/3609.30 c resolve steps 1841020
3600.07/3609.30 c decisions 18611763
3600.07/3609.30 c conflicts 386410
3600.07/3609.30 c restarts 930
3600.07/3609.30 c inprocessing phases 53
3600.07/3609.30 c input clauses 368
3600.07/3609.30 c input cardinalities 370
3600.07/3609.30 c input general constraints 258
3600.07/3609.30 c input average constraint length 189.15
3600.07/3609.30 c input average constraint degree 39220.92
3600.07/3609.30 c learned clauses 3343
3600.07/3609.30 c learned cardinalities 23
3600.07/3609.30 c learned general constraints 383044
3600.07/3609.30 c learned average constraint length 5581.59
3600.07/3609.30 c learned average constraint degree 12094838.80
3600.07/3609.30 c watched constraints 330876
3600.07/3609.30 c counting constraints 52426
3600.07/3609.30 c gcd simplifications 1493
3600.07/3609.30 c detected cardinalities 1
3600.07/3609.30 c weakened non-implied lits 38546257
3600.07/3609.30 c weakened non-implying lits 38367
3600.07/3609.30 c original variables 47232
3600.07/3609.30 c clausal propagations 1537195
3600.07/3609.30 c cardinality propagations 19732720
3600.07/3609.30 c watched propagations 19525889
3600.07/3609.30 c counting propagations 72660545
3600.07/3609.30 c watch lookups 10505274102
3600.07/3609.30 c watch backjump lookups 9984494550
3600.07/3609.30 c watch checks 855386736407
3600.07/3609.30 c propagation checks 51827665571
3600.07/3609.30 c constraint additions 4372405683
3600.07/3609.30 c trail pops 132793023
3600.07/3609.30 c formula constraints 994
3600.07/3609.30 c learned constraints 386410
3600.07/3609.30 c bound constraints 2
3600.07/3609.30 c core-guided constraints 0
3600.07/3609.30 c encountered formula constraints 1218106
3600.07/3609.30 c encountered learned constraints 1009271
3600.07/3609.30 c encountered bound constraints 53
3600.07/3609.30 c encountered core-guided constraints 0
3600.07/3609.30 c LP total time 0 s
3600.07/3609.30 c LP solve time 0 s
3600.07/3609.30 c LP constraints added 0
3600.07/3609.30 c LP constraints removed 0
3600.07/3609.30 c LP pivots internal 0
3600.07/3609.30 c LP pivots root 0
3600.07/3609.30 c LP calls 0
3600.07/3609.30 c LP optimalities 0
3600.07/3609.30 c LP no pivot count 0
3600.07/3609.30 c LP infeasibilities 0
3600.07/3609.30 c LP valid Farkas constraints 0
3600.07/3609.30 c LP learned Farkas constraints 0
3600.07/3609.30 c LP basis resets 0
3600.07/3609.30 c LP cycling count 0
3600.07/3609.30 c LP singular count 0
3600.07/3609.30 c LP no primal count 0
3600.07/3609.30 c LP no farkas count 0
3600.07/3609.30 c LP other issue count 0
3600.07/3609.30 c LP Gomory cuts 0
3600.07/3609.30 c LP learned cuts 0
3600.07/3609.30 c LP deleted cuts 0
3600.07/3609.30 c LP encountered Gomory constraints 0
3600.07/3609.30 c LP encountered Farkas constraints 0
3600.07/3609.30 c LP encountered learned Farkas constraints 0
3600.07/3609.30 c CG auxiliary variables introduced 0
3600.07/3609.30 c CG solutions found 0
3600.07/3609.30 c CG cores constructed 2
3600.07/3609.30 c CG core cardinality constraints returned 1
3600.07/3609.30 c CG unit cores 1
3600.07/3609.30 c CG single cores 1
3600.07/3609.30 c CG blocks removed during cardinality reduction 0
3600.07/3609.30 c CG first core best 0
3600.07/3609.30 c CG decision core best 0
3600.07/3609.30 c CG core reduction tie 0
3600.07/3609.30 c CG core degree average 18.00
3600.07/3609.30 c CG core slack average 102.00
3600.07/3609.30 c CG exhausted 0
3600.07/3609.30 c CG exhaust time 0 s
3600.07/3609.30 c CG trimmed 127
3600.07/3609.30 c CG trim time 0.002584 s
3600.07/3609.30 c CG minimized 0
3600.07/3609.30 c CG minimize time 0 s
3600.07/3609.30 c CG am1 prop time 0.001336 s
3600.07/3609.30 c CG # am1s reformulated 0
3600.07/3609.30 c CG lower bound derived from am1s 0
3600.07/3609.30 c CG # clausal cores 0
3600.07/3609.30 c CG # cardinality cores 1
3600.07/3609.30 c CG # pb cores 0
3600.07/3609.30 c CG # pb reforms 0
3600.07/3609.30 c CG # cores discarded because of pb reform 0
3600.07/3609.30 d LOWERBOUND 26
3600.07/3609.30 d NCORES 2
3600.07/3609.30 d NPBCORES 0
3600.07/3609.30 d NPBREFORM 0
3600.07/3609.30 d NTRIMMED 127
3600.07/3609.30 d NEXHAUSTED 0
3600.07/3609.30 d NAM1S 0
3600.07/3609.30 d AM1LB 0
3600.07/3609.30 c [Papilo Statistics]
3600.07/3609.30 c prepro time 0.139688s
3600.07/3609.30 c # tsx applied 760
3600.07/3609.30 c # tsx conflicts 0
3600.07/3609.30 c # bound changes 196
3600.07/3609.30 c # side changes 368
3600.07/3609.30 c # coef changes 0
3600.07/3609.30 c # rounds 3
3600.07/3609.30 c # deted vars 196
3600.07/3609.30 c # deted constrs 368
3600.07/3609.30 c # consecutive rounds of only bound changes 0
3600.07/3609.32 s UNKNOWN
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: 63968 MiB (62570 MiB free)
memory of node 1: 64473 MiB (60434 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455011-1721477889/watcher-4455011-1721477889 -o /tmp/evaluation-result-4455011-1721477889/solver-4455011-1721477889 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721470315-1055842 --watchdog 3760 mixed-bag HOME/instance-4455011-1721477889.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1060501, runsolver pid=1060498
[startup+0.100361 s]*
/proc/loadavg: 4.10 4.14 4.12 5/255 1060502
/proc/meminfo: memFree=125941484/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=90856 memory=22024 CPUtime=0.09 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 4548 0 0 0 8 1 0 0 20 0 1 0 199952432 93036544 5506 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 22714 5506 1638 3002 0 7002 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 90856 KiB
Current children cumulated memory: 22024 KiB
[startup+0.205643 s]*
/proc/loadavg: 4.10 4.14 4.12 5/255 1060502
/proc/meminfo: memFree=125909048/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=128992 memory=54344 CPUtime=0.19 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 11035 0 0 0 17 2 0 0 20 0 1 0 199952432 132087808 13586 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 32248 13586 1824 3002 0 15997 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 128992 KiB
Current children cumulated memory: 54344 KiB
[startup+0.305687 s]*
/proc/loadavg: 4.10 4.14 4.12 5/255 1060502
/proc/meminfo: memFree=125889648/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=158060 memory=89308 CPUtime=0.29 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 19527 0 0 0 26 3 0 0 20 0 1 0 199952432 161853440 22327 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 39515 22327 3293 3002 0 23264 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 158060 KiB
Current children cumulated memory: 89308 KiB
[startup+0.700239 s]
/proc/loadavg: 4.10 4.14 4.12 5/255 1060502
/proc/meminfo: memFree=125776544/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=256464 memory=185760 CPUtime=0.68 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 46994 0 0 0 61 7 0 0 20 0 1 0 199952432 262619136 46440 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 64116 46440 3773 3002 0 47865 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 256464 KiB
Current children cumulated memory: 185760 KiB
[startup+1.50023 s]
/proc/loadavg: 4.09 4.14 4.12 5/255 1060502
/proc/meminfo: memFree=125735888/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=372252 memory=290216 CPUtime=1.48 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 66203 0 0 0 137 11 0 0 20 0 1 0 199952432 381186048 72554 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 93063 72554 3805 3002 0 76812 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 372252 KiB
Current children cumulated memory: 290216 KiB
[startup+3.10575 s]
/proc/loadavg: 4.09 4.14 4.12 5/255 1060502
/proc/meminfo: memFree=125564728/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=545172 memory=396352 CPUtime=3.08 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 90244 0 0 0 293 15 0 0 20 0 1 0 199952432 558256128 99088 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 136293 99088 3821 3002 0 120042 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 545172 KiB
Current children cumulated memory: 396352 KiB
[startup+6.30022 s]
/proc/loadavg: 4.08 4.14 4.12 5/255 1060502
/proc/meminfo: memFree=125222512/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=921372 memory=768284 CPUtime=6.26 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 184121 0 0 0 598 28 0 0 20 0 1 0 199952432 943484928 192071 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 230343 192071 3884 3002 0 214092 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 921372 KiB
Current children cumulated memory: 768284 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.15 4.12 5/255 1060504
/proc/meminfo: memFree=124982292/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=1129192 memory=966992 CPUtime=12.64 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 233761 0 0 0 1229 35 0 0 20 0 1 0 199952432 1156292608 241748 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 282298 241748 4012 3002 0 266047 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1129192 KiB
Current children cumulated memory: 966992 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.14 4.12 5/255 1060505
/proc/meminfo: memFree=124917948/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=1134304 memory=973276 CPUtime=25.41 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 235391 0 0 0 2503 38 0 0 20 0 1 0 199952432 1161527296 243319 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 283576 243319 4022 3002 0 267325 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1134304 KiB
Current children cumulated memory: 973276 KiB
[startup+51.1057 s]
/proc/loadavg: 4.15 4.15 4.12 5/255 1060510
/proc/meminfo: memFree=124801348/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=1219156 memory=1064816 CPUtime=50.94 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 258346 0 0 0 5052 42 0 0 20 0 1 0 199952432 1248415744 266204 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 304789 266204 4022 3002 0 288538 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1219156 KiB
Current children cumulated memory: 1064816 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.16 4.12 5/255 1060518
/proc/meminfo: memFree=124655868/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=1326316 memory=1171756 CPUtime=101.97 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 285101 0 0 0 10150 47 0 0 20 0 1 0 199952432 1358147584 292939 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 331579 292939 4022 3002 0 315328 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1326316 KiB
Current children cumulated memory: 1171756 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/257 1060533
/proc/meminfo: memFree=124577236/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=1350164 memory=1196036 CPUtime=161.78 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 291199 0 0 0 16129 49 0 0 20 0 1 0 199952432 1382567936 299009 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 337541 299009 4022 3002 0 321290 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1350164 KiB
Current children cumulated memory: 1196036 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.13 4.11 5/257 1060543
/proc/meminfo: memFree=124543292/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=1350164 memory=1196276 CPUtime=221.6 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 291228 0 0 0 22110 50 0 0 20 0 1 0 199952432 1382567936 299069 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 337541 299069 4022 3002 0 321290 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 1350164 KiB
Current children cumulated memory: 1196276 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/256 1060553
/proc/meminfo: memFree=124316832/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=1350164 memory=1196664 CPUtime=281.42 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 291422 0 0 0 28091 51 0 0 20 0 1 0 199952432 1382567936 299166 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 337541 299166 4022 3002 0 321290 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 1350164 KiB
Current children cumulated memory: 1196664 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/256 1060564
/proc/meminfo: memFree=124010996/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=1425120 memory=1279524 CPUtime=341.27 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 296469 0 0 0 33989 138 0 0 20 0 1 0 199952432 1459322880 319881 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 356280 319881 4165 3002 0 340029 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 1425120 KiB
Current children cumulated memory: 1279524 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/256 1060576
/proc/meminfo: memFree=123876620/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=1425120 memory=1301144 CPUtime=401.13 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 296763 0 0 0 39891 222 0 0 20 0 1 0 199952432 1459322880 325286 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 356280 325286 4165 3002 0 340029 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 1425120 KiB
Current children cumulated memory: 1301144 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/257 1060969
/proc/meminfo: memFree=123623708/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=1557380 memory=1472912 CPUtime=460.98 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 297864 0 0 0 45853 245 0 0 20 0 1 0 199952432 1594757120 368228 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 389345 368228 4165 3002 0 373094 0
################
# More data... #
################
Current children cumulated memory: 2078828 KiB
[startup+2922.3 s]
/proc/loadavg: 4.23 4.17 4.11 5/255 1062207
/proc/meminfo: memFree=120268932/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=2269448 memory=2085852 CPUtime=2914.84 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 341099 0 0 0 290048 1436 0 0 20 0 1 0 199952432 2323914752 521463 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 567362 521463 4165 3002 0 551111 0
Current children cumulated CPU time: 2914.84 s
Current children cumulated vsize: 2269448 KiB
Current children cumulated memory: 2085852 KiB
[startup+2982.3 s]
/proc/loadavg: 4.19 4.17 4.11 5/255 1062218
/proc/meminfo: memFree=120256612/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=2274364 memory=2090616 CPUtime=2974.69 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 342768 0 0 0 295977 1492 0 0 20 0 1 0 199952432 2328948736 522654 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 568591 522654 4165 3002 0 552340 0
Current children cumulated CPU time: 2974.69 s
Current children cumulated vsize: 2274364 KiB
Current children cumulated memory: 2090616 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/255 1062231
/proc/meminfo: memFree=120053812/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=2280112 memory=2096292 CPUtime=3034.53 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 344242 0 0 0 301946 1507 0 0 20 0 1 0 199952432 2334834688 524073 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 570028 524073 4165 3002 0 553777 0
Current children cumulated CPU time: 3034.53 s
Current children cumulated vsize: 2280112 KiB
Current children cumulated memory: 2096292 KiB
[startup+3102.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/255 1062241
/proc/meminfo: memFree=119917684/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=2288764 memory=2105008 CPUtime=3094.37 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 346568 0 0 0 307908 1529 0 0 20 0 1 0 199952432 2343694336 526252 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 572191 526252 4165 3002 0 555940 0
Current children cumulated CPU time: 3094.37 s
Current children cumulated vsize: 2288764 KiB
Current children cumulated memory: 2105008 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/256 1062256
/proc/meminfo: memFree=119708984/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=2440912 memory=2236716 CPUtime=3154.22 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 379694 0 0 0 313866 1556 0 0 20 0 1 0 199952432 2499493888 559179 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 610228 559179 4165 3002 0 593977 0
Current children cumulated CPU time: 3154.22 s
Current children cumulated vsize: 2440912 KiB
Current children cumulated memory: 2236716 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/256 1062266
/proc/meminfo: memFree=119603140/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=2491488 memory=2285868 CPUtime=3214.07 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 392266 0 0 0 319805 1602 0 0 20 0 1 0 199952432 2551283712 571467 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 622872 571467 4165 3002 0 606621 0
Current children cumulated CPU time: 3214.07 s
Current children cumulated vsize: 2491488 KiB
Current children cumulated memory: 2285868 KiB
[startup+3282.3 s]
/proc/loadavg: 4.34 4.21 4.13 5/256 1062276
/proc/meminfo: memFree=119550348/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=2491488 memory=2285976 CPUtime=3273.91 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 392492 0 0 0 325746 1645 0 0 20 0 1 0 199952432 2551283712 571494 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 622872 571494 4165 3002 0 606621 0
Current children cumulated CPU time: 3273.91 s
Current children cumulated vsize: 2491488 KiB
Current children cumulated memory: 2285976 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.18 4.12 5/256 1062286
/proc/meminfo: memFree=119538324/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=2491620 memory=2285976 CPUtime=3333.76 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 392749 0 0 0 331693 1683 0 0 20 0 1 0 199952432 2551418880 571494 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 622905 571494 4165 3002 0 606654 0
Current children cumulated CPU time: 3333.76 s
Current children cumulated vsize: 2491620 KiB
Current children cumulated memory: 2285976 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.16 4.11 5/256 1062298
/proc/meminfo: memFree=119524564/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=2500296 memory=2294340 CPUtime=3393.6 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 395233 0 0 0 337630 1730 0 0 20 0 1 0 199952432 2560303104 573585 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 625074 573585 4165 3002 0 608823 0
Current children cumulated CPU time: 3393.6 s
Current children cumulated vsize: 2500296 KiB
Current children cumulated memory: 2294340 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/254 1062308
/proc/meminfo: memFree=119518712/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=2505512 memory=2299620 CPUtime=3453.44 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 396823 0 0 0 343558 1786 0 0 20 0 1 0 199952432 2565644288 574905 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 626378 574905 4165 3002 0 610127 0
Current children cumulated CPU time: 3453.44 s
Current children cumulated vsize: 2505512 KiB
Current children cumulated memory: 2299620 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/255 1062319
/proc/meminfo: memFree=119439376/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=2511776 memory=2305888 CPUtime=3513.28 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 398671 0 0 0 349517 1811 0 0 20 0 1 0 199952432 2572058624 576472 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 627944 576472 4165 3002 0 611693 0
Current children cumulated CPU time: 3513.28 s
Current children cumulated vsize: 2511776 KiB
Current children cumulated memory: 2305888 KiB
[startup+3582.3 s]
/proc/loadavg: 3.78 4.06 4.08 3/241 1062394
/proc/meminfo: memFree=124683548/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=2527900 memory=2321392 CPUtime=3573.13 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 403114 0 0 0 355455 1858 0 0 20 0 1 0 199952432 2588569600 580348 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 631975 580348 4165 3002 0 615724 0
Current children cumulated CPU time: 3573.13 s
Current children cumulated vsize: 2527900 KiB
Current children cumulated memory: 2321392 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 3.02 3.86 4.01 2/234 1062429
/proc/meminfo: memFree=125177352/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=2528164 memory=2321944 CPUtime=3600.07 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 403391 0 0 0 358132 1875 0 0 20 0 1 0 199952432 2588839936 580486 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 632041 580486 4165 3002 0 615790 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2528164 KiB
Current children cumulated memory: 2321944 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.36 s]
# the end of solver process 1060501 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.34 s, system=18.8037 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 3.02 3.86 4.01 2/234 1062429
/proc/meminfo: memFree=125177352/131524600 swapFree=131071996/131071996
[pid=1060501] ppid=1060498 vsize=2528164 memory=2321944 CPUtime=3600.07 cores=5,7
/proc/1060501/stat : 1060501 (mixed-bag) R 1060498 1060501 1055829 0 -1 4194304 403391 0 0 0 358132 1875 0 0 20 0 1 0 199952432 2588839936 580486 134679101440 4194304 16488053 140728536692656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 56135680 140728536695829 140728536695906 140728536695906 140728536702923 0
/proc/1060501/statm: 632041 580486 4165 3002 0 615790 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2528164 KiB
Current children cumulated memory: 2321944 KiB
Child status: 0
Real time (s): 3609.36
CPU time (s): 3600.14
CPU user time (s): 3581.34
CPU system time (s): 18.8037
CPU usage (%): 99.7445
Max. virtual memory (cumulated for all children) (KiB): 2528164
Max. memory (cumulated for all children) (KiB): 2321944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.34
system time used= 18.8037
maximum resident set size= 2321944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 403411
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= 43
involuntary context switches= 2647
# summary of solver processes directly reported to runsolver:
# pid: 1060501
# total CPU time (s): 3600.14
# total CPU user time (s): 3581.34
# total CPU system time (s): 18.8037
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.02595 second user time and 17.2781 second system time
The end
Begin job on nodeC020 at 2024-07-20 14:18:22
IDJOB=4455011
IDBENCH=158600
IDSOLVER=3083
FILE ID=nodeC020/4455011-1721477889
RUNJOBID= nodeC020-1721470315-1055842
SLURM_JOB_ID= 7545735
Free space on /tmp= 890024 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm25p-opt.opb.negationfix.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455011-1721477889/watcher-4455011-1721477889 -o /tmp/evaluation-result-4455011-1721477889/solver-4455011-1721477889 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721470315-1055842 --watchdog 3760 mixed-bag HOME/instance-4455011-1721477889.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bbc2f3225867eda18c5e1d2c8daffc3b
RANDOM SEED=532648745
nodeC020.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3668.790
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.05
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 : 3669.772
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.84
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 : 3600.068
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.05
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 : 3600.589
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.84
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 : 3668.841
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.05
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 : 3669.966
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.84
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 : 3600.178
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.05
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 : 3666.861
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125958408 kB
MemAvailable: 128193320 kB
Buffers: 578360 kB
Cached: 2481524 kB
SwapCached: 0 kB
Active: 1029532 kB
Inactive: 3876276 kB
Active(anon): 1568 kB
Inactive(anon): 1890252 kB
Active(file): 1027964 kB
Inactive(file): 1986024 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 18908 kB
Writeback: 12368 kB
AnonPages: 1844876 kB
Mapped: 140028 kB
Shmem: 45912 kB
KReclaimable: 121496 kB
Slab: 237664 kB
SReclaimable: 121496 kB
SUnreclaim: 116168 kB
KernelStack: 4064 kB
PageTables: 13432 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2390684 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71552 kB
HardwareCorrupted: 0 kB
AnonHugePages: 464896 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 211668 kB
DirectMap2M: 22630400 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 890064 MiB
End job on nodeC020 at 2024-07-20 15:18:32