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