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