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