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