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