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