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