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