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