(1,4) (5,9) (6,14) (8,12) (10,13) (11,29) (15,17) (16,30) (18,19) (22,26) (27,28) 
nodes: 1495  conflicts: 100  modelTime: 947  solveTime: 6895  totalTime: 7853  modelSize: 72262  readTime: 11 size: 11