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