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