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