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