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