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