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