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