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