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