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