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