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