(1,22) (2,27) (3,11) (4,9) (5,13) (6,10) (7,20) (8,28) (12,19) (14,30) (15,23) (16,25) (17,26) (18,21) (24,29) 
nodes: 142546  conflicts: 43  modelTime: 1726  solveTime: 772251  totalTime: 774003  modelSize: 72265  readTime: 26 size: 15