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