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