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