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