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