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