(1,29) (2,25) (3,5) (4,7) (6,23) (8,15) (9,11) (10,21) (12,26) (13,24) (14,19) (16,22) (17,18) (20,28) (27,30) 
nodes: 1091  conflicts: 47  modelTime: 960  solveTime: 5778  totalTime: 6749  modelSize: 72262  readTime: 11 size: 15