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