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