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