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