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