(1,11) (2,16) (3,6) (4,17) (7,18) (8,14) (10,25) (12,29) (15,20) (19,26) (21,24) (22,28) (27,30) 
nodes: 660  conflicts: 50  modelTime: 939  solveTime: 2798  totalTime: 3765  modelSize: 72262  readTime: 28 size: 13