(1,16) (2,6) (3,4) (5,8) (7,26) (9,24) (10,30) (11,21) (12,27) (13,20) (14,28) (15,22) (17,19) (18,25) (23,29) 
nodes: 3327  conflicts: 3  modelTime: 1228  solveTime: 17518  totalTime: 18847  modelSize: 72267  readTime: 101 size: 15