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