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