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