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