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