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