(2,13) (3,23) (4,7) (5,17) (6,11) (8,18) (9,19) (10,27) (12,16) (14,30) (15,20) (21,26) (22,28) (24,25) 
nodes: 490  conflicts: 44  modelTime: 935  solveTime: 1812  totalTime: 2758  modelSize: 72262  readTime: 11 size: 14