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