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