(1,21) (2,10) (3,18) (4,6) (5,30) (7,11) (8,20) (9,14) (12,23) (13,26) (15,27) (16,19) (17,29) (22,24) (25,28) 
nodes: 174312  conflicts: 41  modelTime: 1435  solveTime: 589362  totalTime: 590809  modelSize: 72262  readTime: 10 size: 15