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