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