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