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