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