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