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