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