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