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