(1,18) (2,28) (3,21) (4,19) (5,20) (6,30) (7,23) (8,24) (10,16) (11,26) (12,17) (13,29) (15,25) 
nodes: 1681  conflicts: 42  modelTime: 658  solveTime: 2160  totalTime: 2826  modelSize: 41293  readTime: 7 size: 13