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