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