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