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