(1,14) (2,10) (3,5) (4,11) (6,30) (7,12) (8,29) (9,19) (13,25) (15,28) (16,20) (17,23) (18,24) (21,27) (22,26) 
nodes: 285916  conflicts: 38  modelTime: 1011  solveTime: 590166  totalTime: 591197  modelSize: 72275  readTime: 19 size: 15