(1,29) (2,8) (3,4) (5,12) (6,28) (7,15) (9,17) (10,11) (13,23) (14,21) (16,24) (18,30) (19,27) (20,26) (22,25) 
nodes: 8064  conflicts: 50  modelTime: 984  solveTime: 20440  totalTime: 21435  modelSize: 72271  readTime: 11 size: 15