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