(1,29) (2,25) (3,16) (4,21) (5,18) (6,27) (7,24) (8,28) (9,23) (10,19) (11,26) (12,30) (14,20) (15,17) 
nodes: 3827  conflicts: 11  modelTime: 985  solveTime: 10339  totalTime: 11333  modelSize: 41293  readTime: 9 size: 14