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