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