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