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