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