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