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