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