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