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