(1,10) (2,22) (3,8) (4,9) (5,27) (6,29) (7,18) (11,19) (12,15) (13,20) (16,25) (21,23) (24,28) (26,30) 
nodes: 4379  conflicts: 55  modelTime: 930  solveTime: 10263  totalTime: 11205  modelSize: 72262  readTime: 12 size: 14