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