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