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