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