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