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