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