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