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