(1,5) (2,12) (3,25) (4,13) (6,26) (7,19) (8,22) (9,23) (10,14) (11,15) (16,30) (17,20) (18,24) (21,27) (28,29) 
nodes: 14267  conflicts: 36  modelTime: 942  solveTime: 75737  totalTime: 76690  modelSize: 72266  readTime: 11 size: 15