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