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