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