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