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