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