(1,25) (2,9) (3,15) (4,24) (5,6) (7,29) (8,26) (10,14) (11,13) (12,23) (16,19) (17,28) (18,21) (20,22) (27,30) 
nodes: 1168919  conflicts: 38  modelTime: 940  solveTime: 5355862  totalTime: 5356812  modelSize: 72285  readTime: 10 size: 15