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