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