(1,6) (2,9) (3,27) (4,14) (5,17) (7,18) (8,10) (11,28) (12,21) (13,16) (15,26) (19,30) (20,25) (22,23) (24,29) 
nodes: 67076  conflicts: 25  modelTime: 1701  solveTime: 367534  totalTime: 369523  modelSize: 72269  readTime: 288 size: 15