(1,15) (2,13) (3,6) (5,23) (7,11) (10,30) (12,18) (14,17) (16,29) (20,22) (24,27) (25,26) 
nodes: 532  conflicts: 103  modelTime: 940  solveTime: 3305  totalTime: 4257  modelSize: 72262  readTime: 12 size: 12