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