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