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