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