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