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