(1,29) (2,26) (4,25) (5,19) (6,18) (7,16) (8,24) (9,22) (10,20) (11,27) (12,23) (13,30) (14,28) (15,17) 
nodes: 7772  conflicts: 7  modelTime: 1182  solveTime: 26712  totalTime: 27902  modelSize: 41293  readTime: 8 size: 14