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