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