(1,14) (2,23) (3,18) (4,21) (5,6) (7,11) (8,26) (9,29) (10,17) (12,22) (13,28) (15,25) (16,27) (20,24) 
nodes: 3981  conflicts: 48  modelTime: 946  solveTime: 13900  totalTime: 14857  modelSize: 72264  readTime: 11 size: 14