(1,12) (2,16) (3,26) (4,19) (5,17) (6,21) (7,10) (8,27) (9,23) (11,18) (13,22) (14,29) (15,25) (20,30) (24,28) 
nodes: 74958  conflicts: 47  modelTime: 1576  solveTime: 308004  totalTime: 309599  modelSize: 72264  readTime: 19 size: 15