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