(1,12) (2,20) (3,27) (4,9) (5,29) (6,10) (7,17) (8,21) (11,26) (13,19) (14,16) (15,23) (18,24) (22,28) (25,30) 
nodes: 93631  conflicts: 33  modelTime: 970  solveTime: 477671  totalTime: 478651  modelSize: 72285  readTime: 10 size: 15