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