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