(1,30) (2,23) (3,20) (4,18) (5,29) (6,22) (7,19) (8,17) (9,26) (10,24) (11,28) (12,16) (13,25) (14,21) (15,27) 
nodes: 1142  conflicts: 1  modelTime: 1082  solveTime: 2356  totalTime: 3444  modelSize: 41292  readTime: 6 size: 15