(1,25) (2,21) (3,15) (4,22) (5,20) (6,13) (7,23) (8,26) (9,27) (10,18) (11,17) (12,30) (14,16) (19,24) (28,29) 
nodes: 51338  conflicts: 9  modelTime: 1041  solveTime: 384399  totalTime: 385448  modelSize: 72264  readTime: 8 size: 15