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