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