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