(1,19) (2,14) (3,4) (5,23) (6,7) (8,9) (10,30) (11,18) (12,28) (13,20) (15,29) (16,21) (22,26) (24,27) 
nodes: 204  conflicts: 67  modelTime: 937  solveTime: 2005  totalTime: 2953  modelSize: 72263  readTime: 11 size: 14