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