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