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