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