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