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