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