(1,21) (2,19) (3,30) (4,27) (5,18) (6,26) (7,23) (10,25) (11,17) (12,28) (13,20) (14,29) (15,22) 
nodes: 3503  conflicts: 36  modelTime: 658  solveTime: 4646  totalTime: 5310  modelSize: 41292  readTime: 6 size: 13