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