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