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