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