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