(1,4) (2,12) (3,7) (5,18) (6,16) (8,14) (9,10) (11,17) (13,28) (15,26) (19,29) (20,25) (21,22) (23,27) (24,30) 
nodes: 86057  conflicts: 49  modelTime: 1083  solveTime: 300210  totalTime: 301312  modelSize: 72262  readTime: 19 size: 15