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