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