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