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