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