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