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