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