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