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