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