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