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