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