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