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