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