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