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