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