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