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