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