(1,11) (3,17) (5,9) (6,10) (7,15) (12,20) (13,18) (14,30) (16,22) (19,21) (23,25) (24,26) (27,29) 
nodes: 3710  conflicts: 71  modelTime: 944  solveTime: 11652  totalTime: 12607  modelSize: 72262  readTime: 11 size: 13