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