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