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