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