(1,16) (2,29) (3,22) (4,27) (5,19) (6,24) (7,18) (8,26) (9,23) (10,28) (11,30) (12,21) (14,20) (15,25) 
nodes: 3825  conflicts: 25  modelTime: 660  solveTime: 6032  totalTime: 6699  modelSize: 41292  readTime: 7 size: 14