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