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