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