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