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