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