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