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