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