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