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