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