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