(1,19) (2,22) (3,29) (4,20) (5,30) (6,26) (7,16) (8,25) (9,21) (10,28) (11,17) (12,27) (13,18) (14,23) 
nodes: 3518  conflicts: 35  modelTime: 654  solveTime: 5681  totalTime: 6341  modelSize: 41292  readTime: 6 size: 14