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