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