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