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