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