(1,18) (2,10) (3,14) (4,6) (7,24) (8,9) (11,13) (12,19) (15,26) (16,20) (17,21) (22,29) (23,28) (25,27) 
nodes: 8776  conflicts: 57  modelTime: 953  solveTime: 38766  totalTime: 39730  modelSize: 72264  readTime: 11 size: 14