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