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