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