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