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