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