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