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