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