(1,14) (2,6) (3,9) (4,16) (5,18) (7,27) (8,23) (10,25) (11,26) (12,20) (13,22) (15,17) (19,30) (21,29) (24,28) 
nodes: 96392  conflicts: 34  modelTime: 1090  solveTime: 226121  totalTime: 227229  modelSize: 72265  readTime: 18 size: 15