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