(1,12) (2,26) (3,20) (4,27) (5,29) (6,13) (7,11) (8,18) (9,23) (10,21) (14,15) (16,17) (19,28) (22,24) (25,30) 
nodes: 123241  conflicts: 32  modelTime: 1071  solveTime: 476077  totalTime: 477167  modelSize: 72275  readTime: 19 size: 15