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