(1,14) (2,23) (3,9) (4,13) (6,27) (7,22) (8,15) (11,25) (12,26) (16,21) (17,28) (18,30) (19,20) (24,29) 
nodes: 90143  conflicts: 42  modelTime: 966  solveTime: 261742  totalTime: 262719  modelSize: 72265  readTime: 11 size: 14