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