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