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