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