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