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