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