(1,30) (2,20) (3,19) (4,18) (5,16) (6,21) (7,24) (8,22) (9,25) (10,26) (11,27) (12,17) (13,28) (14,29) 
nodes: 4133  conflicts: 32  modelTime: 655  solveTime: 6700  totalTime: 7362  modelSize: 41292  readTime: 7 size: 14