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