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