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