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